Linearizability

Applied sciences
Computer engineering
High-performance computing
Parallel computing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 3 of 3

The Limitations of Registers

Explores the constraints of using registers for achieving consensus among processes, showcasing proofs and lemmas.

Memory Models: Visibility and Semantics

Explains the Java Memory Model and thread start semantics for concurrent programs.

Anonymous Concurrent Computing

Explores anonymous concurrent computing, covering counters, snapshots, and consensus algorithms.

Introduction to Multicore Processors

Covers the shift to multicore processors, processor-memory architecture, concurrency challenges, and synchronization problems in modern computing.

Concurrent Instructions in VHDL

Covers concurrent instructions in VHDL, demonstrating parallel processing and conditional assignments.

Total Order Broadcast: Consensus Transformation

Explores causal and total order broadcast in distributed algorithms, including exercises on total-order property and consensus transformation.

Parallel Computing: Principles and OpenMP

Covers the principles of parallel computing and introduces OpenMP for creating concurrent code from serial code.

Synchronization

Covers the principles of synchronization in parallel computing, focusing on shared memory synchronization and different methods like locks and barriers.