TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing
TC:小:利用软件弹性实现自动软件自我修复
基本信息
- 批准号:0914845
- 负责人:
- 金额:$ 45万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2009
- 资助国家:美国
- 起止时间:2009-09-01 至 2013-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software failures in server applications are a significant problem for preserving system availability. In the absence of perfect software, this research focuses on tolerating and recovering from errors by exploiting software elasticity: the ability of regular code to recover from certain failures when low-level faults are masked by the operating system or appropriate instrumentation. Software elasticity is exploited by introducing rescue points, locations in application code for handling programmer-anticipated failures, which are automatically repurposed and tested for safely enabling fault recovery from a larger class of unanticipated faults. Rescue points recover software from unknown faults while maintaining system integrity and availability by mimicking system behavior under known error conditions. They are identified using fuzzing, created using a checkpoint-restart mechanism, and tested then injected into production code using binary patching. This approach masks failures to permit continued program execution while minimizing undesirable side-effects, enabling application recovery and software self-healing.
服务器应用程序中的软件故障是保持系统可用性的重要问题。 在没有完美的软件,本研究的重点是容忍和恢复错误,利用软件的弹性:正常的代码恢复某些故障时,低级别的故障被操作系统或适当的仪器屏蔽的能力。 软件弹性是利用引入救援点,位置在应用程序代码中处理程序员预期的故障,这是自动重新利用和测试,安全地使故障恢复从一个更大的类的意外故障。 救援点从未知故障中恢复软件,同时通过模仿已知错误条件下的系统行为来维护系统完整性和可用性。 它们使用模糊识别,使用检查点重新启动机制创建,并进行测试,然后使用二进制补丁注入生产代码。 这种方法掩盖了失败,允许继续执行程序,同时最大限度地减少不希望的副作用,使应用程序恢复和软件自我修复。
项目成果
期刊论文数量(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 }}
Jason Nieh其他文献
Aequitas: A Trusted P2P System for Paid Content Delivery
Aequitas:用于付费内容交付的可信 P2P 系统
- DOI:
10.7916/d8tx3p7b - 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
A. Sherman;Japinder Singh Chawla;Jason Nieh;C. Stein;Justin Sarma - 通讯作者:
Justin Sarma
Group round robin
小组循环赛
- DOI:
10.1145/1095890.1095896 - 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
Bogdan Caprita;Jason Nieh;W. C. Chan - 通讯作者:
W. C. Chan
Grouped distributed queues: distributed queue, proportional share multiprocessor scheduling
分组分布式队列:分布式队列,比例份额多处理器调度
- DOI:
10.1145/1146381.1146396 - 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Bogdan Caprita;Jason Nieh;C. Stein - 通讯作者:
C. Stein
Web browsing performance of wireless thin-client computing
无线瘦客户端计算的网页浏览性能
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
S. J. Yang;Jason Nieh;S. Krishnappa;Aparna Mohla;M. Sajjadpour - 通讯作者:
M. Sajjadpour
Proceedings of the 11th international workshop on Network and operating systems support for digital audio and video
- DOI:
- 发表时间:
2001 - 期刊:
- 影响因子:0
- 作者:
Jason Nieh - 通讯作者:
Jason Nieh
Jason Nieh的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jason Nieh', 18)}}的其他基金
FMitF: Track I: Verifying System Software on an Arm Multiprocessor Hardware Model
FMITF:第一轨:在 Arm 多处理器硬件模型上验证系统软件
- 批准号:
2124080 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
FMitF: Track I: A Secure and Verifiable Commodity Hypervisor
FMITF:第一轨:安全且可验证的商品管理程序
- 批准号:
1918400 - 财政年份:2019
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
TWC: TTP Option: Small: A Linux ARM Hypervisor for System Security
TWC:TTP 选项:小型:用于系统安全的 Linux ARM 虚拟机管理程序
- 批准号:
1422909 - 财政年份:2014
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CSR: Medium: A Virtual Smartphone and Tablet System Architecture
CSR:媒介:虚拟智能手机和平板电脑系统架构
- 批准号:
1162447 - 财政年份:2012
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
SHF: Medium: RacePro: Automatically Detecting API Races in Deployed Systems
SHF:中:RacePro:自动检测已部署系统中的 API 竞争
- 批准号:
1162021 - 财政年份:2012
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Student Travel Support for the 2011 USENIX Annual Technical Conference
2011 年 USENIX 年度技术会议的学生旅行支持
- 批准号:
1137962 - 财政年份:2011
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
TC: Small: Improving System Security through Virtual Layered File Systems
TC:小型:通过虚拟分层文件系统提高系统安全性
- 批准号:
1018355 - 财政年份:2010
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
ITR - (NHS) - (int/dmc): Secure Remote Computing Services
ITR - (NHS) - (int/dmc):安全远程计算服务
- 批准号:
0426623 - 财政年份:2004
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Network Virtualization Mechanisms for Mobile Communication
移动通信网络虚拟化机制
- 批准号:
0240525 - 财政年份:2003
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
ITR: An Experimental Study of Thin-Client Computing Architectures
ITR:瘦客户端计算架构的实验研究
- 批准号:
0219943 - 财政年份:2002
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SaTC: CORE: Small: Building Resilience into LEO Satellite Networks by Exploiting Network Layer Characteristics
SaTC:核心:小型:通过利用网络层特征构建 LEO 卫星网络的弹性
- 批准号:
2308761 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Exploiting Stimulus-response Correlation for Wireless Hidden Device Localization
SaTC:核心:小:利用刺激响应相关性进行无线隐藏设备定位
- 批准号:
2155181 - 财政年份:2022
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Exploiting Performance Correlations for Accurate and Low-cost Performance Testing for Serverless Computing
协作研究:SHF:小型:利用性能相关性对无服务器计算进行准确且低成本的性能测试
- 批准号:
2155096 - 财政年份:2022
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Exploiting Performance Correlations for Accurate and Low-cost Performance Testing for Serverless Computing
协作研究:SHF:小型:利用性能相关性对无服务器计算进行准确且低成本的性能测试
- 批准号:
2155097 - 财政年份:2022
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Exploiting new drug targets in extremely resistant M.abscessus by using small molecule Lipid II binders
使用小分子脂质 II 结合剂在极其耐药的脓肿分枝杆菌中开发新的药物靶点
- 批准号:
10183396 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Exploiting new drug targets in extremely resistant M.abscessus by using small molecule Lipid II binders
使用小分子脂质 II 结合剂在极其耐药的脓肿分枝杆菌中开发新的药物靶点
- 批准号:
10378085 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
III: Small: Collaborative Research: Algorithms, systems, and theories for exploiting data dependencies in crowdsourcing
III:小型:协作研究:在众包中利用数据依赖性的算法、系统和理论
- 批准号:
2007941 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Agents Provocateur: Exploiting bacterial biofilm stimulation to identify bioactive small molecules
Agents Provocateur:利用细菌生物膜刺激来识别生物活性小分子
- 批准号:
RGPIN-2016-06521 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Discovery Grants Program - Individual
SHF: Small: Understanding and Exploiting Software Defined Networks (SDN) in High Performance Computing (HPC) Environments
SHF:小型:理解和利用高性能计算 (HPC) 环境中的软件定义网络 (SDN)
- 批准号:
2007827 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Exploiting genetic vulnerabilities to improve outcomes in small cell carcinoma of the ovary
利用遗传弱点改善小细胞卵巢癌的治疗结果
- 批准号:
420635 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Operating Grants