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

Home

Lecture

Lock-Free Synchronization: Performance and Scalability

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (41)

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.

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.

Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM Log in to Mediaspace to watch this video

Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.

Concurrency Control & Eventual Consistency Log in to Mediaspace to watch this video

Covers concurrency control techniques and eventual consistency in databases, including two-phase locking, strict 2PL, and Dynamo's algorithm.

Synchronization: Locks and Barriers Log in to Mediaspace to watch this video

Explores synchronization principles using locks and barriers, emphasizing efficient hardware-supported implementations and coordination mechanisms like OpenMP.

Lock-free synchronization: Achieving low latency Log in to Mediaspace to watch this video

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

Transactional Memory: Two-phase Locking and Invisible Reads Log in to Mediaspace to watch this video

Explores historical perspectives and mechanisms of transactional memory, emphasizing the importance and challenges of its implementation in modern computing systems.

Introduction to Multicore Processors Log in to Mediaspace to watch this video

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

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.

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.

Distributed Transactions: Principles and Protocols Log in to Mediaspace to watch this video

Explores distributed transactions, covering principles, protocols, concurrency control, commit, and replication.

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.

Transactions and Concurrency Control Log in to Mediaspace to watch this video

Delves into transactions, ACID properties, schedules, locking protocols, and concurrency control in database systems.

Concurrency Control: Lock-Based Protocols Log in to Mediaspace to watch this video

Covers lock-based concurrency control protocols and various transaction models.

Multi-Version Concurrency Control: Optimistic Approaches Log in to Mediaspace to watch this video

Explores Multi-Version Concurrency Control with optimistic approaches to enhance transaction processing systems.

Device Management in Operating Systems: Chaperones and Persistence Log in to Mediaspace to watch this video

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

Memory Consistency II Log in to Mediaspace to watch this video

Explores speculative memory consistency, challenges, solutions, performance overhead, and the impact of dynamic fence enforcement on achieving high performance.

Formally Verified Chisel Designs Log in to Mediaspace to watch this video

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

General-Purpose Distributed Execution System Log in to Mediaspace to watch this video

Explores the design of a general-purpose distributed execution system, covering challenges, specialized frameworks, decentralized control logic, and high-performance shuffle.

Introduction to Multiprocessor Architecture Log in to Mediaspace to watch this video

Introduces the fundamentals of multiprocessor architecture, covering post-Moore servers, sustainable datacenters, parallel programming, and GPU utilization.

Page 2 of 3