{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:47:34Z","timestamp":1725630454842},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685616"},{"type":"electronic","value":"9783540685647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68564-7_5","type":"book-chapter","created":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T11:03:06Z","timestamp":1212404586000},"page":"61-78","source":"Crossref","is-referenced-by-count":4,"title":["MPI Correctness Checking with Marmot"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Krammer","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Hilbrich","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Himmler","sequence":"additional","affiliation":[]},{"given":"Blasius","family":"Czink","sequence":"additional","affiliation":[]},{"given":"Kiril","family":"Dichev","sequence":"additional","affiliation":[]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Message Passing Interface Forum. MPI: A Message Passing Interface Standard, June 1995. http:\/\/www.mpi-forum.org\/ ."},{"key":"5_CR2","unstructured":"Message Passing Interface Forum. MPI-2: Extensions to the Message Passing Interface, July 1997. http:\/\/www.mpi-forum.org\/ ."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Jeffrey S. Vetter and Bronis R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE Supercomputing Conference (SC 2000), Dallas, Texas, 2000.","DOI":"10.1109\/SC.2000.10055"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"William D. Gropp. Runtime Checking Of Datatype Signatures In MPI. In Recent Advances In Parallel Virtual Machine And Message Passing. 7th European PVM\/MPI Users\u2019 Group Meeting. LNCS 1908, pages 160-167. Springer 2000.","DOI":"10.1007\/3-540-45255-9_24"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Chris Falzone, Anthony Chan, Ewing Lusk and William Gropp. Collective Error Detection for MPI Collective Operations. In Recent Advances In Parallel Virtual Machine And Message Passing. 12th European PVM\/MPI Users\u2019 Group Meeting. LNCS 3666, pages 138-147. Springer 2005.","DOI":"10.1007\/11557265_21"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J.L. Tr\u00e4ff and J. Worringen. Verifying Collective MPI Calls. In Recent Advances In Parallel Virtual Machine And Message Passing. 11th European PVM\/MPI Users\u2019 Group Meeting. LNCS 3241, pages 18-27, Springer, 2004.","DOI":"10.1007\/978-3-540-30218-6_11"},{"key":"5_CR7","unstructured":"Dieter Kranzlm\u00fcller. Event Graph Analysis For Debugging Massively Parallel Programs. Phd thesis, Joh. Kepler University Linz, Austria, 2000."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Glenn Luecke, Yan Zou, James Coyle, Jim Hoekstra and Marina Kraeva. Deadlock Detection In MPI Programs. In Concurrency and Computation: Practice and Experience. 2002, vol. 14, pages 911-932.","DOI":"10.1002\/cpe.701"},{"key":"5_CR9","unstructured":"Marmot. http:\/\/www.hlrs.de\/organization\/amt\/projects\/marmot"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bettina Krammer, Matthias S. M\u00fcller and Michael M. Resch. MPI I\/O Analysis and Error Detection with Marmot. In Recent Advances In Parallel Virtual Machine And Message Passing. 11th European PVM\/MPI Users\u2019 Group Meeting. LNCS 3241, pages 242-250, Springer, 2004.","DOI":"10.1007\/978-3-540-30218-6_36"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bettina Krammer, Katrin Bidmon, Matthias S. M\u00fcller, and Michael M. Resch. Marmot: An MPI analysis and checking tool. In Proceedings of PARCO 2003, pages 493-500, Elsevier, 2004.","DOI":"10.1016\/S0927-5452(04)80063-7"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Bettina Krammer, Matthias S. M\u00fcller and Michael M. Resch. MPI Application Development Using the Analysis Tool Marmot, In Proceedings of ICCS 2004, LNCS 3038, pages 464-471, Springer 2004.","DOI":"10.1007\/978-3-540-24688-6_61"},{"key":"5_CR13","unstructured":"Bettina Krammer, Valentin Himmler, David Lecomber. Coupling DDT and Marmot for Debugging of MPI Applications. In Proc. of ParCo 2007, J\u00fclich\/Aachen, Germany, September 4-7, 2007. NIC Series, Vol. 38, pp. 653-660"},{"key":"5_CR14","unstructured":"KOJAK. Kit for Objective Judgement and Knowledge-based Detection of Performance Bottlenecks http:\/\/www.fz-juelich.de\/jsc\/kojak\/"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Markus Geimer, Felix Wolf, Brian J.N. Wylie, and Bernd Mohr. Scalable Parallel Trace-Based Performance Analysis. In Proceedings of the 13th European Parallel Virtual Machine and Message Passing Interface Conference, LNCS 4192, pages 303-312, Springer 2006.","DOI":"10.1007\/11846802_43"},{"key":"5_CR16","unstructured":"DDT. The Distributed Debugging Tool. http:\/\/www.allinea.com\/?page=48"},{"key":"5_CR17","unstructured":"Totalview. http:\/\/www.totalviewtech.com\/productsTV.htm"},{"key":"5_CR18","unstructured":"mpigdb. http:\/\/www-unix.mcs.anl.gov\/mpi\/MPICH\/docs\/userguide\/node26.htm#Node29"},{"key":"5_CR19","unstructured":"The GNU Project Debugger. http:\/\/www.gnu.org\/manual\/gdb"},{"key":"5_CR20","unstructured":"The Data Display Debugger. http:\/\/www.gnu.org\/software\/ddd\/"},{"key":"5_CR21","unstructured":"The Cross-Platform Makefile Generator http:\/\/www.cmake.org"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Brett Carson and Ian A. Mason. ClusterGrind: Valgrinding LAM\/MPI Applications. In Recent Advances In Parallel Virtual Machine And Message Passing. 12th European PVM\/MPI Users\u2019 Group Meeting. LNCS 3666, pages 325-332. Springer 2005.","DOI":"10.1007\/11557265_43"},{"key":"5_CR23","unstructured":"Rainer Keller, Shiqing Fan and Michael Resch. Memory debugging of MPI-parallel Applications in Open MPI. In Proceedings of ParCo\u201907, G.R. Joubert et al. (eds), Juelich, Germany, September, 2007."},{"key":"5_CR24","first-page":"2","volume-title":"ATEC \u201905: Proceedings of the annual conference on USENIX Annual Technical Conference","author":"Julian Seward","year":"2005","unstructured":"Julian Seward and Nicholas Nethercote. Using valgrind to detect undefined value errors with bit-precision. In ATEC \u201905: Proceedings of the annual conference on USENIX Annual Technical Conference, Berkeley, CA, USA, USENIX Association (2005), 2\u20132."},{"key":"5_CR25","unstructured":"Jayant DeSouza, Bob Kuhn and Bronis R. de Supinski. Automated, scalable debugging of MPI programs with Intel Message Checker. SE-HPCS \u201905, St. Louis, Missouri, USA. http:\/\/csdl.ics.hawaii.edu\/se-hpcs\/papers\/11.pdf"},{"key":"5_CR26","unstructured":"Patrick Ohly and Werner Krotz-Vogel. Automated MPI Correctness Checking: What if There Were a Magic Option? 8th LCI \u201907, South Lake Tahoe, California, USA. May 2007. http:\/\/softwarecommunity.intel.com\/isn\/Downloads\/multicore\/Krotz-Vogel_lci-hpcc-correctness.pdf"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1181309.1181315","volume-title":"ASID \u201906: Proceedings of the 1st workshop on Architectural and system support for improving software dependability","author":"P. Sack","year":"2006","unstructured":"Sack, P., Bliss, B.E., Ma, Z., Petersen, P., Torrellas, J.: Accurate and efficient filtering for the intel thread checker race detector. In: ASID \u201906: Proceedings of the 1st workshop on Architectural and system support for improving software dependability, New York, NY, USA, ACM (2006) 34\u201341"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"A. Tirado-Ramos, H. Ragas, D. Shamonin, H. Rosmanith, and D. Kranzlmueller. Integration of blood flow visualization on the grid: the flowfish\/gvk approach. In 2nd European Across Grids Conference, Nicosia, Cyprus, January 28-30 2004.","DOI":"10.1007\/978-3-540-28642-4_9"},{"key":"5_CR29","unstructured":"ParMA: Parallel Programming for Multi-core Architectures - ITEA2 Project (06015). http:\/\/www.parma-itea2.org\/"},{"key":"5_CR30","unstructured":"Bettina Krammer and Rainer Keller. The ParMA Project. inSiDE, Vol 5, No. 1, Spring 2007."},{"key":"5_CR31","unstructured":"Interactive European Grid. http:\/\/www.interactive-grid.eu\/"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"054417","DOI":"10.1103\/PhysRevB.72.054417","volume":"72","author":"S. Jimenez","year":"2005","unstructured":"S. Jimenez, V. Martin-Mayor, S. Perez-Gaviro. Rejuvenation and Memory in model Spin Glasses in 3 and 4 dimensions. Phys. Rev. B 72, 054417 (2005).","journal-title":"Phys. Rev. B"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"217204","DOI":"10.1103\/PhysRevLett.97.217204","volume":"97","author":"I. Campos","year":"2006","unstructured":"I. Campos, M. Cotallo-Aban, V. Martin-Mayor, S. Perez-Gaviro, A. Tarancon. Phys. Rev. Lett. 97, 217204 (2006).","journal-title":"Phys. Rev. Lett."},{"key":"5_CR34","unstructured":"M.S. M\u00fcller, M. van Waveren, R. Liebermann, B. Whitney, H. Saito, K. Kalyan, J. Baron, B. Brantley, Ch. Parrott, T. Elken, H. Feng and C. Ponder SPEC MPI2007 - An Application Benchmark for Clusters and HPC systems In Proceedings of ISC2007, Dresden, 2007."}],"container-title":["Tools for High Performance Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68564-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:55:54Z","timestamp":1620003354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68564-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540685616","9783540685647"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68564-7_5","relation":{},"subject":[]}}