Virtual Time III, Part 2: Combining Conservative and Optimistic Synchronization

被引:0
作者
Jefferson, David R. [1 ]
Barnes, Peter D. [1 ]
机构
[1] Lawrence Livermore Natl Lab, 7000 East Ave,L-561, Livermore, CA 94550 USA
来源
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | 2022年 / 32卷 / 04期
关键词
Parallel discrete event simulation; virtual time; synchronization; conservative; optimistic; throttling; invariant; monotonicity; rollback; antimessage; lookahead; Unified Virtual Time; UVT; SIMULATION;
D O I
10.1145/3505249
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This is Part 2 of a trio of works intended to provide a unifying framework in which conservative and optimistic synchronization for parallel discrete event simulations can be freely and transparently combined in the same logical process on an event-by-event basis. In this article, we continue the outline of an approach called Unified Virtual Time (UVT) that was introduced in Part 1, showing in detail via two extended examples how conservative synchronization can be refactored and combined with optimistic synchronization in the UVT framework. We describe UVT versions of both a basic time windowing algorithm called Unified Simple Time Windows and a refactored version of the Chandy-Misra-Bryant Null Message algorithm called Unified CMB.
引用
收藏
页数:21
相关论文
共 23 条
[1]  
Bryant RE., 1977, MS Thesis
[2]  
Cai W., 1990, P 1990 SCS MULTICONF
[3]   DISTRIBUTED SIMULATION - CASE-STUDY IN DESIGN AND VERIFICATION OF DISTRIBUTED PROGRAMS [J].
CHANDY, KM ;
MISRA, J .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (05) :440-452
[4]  
Chung M.-K., 2006, P 20 WORKSHOP PRINCI
[5]   REDUCING NULL MESSAGES IN MISRA DISTRIBUTED DISCRETE EVENT SIMULATION METHOD [J].
DEVRIES, RC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (01) :82-91
[6]   Parallel and distributed simulation systems [J].
Fujimoto, RM .
WSC'01: PROCEEDINGS OF THE 2001 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2001, :147-157
[7]   Time management in the High Level Architecture [J].
Fujimoto, RM .
SIMULATION, 1998, 71 (06) :388-400
[8]   COMMUNICATING SEQUENTIAL PROCESSES [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :666-677
[9]  
Ianni M, 2017, IEEE ACM DIS SIM, P17
[10]  
Jefferson D., 2022, VIRTUAL TIME 1