Execution replay of parallel procedural programs

This article describes an execution model for the parallel procedural programming paradigm, which combines multithreading and communications. The model is used to prove sufficient conditions to guarantee the equivalence between two executions of the same program. An efficient mechanism for recording...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of systems architecture Ročník 46; číslo 10; s. 835 - 849
Hlavní autori: de Kergommeaux, J.Chassin, Fagot, A.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Amsterdam Elsevier B.V 01.08.2000
Elsevier
Elsevier Sequoia S.A
Predmet:
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Execution replay
Game theory
Operational research and scientific management
Operational research. Management science
Parallel debugging
Parallel processing
Remote procedure call
Software
Studies
Systems design
Threads
Threads
Remote procedure call
Parallel debugging
Execution replay
Procedural language
Sufficient condition
Parallel programming
Prototype
Program execution
Debugging
Time measurement
Modeling
Communication
ISSN:1383-7621, 1873-6165
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This article describes an execution model for the parallel procedural programming paradigm, which combines multithreading and communications. The model is used to prove sufficient conditions to guarantee the equivalence between two executions of the same program. An efficient mechanism for recording and replaying deterministically parallel procedural programs is derived from the model and implemented in a prototype. Performed on the prototype, systematic measurements of the time overhead of recording traces for replaying various program models indicate that this overhead remains very low.
Bibliografia:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1383-7621
1873-6165
DOI:10.1016/S1383-7621(99)00042-9