The application of supervisory control to deadlock avoidance in concurrent software

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 287-292

  Wang, Yin ^b   Kelly, Terence ^a   Kudlur, Manjunath ^b   Mahlke, Scott ^b   Lafortune, Stéphane ^b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; SCADA SYSTEMS; TECHNICAL PRESENTATIONS;

APPLICATIONS.; CONCURRENT PROGRAMS; CONCURRENT SOFTWARE; DEADLOCK AVOIDANCE; DISCRETE EVENT SYSTEMS; FEEDBACK CONTROLLERS; MULTI-CORE PROCESSORS; NOVEL METHODOLOGY; SOFTWARE DEVELOPERS; SUPERVISION BASED ON PLACE INVARIANTS; SUPERVISORY CONTROL;

CONCURRENCY CONTROL;

EID: 53149087435     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605961     Document Type: Conference Paper

References (32)

1. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley, 2006.
2. M. Costa, M. Castro, L. Zhou, L. Zhang, and M. Peinado. Bouncer: securing software by blocking bad input. In Proc. SOSP, pages 117-130, 2007.
3. E. W. Dijkstra. Solution of a problem in concurrent programming control. Commun. ACM, 8(9):569, 1965.
4. J. Edward G. Coffman and P. J. Denning. Operating Systems Theory. Prentice Hall Professional Technical Reference, 1973.
5. D. Engler and K. Ashcraft. RacerX : effective, static detection of race conditions and deadlocks. In Proc. SOSP, pages 237-252, New York, NY, USA, 2003. ACM Press.
6. J. Ezpeleta, J. M. Colom, and J. Martínez. A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2):173-184, Apr. 1995.
7. J. Ezpeleta, F. García-Vallés, and J. M. Colom. A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. on Robotics and Automation, 18(4):621-625, Aug. 2002.
8. E. M. Gold. Deadlock prediction: easy and difficult cases. SIAM Journal on Computing, 7(3):320-336, Aug. 1978.
9. A. N. Habermann. Prevention of system deadlocks. Commun. ACM, 12(7):373-ff, 1969.
10. J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury. Feedback Control of Computing Systems. Wiley, 2004.
11. L. Holloway, B. Krogh, and A. Giua. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7(2): 151-190, 1997.
12. M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston, MA, 2006.
13. J. Larus and R. Rajwar. Transactional Memory (Synthesis Lectures on Computer Architecture). Morgan & Claypool Publishers, 2007.
14. Z. Li and M. Zhou. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics-Part A, 34(1):38-51, Jan. 2004.
15. Z. Li and M. Zhou. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. on Systems, Man, and Cybernetics-Part A, 38(1): 133-148, Jan. 2008.
16. Z. Li, M. Zhou, and N. Wu. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics-Part C, 38(2): 173-188, Mar. 2008.
17. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. Muvi: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In Proc. SOSP, pages 103-116, 2007.
18. J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, pages 301-310, 1981.
19. T. Minoura. Deadlock avoidance revisited. J. ACM, 29(4):1023-1048, 1982.
20. J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Boston, MA, 1998.
21. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
22. G. Newton. Deadlock prevention, detection, and resolution: an annotated bibliography. SIGOPS Oper. Syst. Rev., 13(2):33-44, 1979.
23. E. B. Nightingale, P. M. Chen, and J. Flinn. Speculative execution in a distributed file system. In Proc. SOSP, pages 191-205, 2005.
24. OpenIMPACT. http://www.gelato.uiuc.edu/.
25. USENIX Symposium on Operating Systems Design and Implementation (OSDI). http://www.usenix.org/events/byname/osdi.html.
26. P. Padala, K. G. Shin, X. Zhu, M. Uysal, Z. Wang, S. Singhal, A. Merchant, and K. Salem. Adaptive control of virtualized resources in utility computing environments. In Proc. ACM SIGOPS European Conf. (EuroSys), pages 289-302, 2007.
27. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating bugs as allergies-a safe method to survive software failure. In Proc. SOSP, Oct. 2005.
28. S. A. Reveliotis. Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York, NY, 2005.
29. S. A. Reveliotis. Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems, pages 235-289. Facility Logistics: Approaches and Solutions to Next Generation Challenges. Auerbach, Dec. 2007.
30. ACM Symposium on Operating Systems Principles (SOSP). http://sosp.org/.
31. Y. Wang, T. Kelly, and S. Lafortune. Discrete control for safe execution of IT automation workflows. In Proc. ACM SIGOPS European Conf. (EuroSys), pages 305-314, 2007.
32. D. Zöbel and C. Koch. Resolution techniques and complexity results with deadlocks: a classifying and annotated bibliography. SIGOPS Oper. Syst. Rev., 22(1):52-72, 1988.