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

Home

Lecture

Parallelism and Concurrency

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (37)

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.

Threads: Concurrency and Parallelism in Computer Systems Log in to Mediaspace to watch this video

Covers the thread abstraction in computer systems, focusing on concurrency, parallelism, and the management of threads using the POSIX API.

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.

Distributed Transactions: Coordination, Concurrency Control, and Recovery Log in to Mediaspace to watch this video

Explores distributed transactions, covering coordination, concurrency control, recovery, and the Two-Phase Commit protocol.

Hardware Verification using High-Level Design Languages Log in to Mediaspace to watch this video

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

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

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

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.

The Power of Registers Log in to Mediaspace to watch this video

Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.

Architecture of CockroachDB Log in to Mediaspace to watch this video

Explores the architecture of CockroachDB, focusing on transaction management, concurrency control, and scalability.

Transactions & Concurrency Control: Pessimistic CC Log in to Mediaspace to watch this video

Explores transactions, concurrency control, deadlock handling, and challenges in dynamic databases.

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

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

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.

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.

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

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

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.

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 2