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

Home

Lecture

Concurrency Basics: Threads and Synchronization

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (43)

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.

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.

Parallelism: Programming and Performance Log in to Mediaspace to watch this video

Explores parallelism in programming, emphasizing trade-offs between programmability and performance, and introduces shared memory parallel programming using OpenMP.

GPU Memory Hierarchy: Optimization Log in to Mediaspace to watch this video

Explores GPU memory hierarchy, CUDA processing flow, optimizations, and parallelism efficiency on GPUs.

Locking Primitives: Avoiding Race Conditions in Threads Log in to Mediaspace to watch this video

Covers locking primitives necessary to prevent race conditions in multithreaded programming, focusing on mutual exclusion and atomic operations.

Principles of Parallel Computing: OpenMP Log in to Mediaspace to watch this video

Explores the principles of parallel computing, focusing on OpenMP as a tool for creating concurrent code from serial code.

Parallel Computing: Principles and OpenMP Log in to Mediaspace to watch this video

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

Mutexes: Managing Thread Synchronization Log in to Mediaspace to watch this video

Explains mutexes as thread locks, addressing busy waiting and ensuring efficient synchronization in multi-threaded applications.

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.

GPU Memory Hierarchy and Optimization Log in to Mediaspace to watch this video

Explores GPU memory hierarchy, optimization challenges, and algorithm efficiency.

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.

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.

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

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

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.

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

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

Memory Consistency Models: Performance Impact and Parallel Computing Log in to Mediaspace to watch this video

Covers memory consistency models, parallel computing, atomic subroutines, GPU architecture, and multithreading.

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.

Untitled Log in to Mediaspace to watch this video

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.

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.

Page 2 of 3