Asynchronous Distributed Simulation via a Sequence of Parallel Computations

Communications of the ACM

Volumn 24, Issue 4, 1981, Pages 198-206

  Chandy, K M ^a   Misra, J ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

communicating sequential processes; deadlock; discrete event simulation; distributed systems; message passing systems; parallel algorithms; recovery

Indexed keywords

COMPUTER SIMULATION;

EID: 0018999316     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/358598.358613     Document Type: Article

References (15)

1. Bryant, R. E. Simulation or packet communication architecture computer systems. M.L.T. Lab. Comptr. Sci., M.S. Thesis. Nov. 1977.
2. Chandy, K. M., Holmes, V., and Misra, J. Distributed simulation of networks. Comptr. Networks S, 1 (Feb. 1979), 105-113.
3. Chandy, K. M. and Misra, J. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans, on Software Engineering, SE-5, 5 (Sept. 1979), 440-452,
4. Chandy, K. M. and Misra, I. Deadlock absence proofs for networks of communicating processes. Information Processing Lett. 9, 4, (Nov. 1979), 185-189.
5. Chandy, K. M. and Misra, J. Termination detection of diffusing computations in communicating sequential processes. Dept. of Comptr. Sci., Tech. Rept, TR-144, 1980, University of Texas, Austin, TX.
6. Dijkstra, E. W. and Schlten, C. S. Termination detection for diffusing computations. EWD687a, 5671 AL Nueneti, The Netherlands.
7. Ellis, C. A. Information control nets: A methematical model of office information flow. Proc 1979 Conf. on Simulation, Measurement and Modeling of Computer Systems. (Aug. 1979), 225-239.
8. Hoare, C. A. R. Communicating sequential processes. Comm. ACM 21, 8, (Aug. 1978) 666-677.
9. Holmes, V. Parallel algorithms for multiple processor architectures. Ph.D. Dissertation, Comptr. Sci. Dept. Univ. of Texas, Austin, TX, 1978.
10. Nutt, G. J. An experimental distributed modeling system. Tech. Rept, Jan. 1980, Xerox Palo Alto Research Center, Palo Alto, CA 94305.
11. Peacock, J. K. Wong, J. W., and Manning, E. G. Distributed simulation using a network of processors. Comptr Networks, S, 1 (Feb. 1979), 44-56.
12. Peacock, J. K., Wong, J. W., and Manning, E. G. Synchronization of distributed simulation using broadcast algorithms. Proc of the Winter Simulation Conference, December, 1979.
13. Peacock, J. K., Wong, J. W., and Manning, E. G. A distributed approach to queueing network simulation. Proc. 4th Berkeley Conf. on Distributed Data Management and Computer Networks, Berkeley, CA, August, 1979, 237-259.
14. Sauer, C. H. Characterization and simulation of generalized queueing networks. RC-6057, IBM Research, Yorktown Heights, NY, May, 1978.
15. Seethalakshmi, M. Performance analysis of distributed simulation. M.S. Rept, 1978, Comptr. Sci. Dept., Univ. of Texas, Austin, TX.