{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:06:51Z","timestamp":1745989611955},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_12","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"201-218","source":"Crossref","is-referenced-by-count":6,"title":["Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores"],"prefix":"10.1007","author":[{"given":"Vineeth","family":"Mekkat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anup","family":"Holey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Zhai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"12_CR2","unstructured":"Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization considered harmful. In: Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (2010)"},{"key":"12_CR3","unstructured":"Intel Corporation: Intel Thread Checker, \n                    \n                      http:\/\/www.intel.com"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (1997)","DOI":"10.1145\/265924.265927"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Muzahid, A., Su\u00e1rez, D., Qi, S., Torrellas, J.: Sigrace: signature-based data race detection. In: International Symposium on Computer Architecture, ISCA (2009)","DOI":"10.1145\/1555754.1555797"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Zhou, P., Teodorescu, R., Zhou, Y.: Hard: Hardware-assisted lockset-based race detection. In: International Symposium on High Performance Computer Architecture, HPCA (2007)","DOI":"10.1109\/HPCA.2007.346191"},{"key":"12_CR7","unstructured":"Brookwood, N.: AMD Fusion Family of APUs: Enabling a Superior, Immersive PC Experience. Advanced Micro Devices(AMD) White Paper (2010)"},{"key":"12_CR8","unstructured":"Intel Corporation: Intel Sandy Bridge Microarchitecture, \n                    \n                      http:\/\/www.intel.com"},{"key":"12_CR9","unstructured":"NVIDIA Corporation: NVIDIA Project Denver, \n                    \n                      http:\/\/goo.gl\/i2Q3Z"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of ACM (1978)","DOI":"10.1145\/359545.359563"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Engler, D., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. In: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (2003)","DOI":"10.1145\/945445.945468"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Hill, M.D., Miller, B.P., Netzer, R.H.B.: Detecting data races on weak memory systems. In: Proceedings of the 18th Annual International Symposium on Computer Architecture (1991)","DOI":"10.1145\/115952.115976"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gupta, S., Sultan, F., Cadambi, S., Ivancic, F., Rotteler, M.: Using hardware transactional memory for data race detection. In: IEEE International Symposium on Parallel Distributed Processing, IPDPS (2009)","DOI":"10.1109\/IPDPS.2009.5161006"},{"key":"12_CR14","unstructured":"Boyer, M., Skadron, K., Weimer, W.: Automated dynamic analysis of cuda programs. In: Third Workshop on Software Tools for MultiCore Systems (2008)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Hou, Q., Zhou, K., Guo, B.: Debugging gpu stream programs through automatic dataflow recording and visualization. ACM Transactions on Graphics, TOG (2009)","DOI":"10.1145\/1661412.1618499"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Zheng, M., Ravi, V.T., Qin, F., Agrawal, G.: Grace: a low-overhead mechanism for detecting data races in gpu programs. In: Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming (2011)","DOI":"10.1145\/1941553.1941574"},{"key":"12_CR17","unstructured":"Bekar, U.C., Elmas, T., Okur, S., Tasiran, S.: KUDA: GPU accelerated split race checker. In: Workshop on Determinism and Correctness in Parallel Programming, WoDet (2012)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"He, G., Zhai, A.: Improving the performance of program monitors with compiler support in multi-core environment. In: IEEE International Symposium on Parallel Distributed Processing, IPDPS (2010)","DOI":"10.1109\/IPDPS.2010.5470405"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Chen, S., Falsafi, B., Gibbons, P.B., Kozuch, M., Mowry, T.C., Teodorescu, R., Ailamaki, A., Fix, L., Ganger, G.R., Lin, B., Schlosser, S.W.: Log-based architectures for general-purpose monitoring of deployed code. In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability (2006)","DOI":"10.1145\/1181309.1181319"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Bloom, B.H.: Space\/Time Trade-offs in Hash Coding with Allowable Errors. Communications of ACM (1970)","DOI":"10.1145\/362686.362692"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Carter, J.L., Wegman, M.N.: Universal Classes of Hash Functions. In: ACM Symposium on Theory of Computing (1977)","DOI":"10.1145\/800105.803400"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.: A \u201dflight data recorder\u201d for enabling full-system multiprocessor deterministic replay. In: International Symposium on Computer Architecture, ISCA (2003)","DOI":"10.1145\/859618.859633"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Prvulovic, M., Zhang, Z., Torrellas, J.: Revive: cost-effective architectural support for rollback recovery in shared-memory multiprocessors. In: International Symposium on Computer Architecture, ISCA (2002)","DOI":"10.1145\/545214.545228"},{"key":"12_CR24","unstructured":"NVIDIA Corporation: NVIDIA CUDA C Programming Guide, \n                    \n                      http:\/\/www.nvidia.com"},{"key":"12_CR25","unstructured":"Xiao, S., Feng, W.C.: Inter-block gpu communication via fast barrier synchronization. In: 2010 IEEE International Symposium on Parallel Distributed Processing, IPDPS (2010)"},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-23400-2_4","volume-title":"Euro-Par 2011 Parallel Processing","author":"R. Gonzalez-Alberquilla","year":"2011","unstructured":"Gonzalez-Alberquilla, R., Strauss, K., Ceze, L., Pi\u00f1uel, L.: Accelerating data race detection with minimal hardware support. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part I. LNCS, vol.\u00a06852, pp. 27\u201338. Springer, Heidelberg (2011)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Sack, P., Bliss, B.E., Ma, Z., Petersen, P., Torrellas, J.: Accurate and efficient filtering for the intel thread checker race detector. In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability (2006)","DOI":"10.1145\/1181309.1181315"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Magnusson, P., Christensson, M., Eskilson, J., Forsgren, D., Hallberg, G., Hogberg, J., Larsson, F., Moestedt, A., Werner, B.: Simics: A Full System Simulation Platform. Computer (2002)","DOI":"10.1109\/2.982916"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Martin, M.M.K., Sorin, D.J., Beckmann, B.M., Marty, M.R., Xu, M., Alameldeen, A.R., Moore, K.E., Hill, M.D., Wood, D.A.: Multifacet\u2019s General Execution-driven Multiprocessor Simulator (GEMS) Toolset. SIGARCH Computer Architecture News (2005)","DOI":"10.1145\/1105734.1105747"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Bakhoda, A., Yuan, G., Fung, W., Wong, H., Aamodt, T.: Analyzing cuda workloads using a detailed gpu simulator. In: International Symposium on Performance Analysis of Systems and Software, ISPASS (2009)","DOI":"10.1109\/ISPASS.2009.4919648"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Agarwal, N., Krishna, T., Peh, L.S., Jha, N.: GARNET: A Detailed On-chip Network Model Inside a Full-system Simulator. In: ISPASS (2009)","DOI":"10.1109\/ISPASS.2009.4919636"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Bienia, C., Kumar, S., Singh, J.P., Li, K.: The parsec benchmark suite: characterization and architectural implications. In: International Conference on Parallel Architectures and Compilation Techniques, PACT (2008)","DOI":"10.1145\/1454115.1454128"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Woo, S.C., Ohara, M., Torrie, E., Singh, J.P., Gupta, A.: The splash-2 programs: characterization and methodological considerations. In: International Symposium on Computer Architecture, ISCA (1995)","DOI":"10.1145\/223982.223990"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:45:04Z","timestamp":1558079104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}