A serializability violation detector for shared-memory server programs.
Min XuRastislav BodíkMark D. HillPublished in: PLDI (2005)
Keyphrases
- shared memory
- address space
- low overhead
- parallel algorithm
- message passing
- distributed memory
- multi processor
- concurrency control
- parallel computing
- parallel machines
- parallel programming
- parallel architectures
- parallel computers
- program execution
- parallel architecture
- distributed database systems
- database
- shared memory multiprocessors
- parallel execution
- parallel computation
- three dimensional