ACM Home Page
Please provide us with feedback. Feedback
Virtual time
Full text PdfPdf (1.82 MB)
Source ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 7 ,  Issue 3  (July 1985) table of contents
Pages: 404 - 425  
Year of Publication: 1985
ISSN:0164-0925
Author
David R. Jefferson  Univ. of Southern California, Los Angeles
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 51,   Downloads (12 Months): 459,   Citation Count: 516
Additional Information:

abstract   references   cited by   index terms   review   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/3916.3988
What is a DOI?

ABSTRACT

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.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
 
2
 
3
BERRY, O., AND JEFFERSON, D.R. Critical path analysis of distributed simulation. In 1985 Society for Computer Simulation Multiconference (San Diego, Calif., Jan. 1985).
 
4
BRYANT, R. E. Simulation of packet communication architecture computer systems. Ph.D. dissertation, M.I.T., Nov. 1977.
 
5
CALTECH. ,4nnual Report 1983-1984 and Recent Documentation. Caltech Concurrent Computation Project, Jet Propulsion Laboratory, Pasadena, Calif., Aug. 30, 1984.
6
7
 
8
CHANDY, K. M., AND MISRA, J. Distributed simulation: A case study in design! and verification of distributed programs. IEEE Trans. Softw. Eng. SE-5, 5 (Sept. 1979), 440-452.
 
9
DIJKSTRA, E. W., AND SCHOLTEN, C.S. Termination detection in diffusing computations. Inf. Process. Lett. 11, 1 (Aug. 29, 1980).
 
10
FOX, G. C., AND OTTO, S.W. Algorithms for concurrent processors. Phys. Today (May, 1984), 50.
11
 
12
JEffERSON, D. R., AND SOWIZRAL, H.A. Fast concurrent simulation using the Time Warp mechanism, part I: Local control. Rand Note N-1906AF, the Rand Corp.; Santa Monica, Calif., Dec. 1982.
 
13
JEFFERSON, D. R., AND SOWIZRAL, $. A. Fast concurrent simulation using the Time Warp mechanism. In Proceedings of the SCS Distributed Simulation Conference (San Diego, Calif., Jan. 1985).
 
14
JEFrERS0N, D. R., ET AL. Implementation of Time Warp on the Caltech Hypercube. In 1985 Society for ComPuter Simulation Multiconference (San Diego, Calif., Jan. 1985).
15
 
16
JEFFERSON, D. R., AND MOTRO, A. The Time Warp mechanism for database concurrency control. U.S.C. Tech. Rep., Dept. of Computer Science, Univ. of Southern California, Los Angeles, June 1983.
17
 
18
LAVENBERG, S., MUNTZ, R., AND SAMADI, B. Performance analysis of a rollback method for distributed simulation. Dept. of Computer Science, U.C.L.A., 1982.
19
20
 
21
 
22
PEACOCK, J. K., MANNING, E. G., AND WONG, J.W. Synchronization of distributed simulation using broadcast algorithms. Comput. Networks 4, I (Feb. 1980), 3-10.
 
23
PEACOCK, J. K., WONG, J. W., AND MANNING, E.G. Distributed simulation using a network of processors. Comput. Networks 3, I (Feb. 1979), 44-56.
24
 
25
RUSSELL, D.L. State restoration in systems of communicating processes. IEEE Trans. Softw. Eng. SE-6, 2 (Mar. 1980), 183-194.
 
26
SAMADI, B. Distributed simulation: Performance and analysis. Ph.D. dissertation, Dept. of Computer Science, UCLA, Los Angeles, 1985.
27
28
 
29
SOWlZRAL, H.A. The Time Warp simulation system and its performance. In 1985 Society for Computer Simulation Multiconference (San Diego, Calif., Jan. 1985).
 
30
SWAN, a., FULLER, S., AND S1EWIOREK, D. CM*--A modular multimicrocomputer. In Proceedings of the 1977 National Computer Con{erence (Apr. 1981), AFIPS Press, Baltimore, Md., 198- 206.
 
31
WULF, W. A., LEVlN, R., ^NO H^RBISON, S. P. Hydra/C. mmp: An Experimental Computer System. McGraw-Hill, New York, 1981.
 
32

CITED BY  516


REVIEW

"Michael J. Manthey : Reviewer"

This is a conceptually interesting paper which describes what appears to be an elegant and efficient solution to problems of synchronization, error recovery, and the realization of atomic actions in all kinds of distributed systems. The author s  more...