首页 > 最新文献

Proceedings of the 2019 ACM Symposium on SDN Research最新文献

英文 中文
OpenTD OpenTD
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314354
V. Sivaraman, S. Madanapalli, Himal Kumar, H. Gharakheili
In the absence of network neutrality, consumers are vulnerable to arbitrary traffic discrimination policies applied by Internet Service Providers (ISPs). In this paper we propose a framework that gives ISPs flexibility to practice differentiation, while being open so consumers can make informed choices, and accountable so regulators can oversee adherence. We begin by outlining the SDN-based architecture of our solution, comprising the segregation of traffic into a chosen number of classes, and dynamic partitioning of bandwidth amongst classes based on utility functions. We then highlight the flexibility of our framework in accommodating a wide range of behaviors, from fully-neutral to per-application-type and per-subscriber-tier differentiation. We evaluate our scheme via simulations of real traffic mixes to show how ISP differentiation policies can be tuned to meet a range of user needs, and implement our scheme in a testbed network to demonstrate practical feasibility. We believe our proposal is a promising approach to keeping ISPs, consumers, and regulators happy in a post-neutral world.
{"title":"OpenTD","authors":"V. Sivaraman, S. Madanapalli, Himal Kumar, H. Gharakheili","doi":"10.1145/3314148.3314354","DOIUrl":"https://doi.org/10.1145/3314148.3314354","url":null,"abstract":"In the absence of network neutrality, consumers are vulnerable to arbitrary traffic discrimination policies applied by Internet Service Providers (ISPs). In this paper we propose a framework that gives ISPs flexibility to practice differentiation, while being open so consumers can make informed choices, and accountable so regulators can oversee adherence. We begin by outlining the SDN-based architecture of our solution, comprising the segregation of traffic into a chosen number of classes, and dynamic partitioning of bandwidth amongst classes based on utility functions. We then highlight the flexibility of our framework in accommodating a wide range of behaviors, from fully-neutral to per-application-type and per-subscriber-tier differentiation. We evaluate our scheme via simulations of real traffic mixes to show how ISP differentiation policies can be tuned to meet a range of user needs, and implement our scheme in a testbed network to demonstrate practical feasibility. We believe our proposal is a promising approach to keeping ISPs, consumers, and regulators happy in a post-neutral world.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114469935","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}
引用次数: 4
MMLite: A Scalable and Resource Efficient Control Plane for Next Generation Cellular Packet Core MMLite:下一代蜂窝分组核心的可扩展和资源高效控制平面
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314345
Vasudevan Nagendra, A. Bhattacharya, Anshul Gandhi, Samir R Das
With increase in cellular-enabled IoT devices having diverse traffic characteristics and service level objectives (SLOs), handling the control traffic in a scalable and resource-efficient manner in the cellular packet core network is critical. The traditional monolithic design of the cellular core adopted by service-providers is inflexible with respect to the diverse requirements and bursty loads of IoT devices, specifically for properties such as elasticity, customizability, and scalability. To address this key challenge, we focus on the most critical control plane component of the cellular packet core network, the Mobility Management Entity (MME). We present MMLite, a functionally decomposed and stateless MME design wherein individual control procedures are implemented as microservices and states are decoupled from their processing, thus enabling elasticity and fault tolerance. For SLO compliance, we develop a multi-level load balancing approach based on skewed consistent hashing to efficiently distribute incoming connections. We evaluate the performance benefits of MMLite over existing approaches with respect to scaling, fault tolerance, SLO compliance and resource efficiency.
随着具有不同流量特征和服务水平目标(slo)的蜂窝物联网设备的增加,在蜂窝分组核心网中以可扩展和资源高效的方式处理控制流量至关重要。服务提供商采用的蜂窝核心的传统单片设计相对于物联网设备的多样化需求和突发负载来说是不灵活的,特别是在弹性、可定制性和可扩展性等属性方面。为了解决这一关键挑战,我们将重点放在蜂窝分组核心网中最关键的控制平面组件——移动管理实体(MME)上。我们提出了MMLite,这是一种功能分解和无状态的MME设计,其中单个控制过程作为微服务实现,状态与其处理解耦,从而实现弹性和容错。为了满足SLO要求,我们开发了一种基于倾斜一致性散列的多级负载平衡方法,以有效地分发传入连接。我们评估了MMLite相对于现有方法在可扩展性、容错性、SLO遵从性和资源效率方面的性能优势。
{"title":"MMLite: A Scalable and Resource Efficient Control Plane for Next Generation Cellular Packet Core","authors":"Vasudevan Nagendra, A. Bhattacharya, Anshul Gandhi, Samir R Das","doi":"10.1145/3314148.3314345","DOIUrl":"https://doi.org/10.1145/3314148.3314345","url":null,"abstract":"With increase in cellular-enabled IoT devices having diverse traffic characteristics and service level objectives (SLOs), handling the control traffic in a scalable and resource-efficient manner in the cellular packet core network is critical. The traditional monolithic design of the cellular core adopted by service-providers is inflexible with respect to the diverse requirements and bursty loads of IoT devices, specifically for properties such as elasticity, customizability, and scalability. To address this key challenge, we focus on the most critical control plane component of the cellular packet core network, the Mobility Management Entity (MME). We present MMLite, a functionally decomposed and stateless MME design wherein individual control procedures are implemented as microservices and states are decoupled from their processing, thus enabling elasticity and fault tolerance. For SLO compliance, we develop a multi-level load balancing approach based on skewed consistent hashing to efficiently distribute incoming connections. We evaluate the performance benefits of MMLite over existing approaches with respect to scaling, fault tolerance, SLO compliance and resource efficiency.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114309737","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}
引用次数: 16
Fast String Searching on PISA 对PISA的快速字符串搜索
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314356
Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, M. Moshref, R. Soulé
This paper presents PPS, a system for locating occurrences of string keywords stored in the payload of packets using a programmable network ASIC. The PPS compiler first converts keywords into Deterministic Finite Automata (DFA) representations, and then maps the DFA into a sequence of forwarding tables in the switch pipeline. Our design leverages several hardware primitives (e.g., TCAM, hashing, parallel tables) to achieve high throughput. Our evaluation shows that PPS demonstrates significantly higher throughput and lower latency than string searches running on CPUs, GPUs, or FPGAs.
本文介绍了PPS,一个利用可编程网络专用集成电路(ASIC)定位存储在数据包有效载荷中的字符串关键字出现的系统。PPS编译器首先将关键字转换为确定性有限自动机(Deterministic Finite Automata, DFA)表示,然后将DFA映射为交换管道中的转发表序列。我们的设计利用了几个硬件原语(例如,TCAM,散列,并行表)来实现高吞吐量。我们的评估表明,与在cpu、gpu或fpga上运行的字符串搜索相比,PPS具有更高的吞吐量和更低的延迟。
{"title":"Fast String Searching on PISA","authors":"Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, M. Moshref, R. Soulé","doi":"10.1145/3314148.3314356","DOIUrl":"https://doi.org/10.1145/3314148.3314356","url":null,"abstract":"This paper presents PPS, a system for locating occurrences of string keywords stored in the payload of packets using a programmable network ASIC. The PPS compiler first converts keywords into Deterministic Finite Automata (DFA) representations, and then maps the DFA into a sequence of forwarding tables in the switch pipeline. Our design leverages several hardware primitives (e.g., TCAM, hashing, parallel tables) to achieve high throughput. Our evaluation shows that PPS demonstrates significantly higher throughput and lower latency than string searches running on CPUs, GPUs, or FPGAs.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125436784","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}
引用次数: 46
ADD 添加
Pub Date : 2019-04-03 DOI: 10.1007/978-1-4419-1428-6_3087
D. M. Rumbaugh, J. King, Michal Beran, David A. Washburn, K. Gould, Nate Kornell, D. J. Scaturo, Brian D. Haig, R. Schvaneveldt, Benjamin K. Barton, Thomas A. Ulrich, Peter Robinson, Matthew J. Schuelke, Eric Anthony Day, Henry W. Chase, E. G. Carayannis, Timothy M. Flemming, M. Mitchelmore, Paul White, Erin M. Brodhagen, M. Gettinger, E. Usher, David B. Morris, Janna Wardman, J. Nelson, R. Low, P. Jin, Betty K. Tuller, Noël Nguyen, Fons Wijnhoven, Gerhard Weber, C. Rigg, K. Trehan, M. L. Jones, Aytac Gogus, Norbert M. Seel, Som Naidu, Danny R. Bedgood, C. Steiner, Birgit Marte, Jürgen Heller, Dietrich Albert, A. Podolskiy, L. Uden, Andrew J. Martin, Christian Balkenius, Birger Johansson, Karen L. Hollis, David A. Cook, J. Bloomberg, Otmar Leo Bock, R. Clariana, Simon Hooper, Amy B. Adcock, R. Van Eck, Chin-Chung Tsai, C. Hsu, Mikhail S. Burtsev, J. S. Nairne, M. Vasconcelos, J. Pandeirada, Liu Yang, J. Carbonell, M. Dornisch, G. Manaster, Katie Davis, Marcia L. Conner, Dolores Fidishun, Mark Tennant, Joh
{"title":"ADD","authors":"D. M. Rumbaugh, J. King, Michal Beran, David A. Washburn, K. Gould, Nate Kornell, D. J. Scaturo, Brian D. Haig, R. Schvaneveldt, Benjamin K. Barton, Thomas A. Ulrich, Peter Robinson, Matthew J. Schuelke, Eric Anthony Day, Henry W. Chase, E. G. Carayannis, Timothy M. Flemming, M. Mitchelmore, Paul White, Erin M. Brodhagen, M. Gettinger, E. Usher, David B. Morris, Janna Wardman, J. Nelson, R. Low, P. Jin, Betty K. Tuller, Noël Nguyen, Fons Wijnhoven, Gerhard Weber, C. Rigg, K. Trehan, M. L. Jones, Aytac Gogus, Norbert M. Seel, Som Naidu, Danny R. Bedgood, C. Steiner, Birgit Marte, Jürgen Heller, Dietrich Albert, A. Podolskiy, L. Uden, Andrew J. Martin, Christian Balkenius, Birger Johansson, Karen L. Hollis, David A. Cook, J. Bloomberg, Otmar Leo Bock, R. Clariana, Simon Hooper, Amy B. Adcock, R. Van Eck, Chin-Chung Tsai, C. Hsu, Mikhail S. Burtsev, J. S. Nairne, M. Vasconcelos, J. Pandeirada, Liu Yang, J. Carbonell, M. Dornisch, G. Manaster, Katie Davis, Marcia L. Conner, Dolores Fidishun, Mark Tennant, Joh","doi":"10.1007/978-1-4419-1428-6_3087","DOIUrl":"https://doi.org/10.1007/978-1-4419-1428-6_3087","url":null,"abstract":"","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132909739","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}
引用次数: 0
P4TrafficTool P4TrafficTool
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3318047
Deepanshu Jindal, Raj Joshi, B. Leong
CCS CONCEPTS • Networks→ Programmable networks.
{"title":"P4TrafficTool","authors":"Deepanshu Jindal, Raj Joshi, B. Leong","doi":"10.1145/3314148.3318047","DOIUrl":"https://doi.org/10.1145/3314148.3318047","url":null,"abstract":"CCS CONCEPTS • Networks→ Programmable networks.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114802189","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}
引用次数: 5
Prophet
Pub Date : 2019-04-03 DOI: 10.1145/3093337.3037700
Quan Chen, Hailong Yang, M. Guo, R. Kannan, Jason Mars, Lingjia Tang
{"title":"Prophet","authors":"Quan Chen, Hailong Yang, M. Guo, R. Kannan, Jason Mars, Lingjia Tang","doi":"10.1145/3093337.3037700","DOIUrl":"https://doi.org/10.1145/3093337.3037700","url":null,"abstract":"","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123639776","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}
引用次数: 21
How to deal with range-based packet classifiers 如何处理基于范围的包分类器
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314346
Vitalii Demianiuk, Kirill Kogan
Efficient representations of multi-field packet classifiers with fields represented by ranges is a core mechanism to express services on data plane. To implement classifiers in ternary-addressable memory (TCAM), each range should be encoded into multiple ternary bit strings whose number is at most linear to the width (in bits) of a represented field independently from range encoding method. In this paper we introduce a notion of a subrange allowing to represent a field range on any chosen subset of bit indices that significantly improve efficiency of classifier representations. Our analytic results are confirmed with a comprehensive evaluation study showing applicability of our approach to implement desired levels of expressiveness and scalability in packet classifiers.
用范围表示多字段分组分类器的有效表示是在数据平面上表达服务的核心机制。为了在三元可寻址内存(TCAM)中实现分类器,每个范围应该被编码成多个三元位串,其数量最多与表示字段的宽度(以位为单位)成线性关系,而不依赖于范围编码方法。在本文中,我们引入了一个子范围的概念,允许在任何选择的位索引子集上表示域范围,这显着提高了分类器表示的效率。我们的分析结果通过一项全面的评估研究得到了证实,该研究显示了我们的方法在包分类器中实现所需的表达性和可扩展性水平的适用性。
{"title":"How to deal with range-based packet classifiers","authors":"Vitalii Demianiuk, Kirill Kogan","doi":"10.1145/3314148.3314346","DOIUrl":"https://doi.org/10.1145/3314148.3314346","url":null,"abstract":"Efficient representations of multi-field packet classifiers with fields represented by ranges is a core mechanism to express services on data plane. To implement classifiers in ternary-addressable memory (TCAM), each range should be encoded into multiple ternary bit strings whose number is at most linear to the width (in bits) of a represented field independently from range encoding method. In this paper we introduce a notion of a subrange allowing to represent a field range on any chosen subset of bit indices that significantly improve efficiency of classifier representations. Our analytic results are confirmed with a comprehensive evaluation study showing applicability of our approach to implement desired levels of expressiveness and scalability in packet classifiers.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121852756","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}
引用次数: 5
Precedence: Enabling Compact Program Layout By Table Dependency Resolution 优先级:通过表依赖关系解析启用紧凑的程序布局
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314348
C. Leet, Shenshen Chen, K. Gao, Y. Yang
The rise of the programmable switching ASIC has allowed switches to handle the complexity and diversity of modern networking programs while meeting the performance demands of modern networks. Exploitation of the flexibility of these switches, however, has exploded routing program size: recently proposed programs contain more than 100 [11] or even 1000 [10] tables. Realizing these programs in a programmable switch requires finding layouts with minimal depth: if a layout has more match-action stages than a switch's pipeline provides, the switch must recirculate, cutting throughput. Even if a layout fits a switch's pipeline, since most commercial pipelines cannot allocate memory freely to stages, non-compact pipelines can result in underloaded stages and significant memory underutilization. While inter-table control and data dependencies critically limit the ability of compilers to lay out tables compactly, no switch architecture which can fully resolve dependencies has been proposed. To address this problem, we introduce precedence, an extension of the RMT switching ASIC, which enables tables linked by dependencies to be executed in parallel or even out-of-order. Precedence can resolve nearly 70% of switch.p4 [11]'s dependencies (a real-world routing program), reduce its pipeline depth by 48%, and only modestly increases silicon area.
可编程交换ASIC的兴起,使交换机能够在满足现代网络性能要求的同时,处理现代网络程序的复杂性和多样性。然而,利用这些交换机的灵活性,使路由程序的规模爆炸式增长:最近提出的程序包含100多个[11]甚至1000个[10]表。在可编程交换机中实现这些程序需要找到最小深度的布局:如果布局具有比交换机管道提供的更多的匹配动作阶段,交换机必须再循环,从而降低吞吐量。即使布局适合交换机的管道,由于大多数商业管道不能自由地将内存分配给级,不紧凑的管道也会导致级负载不足和内存利用率不足。虽然表间控制和数据依赖严重限制了编译器紧凑布局表的能力,但目前还没有提出能够完全解决依赖关系的切换架构。为了解决这个问题,我们引入了优先级,这是RMT切换ASIC的扩展,它允许通过依赖关系链接的表并行执行,甚至可以乱序执行。优先级可以解析近70%的开关。P4[11]的依赖关系(一个现实世界的路由程序),将其管道深度减少48%,并且仅适度增加硅面积。
{"title":"Precedence: Enabling Compact Program Layout By Table Dependency Resolution","authors":"C. Leet, Shenshen Chen, K. Gao, Y. Yang","doi":"10.1145/3314148.3314348","DOIUrl":"https://doi.org/10.1145/3314148.3314348","url":null,"abstract":"The rise of the programmable switching ASIC has allowed switches to handle the complexity and diversity of modern networking programs while meeting the performance demands of modern networks. Exploitation of the flexibility of these switches, however, has exploded routing program size: recently proposed programs contain more than 100 [11] or even 1000 [10] tables. Realizing these programs in a programmable switch requires finding layouts with minimal depth: if a layout has more match-action stages than a switch's pipeline provides, the switch must recirculate, cutting throughput. Even if a layout fits a switch's pipeline, since most commercial pipelines cannot allocate memory freely to stages, non-compact pipelines can result in underloaded stages and significant memory underutilization. While inter-table control and data dependencies critically limit the ability of compilers to lay out tables compactly, no switch architecture which can fully resolve dependencies has been proposed. To address this problem, we introduce precedence, an extension of the RMT switching ASIC, which enables tables linked by dependencies to be executed in parallel or even out-of-order. Precedence can resolve nearly 70% of switch.p4 [11]'s dependencies (a real-world routing program), reduce its pipeline depth by 48%, and only modestly increases silicon area.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121211800","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}
引用次数: 1
DEPO DEPO
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314358
Aisha Syed, Bilal Anwer, V. Gopalakrishnan, Jacobus Van Der Merwe
The emergence of network functions virtualization (NFV) and software defined networking (SDN) has resulted in networks being realized as software defined infrastructures (SDIs). The dynamicity and flexibility o ered by SDIs introduces new challenges in ensuring that policy changes do not result in unintended consequences. These can range from the breakdown of basic network invariants to degradation of network performance. We present the D framework that enables automated discovery and quantification of the potential impact of new orchestration and service level SDI policies. Our approach uses a combination of knowledge modeling, data analysis, machine learning, and emulation techniques in a sandbox SDI. We demonstrate our approach by evaluating it over a testbed SDI with a 4G LTE/EPC broadband service.
网络功能虚拟化(NFV)和软件定义网络(SDN)的出现使得网络被实现为软件定义基础设施(sdi)。sdi提供的动态性和灵活性为确保政策变化不会导致意想不到的后果带来了新的挑战。这些问题的范围从基本网络不变量的破坏到网络性能的降低。我们提出了D框架,它支持自动发现和量化新的编排和服务级别SDI策略的潜在影响。我们的方法在沙箱SDI中结合了知识建模、数据分析、机器学习和仿真技术。我们通过在带有4G LTE/EPC宽带服务的SDI测试平台上对其进行评估来演示我们的方法。
{"title":"DEPO","authors":"Aisha Syed, Bilal Anwer, V. Gopalakrishnan, Jacobus Van Der Merwe","doi":"10.1145/3314148.3314358","DOIUrl":"https://doi.org/10.1145/3314148.3314358","url":null,"abstract":"The emergence of network functions virtualization (NFV) and software defined networking (SDN) has resulted in networks being realized as software defined infrastructures (SDIs). The dynamicity and flexibility o ered by SDIs introduces new challenges in ensuring that policy changes do not result in unintended consequences. These can range from the breakdown of basic network invariants to degradation of network performance. We present the D framework that enables automated discovery and quantification of the potential impact of new orchestration and service level SDI policies. Our approach uses a combination of knowledge modeling, data analysis, machine learning, and emulation techniques in a sandbox SDI. We demonstrate our approach by evaluating it over a testbed SDI with a 4G LTE/EPC broadband service.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116168548","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
Identifying Equivalent SDN Forwarding Behaviour 识别等效SDN转发行为
Pub Date : 2019-04-03 DOI: 10.1145/3314148.3314347
Richard Sanger, M. Luckie, R. Nelson
Software-Defined Networking (SDN) enables network operators the flexibility to program their own forwarding rules, providing more than one way to achieve the same behaviour. Verifying equivalence between rulesets is a fundamental analysis and verification building block for SDN as it can be used to: (1) confirm a ruleset optimised for power efficiency or table occupancy remains equivalent, (2) verify a ruleset modified for new hardware, (3) regression test an SDN application to detect bugs early. We present a practical and novel canonical Multi-Terminal Binary Decision Diagram (MTBDD) representation of OpenFlow 1.3 ruleset forwarding behaviour which can be trivially compared for equivalence. Basing our representation on an MTBDD provides a proven canonical form which is also compact. In this paper, we present the algorithms required to correctly flatten multi-table pipelines into an equivalent single-table, resolve equivalences in OpenFlow actions, and build the final MTBDD representation from a priority ordered ruleset. OpenFlow rulesets can typically be converted to an MTBDD within tens of seconds. We release our open-source implementation to the SDN community.
软件定义网络(SDN)使网络运营商能够灵活地编写自己的转发规则,提供多种方法来实现相同的行为。验证规则集之间的等价性是SDN的基本分析和验证构建块,因为它可以用于:(1)确认针对电源效率或表占用优化的规则集保持相等,(2)验证针对新硬件修改的规则集,(3)回归测试SDN应用程序以早期发现错误。我们提出了一个实用的、新颖的、规范的多终端二元决策图(MTBDD)来表示OpenFlow 1.3规则集转发行为,它可以简单地比较等价性。基于MTBDD的表示提供了一种经过验证的规范化形式,这种形式也很紧凑。在本文中,我们提出了正确地将多表管道平坦化为等效的单表所需的算法,在OpenFlow操作中解析等价,并从优先级排序的规则集构建最终的MTBDD表示。OpenFlow规则集通常可以在几十秒内转换为MTBDD。我们向SDN社区发布了我们的开源实现。
{"title":"Identifying Equivalent SDN Forwarding Behaviour","authors":"Richard Sanger, M. Luckie, R. Nelson","doi":"10.1145/3314148.3314347","DOIUrl":"https://doi.org/10.1145/3314148.3314347","url":null,"abstract":"Software-Defined Networking (SDN) enables network operators the flexibility to program their own forwarding rules, providing more than one way to achieve the same behaviour. Verifying equivalence between rulesets is a fundamental analysis and verification building block for SDN as it can be used to: (1) confirm a ruleset optimised for power efficiency or table occupancy remains equivalent, (2) verify a ruleset modified for new hardware, (3) regression test an SDN application to detect bugs early. We present a practical and novel canonical Multi-Terminal Binary Decision Diagram (MTBDD) representation of OpenFlow 1.3 ruleset forwarding behaviour which can be trivially compared for equivalence. Basing our representation on an MTBDD provides a proven canonical form which is also compact. In this paper, we present the algorithms required to correctly flatten multi-table pipelines into an equivalent single-table, resolve equivalences in OpenFlow actions, and build the final MTBDD representation from a priority ordered ruleset. OpenFlow rulesets can typically be converted to an MTBDD within tens of seconds. We release our open-source implementation to the SDN community.","PeriodicalId":346870,"journal":{"name":"Proceedings of the 2019 ACM Symposium on SDN Research","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114992107","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}
引用次数: 7
期刊
Proceedings of the 2019 ACM Symposium on SDN Research
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1