A serializability violation detector for shared-memory server programs
- 12 June 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (6), 1-14
- https://doi.org/10.1145/1065010.1065013
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- RacerXPublished by Association for Computing Machinery (ACM) ,2003
- A type and effect system for atomicityPublished by Association for Computing Machinery (ACM) ,2003
- Simulating a $2M commercial server on a $2K PCComputer, 2003
- Simics: A full system simulation platformComputer, 2002
- A protocol-centric approach to on-the-fly race detectionIEEE Transactions on Parallel and Distributed Systems, 2000
- EraserACM Transactions on Computer Systems, 1997
- What are race conditions?ACM Letters on Programming Languages and Systems, 1992
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976