Is the optimism in optimistic concurrency warranted?

Proceedings of HotOS 2007 - 11th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2007, Pages

  Porter, Donald E ^a   Hofmann, Owen S ^a   Witchel, Emmett ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINUX;

CONCURRENT EXECUTION; CONFLICT DETECTION; OPERATING SYSTEM KERNEL; OPTIMISTIC CONCURRENCY; OPTIMISTIC SYNCHRONIZATION; POTENTIAL BENEFITS; STRUCTURE REORGANIZATIONS; TRANSACTIONAL MEMORY;

SYNCHRONIZATION;

EID: 85037540151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Michael Feldman. Getting serious about transactional memory. HPCWire, 2007.
2. L. Hammond, V. Wong, M. Chen, B. Carlstrom, J. Davis, B. Hertzberg, M. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In ISCA, 2004.
3. J. Harrow. Runtime checking of multithreaded applications with visual threads. In SPIN, pages 331-342, 2000.
4. M. Herlihy. Wait-free synchronization. In TOPLAS, January 1991.
5. M. Herlihy, V. Luchangco, and M. Moir. Obstruction-free synchronization: Double-ended queues as an example. In ICDCS, 2003.
6. M. Herlihy and J. E. Moss. Transactional memory: Architectural support for lock-free data structures. In ISCA, May 1993.
7. P.S. Magnusson, M. Christianson, and J. Eskilson et al. Simics: A full system simulation platform. In IEEE Computer vol.35 no.2, Feb 2002.
8. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. LogTM: Log-based transactional memory. In HPCA, 2006.
9. C. Papadimitriou. The serializability of concurrent database updates. J. ACM, 26(4):631-653, 1979.
10. R. Rajwar and J. Goodman. Speculative lock elision: Enabling highly concurrent multithreaded execution. In MICRO, 2001.
11. R. Rajwar and J. Goodman. Transactional lock-free execution of lock-based programs. In ASP-LOS, October 2002.
12. R. Rajwar, M. Herlihy, and K. Lai. Virtualizing transactional memory. In ISCA. 2005.
13. H.E. Ramadan, C.J. Rossbach, D.E. Porter, O.S. Hofmann, A. Bhandari, and E. Witchel. MetaTM/TxLinux: Transactional memory for an operating system. In ISCA, 2007.
14. J. G. Steffan, C. B. Colohan, A. Zhai, and T. C. Mowry. A scalable approach to thread-level speculation. In ISCA, 2000.
15. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, 2005.