CSR: Small: On Modeling Software Dynamics for Feedback Computing
CSR: Small: On Modeling Software Dynamics for Feedback Computing
批准号:
1320209
负责人:
Tarek Abdelzaher
金额:
$45.62万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-10-01 至 2019-09-30
中文摘要
本项目开发确保数据中心中使用的资源管理机制等大规模软件系统的性能稳定性的科学技术。术语“稳定性”在这里是在控制理论的意义上使用的,它适用于动态系统,大致意味着在一系列期望的系统状态下不发散。性能稳定性是指性能参数的稳定性,例如延迟、响应时间、服务吞吐量、利用率、缓存命中率或超时率。该项目开发了必要的基础和工具,以确保软件的稳定性,并诊断和撤销不稳定行为的根本原因,当它发生在部署的系统。一个重要的贡献在于探索规则和指导方针,如果遵守,允许推理软件的稳定性组合的方式,这样的稳定性组合系统可以推断出组件的稳定性。软件性能的组成稳定性分析是由控制理论的进步,如被动理论和积极和耗散系统的理论。这些进展提供了丰富的结果,适合软件模型的非线性系统的限制类别的稳定性和组合性。在软件设计中,性能稳定性的挑战在很大程度上被忽视了。它们通常不会出现在小型系统中,而是随着系统的规模和复杂性而增长。越来越多的软件整合和计算服务外包的趋势需要更复杂,更多的分层,以及各种资源管理机制之间的更多互动,使得更难以预测副作用,更有可能出现稳定性问题。该项目提高了当前对利用反馈机制实现性能和鲁棒性目标的大型系统的设计,执行和管理的理解。教育活动包括将项目要素纳入PI教授的几门课程,并让本科生参与研究。外展活动包括在校园内举办“反馈计算日”,结合一个大型研究会议提供关于反馈计算的教程,以及由PI努力从代表性不足的群体中招募学生。传播活动包括将研究结果记录在PI的一本书中,以及通过工业界的合作者进行技术过渡的努力。
英文摘要
This project develops science and technology for ensuring performance stability of large-scale software systems, such as resource management mechanisms used in data centers. The term "stability" is used here in a control-theoretic sense that applies to dynamical systems and roughly means freedom from divergence a range of desired system states. Performance stability refers to stability of performance parameters, such as latency, response time, service throughput, utilization, cache hit ratio, or timeout rate. The project develops the foundations and tools necessary to ensure software stability, and to diagnose and undo root causes of unstable behavior when it occurs in deployed systems. A significant contribution lies in exploring rules and guidelines that, if obeyed, allow reasoning about software stability in a compositional manner, such that stability of composite systems can be inferred from stability of components. Compositional stability analysis of software performance is facilitated by advances in control theory such as Passivity Theory and the Theory of Positive and Dissipative Systems. These advances offer a wealth of results on stability and compositionality for a restricted category of non-linear systems that fits software models. Performance stability challenges have been largely overlooked in software design. They are not typically manifest in small systems, but grow with the size and complexity of systems. The trend towards more software consolidation and outsourcing of computing services entails more complexity, more layering, and more interactions among various resource management mechanisms, making it harder to anticipate side-effects, and more likely there will be stability problems. The project improves the current understanding of the design, execution, and management of large systems that exploit feedback mechanisms to achieve performance and robustness objectives. Educational activities include incorporation of project elements into several courses taught by the PI, and involvement of undergraduate students in the research. Outreach activities include an on-campus "Feedback Computing Day", a tutorial on feedback computing to be offered in conjunction with a major research conference, and efforts by the PI to recruit students from under-represented groups. Dissemination activities include documentation of results of the research in a book by the PI, and efforts to transition technology through collaborators in industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CPS: Medium: Real-time Criticality-Aware Neural Networks for Mission-critical Cyber-Physical Systems
-
批准号:2038817
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2021
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR: Small: Data Services for Reliable Crowdsensing in Urban Spaces
-
批准号:1618627
-
项目类别:Standard Grant
-
资助金额:$40.92万
-
财政年份:2016
-
负责人:Tarek Abdelzaher
-
依托单位:
Need-Based Sponsorship of Student Travel to IEEE MASS 2015; October 19-22, 2015; Dallas, TX
-
批准号:1547552
-
项目类别:Standard Grant
-
资助金额:$1.3万
-
财政年份:2015
-
负责人:Tarek Abdelzaher
-
依托单位:
FIA-NP: Collaborative Research: Named Data Networking Next Phase (NDN-NP)
-
批准号:1345266
-
项目类别:Cooperative Agreement
-
资助金额:$30.0万
-
财政年份:2014
-
负责人:Tarek Abdelzaher
-
依托单位:
II-NEW: Vehicular Instrumentation for Green Sensor-Enabled Research
-
批准号:1059294
-
项目类别:Standard Grant
-
资助金额:$33.44万
-
财政年份:2011
-
负责人:Tarek Abdelzaher
-
依托单位:
II-New: Towards Green Data Centers: A Testbed for Thermo-Computational Dynamics
-
批准号:0958314
-
项目类别:Continuing Grant
-
资助金额:$29.39万
-
财政年份:2010
-
负责人:Tarek Abdelzaher
-
依托单位:
FIA: Collaborative Research: Named Data Networking (NDN)
-
批准号:1040380
-
项目类别:Continuing Grant
-
资助金额:$60.0万
-
财政年份:2010
-
负责人:Tarek Abdelzaher
-
依托单位:
CPS: Medium: The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components
-
批准号:1035736
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2010
-
负责人:Tarek Abdelzaher
-
依托单位:
NetSE: Medium: A Data Mining Approach to Diagnostic Debugging in Sensor Networks
-
批准号:0905014
-
项目类别:Standard Grant
-
资助金额:$100.16万
-
财政年份:2009
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR: Small: Green Farms: Towards a Stable Energy Optimization Architecture for Data Centers
-
批准号:0916028
-
项目类别:Standard Grant
-
资助金额:$42.0万
-
财政年份:2009
-
负责人:Tarek Abdelzaher
-
依托单位:
Student Travel Support to Sensys 2008
-
批准号:0848914
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2008
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR-EHS: An Extended Theory for Temporal Composition of Distributed Real-Time Computing Systems
-
批准号:0720513
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR-EHS: A Ph.D. Student Forum on Deeply Embedded Real-Time Computing
-
批准号:0714804
-
项目类别:Standard Grant
-
资助金额:$3.5万
-
财政年份:2007
-
负责人:Tarek Abdelzaher
-
依托单位:
Collaborative Research: CRI: IAD: Towards Cyber-Physical Computing at Scale: A Life-Size Experimental Facility for Applied Sensor Networks Research
-
批准号:0707975
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:2007
-
负责人:Tarek Abdelzaher
-
依托单位:
NeTS-NoSS: Need-Based Sponsorship of Student Travel to IPSN
-
批准号:0715012
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2007
-
负责人:Tarek Abdelzaher
-
依托单位:
Collaborative Research: CSR--AES: Energy Management in Real-time, Multi-tier Internet Services
-
批准号:0615301
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Tarek Abdelzaher
-
依托单位:
Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embdedded Software
-
批准号:0613665
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR-EHS: Towards Ubiquitous Wearable Embedded Computing
-
批准号:0615318
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:2006
-
负责人:Tarek Abdelzaher
-
依托单位:
Collaborative Research: NeTS-NOSS: The Sensor Network Development and Deployment Studio
-
批准号:0626342
-
项目类别:Standard Grant
-
资助金额:$32.4万
-
财政年份:2006
-
负责人:Tarek Abdelzaher
-
依托单位:
CSR-EHS: Supporting Under-Represented Student Travel to RTAS
-
批准号:0533213
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Tarek Abdelzaher
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: