Konfigurationsförändringar är en vanlig källa till instabilitet i nätverk, vilket leder till avbrott, prestandastörningar och säkerhetssårbarheter. Även när de inledande och slutliga konfigurationerna är korrekta, går själva uppdateringsprocessen ofta genom mellanliggande konfigurationer som uppvisar felaktiga beteenden. Detta dokument introducerar begreppet konsekventa nätverksuppdateringar-uppdateringar som är garanterade att bevara väldefinierade beteenden vid övergång mellan konfigurationer. Vi identifierar två olika konsistensnivåer, per-packet och per-flow, och vi presenterar allmänna mekanismer för att implementera dem i Software-definierade nätverk med hjälp av switch API:er som OpenFlow. Vi utvecklar en formell modell av OpenFlow-nätverk och bevisar att konsekventa uppdateringar bevarar en stor klass av fastigheter. Vi beskriver vår prototypimplementering, inklusive flera optimeringar som minskar de omkostnader som krävs för att utföra konsekventa uppdateringar. Vi presenterar ett verifieringsverktyg som utnyttjar konsekventa uppdateringar för att avsevärt minska komplexiteten i kontrollen av att mjukvaran för nätverksstyrning är korrekt. Slutligen beskriver vi resultaten av några enkla experiment som visar effektiviteten av dessa optimeringar på exempelapplikationer.
Arbetet med nätuppdateringar i SDN föreslog idén om konsekventa uppdateringar och flera genomförandemekanismer, inklusive tvåfasuppdateringar REF.
Abstractions for network update
{'venue': 'CCRV', 'journal': None, 'mag_field_of_study': ['Computer Science']}