TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing
TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing
批准号:
0914845
负责人:
Jason Nieh
金额:
$45.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2013-08-31
中文摘要
服务器应用程序中的软件故障是维护系统可用性的一个重大问题。在没有完美软件的情况下,这项研究的重点是通过利用软件弹性来容错和恢复错误:当操作系统或适当的工具屏蔽低级别故障时,常规代码从某些故障中恢复的能力。通过引入救援点来利用软件弹性,救援点是应用程序代码中用于处理程序员预期的故障的位置,它们被自动重新调整用途并进行测试,以安全地实现从更大类别的意外故障中的故障恢复。救援点通过模拟已知错误条件下的系统行为,从未知故障中恢复软件,同时保持系统的完整性和可用性。它们使用Fuzing进行识别,使用检查点重启机制创建,并进行测试,然后使用二进制修补注入到生产代码中。这种方法屏蔽了故障,以允许继续执行程序,同时将不良副作用降至最低,从而实现了应用程序恢复和软件自我修复。
英文摘要
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)
会议论文
FMitF: Track I: Verifying System Software on an Arm Multiprocessor Hardware Model
-
批准号:2124080
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Jason Nieh
-
依托单位:
FMitF: Track I: A Secure and Verifiable Commodity Hypervisor
-
批准号:1918400
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2019
-
负责人:Jason Nieh
-
依托单位:
TWC: TTP Option: Small: A Linux ARM Hypervisor for System Security
-
批准号:1422909
-
项目类别:Standard Grant
-
资助金额:$63.51万
-
财政年份:2014
-
负责人:Jason Nieh
-
依托单位:
CSR: Medium: A Virtual Smartphone and Tablet System Architecture
-
批准号:1162447
-
项目类别:Continuing Grant
-
资助金额:$78.3万
-
财政年份:2012
-
负责人:Jason Nieh
-
依托单位:
SHF: Medium: RacePro: Automatically Detecting API Races in Deployed Systems
-
批准号:1162021
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2012
-
负责人:Jason Nieh
-
依托单位:
Student Travel Support for the 2011 USENIX Annual Technical Conference
-
批准号:1137962
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2011
-
负责人:Jason Nieh
-
依托单位:
TC: Small: Improving System Security through Virtual Layered File Systems
-
批准号:1018355
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Jason Nieh
-
依托单位:
ITR - (NHS) - (int/dmc): Secure Remote Computing Services
-
批准号:0426623
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Jason Nieh
-
依托单位:
Network Virtualization Mechanisms for Mobile Communication
-
批准号:0240525
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2003
-
负责人:Jason Nieh
-
依托单位:
ITR: An Experimental Study of Thin-Client Computing Architectures
-
批准号:0219943
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2002
-
负责人:Jason Nieh
-
依托单位:
CAREER: Delivering Computational Services over the Internet
-
批准号:0093047
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2001
-
负责人:Jason Nieh
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性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
-
负责人:何祖华
-
依托单位: