Optimal tracing and incremental reexecution for debugging long-running programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Optimal tracing and incremental reexecution for debugging long-running programs

Full text

Pdf (1.34 MB)

Source

Conference on Programming Language Design and Implementation archive
Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation table of contents

Orlando, Florida, United States

Pages: 313 - 325

Year of Publication: 1994

ISBN:0-89791-662-X

Also published in ...

Authors

Robert H. B. Netzer	Brown Univ., Providence, RI
Mark H. Weaver	Brown Univ., Providence, RI

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 34, Citation Count: 16

Additional Information:

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/178243.178477 What is a DOI?

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

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	Hiralal Agrawal , Richard A. DeMillo , Eugene H. Spafford, An Execution-Backtracking Approach to Debugging, IEEE Software, v.8 n.3, p.21-26, May 1991 [doi>10.1109/52.88940]
	2	Thomas Ball , James R. Larus, Optimally profiling and tracing programs, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.59-70, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143180]
	3	Jong-Deok Choi , Janice M. Stone, Balancing runtime and replay costs in a trace-and-replay system, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.26-35, May 20-21, 1991, Santa Cruz, California, United States
	4	Jong-Deok Choi , Barton P. Miller , Robert H. B. Netzer, Techniques for debugging parallel programs with flowback analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.491-530, Oct. 1991 [doi>10.1145/115372.115324]
	5	Stuart I. Feldman , Channing B. Brown, IGOR: a system for program debugging via reversible execution, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.112-123, May 05-06, 1988, Madison, Wisconsin, United States
	6	J. R. Larus, Abstract execution: a technique for efficiently tracing programs, Software—Practice & Experience, v.20 n.12, p.1241-1258, Dec. 1990 [doi>10.1002/spe.4380201205]
	7	Computer Staff, Efficient program tracing, Computer, v.26 n.5, p.52-61, May 1993 [doi>10.1109/2.211900]
	8	Kai Li and W. K. Fuchs, "Compiler Assisted Static Checkpoint Insertion," Proc. of Fault Tolerant Computing Systems, (1992).
	9	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
	10	B. P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.135-144, June 20-24, 1988, Atlanta, Georgia, United States
	11	James S. Plank , Kai Li, Faster Checkpointing with N + 1 Parity, University of Tennessee, Knoxville, TN, 1993
	12	Steven P. Reiss, Trace-Based Debugging, Proceedings of the First International Workshop on Automated and Algorithmic Debugging, p.305-314, May 03-05, 1993
	13	Robert Wahbe , Steven Lucco , Susan L. Graham, Practical data breakpoints: design and implementation, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.1-12, June 21-25, 1993, Albuquerque, New Mexico, United States
	14	P. R. Wilson , T. G. Moher, Demonic memory for process histories, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.330-343, June 19-23, 1989, Portland, Oregon, United States

CITED BY 16

	Rajiv Gupta , Mary Lou Soffa , John Howard, Hybrid slicing: integrating dynamic information with static analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.4, p.370-397, Oct. 1997
	Lionel Villard , Nabil Layaïda, An incremental XSLT transformation processor for XML document manipulation, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA
	Rajiv Gupta , Mary Lou Soffa, Hybrid slicing: an approach for refining static slices using dynamic information, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.29-40, Oct. 1995
	Bob Boothe, Efficient algorithms for bidirectional debugging, ACM SIGPLAN Notices, v.35 n.5, p.299-310, May 2000
	Dieter Kranzlmüller , Nam Thoai , Jens Volkert, Error detection in large-scale parallel programs with long runtimes, Future Generation Computer Systems, v.19 n.5, p.689-700, July 2003
	Pablo Galdámez , Declan Murphy , José M. Bernabéu-Aubánjosep , Francesc D. Muñoz-Escoi, Event-Based Techniques to Debug an Object Request Broker, The Journal of Supercomputing, v.13 n.2, p.133-149, March/April 1999
	George W. Dunlap , Samuel T. King , Sukru Cinar , Murtaza A. Basrai , Peter M. Chen, ReVirt: enabling intrusion analysis through virtual-machine logging and replay, ACM SIGOPS Operating Systems Review, v.36 n.SI, Winter 2002
	Tankut Akgul , Vincent J. Mooney III, Assembly instruction level reverse execution for debugging, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.149-198, April 2004
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005
	George W. Dunlap , Samuel T. King , Sukru Cinar , Murtaza A. Basrai , Peter M. Chen, ReVirt: enabling intrusion analysis through virtual-machine logging and replay, Proceedings of the 5th symposium on Operating systems design and implementation Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading , December 09-11, 2002, Boston, Massachusetts
	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
	Samuel T. King , George W. Dunlap , Peter M. Chen, Debugging operating systems with time-traveling virtual machines, Proceedings of the USENIX Annual Technical Conference 2005 on USENIX Annual Technical Conference, p.1-1, April 10-15, 2005, Anaheim, CA
	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
	James Clause , Alessandro Orso, A Technique for Enabling and Supporting Debugging of Field Failures, Proceedings of the 29th International Conference on Software Engineering, p.261-270, May 20-26, 2007
	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