Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs

Jacques Chassin de Kergommeaux 1 M. Ronsse 2 K. De Bosschere 2
1 APACHE - Parallel algorithms and load sharing
ID-IMAG - Informatique et Distribution, Inria Grenoble - Rhône-Alpes, UJF - Université Joseph Fourier - Grenoble 1
Abstract : ATHAPASCAN-0 programs are executed by a network of communicating threads evolving dynamically. Within the same node, threads communicate through shared memory and synchronization primitives. Between two different nodes, threads communicate by message passing. Execution replay of ATHAPASCAN-0 programs addresses the non-determinism arising from synchronization races, from promiscuous messages received from non specified source and from the varying number of operations testing the completion of non blocking ATHAPASCAN-0 primitives. The execution replay mechanism is mainly control-base- d since, in addition to recording the results of test operations, only the order of accesses to synchronization functions and the order of arrival of promiscuous messages need to be recorded. The efficiency of the recording comes from the use of Lamport clocks to reduce drastically the number of records associated to synchronization operations and from the reduction to a single record of the information necessary to reproduce a series of unsuccessful tests.
Type de document :
[Research Report] RR-3635, INRIA. 1999
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:40:41
Dernière modification le : mercredi 11 avril 2018 - 01:52:55
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:32:05



  • HAL Id : inria-00073039, version 1



Jacques Chassin de Kergommeaux, M. Ronsse, K. De Bosschere. Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs. [Research Report] RR-3635, INRIA. 1999. 〈inria-00073039〉



Consultations de la notice


Téléchargements de fichiers