Virtual Time

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 7, Issue 3, 1985, Pages 404-425

  Jefferson, David R ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

Concurrency control; simulation; Time Warp

Indexed keywords

EID: 84976728787     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/3916.3988     Document Type: Article

References (32)

1. BERNSTEIN, P. A., AND GOODMAN, N. Concurrency control in distributed database systems. ACM Comput. Suru. 13, 2 (June 1981).
2. BERNSTEIN, P. A., AND GOODMAN, N. A sophisticate's introduction to distributed database concurrency control. In Proceedings of the 8th International Conference on Very Large Databases (Sept. 1982).
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, MIT., Nov. 1977.
5. CALTECH. Annual Report 1983-1984 and Recent Documentation. Caltech Concurrent Computation Project, Jet Propulsion Laboratory, Pasadena, Calif., Aug. 30, 1984.
6. CHANDY, K. M., AND LAMPORT, L. Distributed snapshots: Determining global states of distrihuted systems. (To appear, ACM Trans. Comput. S'yst.).
7. CHANDY, K. M., AND MISRA, J., Asynchronous distributed simulation via a sequence of parallel computations. Commun. ACM 24,4 (Apr. 1981), 198-206.
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 (Sept. 1979), 440-452.
9. DIJKSTRA, E. W., AND SCHOLTEN, C. S. Termination detection in diffusing computations. Znf. Process. Lett. 21, 1 (Aug. 29, 1980).
10. FOX, G. C., AND Orro, S. W. Algorithms for concurrent processors. Phys. Today (May, 1984), 50.
11. FRANCEZ, N. Distributed termination. ACM Trans. Progiam. Lang. Syst. 2, 1 (Jan. 1980), 42-55.
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, H. A. Fast concurrent simulation using the Time Warp mechanism. In Proceedings of the SCS Distributed Simulation Conference (San Diego, Calif., Jan. 1985).
14. JEFFERSON, 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. JEFFERSON, D. R., AND WITKOWSKI, A. An approach to performance analysis of timestampdriven synchronization mechanisms. In Proceedings of the 3rd ACM Annual Symposium on Principles of Distributed Computing (Vancouver, B.C., Canada, Aug. 1984), ACM, New York.
16. JEFFERSON, D. R., AND MOTRO, A. The Time Warp mechanism for database concurrency control. U.S.C. Tech. Rep., Dept. of Computer Science, University of Southern California, Los Angeles, June 1983.
17. LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21,7 (July 1978), 558-565.
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. METCALFE, R. M., AND BOGGS, D. R. Ethernet: Distributed packet switching for local computer networks. Commun. ACM 19,7 (July, 1976), 395-404.
20. PAPADIMITRIOU, C. H., AND KANELLAKIS, P. C. On concurrency control by multiple versions. In ACM Conference on Principles of Database Systems (PODS), 1982, ACM, New York.
21. PEACOCK, J. K., WONG, J. W., AND MANNING, E. G. A distributed approach to queueing network simulation. In 1979 Winter Simulation Conference, IEEE, New York, 1979, 399-406.
22. PEACOCK, J. K., MANNING, E. G., AND WONG, J. W. Synchronization of distributed simulation using broadcast algorithms. Comput. Networks 4,1 (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, 1 (Feb. 1979), 44-56.
24. REED, D. P. Implementing atomic actions on decentralized data. ACM Trans. Comput. Syst. 2, 1 (Feb. 1983), 3-23.
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. SCHNEIDER, F. B. Synchronization in distributed programs. ACM Trans. Program. Lang. Syst. 4,2 (Apr. 1982), 179-195.
28. SCHWARTZ, J. T. Ultracomputers. ACM Trans. Program. Lang. Syst. 2, 4 (Oct. 1980), 484-521.
29. SOWIZRAL, H. A. The Time Warp simulation system and its performance. In 1985 Society for Computer Simulation Multiconference (San Diego, Calif., Jan. 1985).
30. SWAN, R., FULLER, S., AND SIEWIOREK, D. CM*-A modular multimicrocomputer. In Proceedings of the 1977 National Computer Conference (Apr. 19811, AFIPS Press, Baltimore, Md., 198-206.
31. WULF, W. A., LEVIN, R., AND HARBISON, S. P. Hydra/C.mmp: An Experimental Computer System. McGraw-Hill, New York, 1981.
32. WYATT, D., SHEPPARD, S., AND YOUNG, R. An experiment in microprocessor-based distributed digital simulation. In Proceedings of the 1983 Winter Simulation Conference (Arlington, Va., Dec. 1983), S. Roberts, J. Banks, and B. Schmeiser, Eds.