Virtual time

Virtual time is a new paradigm for organizing and synchronizing distributed systems which can be applied to such problems as distributed discrete event simulation and distributed database concurrency control. Virtual time provides a flexible abstraction of real time in much the same way that virtual memory provides an abstraction of real memory. It is implemented using the Time Warp mechanism, a synchronization protocol distinguished by its reliance on lookahead-rollback, and by its implementation of rollback via antimessages.

[1]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1988, CACM.

[2]  Randal E. Bryant,et al.  SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS , 1977 .

[3]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[4]  Eric G. Manning,et al.  Synchronization of Distributed Simulation Using Broadcast Algorithms , 1979, Comput. Networks.

[5]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[6]  Eric G. Manning,et al.  A distributed approach to queueing network simulation , 1979, WSC '79.

[7]  Eric G. Manning,et al.  Distributed Simulation Using a Network of Processors , 1979, Comput. Networks.

[8]  Edsger W. Dijkstra,et al.  Termination Detection for Diffusing Computations , 1980, Inf. Process. Lett..

[9]  David L. Russell,et al.  State Restoration in Systems of Communicating Processes , 1980, IEEE Transactions on Software Engineering.

[10]  Nissim Francez,et al.  Distributed Termination , 1980, TOPL.

[11]  William A. Wulf,et al.  HYDRA/C.Mmp, An Experimental Computer System , 1981 .

[12]  K. Mani Chandy,et al.  Asynchronous distributed simulation via a sequence of parallel computations , 1981, CACM.

[13]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.

[14]  David Jefferson,et al.  Fast Concurrent Simulation Using the Time Warp Mechanism. Part I. Local Control. , 1982 .

[15]  Philip A. Bernstein,et al.  A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper) , 1982, VLDB.

[16]  Philip A. Bernstein,et al.  A SOPHISTICATE'S'INTRODUCTION TO DISTRIBUTED DATABASE CONCURRENCY CONTROL , 1982 .

[17]  Fred B. Schneider,et al.  Synchronization in Distributed Programs , 1982, TOPL.

[18]  Stephen S. Lavenberg,et al.  Performance Analysis of a Rollback Method for Distributed Simulation , 1983, International Symposium on Computer Modeling, Measurement and Evaluation.

[19]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[20]  Robert E. Young,et al.  An experiment in microprocessor-based distributed digital simulation , 1983, WSC '83.

[21]  David Jefferson,et al.  An approach to performance analysis of timestamp-driven synchronization mechanisms , 1984, PODC '84.

[22]  Christos H. Papadimitriou,et al.  On Concurrency Control by Multiple Versions , 1982, TODS.

[23]  Geoffrey C. Fox,et al.  Algorithms for concurrent processors , 1984 .

[24]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[25]  Amihai Motro,et al.  The Time Warp mechanism for database concurrency control , 1986, 1986 IEEE Second International Conference on Data Engineering.