FafnirDT extends the 2PLSF (Two-Phase Locking with Starvation Freedom) protocol to fix a critical scalability flaw in lock-based concurrency.
-
Updated
Jan 1, 2026 - C++
FafnirDT extends the 2PLSF (Two-Phase Locking with Starvation Freedom) protocol to fix a critical scalability flaw in lock-based concurrency.
Research software for Petri-net-based concurrent control analysis and XT/r-exact hypergraph decomposition.
Add a description, image, and links to the concurrent-control topic page so that developers can more easily learn about it.
To associate your repository with the concurrent-control topic, visit your repo's landing page and select "manage topics."