Programvarudefinierat nätverk (SDN) revolutionerar nätverksindustrin, men nuvarande SDN-programmeringsplattformar tillhandahåller inte automatiserade mekanismer för att uppdatera globala konfigurationer i farten. Att genomföra uppdateringar för hand är en utmaning för SDN-programmerare eftersom nätverk distribueras med hundratals eller tusentals interagerande noder. Även om inledande och slutliga konfigurationer är korrekta, naivt uppdatera enskilda noder kan leda till felaktiga övergående beteenden, inklusive slingor, svarta hål, och åtkomstkontroll överträdelser. Detta dokument presenterar ett tillvägagångssätt för automatisk synthesizing uppdateringar som är garanterade att bevara angivna egenskaper. Vi formaliserar nätverksuppdateringar som ett distribuerat programmeringsproblem och utvecklar en syntesalgoritm baserad på motexempelstyrd sökning och inkrementell modellkontroll. Vi beskriver en prototypimplementering, och presenterar resultat från experiment på verkliga topologier och egenskaper som visar att våra verktyg skalar till uppdateringar som involverar över en tusen noder.
McClurg m.fl. REF presenterade en metod för att syntetisera uppdateringar som garanterades att bevara angivna egenskaper.
Efficient synthesis of network updates
{'venue': 'PLDI 2015', 'journal': None, 'mag_field_of_study': ['Computer Science']}