Deadlock Control of Multithreaded Software Based on Petri Nets: A Brief Review

M. D. Gan; Z. J. Ding; S. G. Wang; W. H. Wu; M. C. Zhou; IEEE

Back

Conference proceeding

Deadlock Control of Multithreaded Software Based on Petri Nets: A Brief Review

M. D. Gan, Z. J. Ding, S. G. Wang, W. H. Wu, M. C. Zhou and IEEE

2016 IEEE 13TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (ICNSC)

IEEE International Conference on Networking Sensing and Control

01/01/2016

Abstract

Automation & Control Systems

Computer Science

Computer Science, Hardware & Architecture

Engineering

Engineering, Electrical & Electronic

Remote Sensing

Science & Technology

Technology

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.

Metrics

4 Record Views

Details

Title: Deadlock Control of Multithreaded Software Based on Petri Nets: A Brief Review
Creators - without role: M. D. Gan - Tongji University
Z. J. Ding - Tongji University
S. G. Wang - Zhejiang Gongshang University
W. H. Wu - Zhejiang Gongshang University
M. C. Zhou - New Jersey Institute of Technology
IEEE
Publication Details: 2016 IEEE 13TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (ICNSC)
Series: IEEE International Conference on Networking Sensing and Control
Publisher: IEEE
Number of pages: 5
Identifiers: 9935932808331
Academic Unit: King Abdulaziz University
Language: English
Resource Type: Conference proceeding