|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| R. Cypher, E. Leu, "Efficient race detection for message-passing programs with nonblocking sends and receives," Parallel and Distributed Processing, IEEE Symposium on, pp. 534, 7th IEEE Symposium on Parallel and Distributeed Processing, 1995. | |||
| BibTex | x | ||
| @article{ 10.1109/SPDP.1995.530730, author = {R. Cypher and E. Leu}, title = {Efficient race detection for message-passing programs with nonblocking sends and receives}, journal ={Parallel and Distributed Processing, IEEE Symposium on}, volume = {0}, year = {1995}, issn = {1063-6374}, pages = {534}, doi = {http://doi.ieeecomputersociety.org/10.1109/SPDP.1995.530730}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Parallel and Distributed Processing, IEEE Symposium on TI - Efficient race detection for message-passing programs with nonblocking sends and receives SN - 1063-6374 SP EP A1 - R. Cypher, A1 - E. Leu, PY - 1995 KW - 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 VL - 0 JA - Parallel and Distributed Processing, IEEE Symposium on ER - | |||
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.
