Skip to main content
grasp.study
About
Explore
Pricing
Log in
Try it for free
Back to course
👋
Welcome to a Grasp lesson
Create a free account
to keep studying and create your own study path.
Learn Harvard CS 165
·
Module 5
Concurrency Control
1
Serializability and Conflict Types
Define serializability and identify read-write, write-read, and write-write conflicts in schedules.
2
Building a Lock Manager for Concurrency Control
Implement a lock manager that supports shared (read) and exclusive (write) locks.
3
Implementing S2PL with a Lock Manager
Implement strict two-phase locking (S2PL) by integrating a lock manager into transaction operations.
4
Deadlock Detection with Wait-For Graphs
Implement deadlock detection using a wait-for graph.
5
MVCC for Read-Heavy Workloads
Explain how Multi-Version Concurrency Control (MVCC) improves concurrency for read-heavy workloads.
6
Snapshot Isolation & MVCC Explained
Describe the mechanism of snapshot isolation using MVCC.
7
Snapshot Isolation Anomalies and Serializability
Identify and provide examples of anomalies in snapshot isolation (e.g., write skew) that are prevented by serializability.
Previous module
Query Optimization
Next module
Logging and Recovery with ARIES