1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 1(23)'2010
  5. Journalizing of states of the program distributed simulation models and its usage in optimistic algorithms of synchronisation

Journalizing of states of the program distributed simulation models and its usage in optimistic algorithms of synchronisation

M.A. Volk
Annotations languages:

In article the development of the formal description of the distributed simulation models on the basis of their program representation in terms of process algebra is presented. The set journalizing activities of states of model which make a basis of the memory manager of simulation models is entered. It is shown that realized activity can fulfill functions federates in optimistic algorithms of synchronisation of the distributed simulation models.
Keywords: up-diffused simulation models, process algebra, state of model, information, activity, manager of memory, optimistic algorithms of synchronization