On Atomicity in Presence of Non-atomic Writes
No abstract available.
Related papers
- A type and effect system for atomicity PLDI 2003
- CDSchecker: checking concurrent data structures written with C/C++ atomics OOPSLA 2013
- Handling Parameterized Systems with Non-atomic Global Conditions VMCAI 2008
- Implementation of Resilient, Atomic Data Types TOPLAS 1985
- Synthesis of concurrent programs for an atomic read/write model of computation TOPLAS 2001
- Static analysis of atomicity for programs with non-blocking synchronization PPoPP 2005
- Atomic quake: using transactional memory in an interactive multiplayer game server PPoPP 2009
- Accurate and efficient runtime detection of atomicity errors in concurrent programs PPoPP 2006