On the deadlock analysis of multithreaded control software

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2011, Pages

  López Grao, Juan Pablo ^a   Colom, José Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT CONTROL; CONTROL SOFTWARE; CORRECTION TECHNIQUES; DEADLOCK ANALYSIS; FORMAL PROOFS; MULTITHREADED; NON-LIVENESS; RESOURCE SHARING; SOFTWARE DOMAINS;

EQUIVALENCE CLASSES; FACTORY AUTOMATION; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS;

CONCURRENCY CONTROL;

EID: 80655141650     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2011.6059039     Document Type: Conference Paper

References (17)

1. E.-G. Coffman, M. Elphick, and A. Shoshani. System deadlocks. ACM Computing Surveys, 3(2):67-78, 1971.
2. J.-M. Colom. The resource allocation problem in flexible manufacturing systems. In W.-M.-P. van der Aalst and E. Best, editors, Proc. of the 24th Int. Conf. on Applic. & Theory of Petri Nets, volume 2679 of LNCS, pages 23-35, Eindhoven, Netherlands, 2003. Springer.
3. E. W. Dijkstra. The structure of the "THE"-multiprogramming system. In Proc. of the 1st ACM Symposium on Operating System Principles, SOSP '67, pages 10.1-10.6, New York, NY, USA, 1967. ACM.
4. J. Ezpeleta, J.-M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2):173-184, 1995.
5. J. Ezpeleta, F. García-Valles, and J.-M. Colom. A class of well structured Petri nets for flexible manufacturing systems. In J. Desel and M. Silva, editors, Proc. of the 19th Int. Conf. on Applic. & Theory of Petri Nets, volume 1420 of LNCS, pages 65-83, Lisbon, Portugal, 1998. Springer.
6. M.-D. Jeng, X.-L. Xie, and M.-Y. Peng. Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automation, 18(6):875-889, 2002.
7. P. T. Kidd. Agile manufacturing: forging new frontiers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1994.
8. H. Liao, S. Lafortune, S. Reveliotis, Y. Wang, and S. Mahlke. Synthesis of maximally-permissive livenessenforcing control policies for Gadara Petri nets. In Proc. of the 49th IEEE Conf. on Decision and Control (CDC 10), pages 2797-2804. IEEE, 2010.
9. J.-P. López-Grao and J.-M. Colom. Synthesis of live multithreaded software: A methodology based on Petri nets. Technical report, Dpt. of Computer Science and Systems Engineering, Univ. Zaragoza, 2011.
10. J.-P. López-Grao and J.-M. Colom. A Petri net perspective on the resource allocation problem in software engineering. In K. Jensen, S. Donatelli, and J. Kleijn, editors, Transactions on Petri Nets and Other Models of Concurrency V (ToPNoC V), LNCS. Springer, 2011. To appear.
11. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
12. J. Park and S.-A. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 46(10):1572-1583, 2001. (Pubitemid 33018223)
13. M. Silva, E. Teruel, and J. M. Colom. Linear algebraic and linear programming techniques for the analysis of Place/Transition net systems. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, volume 1491 of LNCS, pages 309-373. Springer, 1998.
14. F. Tricas. Deadlock analysis, prevention and avoidance in sequential resource allocation systems. PhD thesis, University of Zaragoza, Zaragoza, 2003.
15. F. Tricas, F. García-Valles, J.-M. Colom, and J. Ezpeleta. A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In Proc. of the 2005 Int. Conf. on Robotics and Automation (ICRA), pages 272-278, Barcelona, Spain, 2005. IEEE.
16. Y. Wang, H. Liao, S. Reveliotis, T. Kelly, S. Mahlke, and S. Lafortune. Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. In Proc. of the Joint 48th IEEE Conf. on Decision and Control and 28th Chinese Control Conf., pages 4971-4976, Shanghai, China, 2009. IEEE.
17. X. Xie and M.-D. Jeng. ERCN-merged nets and their analysis using siphons. IEEE Transactions on Robotics and Automation, 29(4):692-703, 1999.