关键词: 计算机应用, 分布式系统, 时钟一致性演化, 因素量化分析, 有限自动机, 形式化方法

Abstract:

Given that the analysis methods of clock inconsistency factors used in traditional distributed simulation systems cannot meet the analysis requirements of clock states in current service-oriented distributed simulation applications, we explore the evolution mechanism and transition processes of system clock states from the perspective of global clocks, and propose a new dynamic evolution model named clock finite state automata (CFSA) based on the finite state automata theory. We then design an evolution algorithm named clock consistency evolution algorithm (CCEA) in order to quantitatively analyze clock inconsistency factors. The results of simulation experiments show that compared with traditional analysis methods, it is feasible, effective and novel for using the CFSA and CCEA to characterize the transition processes of system clock states, to investigate the influence mechanism of various inconsistency factors and to quantitatively analyze the impact of various factors, thus providing guidance and advice for the design of clock synchronization algorithms in distributed simulation applications.

Key words: