6533b851fe1ef96bd12a96c0

RESEARCH PRODUCT

A task scheduling algorithm for HPC applications using colored stochastic Petri Net models

Ion Dan MironescuLucian Vintan

subject

Job shop schedulingComputer scienceDistributed computingColoured Petri net020206 networking & telecommunications02 engineering and technologyPetri netLoad balancing (computing)Load managementDistributed algorithm0202 electrical engineering electronic engineering information engineeringStochastic Petri net020201 artificial intelligence & image processingFormal verification

description

The increase in demand for High Performance Computing (HPC) scientific applications motivates the efforts to reduce costs of running these applications. The problem to solve is that of dynamical multi-criterial optimal scheduling of an application on a HPC platform with a high number of heterogeneous nodes. The solution proposed by the authors is a HPC hardware-software architecture that includes the infrastructure for two level (node and inter-node level) adaptive load balancing. The article presents the development of an Coloured Petri Net(CPN) for such an architecture. The model was used for the development of a dynamic distributed algorithm for the scheduling problem. The CPN allowed a holistic hardware-software formal verification and analysis. Some simple properties were formally proofed. Simulations were performed to assess performance and the results were in the performance range of other load balancing algorithms with significant benefits in reducing the optimization's complexity.

yearjournalcountryeditionlanguage
2017-09-012017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
https://doi.org/10.1109/iccp.2017.8117051