Software transactional networking: Concurrent and consistent policy composition

HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking

Volumn , Issue , 2013, Pages 1-6

  Canini, Marco ^a   Kuznetsov, Petr ^a,b   Levin, Dan ^a   Schmid, Stefan ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b TELECOM PARISTECH   (France)

Author keywords

Control plane; Network policy; Software defined network

Indexed keywords

CONTROL APPLICATIONS; CONTROL PLANES; NETWORK POLICY; POLICY COMPOSITIONS; POLICY SPECIFICATION; SOFTWARE-DEFINED NETWORKS; STATE MACHINE REPLICATION; UPDATE SEMANTICS;

COMPLEX NETWORKS; LOCKS (FASTENERS); SEMANTICS;

CONCURRENCY CONTROL;

EID: 84883672160     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2491185.2491200     Document Type: Conference Paper

References (13)

1. M. Canini, P. Kuznetsov, D. Levin, and S. Schmid. The Case for Reliable Software Transactional Networking. CoRR, abs/1305.7429, 2013. http://arxiv.org/abs/1305.7429.
2. A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi. Hierarchical Policies for Software Defined Networks. In HotSDN, 2012.
3. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A Network Programming Language. In ACM ICFP, 2011.
4. S. Hassas Yeganeh and Y. Ganjali. Kandoo: A Framework for Efficient and Scalable Offloading of Control Applications. In HotSDN, 2012.
5. B. Heller, R. Sherwood, and N. McKeown. The Controller Placement Problem. In HotSDN, 2012.
6. M. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst., 12(3): 463-492, 1990.
7. T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, and S. Shenker. Onix: A Distributed Control Platform for Large-scale Production Networks. In OSDI, 2010.
8. V. Kotronis, X. Dimitropoulos, and B. Ager. Outsourcing the Routing Control Logic: Better Internet Routing Based on SDN Principles. In HotNets, 2012.
9. D. Levin, A. Wundsam, B. Heller, N. Handigol, and A. Feldmann. Logically Centralized? State Distribution Trade-offs in Software Defined Networks. In HotSDN, 2012.
10. C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing Software Defined Networks. In NSDI, 2013.
11. M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker. Abstractions for Network Update. In SIGCOMM, 2012.
12. N. Shavit and D. Touitou. Software transactional memory. Distributed Computing, 1997.
13. R. Sherwood, G. Gibb, K.-K. Yap, G. Appenzeller, M. Casado, N. Mckeown, and G. Parulkar. Can the Production Network Be the Testbed? In OSDI, 2010.