{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:03:27Z","timestamp":1743120207929,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319436586"},{"type":"electronic","value":"9783319436593"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-43659-3_3","type":"book-chapter","created":{"date-parts":[[2016,8,8]],"date-time":"2016-08-08T02:54:01Z","timestamp":1470624841000},"page":"37-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Synchronization Debugging of Hybrid Parallel Programs"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Krzikalla","sequence":"first","affiliation":[]},{"given":"Ralph","family":"M\u00fcller-Pfefferkorn","sequence":"additional","affiliation":[]},{"given":"Wolfgang E.","family":"Nagel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,9]]},"reference":[{"key":"3_CR1","unstructured":"GASPI - Global Adress Space Programming Interface (2011). \n                      http:\/\/www.gaspi.de\n                      \n                    . Accessed 29 Jan 2015"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Callahan, D., Kennedy, K., Subhlok, J.: Analysis of event synchronization in a parallel programming tool. In: ACM SIGPLAN Notices, vol. 25, pp. 21\u201330. ACM (1990)","DOI":"10.1145\/99164.99167"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. (TOCS) 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"3_CR4","series-title":"Wiley Series on Parallel and Distributed Computing","doi-asserted-by":"publisher","DOI":"10.1002\/0471478369","volume-title":"UPC: Distributed Shared Memory Programming","author":"T El-Ghazawi","year":"2005","unstructured":"El-Ghazawi, T., Carlson, W., Sterling, T., Yelick, K.: UPC: Distributed Shared Memory Programming. Wiley Series on Parallel and Distributed Computing. Wiley, New York (2005)"},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/52.108783","volume":"9","author":"P Emrath","year":"1992","unstructured":"Emrath, P., Ghosh, S., Padua, D.: Detecting nondeterminacy in parallel programs. IEEE Softw. 9(1), 69\u201377 (1992)","journal-title":"IEEE Softw."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Emrath, P.A., Ghosh, S., Padua, D.A.: Event synchronization analysis for debugging parallel programs. In: Proceedings of Supercomputing 1989, pp. 580\u2013588 (1989)","DOI":"10.1145\/76263.76329"},{"key":"3_CR7","unstructured":"Gr\u00fcnewald, D., Simmendinger, C.: The GASPI API specification and its implementation GPI 2.0. In: 7th International Conference on PGAS Programming Models, vol. 243 (2013)"},{"key":"3_CR8","unstructured":"Krzikalla, O., Kn\u00fcpfer, A., M\u00fcller-Pfefferkorn, R., Nagel, W.E.: On the modelling of one-sided communication systems. In: Proceedings of the 7th International Conference on PGAS Programming Models, Edinburgh, UK, October 2013, pp. 41\u201353 (2013)"},{"issue":"7","key":"3_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68555-5_4","volume-title":"OpenMP Shared Memory Parallel Programming","author":"Y Lin","year":"2008","unstructured":"Lin, Y.: Static nonconcurrency analysis of OpenMP programs. In: Mueller, M.S., Chapman, B.M., de Supinski, B.R., Malony, A.D., Voss, M. (eds.) IWOMP 2005 and IWOMP 2006. LNCS, vol. 4315, pp. 36\u201350. Springer, Heidelberg (2008)"},{"issue":"6","key":"3_CR11","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/1064978.1065034","volume":"40","author":"CK Luk","year":"2005","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. SIGPLAN Not. 40(6), 190\u2013200 (2005)","journal-title":"SIGPLAN Not."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Netzer, R.H., Brennan, T.W., Damodaran-Kamal, S.K.: Debugging race conditions in message-passing programs. In: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pp. 31\u201340. ACM (1996)","DOI":"10.1145\/238020.238033"},{"key":"3_CR13","unstructured":"Netzer, R.H., Ghosh, S., et al.: Efficient race condition detection for shared-memory programs with Post\/Wait synchronization. University of Wisconsin-Madison, Computer Sciences Department (1992)"},{"key":"3_CR14","unstructured":"Netzer, R.H., Miller, B.P.: On the complexity of event ordering for shared-memory parallel program executions. In: Proceedings of the 1990 International Conference on Parallel Processing, pp. 93\u201397 (1990)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Park, C.S., Sen, K., Hargrove, P., Iancu, C.: Efficient data race detection for distributed memory parallel programs. In: Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2011, pp. 51:1\u201351:12. ACM, New York (2011)","DOI":"10.1145\/2063384.2063452"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-319-05215-1_10","volume-title":"OpenSHMEM and Related Technologies","author":"S Pophale","year":"2014","unstructured":"Pophale, S., Hernandez, O., Poole, S., Chapman, B.M.: Extending the OpenSHMEM analyzer to perform synchronization and multi-valued analysis. In: Poole, S., Hernandez, O., Shamis, P. (eds.) OpenSHMEM 2014. LNCS, vol. 8356, pp. 134\u2013148. Springer, Heidelberg (2014)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/BFb0025886","volume-title":"Languages and Compilers for Parallel Computing","author":"J Ramanujam","year":"1995","unstructured":"Ramanujam, J., Mathew, A.: Analysis of event synchronization in parallel programs. In: Pingali, K.K., Gelernter, D., Padua, D.A., Banerjee, U., Nicolau, A. (eds.) LCPC 1994. LNCS, vol. 892, pp. 300\u2013315. Springer, Heidelberg (1995)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Duesterwald, E.: Barrier matching for programs with textually unaligned barriers. In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 194\u2013204. ACM (2007)","DOI":"10.1145\/1229428.1229472"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2016: Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43659-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T00:02:38Z","timestamp":1596931358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43659-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319436586","9783319436593"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43659-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 August 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Euro-Par","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Parallel Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"europar2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/europar2016.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}