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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of systems architecture Jg. 46; H. 10; S. 835 - 849
Hauptverfasser:	de Kergommeaux, J.Chassin, Fagot, A.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.08.2000 Elsevier Elsevier Sequoia S.A
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!