{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:31:21Z","timestamp":1725600681944},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233999"},{"type":"electronic","value":"9783642234002"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23400-2_4","type":"book-chapter","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T11:34:15Z","timestamp":1313580855000},"page":"27-38","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Accelerating Data Race Detection with Minimal Hardware Support"],"prefix":"10.1007","author":[{"given":"Rodrigo","family":"Gonzalez-Alberquilla","sequence":"first","affiliation":[]},{"given":"Karin","family":"Strauss","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Ceze","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Pi\u00f1uel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: Efficient and Precise Dynamic Race Detection. In: Conference on Programming Language Design and Implementation (2009)","DOI":"10.1145\/1542476.1542490"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM (1978)","DOI":"10.1145\/359545.359563"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Lu, S., et al.: AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. In: International Conference on Architectural Support for Programming Languages and Operating Systems (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Lucia, B., et al.: Conflict Exceptions: Providing Simple Concurrent Language Semantics with Precise Hardware Exceptions. In: International Symposium on Computer Architecture (2010)","DOI":"10.1145\/1815961.1815987"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Luk, C.-K., et al.: Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In: Conference on Programming Language Design and Implementation (2005)","DOI":"10.1145\/1065010.1065034"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.: The Java Memory Model. In: Symposium on Principles of Programming Languages (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"4_CR7","unstructured":"Martinez, J., et al.: Cherry: Checkpointed Early Resource Recycling in Out-of-order Microprocessors. In: International Symposium on Microarchitecture (2002)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Min, S.L., Choi, J.-D.: An Efficient Cache-based Access Anomaly Detection Scheme. In: International Conference on Architectural Support for Programming Languages and Operating Systems (1991)","DOI":"10.1145\/106972.106996"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Muzahid, A., et al.: SigRace: Signature-Based Data Race Detection. In: International Symposium on Computer Architecture (2009)","DOI":"10.1145\/1555754.1555797"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Nagarajan, V., Gupta, R.: ECMon: Exposing Cache Events for Monitoring. In: International Symposium on Computer Architecture (2009)","DOI":"10.1145\/1555754.1555798"},{"key":"4_CR11","unstructured":"Nelson, C., Boehm, H.-J.: Concurrency Memory Model. C++ standards committee paper (October 2007)"},{"key":"4_CR12","unstructured":"Prvulovic, M.: CORD: Cost-effective (and Nearly Overhead-free) Order-recording and Data Race Detection. In: International Symposium on High Performance Computer Architecture (2006)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Prvulovic, M., Torrellas, J.: ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes. In: International Symposium on Computer Architecture (2003)","DOI":"10.1145\/859618.859632"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., De Bosschere, K.: RecPlay: a fully integrated practical record\/replay system. ACM Transactions on Computer Systems\u00a017, 2 (1999)","journal-title":"ACM Transactions on Computer Systems"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., et al.: Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems\u00a015, 4 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Woo, S., et al.: The SPLASH-2 Programs: Characterization and Methodological Considerations. In: International Symposium on Computer Architecture (1995)","DOI":"10.1145\/223982.223990"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. In: Symposium on Operating Systems Principles (2005)","DOI":"10.1145\/1095810.1095832"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Zhou, P., et al.: HARD: Hardware-Assisted Lockset-based Race Detection. In: International Symposium on High Performance Computer Architecture (2007)","DOI":"10.1109\/HPCA.2007.346191"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2011 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23400-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:39:25Z","timestamp":1587343165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23400-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233999","9783642234002"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23400-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}