Copyright | Copyright (c) 2015-2018 David Sorokin <david.sorokin@gmail.com> |
---|---|
License | BSD3 |
Maintainer | David Sorokin <david.sorokin@gmail.com> |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Tested with: GHC 7.10.3
This module contains some Event
computations.
Synopsis
- leaveSimulation :: Event DIO ()
Documentation
leaveSimulation :: Event DIO () Source #
Try to leave the simulation.
It enqueues a new event with obligatory synchronization with the global virtual time. If that event will not be reverted during rollback, then the logical process will leave the simulation immediately after approaching the final modeling time without synchronization with the global virtual time anymore if it has no unacknowledged sent messages.
It makes sense to use this action if logical processes can enter and leave your long-running distributed simulation by demand.