The theory of deadlock avoidance via discrete control

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2009, Pages 252-263

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

^a UNIVERSITY OF MICHIGAN   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Concurrent programming; Discrete control theory; Dynamic deadlock avoidance; Multicore processors; Multithreaded programming; Parallel programming

Indexed keywords

CONCURRENT PROGRAM; CONCURRENT PROGRAMMING; CONTROL FLOW GRAPHS; CONTROL LOGIC; DEADLOCK AVOIDANCE; DISCRETE CONTROL; DISCRETE CONTROL THEORY; FORMAL MODEL; LOCK ACQUISITION; MULTI-THREADED PROGRAMS; MULTICORE ARCHITECTURES; MULTICORE PROCESSORS; MULTITHREADED; MULTITHREADED PROGRAMMING; MUTUAL EXCLUSIONS; NATURALLY OCCURRING; PARALLELIZATION; PROGRAM SOURCE CODES; REAL SOFTWARES; RUNTIME; RUNTIME OVERHEADS; SYNCHRONIZATION PRIMITIVE; THEORETICAL FOUNDATIONS;

COMPUTER SOFTWARE; CONTROL THEORY; MULTITASKING; PARALLEL PROGRAMMING; SYSTEM THEORY;

CONCURRENCY CONTROL;

EID: 67649873480     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480881.1480913     Document Type: Conference Paper

References (28)

1. Apache. Apache bug database, 2008. https://issues.apache.org/bugzilla/ index.cgi.
2. E. R. Boer and T. Murata. Generating basis siphons and traps of Petri nets using the sign incidence matrix. IEEE Trans. on Circuits and Systems-I, 41(4):266-271, April 1994.
3. C. G. Cassandras and S. Lafortune. Introduction to Dsicrete Event Systems. Springer, second edition, 2007.
4. S. Cherem, T. Chilimbi, and S. Gulwani. Inferring locks for atomic sections. In PLDI, June 2008.
5. M. Emmi, J. S. Fischer, R. Jhala, and R. Majumdar. Lock allocation. In POPL, 2007. (Pubitemid 46160775)
6. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, 2003. (Pubitemid 40929700)
7. J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury. Feedback Control of Computing Systems. Wiley, 2004.
8. 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. (Pubitemid 127510011)
9. Intel. Intel C++ STM Compiler, Prototype Edition, January 2008.
10. M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, 2006.
11. M. Isard and A. Birrell. Automatic mutual exclusion. In Proc. 11th Workshop on Hot Topics in Operating Systems, May 2007.
12. K. M. Kavi, A. Moshtaghi, and D. Chen. Modeling multithreaded applications using Petri nets. International Journal of Parallel Programming, 30(5):353-371, October 2002.
13. J. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2007.
14. Z. Li, M. Zhou, and N. Wu. A survey and comparison of Petri netbased deadlock prevention policies for flexible manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics-Part C, 38(2):173-188, March 2008.
15. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In ASPLOS, 2008. (Pubitemid 351585418)
16. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: Synchronization inference for atomic sections. In POPL, 2006. (Pubitemid 43906983)
17. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
18. OpenImpact. OpenIMPACT, 2008. http://www.gelato.uiuc.edu/.
19. OpenLDAP. OpenLDAP Issue Tracking System, 2008. http://www.openldap.org/ its/.
20. C. A. Petri. Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriffen des IIM Nr.3, 1962.
21. P. J. Ramadge and W.M.Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), 1987. (Pubitemid 17513624)
22. W. Reisig. Petri nets. In EATCS Monographs on Theoretical Computer Science, volume 4. Springer-Verlag, Berlin, 1985.
23. S. A. Reveliotis. Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York, NY, 2005.
24. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 15(4):391-411, November 1997. (Pubitemid 127449840)
25. Y. Wang, T. Kelly, and S. Lafortune. Discrete control for safe execution of IT automation workflows. In EuroSys, 2007. (Pubitemid 47281591)
26. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, and S. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In OSDI, 2008a.
27. Y.Wang, T. Kelly, M. Kudlur, S.Mahlke, and S. Lafortune. The application of supervisory control to deadlock avoidance in concurrent software. In Workshop on Discrete Event Systems, May 2008b.
28. AdamWelc, Bratin Saha, and Ali-Reza Adl-Tabatabai. Irrevocable transactions and their applications. In SPAA, June 2008.