3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine

Journal article


Zaitsev, D., Ajima, Y., Bartlett, J. F. C. and Kumar, A. 2025. 3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine. International Journal of Parallel, Emergent and Distributed Systems. https://doi.org/10.1080/17445760.2025.2490148
AuthorsZaitsev, D., Ajima, Y., Bartlett, J. F. C. and Kumar, A.
Abstract

A Sleptsov net is a discrete-event system, capable of universal computations, applied as a graphical language of concurrent programming for HPC and embedded domains. Search for the first fireable transition in a sequence of transitions, reordered by their priorities, represents a challenge for mass-parallel devices and a bottleneck of the virtual machine. A reduction technique for sequential search implementation on GPU, with less than logarithmic time complexity concerning the sequence length, has been developed. Together with the conventional reduction of minimum and cooperative groups, the techniques yield about ten times speed-up on CPUs and GPUs.

KeywordsHPC; GPU; Sleptsov net computing; virtual machine; reduction of sequential choice; collective groups
Year2025
JournalInternational Journal of Parallel, Emergent and Distributed Systems
PublisherTaylor & Francis
ISSN1744-5779
Digital Object Identifier (DOI)https://doi.org/10.1080/17445760.2025.2490148
Web address (URL)https://www.tandfonline.com/doi/full/10.1080/17445760.2025.2490148
Publisher's version
License
File Access Level
Open
Output statusPublished
Publication dates
Online16 Apr 2025
Publication process dates
Accepted03 Apr 2025
Deposited17 Apr 2025
Permalink -

https://repository.derby.ac.uk/item/qxv55/3d-multicore-cpu-vs-gpu-on-sparse-patterns-of-sleptsov-net-virtual-machine

Download files


Publisher's version
  • 13
    total views
  • 3
    total downloads
  • 13
    views this month
  • 3
    downloads this month

Export as

Related outputs

Verification of MPI programs via compilation into Petri nets
Guliak, R.N., Shmeleva, T.R. and Zaitsev, D. 2025. Verification of MPI programs via compilation into Petri nets. in: Raj, P., Dutta, P. K., Chong, P. H. J., Song, H. and Zaitsev, D. A. (ed.) Applied Graph Data Science : Graph Algorithms and Platforms, Knowledge Graphs, Neural Networks, and Applied Use Cases Morgan Kaufmann; Elsevier Inc.. pp. 245-269
Analysis of Bitcoin fork by colored Petri nets
Zhou, Z., Liu, D., Shmeleva, T.R. and Zaitsev, D. 2024. Analysis of Bitcoin fork by colored Petri nets. 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE. https://doi.org/10.1109/SMC54092.2024.10831492
Sleptsov net based reliable embedded system design on microcontrollers and FPGAs
Xu, R., Zhang, S., Liu, D. and Zaitsev, D. 2024. Sleptsov net based reliable embedded system design on microcontrollers and FPGAs. 2024 IEEE International Conference on Embedded Software and Systems (ICESS). IEEE. https://doi.org/10.1109/ICESS64277.2024.00011
Notation for mass parallel algorithms: computing Petri net state space on GPU case study
Zaitsev, D., Zhang, Z., Liu, D. and Shmeleva, T. R. 2024. Notation for mass parallel algorithms: computing Petri net state space on GPU case study. International Journal of Parallel, Emergent and Distributed Systems . pp. 1-15. https://doi.org/10.1080/17445760.2024.2431545