The Case for Reliable Software Transactional Networking
暂无分享,去创建一个
Petr Kuznetsov | Marco Canini | Dan Levin | Stefan Schmid | P. Kuznetsov | S. Schmid | M. Canini | Dan Levin
[1] Martín Casado,et al. Onix: A Distributed Control Platform for Large-scale Production Networks , 2010, OSDI.
[2] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[3] Maurice Herlihy,et al. Software transactional memory for dynamic-sized data structures , 2003, PODC '03.
[4] Nir Shavit,et al. Software transactional memory , 1995, PODC '95.
[5] Marco Canini,et al. A NICE Way to Test OpenFlow Applications , 2012, NSDI.
[6] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.
[7] Martín Casado,et al. NOX: towards an operating system for networks , 2008, CCRV.
[8] Anja Feldmann,et al. Logically centralized?: state distribution trade-offs in software defined networks , 2012, HotSDN '12.
[9] Petr Kuznetsov,et al. Software transactional networking: concurrent and consistent policy composition , 2013, HotSDN '13.
[10] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.
[11] Christos H. Papadimitriou,et al. The serializability of concurrent database updates , 1979, JACM.
[12] David Walker,et al. Abstractions for network update , 2012, SIGCOMM '12.
[13] Nick McKeown,et al. OpenFlow: enabling innovation in campus networks , 2008, CCRV.
[14] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.