Programvarudefinierade nätverk (SDN) är en ny typ av nätverksarkitektur där en controller maskin hanterar en distribuerad samling av switchar genom att instruera dem att installera eller avinstallera paket vidarebefordringsregler och rapportera trafikstatistik. Det nyligen bildade Open Networking Consortium, vars medlemmar inkluderar Google, Facebook, Microsoft, Verizon, och andra, hoppas att använda denna arkitektur för att omvandla det sätt som företag och datacenter nätverk genomförs. I detta dokument definierar vi ett högnivåspråk, NetCore, för att uttrycka policyer för paketöverföring av SDN. NetCore är uttrycksfull, kompositionell och har en formell semantik. För att säkerställa att en majoritet av paketen behandlas effektivt på switchar-istället för på controller-vi presentera nya kompileringsalgoritmer för NetCore och koppla dem med ett nytt run-time system som utfärdar regler installation kommandon och trafik-statistik frågor till växlar. Tillsammans genererar kompilatorn och run-time systemet effektiva regler när det är möjligt och överträffar de enkla manuella tekniker som används för att programmera SDNs idag. Dessutom är algoritmerna vi utvecklar generiska, förutsatt att de paketmatchningsmöjligheter som finns på växlar uppfyller vissa grundläggande algebraiska lagar. Sammantaget ger detta dokument en ny design för ett nätverksprogrammeringsspråk på hög nivå; en förbättrad uppsättning kompilatoralgoritmer; ett nytt run-time-system för SDN-arkitekturer; de första formella semantiken och bevisen på korrekthet inom detta område; och en implementering och utvärdering som visar prestandafördelarna jämfört med traditionella manuella tekniker.
Ett Compiler- och Run-time-system för nätverksprogrammering av språk: REF En innovativ idé för att uppfinna det nya språket NetCore, för openflow för vidareutveckling av politiken.
A compiler and run-time system for network programming languages
{'venue': "POPL '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}