Strict Two-Phase Locking (SS2PL) concurrency manager with shared/exclusive lock upgrades and DFS wait-for graph cycle deadlock detection.
-
Updated
Sep 9, 2026 - Python
Strict Two-Phase Locking (SS2PL) concurrency manager with shared/exclusive lock upgrades and DFS wait-for graph cycle deadlock detection.
Strict Two-Phase Locking (SS2PL) concurrency control with Wound-Wait timestamp-based deadlock prevention algorithm.
Strict Two-Phase Locking (SS2PL) concurrency control with Wound-Wait timestamp-based deadlock prevention algorithm.
Strict Two-Phase Locking (SS2PL) concurrency manager with shared/exclusive lock upgrades and DFS wait-for graph cycle deadlock detection.
simple transactional database built using java
📚 Database Internals: Transactions, Concurrency Control & Crash Recovery - Comprehensive lecture notes covering ACID, isolation levels, locking protocols (2PL), MVCC, timestamp ordering, WAL, and ARIES recovery. Uses real world examples. PostgreSQL-focused.
Semester-long project for COMP 512, 'Distributed Systems', taught by Bettine Kimme, Fall 2018
The project implements serial schedules as well as 2 Phase Locking
Two-Phase-Locking with Starvation Freedom Implementation: sf2pl folder. FafnirDT: fafnir folder
Project for Formal Modeling Of Concurrent Processes
Flight Database concurrency management system. Uses Two Phase Locking. Custom Lock class implemented with shared and exclusive locks
C/POSIX ticket-booking demo with thread pools, seat locking, page storage, B+ tree indexes and WAL primitives. Socket-level concurrency/restart tests; crash recovery and undo remain incomplete.
To associate your repository with the two-phase-locking topic, visit your repo's landing page and select "manage topics."