Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Memory Models: Visibility and Semantics

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Concurrency and Mutual Exclusion Log in to Mediaspace to watch this video

Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.

Memory Consistency: Taking it to the Compiler Log in to Mediaspace to watch this video

Explores memory consistency, weak consistency, and language-level guarantees in memory ordering, emphasizing the importance of data race free programming.

Lock-Free Synchronization: Practical Insights Log in to Mediaspace to watch this video

Explores the significance of lock-free synchronization for achieving low latency in distributed systems and discusses practical solutions for unique identifier generation and messaging queues.

Parallel Programming I Log in to Mediaspace to watch this video

Covers the basics of parallel programming, including concurrency, forms of parallelism, synchronization, and programming models like PThreads and OpenMP.

Scalable Synchronization Mechanisms for Manycore Operating Systems Log in to Mediaspace to watch this video

Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.

Locking Log in to Mediaspace to watch this video

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

Concurrency Primitives and Pitfalls Log in to Mediaspace to watch this video

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

Concurrency Control & Recovery in Databases Log in to Mediaspace to watch this video

Delves into transaction management, concurrency control, and recovery in databases to ensure data integrity and system resilience.

Transactions: Concepts and Implementations Log in to Mediaspace to watch this video

Explores the significance and challenges of transactions, emphasizing ACID properties and the practical implications of using transactional memory for concurrency control.

Memory Consistency: Programming Languages and Compilers Log in to Mediaspace to watch this video

Explores memory consistency, data races, and synchronization variables in programming languages and compilers.

Transaction Management & Concurrency Control Log in to Mediaspace to watch this video

Explores transaction management, concurrency control, ACID properties, anomalies, and conflict serializability in database systems.

Lock-Free Synchronization: Performance and Scalability Log in to Mediaspace to watch this video

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

Page 2 of 2