作者: Heinrich Moser , Ulrich Schmid
DOI: 10.1007/978-3-540-92221-6_24
关键词: Timing failure 、 Clock drift 、 Matrix clock 、 Clock synchronization 、 Digital clock manager 、 Real-time computing 、 Computer science 、 Vector clock 、 Clock skew 、 Self-clocking signal
摘要: In an OPODIS'06 paper, we laid down the foundations of a real-time distributed computing model (RT-Model) with non-zero duration steps, which reconciles correctness proofs and schedulability analysis algorithms. By applying RT-Model to well-known drift-free internal clock synchronization problem, proved that classic zero step-time sometimes provides too optimistic results. The present paper first step towards worst-case optimal deterministic drifting clocks in systems, is open problem even computing. We define prove correct remote estimation algorithm, pivotal function both external synchronization, determine matching lower bound for achievable maximum reading error RT-Model. Moreover, show how combine our algorithm existing