Modeling Multithreaded Applications Using Petri Nets

International Journal of Parallel Programming

Volumn 30, Issue 5, 2002, Pages 353-371

  Kavi, Krishna M ^a   Moshtaghi, Alireza ^b   Chen, Deng Jyi ^c  

^a UNIVERSITY OF NORTH TEXAS   (United States)

^b Morph Technologies   (United States)

^c NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

Author keywords

Deadlocks; Lost signals; Petri nets; Pthreads; Race conditions

Indexed keywords

DEAD LOCKS; LOST SIGNALS; MULTITHREAD APPLICATIONS; PTHREADS;

C (PROGRAMMING LANGUAGE); COMPUTATIONAL METHODS; COMPUTER PROGRAM LISTINGS; CONCURRENCY CONTROL; DYNAMIC PROGRAMMING; HAZARDS AND RACE CONDITIONS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

MULTIPROCESSING SYSTEMS;

EID: 1942539939     PISSN: 08857458     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1019917329895     Document Type: Article

References (13)

1. L. Lamport, How to Make Multiprocessor Computer that Correctly Executes Multiprocess Programs, IEEE Trans. Computers, pp. 241-248 (September 1979).
2. S. Savage, Michael Burrows, Greg Nelson, and Patrick Sobalvarro, Eraser: A Dynamic Data Race Detector for Multithreaded Programs, A CM Trans. Comp. Sys, Vol. 15, No. 4 (November 1997).
3. SunSoft, Lock Lint User's Guide, SunSoft Manual (August 1994).
4. M. B. Dwyer and L. A. Clarke, FLow Analysis for Verifying Specifications of Concurrent and Distributed Software, Technical Report 1999-1952, University of Massachusetts, Amherst (August 1999). ftp://ftp.cs.umass.edu/pub/techrept/ techreport/1999/UM-CS-1999-052.ps.
5. B. M. Cantrill and Thomas W. Doeppner, Jr., Thread Mon, A Tool for Monitoring Multithreaded Program Performance, Department of Computer Science, Brown University Providence, Rhode Island.
6. A. Silberschatz, P. B. Galvin, and G. Gagne, Operating System Concepts, First Edition, John Wiley (2000).
7. T. Murata, Petri Nets: Properties, Analysis and Applications, Proc. IEEE, 77(4), 541-580 (1989).
8. Dec-Alpha, Pthreads Man Pages, Dec-Alpha System Users Manual.
9. A. R. Moshtaghi, Modeling Multithreaded Programs Using Petri Nets, MS Thesis, Dept. of ECE, The University of Alabama in Huntsville, Huntsville, Alabama (May 2001).
10. M. Heiner, Petri Net Based Software Validation Prospects and Limitations, The International Computer Science Institute, University of California at Berkeley, TR-92-022 (March 1992).
11. J. W. Anneck and M. Naedele, Modeling Hierarchical and Recursive Structures Using Parametric Petri Net, Proc. High Performance Computing HPC'99, San Diego, California, pp. 445-452 (1999).
12. K. M. Kavi, B. P. Bukhles, and U. N. Bhat, Isomorphism Between Petri Net and Dataflow Graphs, IEEE Trans. Software Engineering, Vol. SE-13, No. 10 (November 1987).
13. K. M. Kavi, F. T. Sheldon, and S. Reed, Specification and Analysis of Real-Time Systems using CSP and Petri Nets, Int'l J. Software Engineering and Knowledge Engineering, Vol. 6, No. 2, pp. 229-248 (June 1996).