Lectures related to Comparison of operating systems

Covers the automatic synthesis of OS code to ease the burden of developers in configuring translation hardware.

Explores concurrency primitives, mutual exclusion, and synchronization pitfalls in operating systems, focusing on condition variables and semaphores.

Introduction to Operating Systems

Covers the importance and challenges of operating systems, their omnipresence, impact on programs, and role as illusionists and referees.

Edge loT Sensors: Hardware Platforms and Operating Systems

Explores hardware platforms and operating systems for edge loT sensors.

The Role of Operating Systems: Foundations and Functions

Covers the essential role of operating systems in managing hardware and enabling applications across various devices.

Accessing Remote Computers

Explains how to access and disconnect from remote desktops at EPFL.

Process Protection and Efficient Execution

Explores process execution, protection, and efficient OS mechanisms for secure and reliable multi-program environments.

Shell Redirection: Understanding Process Management

Covers how the shell manages processes and demonstrates output redirection in UNIX-like systems.

Sustainable Development Goals: Individual and Collective Actions

Emphasizes the role of individual and collective actions in achieving sustainability through the Sustainable Development Goals and the successes of the Millennium Development Goals.

Sustainable Development: Social Progress and Collective Action

Examines sustainable development, emphasizing the interplay between individual and collective actions in achieving social progress.

Introduction to Operating Systems

Covers the fundamentals of operating systems, including core services, system calls, design goals, and challenges.

Isolation mechanisms

Explores isolation mechanisms in operating systems, focusing on process separation and hardware isolation in x86 architecture.

Device Management in Operating Systems: Chaperones and Persistence

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

Isolation and Protection: Ensuring Process Security

Covers the concepts of isolation and protection in computer systems, focusing on process security and resource management techniques.

Processes: Overview and Management

Covers the basics of processes in operating systems, including creation, memory layout, state transitions, virtualization, APIs, and program execution.

Process States: Lifecycle and Management

Explains the process state transition diagram and the management of process states in operating systems.

Threads: Concurrency and Parallelism in Computer Systems

Covers the thread abstraction in computer systems, focusing on concurrency, parallelism, and the management of threads using the POSIX API.

Locking

Explores the concept of locking for mutual exclusion in OS, covering race conditions, parallelism, atomic instructions, deadlock prevention, and best practices.

Traps and Interrupts: Mechanisms for Operating System Control

Explains traps, interrupts, and exceptions, detailing their roles in operating system control and process management.

Forking Processes: Practical Examples and Execution Flow

Covers the fork system call in operating systems through three practical examples, illustrating process management and execution flow.