Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets

TL;DR

This paper explores using Petri nets to model and analyze parallel programs within the Hash component model, aiming to improve debugging, performance evaluation, and formal verification in high-performance computing.

Contribution

It introduces a formal foundation that integrates Petri nets with the Hash parallel programming model for enhanced analysis and verification capabilities.

Findings

Petri nets effectively model Hash-based parallel programs.

The approach facilitates debugging and performance evaluation.

Formal verification of parallel programs becomes more accessible.

Abstract

In the last fifteen years, the high performance computing (HPC) community has claimed for parallel programming environments that reconciles generality, higher level of abstraction, portability, and efficiency for distributed-memory parallel computing platforms. The Hash component model appears as an alternative for addressing HPC community claims for fitting these requirements. This paper presents foundations that will enable a parallel programming environment based on the Hash model to address the problems of "debugging", performance evaluation and verification of formal properties of parallel program by means of a powerful, simple, and widely adopted formalism: Petri nets.