乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T10:28:35Z","timestamp":1686220115069},"reference-count":58,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T00:00:00Z","timestamp":1451260800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Maryland Procurement Office","award":["H98230-14-C-0141"]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"crossref","award":["FA9550-15-1-0190"],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Maryland Procurement Office and AFOSR"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2015,12,28]]},"abstract":"The emerging software-defined networking (SDN) technology decouples the control plane from the data plane in a computer network with open and standardized interfaces, and hence opens up the network designers\u2019 options and ability to innovate. The wide adoption of SDN in industry has motivated the development of large-scale, high-fidelity testbeds for evaluation of systems that incorporate SDN. In this article, we develop a framework to support OpenFlow-based SDN simulation and distributed emulation, by leveraging our prior work on a hybrid network testbed with a parallel network simulator and a virtual-machine-based emulation system. We show how to exploit typical SDN controller behaviors to handle performance issues caused by the centralized controller in parallel discrete-event simulation. In particular, we develop an asynchronous synchronization algorithm for passive SDN controllers and design a two-level architecture for active SDN controllers. We evaluate the system performance, showing good scalability. Finally, we present a case study, using the testbed, to evaluate network verification applications in an SDN-based data center network.<\/jats:p>","DOI":"10.1145\/2834116","type":"journal-article","created":{"date-parts":[[2015,12,30]],"date-time":"2015-12-30T13:13:41Z","timestamp":1451481221000},"page":"1-27","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks"],"prefix":"10.1145","volume":"26","author":[{"given":"Dong","family":"Jin","sequence":"first","affiliation":[{"name":"Illinois Institute of Technology"}]},{"given":"David M.","family":"Nicol","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]}],"member":"320","published-online":{"date-parts":[[2015,12,28]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2006.51"},{"key":"e_1_2_1_3_1","volume-title":"A parallel simulation scheme based on distances between objects","author":"Ayani Rassul","year":"1988","unstructured":"Rassul Ayani . 1988. A parallel simulation scheme based on distances between objects . Royal Institute of Technology , Department of Telecommunication Systems-Computer Systems ( 1988 ). Rassul Ayani. 1988. A parallel simulation scheme based on distances between objects. Royal Institute of Technology, Department of Telecommunication Systems-Computer Systems (1988)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2006.34"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRIDENTCOM.2009.4976204"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230182"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/182478.182488"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRIDENTCOM.2009.4976227"},{"key":"e_1_2_1_9_1","unstructured":"Google. 2011. Inter-Datacenter WAN with centralized TE using SDN and OpenFlow. (2011). Retrieved from https:\/\/www.opennetworking.org\/images\/stories\/downloads\/misc\/googlesdn.pdf. Google. 2011. Inter-Datacenter WAN with centralized TE using SDN and OpenFlow. (2011). Retrieved from https:\/\/www.opennetworking.org\/images\/stories\/downloads\/misc\/googlesdn.pdf."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2008.19"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association","author":"Gupta Diwaker","year":"2008","unstructured":"Diwaker Gupta , Kashi V. Vishwanath , and Amin Vahdat . 2008 . DieCast: Testing distributed systems with an accurate scale model . In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association , Berkeley, CA, 407--422. Diwaker Gupta, Kashi V. Vishwanath, and Amin Vahdat. 2008. DieCast: Testing distributed systems with an accurate scale model. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, Berkeley, CA, 407--422."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1118605"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413206"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2433508.2433873"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486092.2486104"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2012.49"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2482626.2482638"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201912)","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header space analysis: Static checking for networks . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201912) . USENIX Association, Berkeley, CA, 1. Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header space analysis: Static checking for networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201912). USENIX Association, Berkeley, CA, 1."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913)","author":"Khurshid Ahmed","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . 2013. VeriFlow: Verifying network-wide Invariants in real time . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913) . Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2013. VeriFlow: Verifying network-wide Invariants in real time. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913)."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601381.2601395"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2433508.2433589"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/63238.63247"},{"key":"e_1_2_1_25_1","unstructured":"LXC. 2013. Linux Containers. Retrieved from https:\/\/linuxcontainers.org. LXC. 2013. Linux Containers. Retrieved from https:\/\/linuxcontainers.org."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2007.4381529"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549706066093"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/151261.151266"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 2011 Winter Simulation Conference","author":"Nicol David M.","unstructured":"David M. Nicol , D. Jin , and Y. Zheng . 2011. S3F: The scalable simulation framework revisited . In Proceedings of the 2011 Winter Simulation Conference . Phoenix, AZ. David M. Nicol, D. Jin, and Y. Zheng. 2011. S3F: The scalable simulation framework revisited. In Proceedings of the 2011 Winter Simulation Conference. Phoenix, AZ."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2002.1003854"},{"key":"e_1_2_1_33_1","unstructured":"ns-3. 2011. The ns-3 Project. Retrieved from http:\/\/www.nsnam.org. ns-3. 2011. The ns-3 Project. Retrieved from http:\/\/www.nsnam.org."},{"key":"e_1_2_1_34_1","unstructured":"ns-3. 2013. Link Modeling Using ns 3. Retrieved from https:\/\/github.com\/mininet\/mininet\/wiki\/Link-modeling-using-ns-3. ns-3. 2013. Link Modeling Using ns 3. Retrieved from https:\/\/github.com\/mininet\/mininet\/wiki\/Link-modeling-using-ns-3."},{"key":"e_1_2_1_35_1","unstructured":"ns-3 OpenFlow Model. 2011. ns-3 OpenFlow Switch Support. Retrieved from http:\/\/www.nsnam.org\/docs\/release\/3.13\/models\/html\/openflow-switch.html. ns-3 OpenFlow Model. 2011. ns-3 OpenFlow Switch Support. Retrieved from http:\/\/www.nsnam.org\/docs\/release\/3.13\/models\/html\/openflow-switch.html."},{"key":"e_1_2_1_36_1","unstructured":"OFTest. 2011. OFTest a Python Based OpenFlow Switch Test Framework. Retrieved from http:\/\/www.openflow.org\/wk\/index.php\/OFTestTutorial. OFTest. 2011. OFTest a Python Based OpenFlow Switch Test Framework. Retrieved from http:\/\/www.openflow.org\/wk\/index.php\/OFTestTutorial."},{"key":"e_1_2_1_37_1","unstructured":"Open vSwitch. 2011. An Open Virtual Switch. Retrieved from http:\/\/openvswitch.org\/. Open vSwitch. 2011. An Open Virtual Switch. Retrieved from http:\/\/openvswitch.org\/."},{"key":"e_1_2_1_38_1","unstructured":"OpenFlow. 2011. OpenFlow Switch Specification Version 1.1.0. Retrieved from http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf. OpenFlow. 2011. OpenFlow Switch Specification Version 1.1.0. Retrieved from http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf."},{"key":"e_1_2_1_39_1","unstructured":"OpenVZ. 2006. OpenVZ Linux Containers. Retrieved from http:\/\/wiki.openvz.org. OpenVZ. 2006. OpenVZ Linux Containers. Retrieved from http:\/\/wiki.openvz.org."},{"key":"e_1_2_1_40_1","unstructured":"POX. 2011. Python OpenFlow Controller. Retrieved from http:\/\/www.noxrepo.org\/pox\/about-pox\/. POX. 2011. Python OpenFlow Controller. Retrieved from http:\/\/www.noxrepo.org\/pox\/about-pox\/."},{"key":"e_1_2_1_41_1","unstructured":"QEMU. 2009. QEMU Open Source Processor Emulator. Retrieved from http:\/\/wiki.qemu.org\/. QEMU. 2009. QEMU Open Source Processor Emulator. Retrieved from http:\/\/wiki.qemu.org\/."},{"key":"e_1_2_1_42_1","unstructured":"Rob Sherwood. 2011. OFlops. Retrieved from http:\/\/www.openflow.org\/wk\/index.php\/Oflops. Rob Sherwood. 2011. OFlops. Retrieved from http:\/\/www.openflow.org\/wk\/index.php\/Oflops."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/564062.564066"},{"key":"e_1_2_1_44_1","volume-title":"SSF: Scalable Simulation Framework.","author":"SSF.","year":"1999","unstructured":"SSF. 1999 . SSF: Scalable Simulation Framework. Retrieved from http:\/\/www.ssfnet.org\/. SSF. 1999. SSF: Scalable Simulation Framework. Retrieved from http:\/\/www.ssfnet.org\/."},{"key":"e_1_2_1_45_1","unstructured":"Stanford University. 2009. OpenFlow Switching Reference System. Retrieved from http:\/\/www.openflow.org\/wp\/downloads\/. Stanford University. 2009. OpenFlow Switching Reference System. Retrieved from http:\/\/www.openflow.org\/wp\/downloads\/."},{"key":"e_1_2_1_46_1","volume-title":"Mininet: An Instant Virtual Network on Your Laptop (or Other PC).","author":"Stanford University","year":"2012","unstructured":"Stanford University . 2012 . Mininet: An Instant Virtual Network on Your Laptop (or Other PC). Retrieved from http:\/\/mininet.org\/. Stanford University. 2012. Mininet: An Instant Virtual Network on Your Laptop (or Other PC). Retrieved from http:\/\/mininet.org\/."},{"key":"e_1_2_1_47_1","unstructured":"UML. 2006. The User-Mode Linux Kernel. Retrieved from http:\/\/user-mode-linux.sourceforge.net. UML. 2006. The User-Mode Linux Kernel. Retrieved from http:\/\/user-mode-linux.sourceforge.net."},{"key":"e_1_2_1_48_1","unstructured":"University of Illinois at Urbana-Champaign. 2013. Ocean Cluster for Experimental Architectures in Networks (OCEAN). Retrieved from http:\/\/ocean.cs.illinois.edu\/. University of Illinois at Urbana-Champaign. 2013. Ocean Cluster for Experimental Architectures in Networks (OCEAN). Retrieved from http:\/\/ocean.cs.illinois.edu\/."},{"key":"e_1_2_1_49_1","unstructured":"University of Oregon. 2005. Route Views Project. Retrieved from http:\/\/www.routeviews.org\/. University of Oregon. 2005. Route Views Project. Retrieved from http:\/\/www.routeviews.org\/."},{"key":"e_1_2_1_50_1","volume-title":"Rocketfuel: An ISP Topology Mapping Engine.","author":"University of Washington.","year":"2002","unstructured":"University of Washington. 2002 . Rocketfuel: An ISP Topology Mapping Engine. Retrieved from http:\/\/www.cs.washington.edu\/research\/rocketfuel\/. University of Washington. 2002. Rocketfuel: An ISP Topology Mapping Engine. Retrieved from http:\/\/www.cs.washington.edu\/research\/rocketfuel\/."},{"key":"e_1_2_1_51_1","unstructured":"Virtuozzo. 2012. Parallel Virtuozzo Containers. Retrieved from http:\/\/www.parallels.com\/products\/pvc46. Virtuozzo. 2012. Parallel Virtuozzo Containers. Retrieved from http:\/\/www.parallels.com\/products\/pvc46."},{"key":"e_1_2_1_52_1","unstructured":"VMware. 1998. VMware virtualization software. (1998). Retrieved from http:\/\/www.vmware.com VMware. 1998. VMware virtualization software. (1998). Retrieved from http:\/\/www.vmware.com"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060308"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844152"},{"key":"e_1_2_1_55_1","unstructured":"Xen. 2013. The Xen Project. Retrieved from http:\/\/www.xenproject.org. Xen. 2013. The Xen Project. Retrieved from http:\/\/www.xenproject.org."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/301429.301452"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2012.18"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 2013 Winter Simulation Conference (WSC\u201913)","author":"Zheng Yuhao","unstructured":"Yuhao Zheng , Dong Jin , and David M. Nicol . 2013. Impacts of application lookahead on distributed network emulation . In Proceedings of the 2013 Winter Simulation Conference (WSC\u201913) . Yuhao Zheng, Dong Jin, and David M. Nicol. 2013. Impacts of application lookahead on distributed network emulation. In Proceedings of the 2013 Winter Simulation Conference (WSC\u201913)."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2012.12"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2834116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T07:59:56Z","timestamp":1672473596000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,28]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12,28]]}},"alternative-id":["10.1145\/2834116"],"URL":"https:\/\/doi.org\/10.1145\/2834116","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,28]]},"assertion":[{"value":"2014-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-12-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}