[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
-
Updated
Oct 9, 2022 - C++
[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
No False Negatives: Accepting All Useful Schedules in a Fast Serializable Many-Core System
Implementations of Deterministic Concurrency Control Protocol based on tpcc-runner
Implementation of SCORe concurrency control.
The implementation of MV3C algorithm (http://dl.acm.org/citation.cfm?id=3035919)
Using locks to prevent race conditions in operating systems
Add a description, image, and links to the concurrency-control topic page so that developers can more easily learn about it.
To associate your repository with the concurrency-control topic, visit your repo's landing page and select "manage topics."