Latte: Improving the Latency of Transiently Consistent Network Update Schedules

Niels Christensen, Mark Glavind, Stefan Schmid, Jiri Srba

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)

Abstract

Emerging software-defined and programmable networking technologies enable more adaptive communication infrastructures. However, leveraging these flexibilities and operating networks more adaptively is challenging, as the underlying infrastructure remains a complex distributed system that is a subject to delays, and as consistency properties need to be preserved transiently, even during network reconfiguration. Motivated by these challenges, we propose Latte, an automated approach to minimize the latency of network update schedules by avoiding unnecessary waiting times and exploiting concurrency, while at the same time provably ensuring a wide range of fundamental consistency properties like waypoint enforcement. To enable automated reasoning about the performance and consistency of software-defined networks during an update, we introduce the model of timed-arc colored Petri nets: an extension of Petri nets which allows us to account for time aspects in asynchronous networks, including characteristic timing behaviors, modeled as timed and colored tokens. This novel formalism may be of independent interest. Latte relies on an efficient translation of specific network update problems into timed-arc colored Petri nets. We show that the constructed nets can be analyzed efficiently via their unfolding into existing timed-arc Petri nets. We integrate Latte into the state-of-the-art model checking tool TAPAAL, and find that in many cases, we are able to reduce the latency of network updates by 90% or more.
Original languageEnglish
JournalACM SIGMETRICS Performance Evaluation Review
Volume48
Issue number3
Pages (from-to)14-26
Number of pages13
ISSN0163-5999
DOIs
Publication statusPublished - 2020
EventInternational Symposium on Computer Performance, Modeling, Measurements and Evaluation - online
Duration: 2 Nov 20206 Nov 2020
Conference number: 38
https://www.performance2020.deib.polimi.it/

Conference

ConferenceInternational Symposium on Computer Performance, Modeling, Measurements and Evaluation
Number38
Locationonline
Period02/11/202006/11/2020
Internet address

Keywords

  • Petri nets, network updates

Fingerprint

Dive into the research topics of 'Latte: Improving the Latency of Transiently Consistent Network Update Schedules'. Together they form a unique fingerprint.

Cite this