Optimistic Parallel Simulation of Tightly Coupled Agents in Continuous Time.

Andelfinger, Philipp and Uhrmacher, Adelinde M. (2021) Optimistic Parallel Simulation of Tightly Coupled Agents in Continuous Time. In: The 25th International Symposium on Distributed Simulation and Real Time Applocations (IEEE/ACM DS-RT 2021), 27-29 Sep 2021, Valencia, Spain. Proceedings, published by IEEE Computer Society, Los Alamitos, CA, USA, pp. 1-9.

Full text not available from this repository.
Official URL: https://doi.ieeecomputersociety.org/10.1109/DS-RT5...

Abstract

Agent-based simulations relying on synchronous state updates using a fixed time step size are considered attractive candidates for parallel execution in order to reduce simulation running times for large and complex scenarios. However, if the underlying models are formulated with respect to continuous time, a time-stepped execution may only approximate the strict model semantics. To simulate continuous-time agent-based models, parallel discrete event algorithms can be applied. Traditionally those are based on logical processes exchanging time-stamped events, which clashes with the properties of models in which tightly coupled agents frequently access each other's states. To illustrate the challenges of such models and to derive a solution, we consider the domain-specific modeling language ML3, which allows modelers to succinctly express transitions and interactions of linked agents based on a continuous-time Markov chain (CTMC) semantics. We propose an optimistic synchronization scheme tailored towards simulations of fine-grained interactions among tightly coupled agents in highly dynamic topologies. By restricting the progress per round to at most one state change per agent, the synchronization scheme enables efficient direct read and write accesses among agents. To maintain concurrency given actions that depend on dynamically updated macro-level properties, we introduce a simple relaxation scheme with guaranteed error bounds. Using an extended variant of the classical susceptible-infected-recovered network model, we demonstrate that the proposed synchronization scheme accelerates simulations even under challenging model configurations.

Item Type: Conference or Workshop Item (Paper)
Additional Information: ISSN 1550-6525
Projects: MoSiLLDe