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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of systems architecture Ročník 46; číslo 10; s. 835 - 849
Hlavní autoři:	de Kergommeaux, J.Chassin, Fagot, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.08.2000 Elsevier Elsevier Sequoia S.A
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Abstract	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.
AbstractList	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. 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. 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.
Author	Fagot, A. de Kergommeaux, J.Chassin
Author_xml	– sequence: 1 givenname: J.Chassin surname: de Kergommeaux fullname: de Kergommeaux, J.Chassin email: jacques.chassin-de-kergommeaux@imag.fr organization: ID-IMAG, Project APACHE, B.P. 53, F-38041 Grenoble Cedex 9, France – sequence: 2 givenname: A. surname: Fagot fullname: Fagot, A. email: alain@netlinq.nl organization: Egelantiersstraat 12 B, 1015PL Amsterdam, The Netherlands
BackLink	http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1413699$$DView record in Pascal Francis
BookMark	eNqFkM9LwzAUgINMcJv-CUIRD3qo5jVt2uBBZMwfMPCgnkOavkhG19akE_ffm26K4GWnvMD3vQffhIyatkFCToFeAQV-_QKsYHHOE7gQ4pJSmiaxOCBjKHIWc-DZKMy_yBGZeL8MUJZBMiZ0_oV63du2iRx2tdpErYk65VRdYx11rtVYrcNvGN-dWvljcmhU7fHk552St_v56-wxXjw_PM3uFrFmnPVxVaYMkBrBdJqKxDBQTAPmJRaMG8hNlQsucm5owbAqVGaYqbgoVVVgosqSTcnZbm84_LFG38tlu3ZNOCkTKIpcQDCn5PwHUl6r2jjVaOtl5-xKuY2EFBgXImDZDtOu9d6h-SOoHBLKbUI59JFCyG1COXg3_zxtezXE6p2y9V77dmdjyPRp0UmvLTYhqHWoe1m1ds-Gb_injFw
CitedBy_id	crossref_primary_10_1109_TII_2009_2024935
Cites_doi	10.1109/SUPERC.1992.236654 10.1007/BFb0002721 10.1109/2.84874 10.1145/2080.357392 10.1006/jpdc.1996.0108 10.1016/0950-5849(94)90069-8 10.1007/BFb0002788 10.1016/S0927-5452(98)80062-2 10.1109/CMPCON.1992.186706 10.1109/EMPDP.1994.592529 10.1016/S0927-5452(98)80038-5 10.1109/FTDCS.1992.217509 10.1145/359545.359563 10.1109/EMPDP.1993.336375 10.1109/SPDP.1990.143516 10.1109/EMPDP.1996.500585 10.1007/BFb0020463 10.1109/TC.1987.1676929 10.1007/BF02165411 10.1007/3-540-55895-0_398
ContentType	Journal Article
Copyright	2000 Elsevier Science B.V. 2000 INIST-CNRS Copyright Elsevier Sequoia S.A. Aug 2000
Copyright_xml	– notice: 2000 Elsevier Science B.V. – notice: 2000 INIST-CNRS – notice: Copyright Elsevier Sequoia S.A. Aug 2000
DBID	AAYXX CITATION IQODW 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1016/S1383-7621(99)00042-9
DatabaseName	CrossRef Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science Applied Sciences
EISSN	1873-6165
EndPage	849
ExternalDocumentID	56521787 1413699 10_1016_S1383_7621_99_00042_9 S1383762199000429
Genre	Feature
GroupedDBID	--K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABFRF ABJNI ABMAC ABXDB ABYKQ ACDAQ ACGFO ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD ADTZH AEBSH AECPX AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF HZ~ IHE J1W JJJVA KOM M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SST SSV SSZ T5K TAE TN5 U5U UHS ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD BNPGV IQODW SSH 7SC 8FD JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c363t-db431e0f93c4492f31a3c1e7be836f17fd796976f083ed8a5f3fd69bad8e2abb3
ISICitedReferencesCount	3
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000088192100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1383-7621
IngestDate	Sun Nov 09 06:49:56 EST 2025 Wed Apr 02 07:25:18 EDT 2025 Sat Nov 29 01:35:49 EST 2025 Tue Nov 18 22:08:24 EST 2025 Fri Feb 23 02:28:02 EST 2024
IsPeerReviewed	true
IsScholarly	true
Issue	10
Keywords	Threads Remote procedure call Parallel debugging Execution replay Procedural language Sufficient condition Parallel programming Prototype Program execution Debugging Time measurement Modeling Communication
Language	English
License	https://www.elsevier.com/tdm/userlicense/1.0 CC BY 4.0
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c363t-db431e0f93c4492f31a3c1e7be836f17fd796976f083ed8a5f3fd69bad8e2abb3
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14
PQID	218879108
PQPubID	9850
PageCount	15
ParticipantIDs	proquest_journals_218879108 pascalfrancis_primary_1413699 crossref_primary_10_1016_S1383_7621_99_00042_9 crossref_citationtrail_10_1016_S1383_7621_99_00042_9 elsevier_sciencedirect_doi_10_1016_S1383_7621_99_00042_9
PublicationCentury	2000
PublicationDate	2000-08-01
PublicationDateYYYYMMDD	2000-08-01
PublicationDate_xml	– month: 08 year: 2000 text: 2000-08-01 day: 01
PublicationDecade	2000
PublicationPlace	Amsterdam
PublicationPlace_xml	– name: Amsterdam
PublicationTitle	Journal of systems architecture
PublicationYear	2000
Publisher	Elsevier B.V Elsevier Elsevier Sequoia S.A
Publisher_xml	– name: Elsevier B.V – name: Elsevier – name: Elsevier Sequoia S.A
References	P.E. Bernard, B. Plateau, D. Trystram, Using threads for developing parallel applications: molecular dynamics as a case study, in: R. Trobec (Ed.), Parallel Numerics, Gozd Martuljek, Slovenia , 1996, pp. 3–16 J.M. Mellor-Crummey, Debugging and analysis of large-scale parallel programs, Technical Report 312, University of Rochester, September 1989 Birrell, Nelson (BIB2) 1984; 2 A. Fagot, J.P. Kitajima, A. Vermeerbergen, Systematic comparison of the performance of static mapping and dynamic scheduling, in: Parallel Computing, Advances in Parallel Computing, Elsevier, Amsterdam, 1996 R.H.B. Netzer, B.P. Miller, Optimal tracing and replay for debugging message-passing parallel programs, in: Proceedings of Supercomputing'92, Minneapolis, Minnesota, IEEE Computer Society Press, Silver Spring, MD, November 1992 E. Leu, A. Schiper, A. Zramdini, Execution replay on distributed memory architectures, in: Proceedings of the second IEEE Symposium on Parallel and Distributed Processing, Dallas, USA, December 1990, pp. 106–112 J.R. Eykholt, S.R. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, Beyond multiprocessing – multithreading the sunos kernel, in: Proceedings of the Usenix Conference, SunSoft Inc., June 1992 C.J. Fidge, Logical time in distributed computing systems, IEEE Computer, August 1991, pp. 28–33 H. Jamrozik, Aide à la Mise au Point des Applications Parallèles et Réparties à base d' Objets Persistants, Ph.D. Thesis, Université Joseph Fourier, Grenoble, May 1993 (in French) E. Leu, La réexecution pierre angulaire de la mise au point des programmes parallèles, Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, July 1992, in French Y. Denneulin, R. Namyst, J.F. Méhaut, Architecture virtualization with mobile threads, in: Parallel Computing: Fundamentals Applications and New Directions, Elsevier, Amsterdam, 1998, pp. 477–484 B. de Oliveira Stein, J.C. de Kergommeaux, Interactive visualisation environment of multi-threaded parallel programs, in: Parallel Computing: Fundamentals, Applications and New Directions, Elsevier, Amsterdam, 1998, pp. 311–318 M. Hurfin, N. Plouzeau, M. Raynal, EREBUS: A debugger for asynchronous distributed computing systems, in: Proceedings of the 3rd IEEE Workshop on Future Trends in Distributed Computing Systems, Taiwan, April 1992 0: a control parallelism approach on top of PVM, in: Proceedings of PVM User's group meeting, University of Tennessee, Oak Ridge, 1994 V. Strassen, Gaussian elimination is not optimal, Numer. Math. Band 13 (Heft 4) (1969) 354–356 T.J. LeBlanc, J.M. Mellor-Crummey, Debugging parallel programs with instant replay, IEEE Trans. Comput. C-36 (4) (1987) 471–481 A. Fagot, Réexécution déterministe pour un modèle procédural parallèle basé sur les processus légers. Ph.D. Thesis, Institut National Polytechnique de Grenoble, 1997 (in French) E. Leu, A. Schiper, Execution replay: a mechanism for integrating a visualization tool with a symbolic debugger, in: Y. Robert, L. Bougé, M. Cosnard, D. Trystram (Eds.), CONPAR 92 – VAPP V, Lecture Notes in Computer Science, vol. 634, Springer, Berlin, September 1992 J.F. Roos, L. Courtrai, J.F. Méhaut, Execution replay of parallel programs, in: Proceedings of Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, Silver Spring, MD, January 1993 Frank Mueller, A library implementation of POSIX threads under UNIX, in: Proceedings of the Winter USENIX Conference, San Diego, CA, January 1993, pp. 29–41 F. Mattern, Virtual time and global states of distributed systems, in: Proceedings of the Workshop on Parallel and Distributed Algorithms, Bonas, France, North-Holland, Amsterdam, September 1988 J. Briat, I. Ginzburg, M. Pasin, B. Plateau, Athapascan runtime: Efficiency for irregular problems, in: Proceedings of EuroPar'97, Lecture Notes in Computer Science, No. 1300, Springer, Berlin, August 1997, pp. 591–600 R.S. Curtis, L.D. Wittie, BugNet : A debugging system for parallel programming environments, in: Proceedings of the third International Conference on Distributed Computing Systems, October 1982 A. Fagot, J.C. de Kergommeaux, Systematic assessment of the overhead of tracing parallel programs. in: E.L. Zapata (Ed.), Proceedings of the fourth Euromicro Workshop on Parallel and Distributed processing, PDP'96, Braga, January 1996, IEEE Computer Society Press, Silver Spring, MD, pp. 179–186 M. Ronsse, K. De Bosschere, Recplay: a fully integrated practical record/replay system, Technical Report ELIS TR-DG 97-06, Department of Electronics and Information Systems, Universiteit Gent, Belgium, 1997 L.J. Levrouw, K.M.R. Audenaert, J.M. van Campenhout, A new trace and replay system for shared memory programs based on Lamport clocks, in: Proceedings of Euromicro Workshop on Parallel and Distributed Processing, PDP, IEEE Computer Society Press, Silver Spring, MD, 1994 M. Christaller, Vers un support d'exécution portable pour applications parallèles irrégulières : Athapascan-0, Ph.D. Thesis, Université Joseph Fourier, Grenoble I, 1996 (in French) Inform. Software Technol. 36 (7) (1994) 457–464 Foster, Kesselman, Tuecke (BIB14) 1996; 37 M. Christaller, A J.P. Kitajima, B. Plateau, Modelling parallel program behaviour in F. Teodorescu, J. Chassin de Kergommeaux, On correcting the intrusion of tracing non deterministic programs by software, in: Proceedings of EuroPar'97, LNCS, No. 1300, Springer, Berlin, August 1997, pp. 94–101 L. Lamport, Time, clocks and ordering of events in a distributed system, Commun. ACM 21 (7) (1978) 558–565 A. Fagot, J.C. de Kergommeaux, Formal and experimental validation of a low-overhead execution replay mechanism, in: Proceedings of Euro-Par'95, Stockholm, Sweden, Lecture Notes in Computer Science, Springer, August 1995 10.1016/S1383-7621(99)00042-9_BIB10 10.1016/S1383-7621(99)00042-9_BIB32 10.1016/S1383-7621(99)00042-9_BIB31 10.1016/S1383-7621(99)00042-9_BIB12 10.1016/S1383-7621(99)00042-9_BIB11 10.1016/S1383-7621(99)00042-9_BIB30 10.1016/S1383-7621(99)00042-9_BIB29 10.1016/S1383-7621(99)00042-9_BIB28 10.1016/S1383-7621(99)00042-9_BIB25 10.1016/S1383-7621(99)00042-9_BIB24 10.1016/S1383-7621(99)00042-9_BIB27 10.1016/S1383-7621(99)00042-9_BIB26 Foster (10.1016/S1383-7621(99)00042-9_BIB14) 1996; 37 10.1016/S1383-7621(99)00042-9_BIB1 10.1016/S1383-7621(99)00042-9_BIB5 10.1016/S1383-7621(99)00042-9_BIB4 10.1016/S1383-7621(99)00042-9_BIB3 10.1016/S1383-7621(99)00042-9_BIB9 10.1016/S1383-7621(99)00042-9_BIB21 10.1016/S1383-7621(99)00042-9_BIB8 10.1016/S1383-7621(99)00042-9_BIB20 10.1016/S1383-7621(99)00042-9_BIB7 10.1016/S1383-7621(99)00042-9_BIB23 10.1016/S1383-7621(99)00042-9_BIB6 10.1016/S1383-7621(99)00042-9_BIB22 Birrell (10.1016/S1383-7621(99)00042-9_BIB2) 1984; 2 10.1016/S1383-7621(99)00042-9_BIB18 10.1016/S1383-7621(99)00042-9_BIB17 10.1016/S1383-7621(99)00042-9_BIB19 10.1016/S1383-7621(99)00042-9_BIB13 10.1016/S1383-7621(99)00042-9_BIB16 10.1016/S1383-7621(99)00042-9_BIB15
References_xml	– reference: E. Leu, A. Schiper, A. Zramdini, Execution replay on distributed memory architectures, in: Proceedings of the second IEEE Symposium on Parallel and Distributed Processing, Dallas, USA, December 1990, pp. 106–112 – reference: T.J. LeBlanc, J.M. Mellor-Crummey, Debugging parallel programs with instant replay, IEEE Trans. Comput. C-36 (4) (1987) 471–481 – reference: M. Christaller, A – reference: M. Hurfin, N. Plouzeau, M. Raynal, EREBUS: A debugger for asynchronous distributed computing systems, in: Proceedings of the 3rd IEEE Workshop on Future Trends in Distributed Computing Systems, Taiwan, April 1992 – reference: A. Fagot, J.C. de Kergommeaux, Systematic assessment of the overhead of tracing parallel programs. in: E.L. Zapata (Ed.), Proceedings of the fourth Euromicro Workshop on Parallel and Distributed processing, PDP'96, Braga, January 1996, IEEE Computer Society Press, Silver Spring, MD, pp. 179–186 – reference: P.E. Bernard, B. Plateau, D. Trystram, Using threads for developing parallel applications: molecular dynamics as a case study, in: R. Trobec (Ed.), Parallel Numerics, Gozd Martuljek, Slovenia , 1996, pp. 3–16 – reference: A. Fagot, J.C. de Kergommeaux, Formal and experimental validation of a low-overhead execution replay mechanism, in: Proceedings of Euro-Par'95, Stockholm, Sweden, Lecture Notes in Computer Science, Springer, August 1995 – reference: B. de Oliveira Stein, J.C. de Kergommeaux, Interactive visualisation environment of multi-threaded parallel programs, in: Parallel Computing: Fundamentals, Applications and New Directions, Elsevier, Amsterdam, 1998, pp. 311–318 – reference: J. Briat, I. Ginzburg, M. Pasin, B. Plateau, Athapascan runtime: Efficiency for irregular problems, in: Proceedings of EuroPar'97, Lecture Notes in Computer Science, No. 1300, Springer, Berlin, August 1997, pp. 591–600 – reference: -0: a control parallelism approach on top of PVM, in: Proceedings of PVM User's group meeting, University of Tennessee, Oak Ridge, 1994 – reference: A. Fagot, Réexécution déterministe pour un modèle procédural parallèle basé sur les processus légers. Ph.D. Thesis, Institut National Polytechnique de Grenoble, 1997 (in French) – reference: H. Jamrozik, Aide à la Mise au Point des Applications Parallèles et Réparties à base d' Objets Persistants, Ph.D. Thesis, Université Joseph Fourier, Grenoble, May 1993 (in French) – reference: Y. Denneulin, R. Namyst, J.F. Méhaut, Architecture virtualization with mobile threads, in: Parallel Computing: Fundamentals Applications and New Directions, Elsevier, Amsterdam, 1998, pp. 477–484 – reference: L.J. Levrouw, K.M.R. Audenaert, J.M. van Campenhout, A new trace and replay system for shared memory programs based on Lamport clocks, in: Proceedings of Euromicro Workshop on Parallel and Distributed Processing, PDP, IEEE Computer Society Press, Silver Spring, MD, 1994 – reference: R.S. Curtis, L.D. Wittie, BugNet : A debugging system for parallel programming environments, in: Proceedings of the third International Conference on Distributed Computing Systems, October 1982 – reference: J.R. Eykholt, S.R. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, Beyond multiprocessing – multithreading the sunos kernel, in: Proceedings of the Usenix Conference, SunSoft Inc., June 1992 – reference: E. Leu, A. Schiper, Execution replay: a mechanism for integrating a visualization tool with a symbolic debugger, in: Y. Robert, L. Bougé, M. Cosnard, D. Trystram (Eds.), CONPAR 92 – VAPP V, Lecture Notes in Computer Science, vol. 634, Springer, Berlin, September 1992 – reference: C.J. Fidge, Logical time in distributed computing systems, IEEE Computer, August 1991, pp. 28–33 – reference: L. Lamport, Time, clocks and ordering of events in a distributed system, Commun. ACM 21 (7) (1978) 558–565 – reference: F. Teodorescu, J. Chassin de Kergommeaux, On correcting the intrusion of tracing non deterministic programs by software, in: Proceedings of EuroPar'97, LNCS, No. 1300, Springer, Berlin, August 1997, pp. 94–101 – reference: M. Christaller, Vers un support d'exécution portable pour applications parallèles irrégulières : Athapascan-0, Ph.D. Thesis, Université Joseph Fourier, Grenoble I, 1996 (in French) – reference: J.P. Kitajima, B. Plateau, Modelling parallel program behaviour in – reference: , Inform. Software Technol. 36 (7) (1994) 457–464 – reference: J.M. Mellor-Crummey, Debugging and analysis of large-scale parallel programs, Technical Report 312, University of Rochester, September 1989 – reference: J.F. Roos, L. Courtrai, J.F. Méhaut, Execution replay of parallel programs, in: Proceedings of Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, Silver Spring, MD, January 1993 – volume: 37 start-page: 70 year: 1996 end-page: 82 ident: BIB14 article-title: The nexus approach to integrating ultithreading and communication publication-title: J. Parallel Distributed Comput. – reference: V. Strassen, Gaussian elimination is not optimal, Numer. Math. Band 13 (Heft 4) (1969) 354–356 – volume: 2 start-page: 39 year: 1984 end-page: 59 ident: BIB2 article-title: Implementing remote procedure calls publication-title: ACM Trans. Comput. Syst. – reference: F. Mattern, Virtual time and global states of distributed systems, in: Proceedings of the Workshop on Parallel and Distributed Algorithms, Bonas, France, North-Holland, Amsterdam, September 1988 – reference: M. Ronsse, K. De Bosschere, Recplay: a fully integrated practical record/replay system, Technical Report ELIS TR-DG 97-06, Department of Electronics and Information Systems, Universiteit Gent, Belgium, 1997 – reference: E. Leu, La réexecution pierre angulaire de la mise au point des programmes parallèles, Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, July 1992, in French – reference: R.H.B. Netzer, B.P. Miller, Optimal tracing and replay for debugging message-passing parallel programs, in: Proceedings of Supercomputing'92, Minneapolis, Minnesota, IEEE Computer Society Press, Silver Spring, MD, November 1992 – reference: Frank Mueller, A library implementation of POSIX threads under UNIX, in: Proceedings of the Winter USENIX Conference, San Diego, CA, January 1993, pp. 29–41 – reference: A. Fagot, J.P. Kitajima, A. Vermeerbergen, Systematic comparison of the performance of static mapping and dynamic scheduling, in: Parallel Computing, Advances in Parallel Computing, Elsevier, Amsterdam, 1996 – ident: 10.1016/S1383-7621(99)00042-9_BIB5 – ident: 10.1016/S1383-7621(99)00042-9_BIB9 – ident: 10.1016/S1383-7621(99)00042-9_BIB1 – ident: 10.1016/S1383-7621(99)00042-9_BIB27 doi: 10.1109/SUPERC.1992.236654 – ident: 10.1016/S1383-7621(99)00042-9_BIB31 doi: 10.1007/BFb0002721 – ident: 10.1016/S1383-7621(99)00042-9_BIB13 doi: 10.1109/2.84874 – ident: 10.1016/S1383-7621(99)00042-9_BIB28 – volume: 2 start-page: 39 year: 1984 ident: 10.1016/S1383-7621(99)00042-9_BIB2 article-title: Implementing remote procedure calls publication-title: ACM Trans. Comput. Syst. doi: 10.1145/2080.357392 – volume: 37 start-page: 70 issue: 1 year: 1996 ident: 10.1016/S1383-7621(99)00042-9_BIB14 article-title: The nexus approach to integrating ultithreading and communication publication-title: J. Parallel Distributed Comput. doi: 10.1006/jpdc.1996.0108 – ident: 10.1016/S1383-7621(99)00042-9_BIB17 doi: 10.1016/0950-5849(94)90069-8 – ident: 10.1016/S1383-7621(99)00042-9_BIB26 – ident: 10.1016/S1383-7621(99)00042-9_BIB3 doi: 10.1007/BFb0002788 – ident: 10.1016/S1383-7621(99)00042-9_BIB24 – ident: 10.1016/S1383-7621(99)00042-9_BIB32 doi: 10.1016/S0927-5452(98)80062-2 – ident: 10.1016/S1383-7621(99)00042-9_BIB6 – ident: 10.1016/S1383-7621(99)00042-9_BIB16 – ident: 10.1016/S1383-7621(99)00042-9_BIB4 – ident: 10.1016/S1383-7621(99)00042-9_BIB8 doi: 10.1109/CMPCON.1992.186706 – ident: 10.1016/S1383-7621(99)00042-9_BIB12 – ident: 10.1016/S1383-7621(99)00042-9_BIB23 doi: 10.1109/EMPDP.1994.592529 – ident: 10.1016/S1383-7621(99)00042-9_BIB7 doi: 10.1016/S0927-5452(98)80038-5 – ident: 10.1016/S1383-7621(99)00042-9_BIB22 – ident: 10.1016/S1383-7621(99)00042-9_BIB15 doi: 10.1109/FTDCS.1992.217509 – ident: 10.1016/S1383-7621(99)00042-9_BIB18 doi: 10.1145/359545.359563 – ident: 10.1016/S1383-7621(99)00042-9_BIB29 doi: 10.1109/EMPDP.1993.336375 – ident: 10.1016/S1383-7621(99)00042-9_BIB21 doi: 10.1109/SPDP.1990.143516 – ident: 10.1016/S1383-7621(99)00042-9_BIB11 doi: 10.1109/EMPDP.1996.500585 – ident: 10.1016/S1383-7621(99)00042-9_BIB25 – ident: 10.1016/S1383-7621(99)00042-9_BIB10 doi: 10.1007/BFb0020463 – ident: 10.1016/S1383-7621(99)00042-9_BIB19 doi: 10.1109/TC.1987.1676929 – ident: 10.1016/S1383-7621(99)00042-9_BIB30 doi: 10.1007/BF02165411 – ident: 10.1016/S1383-7621(99)00042-9_BIB20 doi: 10.1007/3-540-55895-0_398
SSID	ssj0005512
Score	1.5253241
Snippet	This article describes an execution model for the parallel procedural programming paradigm, which combines multithreading and communications. The model is used...
SourceID	proquest pascalfrancis crossref elsevier
SourceType	Aggregation Database Index Database Enrichment Source Publisher
StartPage	835
SubjectTerms	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
Title	Execution replay of parallel procedural programs
URI	https://dx.doi.org/10.1016/S1383-7621(99)00042-9 https://www.proquest.com/docview/218879108
Volume	46
WOSCitedRecordID	wos000088192100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6165 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005512 issn: 1383-7621 databaseCode: AIEXJ dateStart: 19960101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3da9swEBdZuofB2PdY13X4YYWN4NaWbEt6DCNh60o2SAp5E7Ill4KbpPko-fN3siQ7pXTdHvZijGRZQne6--lOukPoU5xSxZQiYUzSCDYoOQtlZO7KcJKVpZaxkjbZBB2N2HTKf3U6G38X5qaisxnbbvniv5IayoDY5ursP5C7-SkUwDsQHZ5Adnj-FeEHW13Uvzf-gErWHnQT4LuqdNWr9ZWqQ224k1mre-CpDfG86u16Gjx1lO790MuL-dWVlptae50avz0sr4bVhvJivm5tpd6u0J5qc8Yuf-FlrK8380vZGx_3d-QkbGxDkKP2e23LGCWwE7WpH7xwdfZFx0TRjqhkNkzJHRFurQnjpocjsyU8wia5aYJD3uot76sf_RTD87MzMRlMJ7drazUNiBW2XaDVF9ehSTZmnPIu88ojtIdpylkX7fW_D6an7dmg1LrJ_Rjaq18n7cA-c_7FDeo-UPN0IVew1EqbI-WOuq8xzOQFeuaoG_Qt07xEHT17hZ77xB6Bk_OvUdTwUGB5KJiXgeehoOWhwPPQG3Q-HEy-fgtdao2wIBlZhyoH4KijkpMiSTguSSxJEWuaawZrNKalojwDpFoCQteKybQkpcp4LhXTWOY5eYu6s_lMv0OBVgWWhVIKY5roBMM3mBo7GUDHAqdqHyV-bkTh4s6b9CeVaA4YmikVZkoF56KeUsH30XHTbGEDrzzUgPmJFw49WlQogLMeanp4i1BthwDxMg71B55wwq30lQBszCiAbfb-j7UH6Em7uj6g7nq50YfocXGzvlwtPzrG-w0v5Jy5
linkProvider	Elsevier
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Execution+replay+of+parallel+procedural+programs&rft.jtitle=Journal+of+systems+architecture&rft.au=de+Kergommeaux%2C+J+Chassin&rft.au=Fagot%2C+A&rft.date=2000-08-01&rft.pub=Elsevier+Sequoia+S.A&rft.issn=1383-7621&rft.eissn=1873-6165&rft.volume=46&rft.issue=10&rft.spage=835&rft_id=info:doi/10.1016%2FS1383-7621%2899%2900042-9&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=56521787
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1383-7621&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1383-7621&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1383-7621&client=summon