A distributed and robust SDN control plane for transactional network updates

Proceedings - IEEE INFOCOM

Volumn 26, Issue , 2015, Pages 190-198

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

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b TELECOM PARISTECH   (France)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; CONCURRENCY CONTROL; SEMANTICS;

ALL OR NOTHINGS; CONTROL PLANES; DISTRIBUTED CONTROL PLANES; NETWORK BEHAVIORS; POLICY IMPLEMENTATIONS; PROGRAMMABLE NETWORK; SOFTWARE CONTROLLERS; SOFTWARE DEFINED NETWORKING (SDN);

CONTROLLERS;

EID: 84954211555     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INFOCOM.2015.7218382     Document Type: Conference Paper

References (25)

1. A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthy, "Participatory Networking: An API for Application Control of SDNs," in SIGCOMM, 2013.
2. C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker, "NetKAT: Semantic Foundations for Networks," in POPL, 2014.
3. M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker, "Abstractions for Network Update," in SIGCOMM, 2012.
4. N. Shavit and D. Touitou, "Software transactional memory," Distributed Computing, 1997.
5. M. Canini, P. Kuznetsov, D. Levin, and S. Schmid, "Software Transactional Networking: Concurrent and Consistent Policy Composition," in HotSDN, 2013.
6. M. Herlihy, "Wait-free Synchronization," ACM Trans. Program. Lang. Syst., vol. 13, no. 1, 1991.
7. M. Casado, N. Foster, and A. Guha, "Abstractions for Software-Defined Networks," Commun. ACM, vol. 57, no. 10, 2014.
8. M. J. Fischer, N. A. Lynch, and M. S. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," vol. 32, no. 2, 1985.
9. D. Dolev, C. Dwork, and L. Stockmeyer, "On the Minimal Synchronism Needed for Distributed Consensus," vol. 34, no. 1, Jan. 1987.
10. T. D. Chandra, V. Hadzilacos, and S. Toueg, "The Weakest Failure Detector for Solving Consensus," vol. 43, no. 4, Jul. 1996.
11. C. Delporte-Gallet, H. Fauconnier, and R. Guerraoui, "Tight Failure Detection Bounds on Atomic Object Implementations," J. ACM, vol. 57, no. 4, 2010.
12. M. Herlihy and J. M. Wing, "Linearizability: A Correctness Condition for Concurrent Objects," ACM Trans. Program. Lang. Syst., vol. 12, no. 3, pp. 463-492, 1990.
13. S. Yeganeh, A. Tootoonchian, and Y. Ganjali, "On Scalability of Software-Defined Networking," Communications Magazine, IEEE, vol. 51, no. 2, 2013.
14. 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.
15. S. Hassas Yeganeh and Y. Ganjali, "Kandoo: A Framework for Efficient and Scalable Offloading of Control Applications," in HotSDN, 2012.
16. B. Heller, R. Sherwood, and N. McKeown, "The Controller Placement Problem," in HotSDN, 2012.
17. S. Schmid and J. Suomela, "Exploiting Locality in Distributed SDN Control," in HotSDN, 2013.
18. A. Dixit, F. Hao, S. Mukherjee, T. Lakshman, and R. Kompella, "Towards an Elastic Distributed SDN Controller," in HotSDN, 2013.
19. R. Mahajan and R. Wattenhofer, "On Consistent Updates in Software Defined Networks," in HotNets, 2013.
20. A. Ludwig, M. Rost, D. Foucard, and S. Schmid, "Good Network Updates for Bad Packets: Waypoint Enforcement Beyond Destination-Based Routing Policies," in HotNets, 2014.
21. S. Ghorbani and B. Godfrey, "Towards Correct Network Virtualization," in HotSDN, 2014.
22. C. H. Papadimitriou, "The Serializability of Concurrent Database Updates," J. ACM, vol. 26, 1979.
23. L. Lamport, "How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs," vol. 28, no. 9, 1979.
24. M. Herlihy, V. Luchangco, M. Moir, and W. N. Scherer, III, "Software Transactional Memory for Dynamic-sized Data Structures," in PODC, 2003.
25. Y.-J. Joung, "Asynchronous group mutual exclusion," Distributed Computing, vol. 13, no. 4, 2000.