Latte: Improving the Latency of Transiently Consistent Network Update Schedules

Niels Christensen, Mark Glavind, Stefan Schmid, Jiri Srba

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)


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.
TidsskriftACM SIGMETRICS Performance Evaluation Review
Udgave nummer3
Sider (fra-til)14-26
Antal sider13
StatusUdgivet - 2020
BegivenhedInternational Symposium on Computer Performance, Modeling, Measurements and Evaluation - online
Varighed: 2 nov. 20206 nov. 2020
Konferencens nummer: 38


KonferenceInternational Symposium on Computer Performance, Modeling, Measurements and Evaluation


Dyk ned i forskningsemnerne om 'Latte: Improving the Latency of Transiently Consistent Network Update Schedules'. Sammen danner de et unikt fingeraftryk.