{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:50Z","timestamp":1725456110505},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356056"},{"type":"electronic","value":"9783642356063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35606-3_20","type":"book-chapter","created":{"date-parts":[[2012,12,7]],"date-time":"2012-12-07T00:40:17Z","timestamp":1354840817000},"page":"172-179","source":"Crossref","is-referenced-by-count":0,"title":["dMPI: Facilitating Debugging of MPI Programs via Deterministic Message Passing"],"prefix":"10.1007","author":[{"given":"Xu","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xicheng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoping","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baohua","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-48158-3_18","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"J.C. Kergommeaux de","year":"1999","unstructured":"de Kergommeaux, J.C., Ronsse, M., De Bosschere, K.: MPL*: Efficient Record\/Replay of Nondeterministic Features of Message Passing Libraries. In: Margalef, T., Dongarra, J., Luque, E. (eds.) PVM\/MPI 1999. LNCS, vol.\u00a01697, pp. 141\u2013148. Springer, Heidelberg (1999)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0020462","volume-title":"EURO-PAR \u201995: Parallel Processing","author":"C. Cl\u00e9men\u00e7on","year":"1995","unstructured":"Cl\u00e9men\u00e7on, C., Fritscher, J., Meehan, M., Rhl, R.: An Implementation of Race Detection and Deterministic Replay with MPI. In: Haridi, S., Ali, K., Magnusson, P. (eds.) Euro-Par 1995. LNCS, vol.\u00a0966, pp. 155\u2013166. Springer, Heidelberg (1995)"},{"doi-asserted-by":"crossref","unstructured":"Xue, R., Liu, X., Wu, M., Guo, Z., Chen, W., Zheng, W., Zhang, Z., Voelker, G.: MPIWiz: Subgroup reproducible replay of MPI applications. In: PPoPP, pp. 251\u2013260 (2009)","key":"20_CR3","DOI":"10.1145\/1594835.1504213"},{"unstructured":"Maruyama, M., Tsumura, T., Nakashima, H.: Parallel program debugging based on data-replay. In: PDCS, pp. 151\u2013156 (2005)","key":"20_CR4"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-45417-9_28","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"D. Kranzlm\u00fcller","year":"2001","unstructured":"Kranzlm\u00fcller, D., Schaubschl\u00e4ger, C., Volkert, J.: An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs. In: Cotronis, Y., Dongarra, J. (eds.) PVM\/MPI 2001. LNCS, vol.\u00a02131, pp. 192\u2013200. Springer, Heidelberg (2001)"},{"key":"20_CR6","volume-title":"Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"D. Joseph","year":"2009","unstructured":"Joseph, D., Brandon, L., Luis, C., Mark, O.: DMP: deterministic shared memory multiprocessing. In: Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, Washington, DC (2009)"},{"unstructured":"MPICH2, \n                    \n                      http:\/\/www.mcs.anl.gov\/research\/projects\/mpich2\/","key":"20_CR7"},{"unstructured":"Bailey, D., Harris, T., Saphir, W., van der Wijngaart, R., Woo, A., Yarrow, M.: The NAS Parallel Benchmarks 2.0. Technical Report NAS-95-020, NASA Ames Research Center, Mail Stop T 27 A-1, Moffett Field, CA 94035- 1000, USA (December 05, 1995)","key":"20_CR8"},{"unstructured":"Bocchino Jr, R.L., Adve, V.S., Adve, S.V., Snir, M.: Parallel programming must be deterministic by default. In: Proceedings of the First USENIX Conference on Hot Topics in Parallelism, p. 4 (2009)","key":"20_CR9"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1002\/cpe.701","volume":"14","author":"G.R. Luecke","year":"2002","unstructured":"Luecke, G.R., Zou, Y., Coyle, J., Hoekstra, J., Kraeva, M.: Deadlocks detection in MPI programs. Concurrency and Computation: Practice and Experience\u00a014, 911\u2013932 (2002)","journal-title":"Concurrency and Computation: Practice and Experience"},{"doi-asserted-by":"crossref","unstructured":"Fidge, C.J.: Partial orders for parallel debugging. In: ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, vol.\u00a024(1), pp. 183\u2013194 (January 1989)","key":"20_CR11","DOI":"10.1145\/69215.69233"},{"key":"20_CR12","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. Communications of the ACM\u00a021, 558\u2013565 (1978)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Network and Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35606-3_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:20:11Z","timestamp":1620134411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35606-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642356056","9783642356063"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35606-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}