Testing races in parallel programs with an OtOt strategy

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Testing races in parallel programs with an OtOt strategy

Full text

Pdf (1.13 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis table of contents

Seattle, Washington, United States

Pages: 216 - 227

Year of Publication: 1994

ISBN:0-89791-683-2

Authors

Suresh K. Damodaran-Kamal	Computer Science Department, University of Southwestern Louisiana, Lafayette, LA
Joan M. Francioni	Computer Science Department, University of Southwestern Louisiana, Lafayette, LA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 25, Citation Count: 1

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

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	AUGUSTON, M., AND FRITZSON, P. PARFOR- MAN- an Assertion Language for Specifying Behav~our when Debugging Parallel Applications. Accepted for publication in IEEE Transactions on Software Engineering.
	2	F Baiardi , N DeFrancesco , G Vaglini, Development of a debugger for a concurrent language, IEEE Transactions on Software Engineering, v.12 n.4, p.547-553, April 1986
	3	BATES, P., AND WILEDEN, J. High level debugging of distributed systems: The behavioral abstraction approach. Journal of Systems and Software (December 1983), 255-264.
	4	Peter Charles Bates, Debugging programs in a distributed system environment, University of Massachusetts, Amherst, MA, 1986
	5	Bernd Bruegge , Peter Hibbard, Generalized path expressions: A high level debugging mechanism (Preliminary Draft), Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.34-44, January 1983 [doi>10.1145/800007.808006]
	6	Janice Cuny , George Forman , Alfred Hough , Joydip Kundu , Calvin Lin , Lawrence Snyder , David Stemple, The Ariadne debugger: scalable application of event-based abstraction, Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging, p.85-95, May 17-18, 1993, San Diego, California, United States
	7	Suresh K. Damodaran-Kamal, Testing and debugging nondeterministic message passing parallel programs, University of Southwestern Louisiana, Lafayette, LA, 1994
	8	Suresh K. Damodaran-Kamal , Joan M. Francioni, Nondeterminancy: testing and debugging in message passing parallel programs, Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging, p.118-128, May 17-18, 1993, San Diego, California, United States
	9	DAMODARAN-KAMAL, S. K., AND FRANCIONI, J. M. mdb: A semantic race detection tool for PVM. In Proceed,ngs of the 199,{ Scalable High Performance Computing Conference (Knoxville, TN, May 1994), pp. 702-709.
	10	DAMODARAN-KAMAL, S. K., AND FRANCIONX, J. M. Semantic debugging of message passing parallel programs. Tech. Rep. TR-94-5-2, Center for Advanced Computer Studies, University of Southwestern Louisiana, January 1994.
	11	I. J. P. Elshoff, A distributed debugger for Amoeba, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.1-10, May 05-06, 1988, Madison, Wisconsin, United States
	12	Perry A. Emrath , Sanjoy Ghosh , David A. Padua, Detecting Nondeterminacy in Parallel Programs, IEEE Software, v.9 n.1, p.69-77, January 1992 [doi>10.1109/52.108783]
	13	GEIST, A., BEGUELIN, A., DONGARRA, Z., JIANG, W., MANCHECK, R., AND SUNDER. AM, V. PVM 3.0 user's guide and reference manual. Tech. Rep. ORNL/TM-12187, Oak Ridge National Laboratory, Oak Ridge, TN 37831-6367, May 1993.
	14	David Helmbold , David Luckham, TSL: task sequencing language, Proceedings of the 1985 annual ACM SIGAda international conference on Ada, p.255-274, May 14-16, 1985, Paris, France
	15	Alfred A. Hough , Janice E. Cuny, Initial experiences with a pattern-oriented parallel debugger, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.195-205, May 05-06, 1988, Madison, Wisconsin, United States
	16	W. Hseush , G. E. Kaiser, Modeling concurrency in parallel debugging, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.11-20, March 14-16, 1990, Seattle, Washington, United States
	17	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]
	18	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]
	19	LUMPP, JR., J. E., SHULTZ, R. K., AND CASA- VANT, T. L. Design of a system for software testing and debugging for multiprocessor avionics systems. In Proceedings of the 15th Annual International Computer Software and Applicat,ons Conference (COMPSA C91) (Tokyo, Japan, September 1991), pp. 261-268.
	20	MANNA, Z., AND WALDINGE}t, R. The logic of computer programming. IEEE Transactions on Software Eng:neering SE.d, 3 (May 1978), 199- 228.
	21	MOP. ASCA, S., AND PEZZE, M. Using high level petri nets for testing concurrent and real time systems. In Real-Time Systems: Theory and Applications (1990), pp. 119-131.
	22	NETZER, P~. H., AND DAMODARAN-KAMAL, S. K. Accurate Race Cond,t,on Detection for Message-Fasszng Programs. submitted to Supercomputing Conference, 1994, April 1994.
	23	Robert H. B. Netzer , Barton P. Miller, Improving the accuracy of data race detection, Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, p.133-144, April 21-24, 1991, Williamsburg, Virginia, United States
	24	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
	25	V. S. Sunderam, PVM: a framework for parallel distributed computing, Concurrency: Practice and Experience, v.2 n.4, p.315-339, Dec. 1990 [doi>10.1002/cpe.4330020404]
	26	Kuo-Chung Tai , Richard H. Carver , Evelyn E. Obaid, Debugging Concurrent Ada Programs by Deterministic Execution, IEEE Transactions on Software Engineering, v.17 n.1, p.45-63, January 1991 [doi>10.1109/32.67578]
	27	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]
	28	Richard N. Taylor , David L. Levine , Cheryl D. Kelly, Structural Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.18 n.3, p.206-215, March 1992 [doi>10.1109/32.126769]
	29	J. J. P. Tsai , K.-Y. Fang , H.-Y. Chen , Y.-D. Bi, A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging, IEEE Transactions on Software Engineering, v.16 n.8, p.897-916, August 1990 [doi>10.1109/32.57626]
	30	WEISS, S. A formal framework for the study of concurrent program testing. In Proceedings of the 2nd Workshop on Software Testing, Analysis, and Verification (July 1988), pp. 106-113.