We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.NI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Networking and Internet Architecture

Title: On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks

Authors: Ludovic Thomas (1), Jean-Yves Le Boudec (1) ((1) École Polytechnique Fédérale de Lausanne)
Abstract: Flow reshaping is used in time-sensitive networks (as in the context of IEEE TSN and IETF Detnet) in order to reduce burstiness inside the network and to support the computation of guaranteed latency bounds. This is performed using per-flow regulators (such as the Token Bucket Filter) or interleaved regulators (as with IEEE TSN Asynchronous Traffic Shaping). Both types of regulators are beneficial as they cancel the increase of burstiness due to multiplexing inside the network. It was demonstrated, by using network calculus, that they do not increase the worst-case latency. However, the properties of regulators were established assuming that time is perfect in all network nodes. In reality, nodes use local, imperfect clocks. Time-sensitive networks exist in two flavours: (1) in non-synchronized networks, local clocks run independently at every node and their deviations are not controlled and (2) in synchronized networks, the deviations of local clocks are kept within very small bounds using for example a synchronization protocol (such as PTP) or a satellite based geo-positioning system (such as GPS). We revisit the properties of regulators in both cases. In non-synchronized networks, we show that ignoring the timing inaccuracies can lead to network instability due to unbounded delay in per-flow or interleaved regulators. We propose and analyze two methods (rate and burst cascade, and asynchronous dual arrival-curve method) for avoiding this problem. In synchronized networks, we show that there is no instability with per-flow regulators but, surprisingly, interleaved regulators can lead to instability. To establish these results, we develop a new framework that captures industrial requirements on clocks in both non-synchronized and synchronized networks, and we develop a toolbox that extends network calculus to account for clock imperfections.
Comments: 21 pages, 23 figures
Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)
MSC classes: 68M07, 68M20
ACM classes: C.2.0; C.4
Cite as: arXiv:2002.04269 [cs.NI]
  (or arXiv:2002.04269v1 [cs.NI] for this version)

Submission history

From: Ludovic Thomas [view email]
[v1] Tue, 11 Feb 2020 09:17:20 GMT (129kb)
[v2] Wed, 12 Feb 2020 09:28:54 GMT (129kb)
[v3] Tue, 19 May 2020 15:00:46 GMT (135kb)

Link back to: arXiv, form interface, contact.