Virtual time and virtual space

Journal Article · Wed Apr 01 04:00:00 EST 1992 · International Journal of Parallel Programming; (United States)

DOI:https://doi.org/10.1007/BF01408290· OSTI ID:7279721

Li, Xining ^[1]; Cleary, J; Unger, B ^[2]

---

1. Lakehead Univ., Ontario (Canada)
2. Univ. of Calgary, Alberta (Canada)

Simulation models involve the concepts of time and space. In designing a distribution simulation programming system, introducing a temporal construct result in a specification language for describing a changing multiple, simultaneous, nondetermine activities. In this paper, we present a new distributed logic programming model and discuss its implementation. A distributed program is represented by a virtual space-a set of process which are logical representations of system objects, and is evaluated with respect to virtual time-a temporal coordinate which is used to measure computational progress and specify synchronization. The major focus of the implementation is the ability to accomplish global backtracking. The proposed implementation collects global knowledge through interprocess communication, controls global backtracking distributedly according to virtual time and dependeny relations, an capture heuristics in the earlier synchronizations may make subsequent synchronizations more likely to succeed. As compared with other distributed logic programming systems, our system provides a simple syntax, well-defined semantics, and an efficient implementation.

• OSTI ID: 7279721
• Journal Information: International Journal of Parallel Programming; (United States), Journal Name: International Journal of Parallel Programming; (United States) Vol. 21:2; ISSN IJPPE5; ISSN 0885-7458
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
ALGORITHMS
COMPUTERIZED SIMULATION
DATA-FLOW PROCESSING
MATHEMATICAL LOGIC
OPTIMIZATION
PARALLEL PROCESSING
PROGRAMMING
SIMULATION