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

Concept

Concurrency control

Related lectures (32)

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.

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.

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

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

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 and ACID: Overview Log in to Mediaspace to watch this video

Explores transactions, ACID properties, concurrency challenges, and scheduling in database management systems.

Transactions Log in to Mediaspace to watch this video

Explores the elegance and challenges of transactions in structuring stateful systems, emphasizing ACID properties and the trade-offs of transactional memory.

ACID and Transaction Schedules Log in to Mediaspace to watch this video

Explores transactions, ACID properties, schedules, and anomalies in database systems.

Transactional Memory: Hardware Concurrency Control Log in to Mediaspace to watch this video

Explores transactional memory for hardware concurrency control, discussing locking mechanisms, performance trade-offs, and hardware changes.

Optimistic Concurrency Control: Timestamp Ordering Log in to Mediaspace to watch this video

Explores optimistic concurrency control through timestamp ordering and continuous validation tests.

Concurrency and transactional memory in Dafny Log in to Mediaspace to watch this video

Covers Dafny basics, modeling concurrency, and implementing transactional memory with safety and liveness proofs.

Shared Work Systems: Optimization Log in to Mediaspace to watch this video

Covers query engines, shared work systems, and data processing optimization strategies.

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.