Record/replay for nondeterministic program executions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Record/replay for nondeterministic program executions

Full text

Pdf (106 KB)

Source

Communications of the ACM archive
Volume 46 , Issue 9 (September 2003) table of contents
Why CS students need math

Pages: 62 - 67

Year of Publication: 2003

ISSN:0001-0782

Authors

Michiel Ronsse	Ghent University in Belgium
Koen De Bosschere	Ghent University in Belgium
Mark Christiaens	Ghent University in Belgium
Jacques Chassin de Kergommeaux	Institut National Polytechnique de Grenoble, France (INPG)
Dieter Kranzlmüller	Johannes Kepler University Linz, Austria

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 81, Citation Count: 10

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/903893.903895 What is a DOI?

Warning: The download time has expired please click on the item to try again.

ABSTRACT

Controlling the nondeterministic features within multithreaded and highly responsive applications enables the continued use of all traditional software development techniques.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jason Gait, A probe effect in concurrent programs, Software—Practice & Experience, v.16 n.3, p.225-233, March 1986 [doi>10.1002/spe.4380160304]
	2	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	3	T. J. LeBlanc , J. M. Mellor-Crummey, Debugging parallel programs with instant replay, IEEE Transactions on Computers, v.36 n.4, p.471-482, April 1987 [doi>10.1109/TC.1987.1676929]
	4	J. M. Mellor-Crummey , T. J. LeBlanc, A software instruction counter, Proceedings of the third international conference on Architectural support for programming languages and operating systems, p.78-86, April 03-06, 1989, Boston, Massachusetts, United States
	5	R. H. B. Netzer , B. P. Miller, Optimal tracing and replay for debugging message-passing parallel programs, Proceedings of the 1992 ACM/IEEE conference on Supercomputing, p.502-511, November 16-20, 1992, Minneapolis, Minnesota, United States
	6	Robert H. B. Netzer , Barton P. Miller, What are race conditions?: Some issues and formalizations, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.1, p.74-88, March 1992 [doi>10.1145/130616.130623]
	7	Michiel Ronsse , Koen De Bosschere, RecPlay: a fully integrated practical record/replay system, ACM Transactions on Computer Systems (TOCS), v.17 n.2, p.133-152, May 1999 [doi>10.1145/312203.312214]

CITED BY 10

	Aine Mitchell , James F. Power, An approach to quantifying the run-time behaviour of Java GUI applications, Proceedings of the winter international synposium on Information and communication technologies, January 05-08, 2004, Cancun, Mexico
	H. M. Gladney , R. A. Lorie, Trustworthy 100-year digital objects: durable encoding for when it's too late to ask, ACM Transactions on Information Systems (TOIS), v.23 n.3, p.299-324, July 2005
	Richard Fryer, FPGA based CPU instrumentation for hard real-time embedded system testing, ACM SIGBED Review, v.2 n.2, p.39-42, April 2005
	Yasushi Saito, Jockey: a user-space library for record-replay debugging, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.69-76, September 19-21, 2005, Monterey, California, USA
	Xiangyu Zhang , Sriraman Tallam , Rajiv Gupta, Dynamic slicing long running programs through execution fast forwarding, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Sriraman Tallam , Chen Tian , Rajiv Gupta , Xiangyu Zhang, Enabling tracing Of long-running multithreaded programs via dynamic execution reduction, Proceedings of the 2007 international symposium on Software testing and analysis, July 09-12, 2007, London, United Kingdom
	Rui Wang , Betty Salzberg , David Lomet, Log-based recovery for middleware servers, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, June 11-14, 2007, Beijing, China
	Rui Wang , Betty Salzberg , David Lomet, Log-based recovery for middleware servers, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, June 11-14, 2007, Beijing, China
	Guoqing Xu , Atanas Rountev , Yan Tang , Feng Qin, Efficient checkpointing of java software using context-sensitive capture and replay, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Giovani Gracioli , Sebastian Fischmeister, Tracing interrupts in embedded software, ACM SIGPLAN Notices, v.44 n.7, July 2009