Autolocker
- 11 January 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (1) , 346-358
- https://doi.org/10.1145/1111037.1111068
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Automated type-based analysis of data races and atomicityPublished by Association for Computing Machinery (ACM) ,2005
- Revocable locks for non-blocking programmingPublished by Association for Computing Machinery (ACM) ,2005
- Type inference for atomicityPublished by Association for Computing Machinery (ACM) ,2005
- Language support for lightweight transactionsPublished by Association for Computing Machinery (ACM) ,2003
- A type and effect system for atomicityPublished by Association for Computing Machinery (ACM) ,2003
- Pointer and escape analysis for multithreaded programsPublished by Association for Computing Machinery (ACM) ,2001
- EraserACM Transactions on Computer Systems, 1997
- On-the-fly detection of access anomaliesPublished by Association for Computing Machinery (ACM) ,1989
- Concurrency control performance modeling: alternatives and implicationsACM Transactions on Database Systems, 1987
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsACM Transactions on Programming Languages and Systems, 1983