This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE Symposium on Parallel and Distributeed Processing
Efficient race detection for message-passing programs with nonblocking sends and receives
San Antonio, Texas
October 25-October 28
ISBN: 0-8186-7195-5
R. Cypher, Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
E. Leu, Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
This paper presents an algorithm for performing on-the-fly race detection for parallel message-passing programs. The algorithm reads a trace of the communication events in a message-passing parallel program and either finds a specific race condition or reports that the traced program is race-free. It supports a rich message-passing model, including blocking and non-blocking sends and receives, synchronous and asynchronous sends, receive selectivity by source and/or tag value, and arbitrary amounts of system buffering of messages. It runs in polynomial time and is very efficient for most types of executions. A key feature of the race detection algorithm is its use of several new types of logical clocks for determining ordering relations. It is likely that these logical clocks will also be useful in other settings.
Index Terms:
hazards and race conditions; message passing; parallel programming; race detection; message-passing programs; parallel message-passing programs; communication events; traced program; logical clocks; ordering relations
Citation:
R. Cypher, E. Leu, "Efficient race detection for message-passing programs with nonblocking sends and receives," spdp, pp.534, 7th IEEE Symposium on Parallel and Distributeed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.