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
中文摘要
服务器应用程序中的软件故障是保持系统可用性的重要问题。 在没有完美的软件,本研究的重点是容忍和恢复错误,利用软件的弹性:正常的代码恢复某些故障时,低级别的故障被操作系统或适当的仪器屏蔽的能力。 软件弹性是利用引入救援点,位置在应用程序代码中处理程序员预期的故障,这是自动重新利用和测试,安全地使故障恢复从一个更大的类的意外故障。 救援点从未知故障中恢复软件,同时通过模仿已知错误条件下的系统行为来维护系统完整性和可用性。 它们使用模糊识别,使用检查点重新启动机制创建,并进行测试,然后使用二进制补丁注入生产代码。 这种方法掩盖了失败,允许继续执行程序,同时最大限度地减少不希望的副作用,使应用程序恢复和软件自我修复。
英文摘要
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
-
负责人:何祖华
-
依托单位: