. V. Fig, 9 -L'horloge k-matricielle k =2 4: m; A est le message ree cu, estampill eavec A, la vue que le site emetteur avait de l'horloge k-matricielle au momentdel' emission

. En-r-ealit-e, k satisfait seulement les propri et es de r eaeexivit e et de transitivit e; c'est donc un pr e-ordre. Cependant, comme la condition S-CLKK est v eriae ee, k est eaeectivement un ordre partiel sur le sous-ensemble de IN nn compos e

H. Bibliographie-Ëads91ë, R. A. Agrawal, E. H. Demillo, and . Spaaeord, An executionbacktracking approach to debugging, IEEE Software, pp.21-26, 1991.

Z. Aral and I. Gertner, High level debugging of distributed systems, SIGPLAN Notices, 1989.

M. Adam, M. Huraen, N. Plouzeau, M. Raynal, A. V. Aho et al., Distributed debugging techniques The Design and Analysis of Computer Algorithms Dbxtool: A window-based symbolic debugger for sun workstations. Software Practice and Experience, p.16677, 1974.

S. Alagar and S. Venkatesan, Hierarchy in testing distributed prorams Complexity of network synchronization, Proc. Int. Workshop AADEBUG 93, pages 101í116. Springer-Verlag LNCS 749, pp.801-823, 1985.

B. N. Bershad, R. P. Draves, and A. Forin, Using microbenchmarks to evaluate system performance Hardware-assisted replayofmultiprocessor programs, Proceedings of the Third Workshop on Workstation Operating Systems WWOS-33 Proc. ACMèONR workshop on parallel and distributed debugging, 1991.
DOI : 10.1109/wwos.1992.275671

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.3708

T. Bemmerl, O. Hansen, T. Ludwig, G. Brooks, G. J. Hansen et al., Ein leistungsmessystem fuer multiprozessoren A new approach to debugging optimized code, PARS-Workshop ACM SIGPLAN'92 Conf. on Programming Language Design and Implementation ëBM93ë í O. Babaa oglu and K. Marzullo. Consistent global states Distributed Systems, 1989.

N. Budhiraja, K. Marzullo, F. B. Schneider, S. Toueg, P. Bates et al., The primary-backup approach ACM press, 1993. ëBP82ë R. Bonnet and M. Pouzet. Linear extensions of ordered sets, editor, Ordered Sets, pages 125í170 High-level debugging of distributed systems : The behavioral abstraction approach, Distributed Systems,chapter 8, pp.235-244, 1982.

F. Cristian, H. Aghili, R. Strong, and D. Dolev, Atomic broadcast: From simple message diaeusion to byzantine agreement, Proc. 15th Int. Symp. on Fault-tolerant Computing, 1985.
DOI : 10.1006/inco.1995.1060

URL : http://doi.org/10.1006/inco.1995.1060

B. Charron-bost, C. Delporte-gallet, and H. Fauconnier, Local and temporal predicates in distributed systems, ACM Transactions on Programming Languages and Systems, vol.17, issue.1, 1991.
DOI : 10.1145/200994.201005

W. H. Cheung, J. P. Black, E. Manning, P. Cousot, and R. Cousot, A framework for distributed debugging Semantic analysis of communicating sequential process. Lecture Notes in Computer Science No 85, 1980. ëCho91ë Chorus Team. CHORUS kernel v3 r4.0 í debugger user's manual for COMPAQ deskpro386 Chorus Syst emes, 1991. ëCho92ë Chorus Team. Overview of the Chorus distributed operating system, USENIX Workshop on Micro Kernels and Other Kernel Architecthres ëCL85ë K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems, pp.106-11563, 1985.

R. Cooper, K. Marzullo, R. Cooper, P. Cousot, R. Curtis et al., Consistent detection of global predicates Pilgrim: A debugger for distributed systems Methods and logics for proving programs In Handbook of theoretical computer science,chapter 15 ëCri89ë F. Cristian Probabilistic clock synchronization Distributed Computing , 3333:146í158, 1989 Balancing runtime and replay costs in a trace-and-replay system BugNet: A debugging system for parallel programming environments Analyse de la relation de causalit e dans les ex ecutions r eparties University of Rennes 1, Sept 1992. ëDJ92ë C. Diehl and C. Jard. Interval approximations of messages causality in distributed executions ëDS90ë A. Dinning and E. Schonberg. An empirical comparison of monitoring algorighms for access anomaly detection Runtime observation of parallel programs Manetho: Transparent rollback-recovery with lowoverhead, limited rollback and fast ouput commit Fault tolerance for a workstation cluster 136 BIBLIOGRAPHIE ëFid88ë J. Fidge. Timestamps in message passing systems that preserve the partial ordering An integrated approach to parallel program debugging and performance analysis on large-scale multiprocessors . SIGPLAN Notices proc. of ACMèONR Workshop on Parallel and Distributed Debuggingg, 24411 Sacrifying serializabilitytoattain high availabilityofdata in an unreliable network Debugging of heterogeneous parallel programs Inevitable global states: a new concept to detect unstable properties of distributed computations in an observer independentway Parallel debugging system user's guide, Proc. ACMèONR Workshop on Parallel and Distributed Debugging Proc. of the 3rd Int. Conf. on Distributed Computing Systems Proceedings of the ACMèONR Workshop on Parallel and Distributed Debugging Proc. of the 3rd Int. Conf. on distributed Computing Systems Finkel and editors Jantzen STACS, LNCS 577 Proceedings of PPOPP'90 CONPAR'88 Proceedings of the Workshop on Parallel and Distributed Debugging Proc. of the Workshop on Hardware and Software Architectures for Fault Tolerance Proc. 11th Australian Computer Science Conference ëFid91ë C. J. Fidge. Logical time in distributed computing systems Proc. ACM SIGACT-SIGMOD Symp. on principles of database systems Proc. of the ACM Workshop on Parallel and Distributed Debugging 6th IEEE Symp. on Par. and Dist. Processing submittedd ëFR94bë E. Fromentin and M. Raynal. Local states in distributed computations: a few relations and formulas ëFR94cë E. Fromentin and M. Raynal. When all the observers of a distributed computation do agree ëFRGT94ë E. Fromentin, M. Raynal, V. Garg, and A. Tomlimson. On the aey testing of regular patterns in distributed computations. In 23rd Annual Int. Conf. on Parallel Processing ICPP944,Pennsylvania. Restoring consistent global states of distributed computations. ACM SIG- PLAN Notices ëGMGK84ë H. Garcia-Molina, F. Germano, and W. H. Kohler. Debugging a distributed computing system. IEEE Transactions on Software Engineering, pp.167-174, 1982.

W. Gu, J. Vetter, K. Schwan, V. K. Garg, B. P. Waldecker et al., An annotated bibliography of interactive program steering Detection of unstable predicates in distributed programs DTM-A method for testing distributed systems Debugging optimized code with dynamic debugger ACM SIGPLAN'92 Conf. on Programming Language Design and Implementation, 27777:32í43 Two phase gossip: Managing distributed event histories Data path debugging: Data-oriented debugging for a concurrent programming language Modeling concurrency in parallel debugging Communicating Sequential Processes. Prentice- Hall International Series in Computer Science, 1985. ëHP 89ë Precision architecture and instruction set reference manual Implementation of a distributed debugger for estelle programs Erebus: A debugger for asynchronous distributed computing systems Detecting atomic sequences of predicates in distributed computations Matching operating systems to application needs í a case study Global events and global breakpoints in distributed systems Speciaecation and detection of global breakpoints in distributed systems Bugnet: a real time distributed debugging system Building a global time on parallel machines A general approach to trace-checking in distributed computing systems Monitoring distributed systems A graphical debugger for object-oriented distributed programs, Proc. 12th Int. Conf. on Foundations of Soft. Technology 6th Symp. on Reliability in Distributed Software and Database Systems ACM SIG- PLANèSIGOPS Workshop on Parallel and Distributed Debugging ERCIM workshop Proc. of 3rd IEEE Work Proceedings 138 BIBLIOGRAPHIE of the ACMèONR Workshop on Parallel and Distributed Debugging ëHR93ë M. Herdieckerhoae and F. Ruget. CHORUS support for monitoring and debugging. OUVERTURE Technical Report D2.5è22 OUèTR-93-12, Chorus Systems, 1993. ëHR94ë M. Herdieckerhoae and F. Ruget Proc. of SIGOPS'94 Proc. of 21th Int. Conf. on System Sciences ëInt92ë Intel. Intel486 Microprocessor Family -Programmer's Reference Manual. Intel, 1992. ëJam93ë H. Jamrozik. Aide a la Mise au Point des Applications Parall eles et R eparties a base d'Objets Persistants Proc. of the 6th Symp. on Reliability in Distributed Software and Database Systems Proc. 3rd Inter. Workshop on Distributed Algorithms ëJon92ë M. B. Jones. Transparently interposing user code at the system interface Proc. of the 2nd Work. on Workstation Operating Systems ëJRS91ë H. J. Jamrozik, C. Roisin, and M Technology of Object- Oriented Languages and Systems TOOLSS, pp.30332-0280, 1987.

D. B. Johnson and W. Zwaenepoel, Sender-based message logging Recovery in distributed systems using optimistic message logging and checkpointing, The 17th Int. Symp. on Fault-Tolerant Computing, pp.14-19462, 1987.

. Krishnakumar, R. Bernstein, S. Koo, . L. Toueg, and F. Black, Bounded ignorance in replicated systems Checkpointing and rollback-recovery for distributed systems, Proc. ACM Symp. on Principles of Database Systems ëLam78ë L. Lamport. Time, clocks, and the ordering of events in a distributed system Machkernel monitor with applications using the pie environmentt. Available on, pp.558-565, 1978.

J. E. Lumpp, T. L. Casavant, H. J. Siegle, and D. C. Marinescu, Speciaecation and identiaecation of events for debugging and performance monitoring of distributed multiprocessor systems, Proc. of the 10th Int. Conf. on Distributed Systems, pp.476-483, 1986.

W. Lux, W. E. Kuhnhauser, and H. Hartig, The birlix migration mechanism In Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems Programs Liskov and R. Ladin. Highly available distributed services and fault-tolerant distributed garbage collection, Proc. 5th ACM Symp. on PODC, pp.83-90, 1986.

T. J. Leblanc, J. M. Mellor-crummey, B. , C. H. Ledoux, D. S. Parker-leu et al., Debugging parallel programs with instant replay Saving traces for ada debugging Debugging shared memory parallel programs Execution replay on distributed memory architectures, Ada in use, Proc. of the Ada Int. Conf SIGPLAN Notices, 24411 Proc. of 2nd IEEE Symp. on Parallel and Distributed Processing ëMat89ë F. Mattern. Virtual time and global states of distributed systems, pp.471-4815, 1985.
DOI : 10.1109/tc.1987.1676929

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.3153

B. Distributedalgorithms, B. P. Francee, J. Miller, T. J. Choi, and . Leblanc, Techniques for debugging parallel programs with aeowback analysis Breakoints and halting in distributed systems A mechanism for eaecient debugging of parallel programs An eaecient cache-based access anomaly detection scheme Compile-time support for eaecient data race detection in shared-memory parallel programs A software instruction counter Hardware proaeling of kernels, Proc. of Int Proceedings of the International Conference on Distributed Computing Systems SIGPLAN'88 Conference on Programming Language Design and Implementation Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems Proc. of the ACMèONR Workshop on Parallel and Distributed Debugging Proc. of Third Int. Conf. on Architectural Support for Programming Languages and Operating Systems Proc. of USENIX Winter 1993 Technical Conference, pp.316-323, 1988.

K. Marzullo, R. Cooper, M. D. Wood, and K. P. Birman, Tools for distributed application management, Computer, vol.24, issue.8, pp.42-51, 1991.
DOI : 10.1109/2.84876

C. E. Mcdowell and D. P. Helmbold, Debugging concurrent programs, ACM Computing Surveys, vol.21, issue.4, pp.593-622, 1989.
DOI : 10.1145/76894.76897

+. , A. D. Malony, D. A. Reed, J. W. Arendt, D. Grabas et al., An integrated performance data collection analysis and visualisation system Optimal tracing and replay for debugging sharedmemory parallel programs Optimal tracing and replay for debugging message-passing parallel programs. ëNR88ë I. Nudler and L. Rudolph. Tools for the eaecient development of eaecient parallel programs Substituting for real time and common knowledge in distributed systems, Proc. of the 4th Conf. on Hypercube Concurrent Computers and Applications Proceedings of the ACMèONR Workshop on Parallel and Distributed Debugging Supercomputing '92 1st Israeli Conference on Computer System Enginneering ëOSS93ë D. M. Ogle, K. Schwan, and R. Snodgrass. Application-dependent dynamic monitoring of distributed and parallel systems. IEEE Transactions on Parallel and Distributed Systems, pp.229-236, 1986.

S. Patience, Redirecting system calls in mach 3.0 -an alternative to the emulator, Mach III Symposium, pages 57í73. Usenix association, 1993.

M. K. Ponamgi, W. Hseush, G. E. Kaiser, D. Pan, M. Linton et al., Debugging multithreaded programs with mpd Supporting reverse execution for parallel programs Concurrent common knowledge: A new deaenition of agreement for asynchronous systems CHORUS distributed operating system Computing Systems Journal The Usenix Association, pages 305í370, 1988. ëRay92ë M. Raynal. About logical clocks for distributed systems Operating Systems Review, 26611:41í48 Execution replay of parallel programs Construction des syst emes r epartis, chapter 10 Debugging parallel programs in parallel Kitlogía generic logging service Ruget. etats globaux d'un syst eme r epartiíreprise de l'ex ecution apr es une faute Cheaper matrix clocks, Proc. of 7th Proc. of the Euromicro Work. on Parallel and Distributed Processing ëRoz90ë M. Rozier. Overview of the CHORUS distributed operating system Proc. of the 11th Symp. on Reliable Dist. Syst. Journ ees des Jeunes Chercheurs en Syst emes Informatiques R epartis IMAG. ëRug94aë F. Ruget. Actor-wide trap tables for CHORUS. Technical note, Chorus Systems Proc. of the 8th Int. Workshop on DistributedAlgorithms,Terschelling, the Netherlands, pp.37-43, 1988.

F. Ruget, Cheaper matrix clocks, Unifying Theory and Practice in Distributed Systems, Schloss Dagstuhl, 1994.
DOI : 10.1007/BFb0020445

F. Ruget, C. , D. Socha, M. L. Bailey, D. Notkin et al., Voyeur: Graphical views of parallel programs Volatile logging in n-fault-tolerant distributed systems PARTAMOS: Parallel real-time application monitoring system, Proc. of ER- SADS workshop Presented at OSDI'94 MachèChorus Workshop Proc. of the SIGPLANèSIGOPS Workshop on Parallel and Distributed Debugging The Eighteenth Annual International Symposium on Fault-Tolerant Computing: Digest of Papers, pp.206-215, 1986.

M. Spezialetti, R. Gupta, S. K. Sarin, L. Lynch, R. Schwarz et al., Debugging distributed programs through the detection of simultaneous events Discarding obsolete information in a replicated database system SE 13311:39í46 Detecting causal relationships in distributed computations: In search of the holy grail Distributed Computing, 7733 Debugging tools for message-based communicating processes The temporal query language TQuel A relational approach to monitoring complex systems The gnu debugger Free Software Foundation Debugging concurrent processes: A case study. SIG- PLAN Notices proc. of Conf. on Programming Language Design and Implementation ëSun86ë NeWs preliminary technical overview. Sun MicroSystems, 1986. ëSW87ë D. Snowden and A. Wellings. Debugging distributed real-time applications in ada Optimistic recovery in distributed systems Debuggable concurrency extensions for standard ML Tokuda. A real-time monitor for a distributed real-time operating system Eaecient solutions to the replicated log and dictionary problems Adaptive independentcheckpointing for reducing rollback propagation Understanding concurrent programming through program animation, Proc. of Int. Conf. on Distributed Computing Systems ICDCS 4th Internat. conf. on Distributed Computing Systems Proc. ACMèONR workshop on parallel and distributed debugging Proc. of the SIGPLANèSIGOPS Workshop on Parallel and Distributed Debugging ëVal90ë C. Valot. A survey of distributed debugging techniques. Note technique SORí94, INRIA Rocquencourt Proc. 3rd ACM Symp. on PODC Proc. 5th IEEE Symposium on Parallel and DistributedProcessing ëYT88ë M. Young and R. Taylor. Combining static concurrency analysis with symbolic execution. IEEE Transactions on Software Engineering ëZPS88ë M. Zimmermann, F. Perrenoud, and A. Schiper Proc. of the 19th SIGCSE Technical Symposium on Computer Science Education, pp.303-310247, 1984.