Generalizing Lookahead - Behavioral Prediction in Distributed Simulation

One of the key factors for efficiency in distributed simulation is the detection of model-inherent concurrency, which is related on the prediction of the future behavior of each logical simulation process. In this paper we present a generalization of traditional approaches to behavioral prediction which provides more accurate predictions in general and a high degree of scalability in terms of computational and communication overhead. We give a sequential implementation, prove its correctness using concepts from the analysis of real-time process networks and then show how these results can be used in distributed simulation. 1 Introduction One of the key factors for efficiency in distributed simulation is the detection of model-inherent concurrency, 1 which is related to the prediction of the future behavior of the logical simulation processes (LP), in particular the estimation of their future output. Under the term lookahead this is a key component of LP synchronization in conserva..