Modelling MPI Communication using Coloured Petri Nets
| dc.contributor.author | Krabbe, Tronje | |
| dc.contributor.author | Blesel, Michael | |
| dc.contributor.author | Kuhn, Michael | |
| dc.date.accessioned | 2024-09-25T11:27:24Z | |
| dc.date.available | 2024-09-25T11:27:24Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | 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. | en |
| dc.identifier.issn | 0177-0454 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/44642 | |
| dc.language.iso | en | |
| dc.pubPlace | Aachen | |
| dc.publisher | Gesellschaft für Informatik e.V., Fachgruppe PARS | |
| dc.relation.ispartof | PARS-Mitteilungen: Vol. 36 | |
| dc.title | Modelling MPI Communication using Coloured Petri Nets | en |
| dc.type | Text/Journal Article | |
| mci.reference.pages | 47-56 |
Dateien
Originalbündel
1 - 1 von 1