Concurrency Debugging with Differential Schedule Projections.
Nuno MachadoDaniel QuintaBrandon LuciaLuís E. T. RodriguesPublished in: ACM Trans. Softw. Eng. Methodol. (2016)
Keyphrases
- scheduling problem
- three dimensional
- database systems
- discrete tomography
- concurrency control
- scheduling algorithm
- radon transform
- coordinate ascent
- events occur
- critical path
- tomographic reconstruction
- model based diagnosis
- software testing
- dynamic allocation
- data sets
- database
- concurrency control protocols
- distributed databases
- distributed systems
- execution traces
- management system