Deadlock control of multithreaded software based on Petri nets: A brief review
Document Type
Conference Proceeding
Publication Date
5-25-2016
Abstract
This work surveys the latest deadlock detection and control methods for parallel programs with its focus on the principal achievements of preventing deadlocks. It mainly discusses three methods based on Gadara nets, which respectively include: iterative control of general Gadara nets, iterative control of ordinary Gadara nets via Mixed Integer Programming (MIP) and iterative control of ordinary Gadara nets via Boolean satisfiability formulation (SAT). Finally, some directions for future research about deadlock control of multithreaded software based on Petri nets are discussed.
Identifier
84978153914 (Scopus)
ISBN
[9781467399753]
Publication Title
Icnsc 2016 13th IEEE International Conference on Networking Sensing and Control
External Full Text Location
https://doi.org/10.1109/ICNSC.2016.7478975
Recommended Citation
Gan, M. D.; Ding, Z. J.; Wang, S. G.; Wu, W. H.; and Zhou, M. C., "Deadlock control of multithreaded software based on Petri nets: A brief review" (2016). Faculty Publications. 10504.
https://digitalcommons.njit.edu/fac_pubs/10504
