Execution replay of parallel procedural programs

作     者：de Kergommeaux, JC Fagot, A 

作者机构：ID IMAG Project APACHE F-38041 Grenoble 9 France 

出 版 物：《JOURNAL OF SYSTEMS ARCHITECTURE》 (系统结构杂志)

年 卷 期：2000年第46卷第10期

页      面：835-849页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：parallel debugging threads remote procedure call execution replay 

摘      要：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. (C) 2000 Elsevier Science B.V. All rights reserved.