Lecture

Concurrency and Mutual Exclusion

Related lectures (102)
Transactional Memory: Hardware Concurrency Control
Explores transactional memory for hardware concurrency control, discussing locking mechanisms, performance trade-offs, and hardware changes.
Dining philosopher problem
Presents an algorithm to prevent starvation and maximize philosophers eating simultaneously.
Concurrency Basics: Threads and Synchronization
Covers the basics of concurrency, focusing on threads and synchronization, including thread joining and challenges of non-deterministic execution.
Concurrency: Executors and Mutual Exclusion
Explores executors as efficient thread alternatives and delves into mutual exclusion properties in Scala and JVM.
MicroC/OS-II: Real-Time Kernel Overview
Provides an overview of MicroC/OS-II, a real-time kernel with multitasking capabilities and deterministic functions, covering topics such as task management, kernel, and intertask communication.
Coordination and Scheduling
Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.
Monitors: Synchronization and Cooperation
Explores monitors as a synchronization construct providing mutual exclusion and cooperation among threads, with examples like the one-place buffer.
Interrupts
Explores interrupts as a mechanism for abstraction and multiplexing in operating systems, covering handling, processing, and initialization.
Concurrency and Parallelism: Queue
Explores thread safety, synchronization, and concurrent collections in Scala, focusing on a lock-free concurrent queue implementation.
Inputs and Outputs
Explores inputs and outputs in computer systems, covering peripherals, addressing modes, A/D converters, interrupts, and DMA.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.