Advertisement

A deadlock resolution strategy based on spiking neural P systems

  • Shanchen PangEmail author
  • Hongqi Chen
  • Hao Liu
  • Jiamin Yao
  • Min Wang
Original Research

Abstract

Deadlock resolution is a classic problem faced by operating and database systems. It not only affects the utilization of system resources, but also may bring unpredictable consequences to the events corresponding to deadlock processes. Spiking neural P systems (SN P systems) are neural networks built upon membrane computing models inspired by neuron communication via excitatory and inhibitory spikes. We explore the application of SN P systems to the optimal revocation of deadlock processes in order to overcome deficiencies in traditional deadlock resolution methods such as exhaustive method and time cost method. Our system determines the optimal order of revocation by calculating the time cost associated with the deadlock release process. Compared to the exhaustive method and time cost method, our system significantly reduces the time complexity of the deadlock revocation process, improving deadlock resolution efficiency and offering more opportunities for parallelism.

Keywords

Membrane computing Spiking neural P systems Deadlock Time complexity 

Notes

References

  1. Abdallah IB, E1Maraghy HA (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. Int J Adv Manuf Technol 14(10):704–715.  https://doi.org/10.1007/BF01438223 Google Scholar
  2. Chatterjee M, Setua SK (2016) A semi-centralized algorithm using adaptive gossip to detect and resolve distributed deadlocks. In: International conference on advances in computing, communication, and automation (ICACCA) (Spring), IEEE, pp 1–8Google Scholar
  3. Dotoli M, Fanti MP (2007) Deadlock detection and avoidance strategies for automated storage andretrieval systems. IEEE Trans Syst Man Cybern C 37(4):541–552.  https://doi.org/10.1109/TSMCC.2007.897690 Google Scholar
  4. Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34(1):93–101.  https://doi.org/10.1109/TSMCA.2003.820575 Google Scholar
  5. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11(2):173–184.  https://doi.org/10.1109/70.370500 Google Scholar
  6. Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):5–22.  https://doi.org/10.1109/TSMCA.2003.820590 Google Scholar
  7. Ghemawat S, Gobiff H, Leung S (2003) The google file system. In: Proceedings of the nineteenth ACM symposium on operating systems principles, ACM, pp 29–43Google Scholar
  8. Guo L, Zhang C (2018) Dual-process modeling and control method for new product collaborative design based on petri net. J Ambient Intell Human Comput.  https://doi.org/10.1007/s12652-018-0904-2 Google Scholar
  9. Hsieh FS (2004) Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans Syst Man Cybern A, 34(1):65–79.  https://doi.org/10.1109/TSMCA.2003.820574 Google Scholar
  10. Huang YS (2007) Design of deadlock prevention supervisors using Petri nets. Int J Adv Manuf Technol 35(3–4):349–362.  https://doi.org/10.1007/s00170-006-0708-y Google Scholar
  11. Krishna SN, Rama R (2003) Breaking DES using P systems. Theor Comput Sci 299(1):495–508.  https://doi.org/10.1016/S0304-3975(02)00531-5 MathSciNetzbMATHGoogle Scholar
  12. Kumaran TK, Chang W, Cho H, Wysk RA (1994) A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int J Product Res, 32(10):2361–2379.  https://doi.org/10.1080/00207549408957073 zbMATHGoogle Scholar
  13. Leng JW, Zhang H, Yan DX, Liu Q, Chen X, Zhang D (2018) Digital twin-driven manufacturing cyber-physical system for parallel controlling of smart workshop. J Ambient Intell Human Comput.  https://doi.org/10.1007/s12652-018-0881-5 Google Scholar
  14. Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern A 38(2):369–384.  https://doi.org/10.1109/TSMCA.2007.914741 Google Scholar
  15. Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):38–51.  https://doi.org/10.1109/TSMCA.2003.820576 Google Scholar
  16. Li ZW, Uzam M, Zhou MC (2004) Comments on “Deadlock prevention policy based on Petri nets and siphons”. Int J Product Res 42(24):5253–5254.  https://doi.org/10.1080/00207540412331330822 Google Scholar
  17. Lu W, Yang Y, Wang LQ, Xing WW, Che XP (2016) A leader election based deadlock detection algorithm in distributed systems. In: Proceedings of the 1st international workshop on specification, comprehension, testing, and debugging of concurrent programs, ACM, pp 12–19Google Scholar
  18. Pan LQ, Zhang XY, Zeng XX, Wang J (2008) Research advances and prospect of spiking neural P systems. Chin J Comput 31(12):2090–2096MathSciNetGoogle Scholar
  19. Păun G (2000) Computing with membranes. J Comput Syst Sci, 61(1): 108–143.  https://doi.org/10.1006/jcss.1999.1693 MathSciNetzbMATHGoogle Scholar
  20. Piroddi L, Cordone R, Fumagalli I (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern A 38(6):1337–1348.  https://doi.org/10.1109/TSMCA.2008.2003535 Google Scholar
  21. Pradel M, Huggler M, Gross TR (2014) Performance regression testing of concurrent classes. In: Proceedings of the 2014 international symposium on software testing and analysis, ACM, pp 13–25Google Scholar
  22. Reveliotis SA (2002) Liveness enforcing supervision for sequential resource allocation systems: state of the art and open issues. Synthesis and control of discrete event systems. Springer, Berlin, pp 203–212zbMATHGoogle Scholar
  23. Rigatos G, Siano P, Zervos N (2013) An approach to fault diagnosis of nonlinear systems using neural networks with invariance to Fourier transform. J Ambient Intell Human Comput 4(6):621–639.  https://doi.org/10.1007/s12652-012-0173-4 Google Scholar
  24. Shimomura T, Ikeda K (2014) Two types of deadlock detection cyclic and acyclic information. Intelligent systems for science and information. Springer, Berlin, pp 233–259Google Scholar
  25. Tomar P, Bhardwaj M (2015) A review on deadlock detection in distributed database. Advances in computer science and information technology. Springer, Berlin, pp 63–65Google Scholar
  26. Uzam M, Zhou MC (2004) Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. In: Proceedings of the IEEE international conference on systems, man, and cybernetics, IEEE, pp 4260–4265Google Scholar
  27. Wu NQ, Zeng W (2002) Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model. Int J Product Res 40(1):223–238zbMATHGoogle Scholar
  28. Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Automat, 17(5): 658–669.  https://doi.org/10.1109/70.964666 Google Scholar
  29. Wu NQ, Zhou MC (2005) Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans Syst Man Cybern B 35(6):1193–1202.  https://doi.org/10.1109/TSMCB.2005.850141 Google Scholar
  30. Xing KY, Hu BS (2005) Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. In: Proceedings of the IEEE international conference on systems, man and cybernetics, IEEE, pp 282–287Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  • Shanchen Pang
    • 1
    Email author
  • Hongqi Chen
    • 1
  • Hao Liu
    • 1
  • Jiamin Yao
    • 1
  • Min Wang
    • 1
  1. 1.College of Computer and Communication EngineeringChina University of PetroleumQingdaoChina

Personalised recommendations