Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM最新文献_第5页

Exponential quantization: user-centric rate control for skype calls 指数量化:以用户为中心的skype通话速率控制

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491708

Yu-Chuan Yen, C. Chu, Chien-Nan Chen, Su-Ling Yeh, Hao-Hua Chu, Polly Huang

引用次数: 4

Cooperation policies for efficient in-network caching 高效网络内缓存的合作策略

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491713

Liang Wang, S. Bayhan, J. Kangasharju

引用次数: 2

Session details: Security and diagnosis 会话详细信息:安全和诊断

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/3261529

J. Heidemann

引用次数: 0

A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy 一种(非)NICE验证openflow开关规格的方法:使用合金对openflow开关进行正式建模

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491711

Natali Ruchansky, Davide Proserpio

{"title":"A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy","authors":"Natali Ruchansky, Davide Proserpio","doi":"10.1145/2486001.2491711","DOIUrl":"https://doi.org/10.1145/2486001.2491711","url":null,"abstract":"The introduction of Software Defined Networks (SDNs) is completely changing the way in which networks are built and managed. SDNs decouple data from control plane access, which makes introduction of new network functionalities significantly simpler. The philosophy of OpenFlow is a move towards centralization, where a single controller program manages the logic of switches. While centralized systems are often easier to coordinate, the likelihood of bugs is still high. Despite the existence of an OpenFlow Specification [3], it may still be possible observe unexpected behavior while adhering to this Specification. This can be due to various reasons, such as underspecification of some aspect of the protocol or a contrived sequence of events. One of the emerging techniques to verify (prove that a system satisfies its specification) standards and protocols is formal modeling. Created at some chosen level of abstraction, the purpose of a formal model is to enable precise understanding, specification, and analysis of the system. The modeling language Alloy has been noted as a tool that lends itself to modeling complex networks. In fact, it has been used in many applications [1], including the analysis of Chord [6, 7] which led to a counterexample proving the incorrectness of the protocol. The main contribution of this paper is to apply the principles of formal modeling to OpenFlow. Concretely we use model enumeration (Alloy and Alloy Analyzer [5]) to model an OpenFlow-capable switch. The aim of this project is twofold: (1) to provide a proof of correctness (or not) of the OpenFlow Switch Specification Version 1.1.0 and (2) provide researchers with a complete OpenFlow Switch module that can be used as a foundation to verify various applications or types of networks (more detail in Section 4 and our site [2]). The remainder of the paper is organized as follows. In Sec-","PeriodicalId":159374,"journal":{"name":"Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130295405","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 26

Session details: Privacy 会话详细信息:隐私

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/3246332

O. Maennel

引用次数: 0

Cloud3DView: an interactive tool for cloud data center operations Cloud3DView:用于云数据中心运营的交互工具

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491704

Jianxiong Yin, Peng Sun, Yonggang Wen, Hai-gang Gong, Ming Liu, Xuelong Li, Haipeng You, Jinqi Gao, Cynthia Lin

引用次数: 12

An evaluation testbed for adaptive, topology-aware deployment of elastic applications 一个评估测试平台，用于弹性应用程序的自适应、拓扑感知部署

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491689

Matthias Keller, Christoph Robbert, Manuel Peuster

{"title":"An evaluation testbed for adaptive, topology-aware deployment of elastic applications","authors":"Matthias Keller, Christoph Robbert, Manuel Peuster","doi":"10.1145/2486001.2491689","DOIUrl":"https://doi.org/10.1145/2486001.2491689","url":null,"abstract":"Cloud application providers who deploy their application at different cloud sites usually aim for close-by processing of user requests, benefiting from improved quality of service, and traffic reduction [4]. In this context, we dynamically scale applications to reduce costs by automating their deployment and adapting their resource allocation dynamically. We research the following questions: Where to allocate how many resources and how to apply the allocation? Which information is needed and how to exchange it? How can applications cope with ever changing resource allocations? To practically evaluate our solutions, we created a flexible testbed. We share our insides and implementation to researchers tackling the diverse subproblems, various optimization goals, potentials for cost savings, and QoS improvements. We provide software with install instructions to construct your own private testbed [5]. Our testbed is two-layered: The bottom layer allows to test VM deployment on emulated, geographically distributed sites. It can be independently reused, is self-sufficient, and thus constitutes a small testbed on its own, the GeoDist Testbed (Section 2). The top layer allows to test adaptations and VM placement algorithms interactively or through predefined scenarios. Both layers together form the Adaptation Testbed (Section 3). Its capabilities are demonstrated in three different scenarios (Section 4).","PeriodicalId":159374,"journal":{"name":"Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134599917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Don't drop, detour! 不要掉队，绕路!

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2491718

Matt Calder, Rui Miao, K. Zarifis, Ethan Katz-Bassett, Minlan Yu, J. Padhye

引用次数: 5

Session details: Fast and scalable network designs 会话细节:快速和可扩展的网络设计

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/3261531

Ranjita Bhagwan

引用次数: 0

Got loss? Get zOVN! 有损失吗?得到zOVN !

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM Pub Date : 2013-08-12 DOI: 10.1145/2486001.2486024

D. Crisan, R. Birke, Gilles Cressier, C. Minkenberg, M. Gusat

{"title":"Got loss? Get zOVN!","authors":"D. Crisan, R. Birke, Gilles Cressier, C. Minkenberg, M. Gusat","doi":"10.1145/2486001.2486024","DOIUrl":"https://doi.org/10.1145/2486001.2486024","url":null,"abstract":"Datacenter networking is currently dominated by two major trends. One aims toward lossless, flat layer-2 fabrics based on Converged Enhanced Ethernet or InfiniBand, with benefits in efficiency and performance. The other targets flexibility based on Software Defined Networking, which enables Overlay Virtual Networking. Although clearly complementary, these trends also exhibit some conflicts: In contrast to physical fabrics, which avoid packet drops by means of flow control, practically all current virtual networks are lossy. We quantify these losses for several common combinations of hypervisors and virtual switches, and show their detrimental effect on application performance. Moreover, we propose a zero-loss Overlay Virtual Network (zOVN) designed to reduce the query and flow completion time of latency-sensitive datacenter applications. We describe its architecture and detail the design of its key component, the zVALE lossless virtual switch. As proof of concept, we implemented a zOVN prototype and benchmark it with Partition-Aggregate in two testbeds, achieving an up to 15-fold reduction of the mean completion time with three widespread TCP versions. For larger-scale validation and deeper introspection into zOVN, we developed an OMNeT++ model for accurate cross-layer simulations of a virtualized datacenter, which confirm the validity of our results.","PeriodicalId":159374,"journal":{"name":"Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115105358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19