The theory of deadlock avoidance via discrete control

ACM SIGPLAN Notices

Volumn 44, Issue 1, 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

C (PROGRAMMING LANGUAGE); COMPUTER CIRCUITS; CONTROL THEORY; FLOW GRAPHS; LOCKS (FASTENERS); MULTICORE PROGRAMMING; PARALLEL PROGRAMMING; SOFTWARE ARCHITECTURE;

CONCURRENT PROGRAMMING; DEADLOCK AVOIDANCE; DISCRETE CONTROL THEORIES; MULTI-CORE PROCESSOR; MULTITHREADED PROGRAMMING;

CONCURRENCY CONTROL;

EID: 70350304297     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1594834.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 netsusing 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.
6. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.
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.
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.
16. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: Synchronization inference for atomic sections. In POPL, 2006.
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 andW.M.Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), 1987.
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.
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.