NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management
NeTS:小型:用于软件定义网络管理的虚拟化网络资源池
基本信息
- 批准号:1712674
- 负责人:
- 金额:$ 35.07万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-07-01 至 2019-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Management of today's networks usually requires an army of operators who devote tremendous time and energy. Software-defined networking (SDN) has been shown to be a promising paradigm for simplifying network management. However, management tasks in SDNs require the use of constrained network resources: switch memory and CPU, and the switch-controller network bandwidth. Given these resource constraints, network operators may have to reason about resource usage when initiating network management tasks.This project seeks to explore the space of resource management for software-defined network management. Specifically, it will examine the design of virtualized resource pools that provide the abstraction of (nearly) infinite resources (memory, CPU and switch), while dynamically adapting to the resource needs of these network management tasks. This approach has the advantage that network operators do not have to reason about resource usage when instantiating network management tasks. The research will yield resource management algorithms, improved resource usage designs, and systems implementations for virtualized resource pools.Network operators make billion-dollar investments in network infrastructures, but put little thought into visibility and control of these infrastructures. This project can lead to better-managed, more reliable, and more resource-efficient network infrastructures in ISPs, enterprises and clouds. These efforts eventually will have broader societal impact by enabling commercial, social, and scientific advances. The proposal will give underrepresented groups and undergraduates opportunities to participate in research and will likely result in technology transfer to major cloud providers and ISPs.
当今网络的管理通常需要一群投入大量时间和精力的运营商。软件定义的网络(SDN)已被证明是简化网络管理的有希望的范式。但是,SDN中的管理任务需要使用约束的网络资源:开关内存和CPU以及开关控制器网络带宽。鉴于这些资源限制,网络运营商在启动网络管理任务时可能必须推理资源使用情况。该项目旨在探索软件定义网络管理的资源管理空间。具体而言,它将检查虚拟化资源池的设计,这些池提供(几乎)无限资源(内存,CPU和Switch)的抽象,同时动态地适应了这些网络管理任务的资源需求。这种方法的优点是,在实例化网络管理任务时,网络运营商不必为资源使用情况进行推理。该研究将产生资源管理算法,改进的资源使用设计以及虚拟资源池的系统实施。网络运营商对网络基础架构进行了数十亿美元的投资,但很少考虑这些基础架构的可见性和控制。该项目可能导致ISP,企业和云中掌握更好,更可靠且更具资源效率的网络基础结构。这些努力最终将通过实现商业,社会和科学进步来产生更广泛的社会影响。该提案将使代表性不足的团体和本科生参加研究的机会,并可能导致技术转移到主要的云提供商和ISP。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Zhong Shao其他文献
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
第 36 届 ACM SIGPLAN-SIGACT 编程语言原理研讨会论文集,POPL 2009,美国佐治亚州萨凡纳,2009 年 1 月 21-23 日
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao;B. Pierce - 通讯作者:
B. Pierce
Clean-Slate Development of Certified OS Kernels
- DOI:
10.1145/2676724.2693180 - 发表时间:
2015-01 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
Compiling standard ML for efficient execution on modern machines
- DOI:
- 发表时间:
1994-12 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
TIL: a type-directed, optimizing compiler for ML
TIL:用于 ML 的类型导向优化编译器
- DOI:
10.1145/989393.989449 - 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
Reasoning about Optimistic Concurrency Using a Program Logic for History
使用历史程序逻辑推理乐观并发
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Ming Fu;Yong Li;Xinyu Feng;Zhong Shao;Yu Zhang - 通讯作者:
Yu Zhang
Zhong Shao的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zhong Shao', 18)}}的其他基金
SHF: Small: Compositional Certified Concurrent Abstraction Layers
SHF:小型:组合认证的并发抽象层
- 批准号:
2313433 - 财政年份:2023
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
PPoSS: Planning: High-Performance Certified Trust for Global-Scale Applications
PPoSS:规划:全球规模应用程序的高性能认证信任
- 批准号:
2118851 - 财政年份:2021
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
FMitF: Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification
FMITF:轨道 I:ADVERT:分布式系统验证的组合原子规范
- 批准号:
2019285 - 财政年份:2020
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
SHF: Medium: DeepSEA: A Language for Programming and Synthesizing Certified Software
SHF:媒介:DeepSEA:一种用于编程和综合认证软件的语言
- 批准号:
1763399 - 财政年份:2018
- 资助金额:
$ 35.07万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems
SaTC:核心:小型:复杂系统信息流安全的正式端到端验证
- 批准号:
1715154 - 财政年份:2017
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
AitF: The Fuzzy Log: A Unifying Abstraction for the Theory and Practice of Distributed Systems
AitF:模糊日志:分布式系统理论与实践的统一抽象
- 批准号:
1637385 - 财政年份:2016
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
合作研究:计算探索:深度规范的科学
- 批准号:
1521523 - 财政年份:2015
- 资助金额:
$ 35.07万 - 项目类别:
Continuing Grant
SHF: Small: VeriQ: Formal Quantitative Software Verification in Realistic Application Scenarios
SHF:小型:VeriQ:现实应用场景中的形式化定量软件验证
- 批准号:
1319671 - 财政年份:2013
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
TC: Medium: Making OS Kernels Crash-Proof by Design and Certification
TC:中:通过设计和认证使操作系统内核防崩溃
- 批准号:
1065451 - 财政年份:2011
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
TC:Large:Collaborative Research:Combininig Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
TC:大型:协作研究:结合基础方法和轻量级形式方法来构建可证明可靠的软件
- 批准号:
0910670 - 财政年份:2009
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
相似国自然基金
靶向Treg-FOXP3小分子抑制剂的筛选及其在肺癌免疫治疗中的作用和机制研究
- 批准号:32370966
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
化学小分子激活YAP诱导染色质可塑性促进心脏祖细胞重编程的表观遗传机制研究
- 批准号:82304478
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
靶向小胶质细胞的仿生甘草酸纳米颗粒构建及作用机制研究:脓毒症相关性脑病的治疗新策略
- 批准号:82302422
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
HMGB1/TLR4/Cathepsin B途径介导的小胶质细胞焦亡在新生大鼠缺氧缺血脑病中的作用与机制
- 批准号:82371712
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
小分子无半胱氨酸蛋白调控生防真菌杀虫活性的作用与机理
- 批准号:32372613
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
相似海外基金
CHS: Small: Audio-Visual Reconstruction for Immersive Virtualized Reality
CHS:小型:沉浸式虚拟现实的视听重建
- 批准号:
1910940 - 财政年份:2019
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
CSR: SMALL: Virtualized Accelerators for Scalable, Composable Architectures
CSR:小型:用于可扩展、可组合架构的虚拟化加速器
- 批准号:
1718160 - 财政年份:2017
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
SHF: Small: Optimizing Consolidation Efficiency of Emerging Virtualized Cloud Applications on Contemporary Server Architecture
SHF:小型:优化当代服务器架构上新兴虚拟化云应用程序的整合效率
- 批准号:
1527535 - 财政年份:2015
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management
NeTS:小型:用于软件定义网络管理的虚拟化网络资源池
- 批准号:
1423505 - 财政年份:2014
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant
TWC: Small: XCap: Practical Capabilities and Least Authority for Virtualized Environments
TWC:小型:XCap:虚拟化环境的实用功能和最小权限
- 批准号:
1319076 - 财政年份:2013
- 资助金额:
$ 35.07万 - 项目类别:
Standard Grant