Software and Hardware Support for Data-Race Exceptions
作者： Benjamin Paul Wood
DOI:
关键词: Race (biology) 、 Engineering 、 Software 、 Embedded system 、 Operating system
摘要:
参考文章(130)
Christoph von Praun, Thomas R. Gross, Static conflict analysis for multi-threaded object-oriented programs programming language design and implementation. ,vol. 38, pp. 115- 128 ,(2003) , 10.1145/780822.781145
Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards, Simple and fast biased locks international conference on parallel architectures and compilation techniques. pp. 65- 74 ,(2010) , 10.1145/1854273.1854287
Chandrasekhar Boyapati, Martin Rinard, A parameterized type system for race-free Java programs conference on object-oriented programming systems, languages, and applications. ,vol. 36, pp. 56- 69 ,(2001) , 10.1145/504282.504287
Hans-J. Boehm, Threads cannot be implemented as a library programming language design and implementation. ,vol. 40, pp. 261- 268 ,(2005) , 10.1145/1064978.1065042
Yuan Yu, Tom Rodeheffer, Wei Chen, RaceTrack: efficient detection of data race conditions via adaptive tracking symposium on operating systems principles. ,vol. 39, pp. 221- 234 ,(2005) , 10.1145/1095809.1095832
Hans-J. Boehm, Sarita V. Adve, You don't know jack about shared variables or memory models Communications of The ACM. ,vol. 55, pp. 48- 54 ,(2012) , 10.1145/2076450.2076465
Ravi Rajwar, Maurice Herlihy, Konrad Lai, Virtualizing Transactional Memory ACM SIGARCH Computer Architecture News. ,vol. 33, pp. 494- 505 ,(2005) , 10.1145/1080695.1070011
Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-J. Boehm, Conflict exceptions Proceedings of the 37th annual international symposium on Computer architecture - ISCA '10. ,vol. 38, pp. 210- 221 ,(2010) , 10.1145/1815961.1815987
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman, Composable specifications for structured shared-memory communication conference on object-oriented programming systems, languages, and applications. ,vol. 45, pp. 140- 159 ,(2010) , 10.1145/1869459.1869473
Cormac Flanagan, Stephen N. Freund, Jaeheon Yi, Velodrome Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08. ,vol. 43, pp. 293- 303 ,(2008) , 10.1145/1375581.1375618