Programvarudefinierat nätverk (SDN) är ett nytt paradigm som out-sources kontrollen av paket-spedition switchar till en uppsättning programvarustyrenheter. Den mest grundläggande uppgiften för dessa styrenheter är det korrekta genomförandet av nätverkspolicyn, dvs. det avsedda nätverksbeteendet. I en sådan policy anges i huvudsak de regler genom vilka paket måste vidarebefordras över hela nätet. Detta dokument initierar studien av SDN-kontrollplanet som ett distribuerat system. Vi introducerar en formell modell som beskriver samspelet mellan dataplanet och ett distribuerat kontrollplan (bestående av en samling felbenta styrenheter). Sedan formulerar vi problemet med konsekvent sammansättning av samtidiga uppdateringar av nätverkspolitiken. Kompositionen är aktiverad via ett transaktionsgränssnitt med allt-eller-ingenting semantik. Systemet beter sig som om engagerade uppdateringar installeras atomiskt och varje datapaket passerar nätverket omedelbart, med respekt för en sekventiell sammansättning av tidigare installerade gjorda uppdateringar. Uppdateringar som inte kan komponeras avbryts och påverkar inte dataplanet. Vi visar att i den asynkrona miljön är det omöjligt att uppnå konsekvent policysammansättning som tolererar en enda styrenhet krasch. Därefter diskuterar vi starkare varianter av modellen som gör det möjligt att lösa problemet och studera algoritmiska komplexiteter i sådana lösningar.
I REF, Canini et al. utvidga Kinetic till ett distribuerat kontrollplan och formalisera begreppet feltolerant politik sammansättning.
The Case for Reliable Software Transactional Networking
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}