Logo des Repositoriums
 
Zeitschriftenartikel

Modelling MPI Communication using Coloured Petri Nets

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2024

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V., Fachgruppe PARS

Zusammenfassung

The Message Passing Interface (MPI) is a widely used standard for distributed memory, parallel computing. Coloured Petri Nets (CPNs) are a powerful, high-level modelling framework, well suited for modelling distributed systems. This paper presents a novel approach to modelling the communication in MPI programs using Coloured Petri Nets. The paper investigates how this approach can be used for correctness checking of communication schemes. A proof-of-concept software implementation is able to detect several errors and shows promising performance.

Beschreibung

Krabbe, Tronje; Blesel, Michael; Kuhn, Michael (2024): Modelling MPI Communication using Coloured Petri Nets. PARS-Mitteilungen: Vol. 36. Gesellschaft für Informatik e.V., Fachgruppe PARS. ISSN: 0177-0454

Schlagwörter

Zitierform

DOI

Tags