Deadlock control of multithreaded software based on Petri nets: A brief review

M. D. Gan, Z. J. Ding, S. G. Wang, W. H. Wu, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationICNSC 2016 - 13th IEEE International Conference on Networking, Sensing and Control
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781467399753
DOIs
StatePublished - May 25 2016
Event13th IEEE International Conference on Networking, Sensing and Control, ICNSC 2016 - Mexico City, Mexico
Duration: Apr 28 2016Apr 30 2016

Publication series

NameICNSC 2016 - 13th IEEE International Conference on Networking, Sensing and Control

Other

Other13th IEEE International Conference on Networking, Sensing and Control, ICNSC 2016
CountryMexico
CityMexico City
Period4/28/164/30/16

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Networks and Communications
  • Control and Systems Engineering
  • Modeling and Simulation

Fingerprint Dive into the research topics of 'Deadlock control of multithreaded software based on Petri nets: A brief review'. Together they form a unique fingerprint.

Cite this