SSCMP: the sequenced synchronized clock message protocol

doi:10.1016/0169-7552(94)00105-3

Computer Networks and ISDN Systems

Volume 27, Issue 12, November 1995, Pages 1615-1632

Computer Networks an...

https://doi.org/10.1016/0169-7552(94)00105-3 Get rights and content

Abstract

We present a novel timer-based connection management protocol SSCMP (Sequenced Synchronized Clock Message Protocol) providing reliable ordered at-most-once delivery of messages. Apart from being strikingly simple, it also surpasses existing protocols like Delta-t, VMTP, XTP, and CMSC with respect to correctness in case of clock synchronization failures. By means of a rigorous mathematical analysis, we show that our SSCMP implements a certain abstract specification on top of a fairly realistic system model, putting on a firm ground the very positive experiences we gathered from experiments with our actual implementation.

References (19)

E.W. Biersack et al.
A Timer-based Connection Management Protocol with Synchronized Clocks and its Verification
Computer Networks and ISDN Systems
(1993)
R.W. Watson
Timer-Based Mechanisms in Reliable Transport Protocol Connection Management
Computer Networks
(1981)
D. Belsnes
Single-Message Communication
IEEE Transactions on Communications
(1976)
D.R. Cheriton
VMTP: A Transport Protocol for the Next Generation of Communication Systems
D.R. Cheriton
SIRPENT^TM: A High Performance Internetworking Approach
D.R. Cheriton et al.
VMTP as the Transport Layer for High-Performance Distributed Systems
IEEE Communications Magazine
(June 1989)
B.W. Lampson
Reliable Messages and Connection Establishment
B. Liskov
Practical Uses of Synchronized Clocks in Distributed Systems
Distributed Computing
(1993)
B. Liskov et al.
Efficient At-Most-Once Message Based on Synchronized Clocks
ACM Transactions on Computer Systems
(1991)

There are more references available in the full text version of this article.

Cited by (6)

Synchronized universal time coordinated for distributed real-time systems
1995, Control Engineering Practice
This paper presents a novel technique for establishing a highly accurate global time in fault-tolerant, large-scale distributed real-time systems. Unlike the usual clock synchronization approaches, the proposed clock validation technique provides a precise system time that also relates to an external time standard like UTC with high accuracy. The underlying idea is to validate time information of external time sources like GPS-receivers against a global time maintained by the local clocks in the system. As an example, a promising interval-based clock validation algorithm ICV that exhibits excellent fault-tolerance properties is outlined and analyzed. It requires only a few highly accurate external time sources and provides each node with the actual accuracy of its clock.
External Synchronization of Distributed Redundant Flight Control Computers
2023, SAE International Journal of Aerospace
Achieving Causality with Physical Clocks
2022, ACM International Conference Proceeding Series
Achieving causality with physical clocks
2021, arXiv
Interval-based Clock Synchronization
1997, Real-Time Systems
GPS-based Clock Synchronization in a Mobile, Distributed Real-Time System
1997, Real-Time Systems

View full text

Article preview

Computer Networks and ISDN Systems

Abstract

References (19)

A Timer-based Connection Management Protocol with Synchronized Clocks and its Verification

Computer Networks and ISDN Systems

Timer-Based Mechanisms in Reliable Transport Protocol Connection Management

Computer Networks

Single-Message Communication

IEEE Transactions on Communications

VMTP: A Transport Protocol for the Next Generation of Communication Systems

SIRPENT^TM: A High Performance Internetworking Approach

VMTP as the Transport Layer for High-Performance Distributed Systems

IEEE Communications Magazine

Reliable Messages and Connection Establishment

Practical Uses of Synchronized Clocks in Distributed Systems

Distributed Computing

Efficient At-Most-Once Message Based on Synchronized Clocks

ACM Transactions on Computer Systems

Cited by (6)

Synchronized universal time coordinated for distributed real-time systems

External Synchronization of Distributed Redundant Flight Control Computers

Achieving Causality with Physical Clocks

Achieving causality with physical clocks

Interval-based Clock Synchronization

GPS-based Clock Synchronization in a Mobile, Distributed Real-Time System

SSCMP: the sequenced synchronized clock message protocol

Abstract

Computer Networks and ISDN Systems

Computer Networks

Single-Message Communication

IEEE Transactions on Communications

VMTP: A Transport Protocol for the Next Generation of Communication Systems

SIRPENTTM: A High Performance Internetworking Approach

VMTP as the Transport Layer for High-Performance Distributed Systems

IEEE Communications Magazine

Reliable Messages and Connection Establishment

Practical Uses of Synchronized Clocks in Distributed Systems

Distributed Computing

Efficient At-Most-Once Message Based on Synchronized Clocks

ACM Transactions on Computer Systems

SIRPENT^TM: A High Performance Internetworking Approach