One-place Buffer: Monitor-based Implementation

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Locks: Implementing Concurrency Mechanisms

Covers the implementation of locks using compareAndSet and the concept of fair locks.

Distributed Transactions: Coordination, Concurrency Control, and Recovery

Explores distributed transactions, covering coordination, concurrency control, recovery, and the Two-Phase Commit protocol.

The Power of Registers

Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.

Concurrency Basics: Threads and Synchronization

Covers the basics of concurrency, focusing on threads and synchronization, including thread joining and challenges of non-deterministic execution.

Sequential consistency: Basic Concepts

Explains the Sequential Consistency model in concurrency and parallelism, covering program order, atomicity, and performance implications.

Transactions & Concurrency Control: Pessimistic CC

Explores transactions, concurrency control, deadlock handling, and challenges in dynamic databases.

Atomic Operations: Basics and Applications

Covers the basics of atomic operations in concurrency and parallelism, including hardware-provided operations and synchronized algorithms.

Concurrency Primitives and Pitfalls

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

Introduction to Concurrency

Covers the basics of concurrency, its importance, and how to write concurrent programs.

Concurrency Semantics and Verification

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.