Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing
Abstract
Modern computing is a path of violations and transformations coming from an intrinsically concurrent application domain into a sequence of instructions and then back to concurrency with OpenMP, MPI and CUDA/OpenCL. Why we create so many difficulties? Sleptsov Net Computing (SNC) maps a task into an appropriate computing structure implemented as a re-configurable multidimensional sparse matrix of computing memory. It has entirely graphical mass parallel language for concurrent programming and a framework of techniques for concurrent program verification to develop reliable software. Estimated efficiency of SNC is higher than 50% compared to actual less that 1% efficiency of the most powerful supercomputers. It yields hyper-performance capable of efficient control of hyper-sonic objects, colliders, thermonuclear reaction. This paper presents an open source prototype VM and IDE for SNC with a view on upcoming hardware implementation of the corresponding computer.
Partially supported by Fulbright Program, USA in 2017, Université Côte d’Azur, France in 2022, and Programme PAUSE, Collège de France in 2022–2023.
Communicated by Andrew Adamatzky
References
- 1. Sleptsov Net Computing Resolves Modern Supercomputing Problems, The April 21, 2023, edition of ACM TechNews, https://technews.acm.org/archives.cfm?fo=2023-04-apr/apr-21-2023.html. Google Scholar
- 2. , Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022, International Journal of Parallel, Emergent and Distributed Systems (2023), https://doi.org/10.1080/17445760.2023.2201002. Crossref, Web of Science, Google Scholar
- 3. , Strong Sleptsov nets are Turing complete, Information Sciences 621 (2023) 172–182. Crossref, Web of Science, Google Scholar
- 4. , Sleptsov nets run fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems 46(5) (2016) 682–693. Crossref, Web of Science, Google Scholar
- 5. J. Dongarra, A Not So Simple Matter of Software, ACM A.M. Turing Award Lecture, the 2022 International Conference for High Performance Computing, Networking, Storage, and Analysis (SC22), November 8, 2022, https://youtu.be/lsnRP9akCDk. Google Scholar
- 6. A. Petitet, R. C. Whaley, J. Dongarra and A. Cleary, HPL – A Portable Implementation of the High-Performance Linpack Benchmark for Distributed-Memory Computers, Version 2.3, December 2, 2018 https://netlib.org/benchmark/hpl. Google Scholar
- 7. LINPACK, https://netlib.org/linpack. Google Scholar
- 8. Top500. The list. https://top500.org. Google Scholar
- 9. The High Performance Conjugate Gradients (HPCG) Benchmark. https://www.hpcg-benchmark.org. Google Scholar
- 10. Fugaku, RIKEN Center for Computational Science, https://www.r-ccs.riken.jp/en/fugaku/. Google Scholar
- 11. D. A. Zaitsev, Solving operative management tasks of a discrete manufacture via Petri net models. PhD thesis. Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991. http://daze.ho.ua/daze-phd-1991.pdf. Google Scholar
- 12. , State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis 33(5) (1997) 659–672. Crossref, Web of Science, Google Scholar
- 13. , Enterprise Petri net based CAM software Opera-Topaz, in Proc. of 3rd International Industrial Simulation Conference 2005 (ISC 2005 ),
IPK Fraunhofer Institute, Berlin, Germany ,June 9–11, 2005 , pp. 124–128. Google Scholar - 14. , Spiking neural P systems with an exhaustive use of rules, Int. J. Unconv. Comput. 3 (2007) 135–153. Web of Science, Google Scholar
- 15. , Scaling up digital circuit computation with DNA strand displacement cascades, Science 332(6034) (2011) 1196–1201. Crossref, Web of Science, Google Scholar
- 16. , Toward the minimal universal Petri net, IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(1) (2014) 47–58. Crossref, Web of Science, Google Scholar
- 17. , Programming in the Sleptsov net language for systems control, Advances in Mechanical Engineering 8(4) (2016) 1–11. Crossref, Web of Science, Google Scholar
- 18. , Universal Sleptsov net, International Journal of Computer Mathematics 94(12) (2017) 2396–2408. Crossref, Web of Science, Google Scholar
- 19. , The Unified Modeling Language User Guide (Addison-Wesley, 2005). Google Scholar
- 20. B. Berthomieu, F. Vernadat and S. dal Zilio, TINA: Time Petri Net Analyzer, https://projects.laas.fr/tina/index.php. Google Scholar
- 21. D. A. Zaitsev, NDRtoSN: Converter of Tina NDR Petri net file to Sleptsov net file, https://github.com/dazeorgacm/NDRtoSN. Google Scholar
- 22. Q. Zhang, SN-VM: Sleptsov net Virtual Machine, https://github.com/zhangq9919. Google Scholar
- 23. Tatiana R. Shmeleva, SN-VM-GPU: Sleptsov Net Virtual Machine on Graphics Processing Unit, https://github.com/tishtri/SN-VM-GPU. Google Scholar
- 24. H. Zhao, HSNtoLSN: Compiler-linker of hierarchical Sleptsov net program, https://github.com/HfZhao1998/Compiler-and-Linker-of-Sleptsov-net-Program. Google Scholar
- 25. , Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 495–497. Crossref, Web of Science, Google Scholar
- 26. , Paradigm of computations on the Petri nets, Automation and Remote Control 75(8) (2014) 1369–1383. Crossref, Web of Science, Google Scholar
- 27. , Petri net computers and workflow nets, IEEE Trans. Syst. Man Cyber Syst. 45(3) (2015) 496–507. Crossref, Web of Science, Google Scholar
- 28. , Realisation of the double sweep method by using a Sleptsov net, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 516–534. Crossref, Web of Science, Google Scholar
- 29. , Deep learning on Sleptsov nets, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 535–548. Crossref, Web of Science, Google Scholar
- 30. , Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Springer, London) (2009). Google Scholar
- 31. , Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Information Sciences 256 (2014) 74–90. Crossref, Web of Science, Google Scholar
- 32. , On iterative liveness-enforcement for a class of generalized Petri nets, in 2012 IEEE International Conference on Automation Science and Engineering (CASE ),
2012 ,Seoul, Korea (South) , pp. 188–193. Google Scholar - 33. , Sleptsov net processor, in International Conference on Problems of Infocommunications. Science and Technology (PICST2022),
10–12 October, 2022 ,Kyiv, Ukraine . Google Scholar - 34. , Compiler and linker of Sleptsov net program, in International Conference on Problems of Infocommunications, Science and Technology (PICST2022),
10–12 October, 2022 ,Kyiv, Ukraine . Google Scholar - 35. , Programming Massively Parallel Processors: A Hands-on Approach, 3rd edition (Morgan Kaufmann, 2016). Google Scholar
- 36. , From strong to exact Petri net computers, International Journal of Parallel, Emergent and Distributed Systems 37(2) (2022) 167–186. Crossref, Web of Science, Google Scholar
- 37. , Counting Petri net markings from reduction equations, International Journal on Software Tools for Technology Transfer 22(2) (2020) 163–181. Crossref, Web of Science, Google Scholar
- 38. , Clans of Petri Nets: Verification of Protocols and Performance Evaluation of Networks (LAP LAMBERT Academic Publishing, 2013), 292 pp. Google Scholar
- 39. , Solving linear diophantine systems on parallel architectures, IEEE Transactions on Parallel and Distributed Systems 30(5) (2019) 1158–1169. Crossref, Web of Science, Google Scholar
- 40. , Using OpenMP Portable Shared Memory Parallel Programming (MIT Press, 2007). Google Scholar
- 41. , R-technology of programming: Basic notions and implementation, J. of Comput. Sci. & Technol. 7 (1992) 345–355. Crossref, Google Scholar
- 42. , Introduction to Compilers and Language Design, 2nd edition (2020). Google Scholar
- 43. P. Michel, The Busy Beaver Competition: A historical survey (2017), hal-00396880v6. Google Scholar
- 44. R. J. Lipton, The reachability problem requires exponential space. Tech. Rep., 1976. [Online]. Available from: http://www.cs.yale.edu/publications/techreports/tr63.pdf. Google Scholar
- 45. , Accelerating geostatistical modeling and prediction with mixed-precision computations: A high-productivity approach with PaRSEC, IEEE Transactions on Parallel and Distributed Systems 33(4) (2022) 964–976. Crossref, Web of Science, Google Scholar