Linearizability

Applied sciences
Computer engineering
High-performance computing
Parallel computing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 2 of 3

Lock-Free Synchronization: Performance and Scalability

Explores lock-free synchronization for performance and scalability in distributed systems, covering unique identifier generation, messaging queues, and atomic RDMA reads.

Money Transfers: Synchronized Global Log

Explains the synchronized approach to log money transfers in an online banking system.

Lock-free synchronization: Achieving low latency

Explores the significance of lock-free synchronization in achieving low latency and high performance in distributed systems.

Registers and Linearizability

Explores the power of registers in linearizability and introduces the SCAN algorithm.

Atomic Operations: Basics and Applications

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

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.

Atomic execution: Synchronization in threads

Covers atomic execution in threads, race conditions, shared variables, and synchronized blocks.

Locks: Implementing Concurrency Mechanisms

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

Synchronization Primitives

Explores the design of synchronization primitives and concurrent data structures using atomic instructions.

Concurrent Stack: Implementation

Explores the implementation of a concurrent stack data structure and how push and pop operations work concurrently.