CRII: CSR: Toward Understanding and Automatically Detecting Specious Configuration in Large Systems

CRII:CSR:理解和自动检测大型系统中的可疑配置

基本信息

  • 批准号:
    1755737
  • 负责人:
  • 金额:
    $ 17.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-08-01 至 2021-07-31
  • 项目状态:
    已结题

项目摘要

Software configurations allow users to customize a software system for different needs. Today, it is not uncommon for a system to expose hundreds of parameters to users for customizing configuration. Such high customizability comes at a price, as errors in configuration are a major source of system failures. While various solutions have been developed to tackle misconfiguration, they mainly focus on invalid configurations, which violate some correctness criteria. Unfortunately, many misconfigurations are technically valid, yet cause severe production problems such as poor performance. These are called specious configurations. The goal of this project is to systematically investigate and proactively prevent specious configurations.Specifically, the project will study specious configuration from both open-source and commercial systems to understand its broad scope, traits and how it affects system execution. Informed by this study, this project will then design algorithms and techniques for modeling the risk of a configuration change by using static analysis and selective symbolic execution to construct parameterized impact tables and then enhance them with offline profiling data. Based on this model, this project will develop an online risk assessment tool which can alert expert operators about specious configuration before production.Specious configuration is frequently cited for lost productivity. This project will further our understanding of underlying factors behind specious configuration and help practitioners reduce misconfiguration-induced failures in large-scale systems. Results from this research will be distilled into graduate seminars and classes on Operating Systems. The resulting dataset, software, publications and course materials will be maintained in an open-source repository for at least five years beyond the completion of the project.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
软件配置允许用户根据不同的需求定制软件系统。如今,系统向用户公开数百个参数以进行自定义配置的情况并不少见。如此高的可定制性是有代价的,因为配置中的错误是系统故障的主要来源。虽然已经开发了各种解决方案来处理错误配置,但它们主要关注违反某些正确性标准的无效配置。不幸的是,许多错误配置在技术上是有效的,但会导致严重的生产问题,例如性能低下。这些被称为似是而非的构型。该项目的目标是系统地调查和主动防止似是而非的配置。具体来说,该项目将研究来自开源和商业系统的似是而非的配置,以了解其广泛的范围、特征以及它如何影响系统执行。根据这项研究,该项目将设计算法和技术,通过使用静态分析和选择性符号执行来构建参数化影响表,然后使用离线分析数据来增强它们,从而对配置更改的风险进行建模。基于该模型,该项目将开发一种在线风险评估工具,该工具可以在生产前提醒专家操作人员注意似是而非的配置。似是而非的配置经常被认为是导致生产力损失的原因。这个项目将进一步加深我们对似是而非的配置背后的潜在因素的理解,并帮助从业者减少大规模系统中由错误配置引起的故障。这项研究的结果将被提炼成研究生研讨会和操作系统课程。由此产生的数据集、软件、出版物和课程材料将在一个开源存储库中保存至少五年,直至项目完成。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs
通过看门狗对系统软件进行全面、高效的运行时检查
Understanding, Detecting and Localizing Partial Failures in Large System Software
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Chang Lou;Peng Huang;Scott F. Smith
  • 通讯作者:
    Chang Lou;Peng Huang;Scott F. Smith
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
  • DOI:
  • 发表时间:
    2020-10
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yigong Hu;Gongqi Huang;Peng Huang
  • 通讯作者:
    Yigong Hu;Gongqi Huang;Peng Huang
{{ 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 }}

Peng Huang其他文献

Pipeline Design of Nonvolatile-based Computing in Memory for Convolutional Neural Networks Inference Accelerators
卷积神经网络推理加速器内存中基于非易失性的计算的流水线设计
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    L. Han;Peng Huang;Zheng Zhou;Yiyang Chen;Haozhang Yang;Xiaoyan Liu;Jinfeng Kang
  • 通讯作者:
    Jinfeng Kang
A novel nondeterministic scheme for a nondestructive two-qubit controlled phase
一种新颖的非确定性无损双量子位控制相位方案
The idemetric property: when most distances are (almost) the same
idemetric 属性:当大多数距离(几乎)相同时
  • DOI:
    10.1098/rspa.2018.0283
  • 发表时间:
    2018-04
  • 期刊:
  • 影响因子:
    0
  • 作者:
    George Barmpalias;Peng Huang;Andrew Lewis-Pye;Angsheng Li;Xuechen Li;Yicheng Pan;Tim Roughgarden
  • 通讯作者:
    Tim Roughgarden
Design and Hardware Implementation of Neuromorphic Systems With RRAM Synapses and Threshold-Controlled Neurons for Pattern Recognition
用于模式识别的具有 RRAM 突触和阈值控制神经元的神经形态系统的设计和硬件实现
  • DOI:
    10.1109/tcsi.2018.2812419
  • 发表时间:
    2018-04
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuning Jiang;Peng Huang;Dongbin Zhu;Zheng Zhou;Runze Han;Lifeng Liu;Xiaoyan Liu;Jinfeng Kang
  • 通讯作者:
    Jinfeng Kang
Design and Synthesis of Dual EZH2/BRD4 Inhibitors to Target Solid Tumors
针对实体瘤的双 EZH2/BRD4 抑制剂的设计与合成
  • DOI:
    10.1021/acs.jmedchem.1c01876
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    7.3
  • 作者:
    Zhirong Guo;Yameng Sun;Liyun Liang;Wenhua Lu;Bingling Luo;Zhouming Wu;Bitao Huo;Yumin Hu;Peng Huang;Qiang Wu;Shijun Wen
  • 通讯作者:
    Shijun Wen

Peng Huang的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Peng Huang', 18)}}的其他基金

CNS Core: Small: Intelligent Fault Injection to Expose and Reproduce Production-Grade Bugs in Cloud Systems
CNS 核心:小型:智能故障注入以暴露和重现云系统中的生产级错误
  • 批准号:
    2317698
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
FMitF: Track I: Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems
FMITF:第一轨:综合语义检查器以进行生产分布式系统的运行时验证
  • 批准号:
    2318937
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CAREER: Towards Gray-Fault Tolerant Cloud through Harnessing and Enhancing System Observability
职业:通过利用和增强系统可观测性迈向灰色容错云
  • 批准号:
    2317751
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
CNS Core: Small: Intelligent Fault Injection to Expose and Reproduce Production-Grade Bugs in Cloud Systems
CNS 核心:小型:智能故障注入以暴露和重现云系统中的生产级错误
  • 批准号:
    2149664
  • 财政年份:
    2021
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CAREER: Towards Gray-Fault Tolerant Cloud through Harnessing and Enhancing System Observability
职业:通过利用和增强系统可观测性迈向灰色容错云
  • 批准号:
    1942794
  • 财政年份:
    2020
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant

相似国自然基金

基于经筋理论的筋针与整脊联合疗法治疗 CSR疼痛的临床应用研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
RAC2(G15D)突变参与B细胞 Ig-CSR过程的分子机制研究
  • 批准号:
    2025JJ80630
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于CRISPR/CasRx调控CSR1基因表达预防氨基糖甙类耳毒性聋研究
  • 批准号:
    2024Y9183
  • 批准年份:
    2024
  • 资助金额:
    25.0 万元
  • 项目类别:
    省市级项目
基于Piezo机械敏感通道探讨奉伸松调法调控颈肌细胞自噬与DRG痛觉感受神经元可塑性治疗CSR的作用机制
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0 万元
  • 项目类别:
    地区科学基金项目
准社会互动视角下CSR数字化沟通对品牌绩效的差异化影响、机制与管理对策
  • 批准号:
    72362008
  • 批准年份:
    2023
  • 资助金额:
    28 万元
  • 项目类别:
    地区科学基金项目
善行得善果?后疫情时代嵌入式和边缘式CSR对员工幸福感的跨层影响研究
  • 批准号:
    72102183
  • 批准年份:
    2021
  • 资助金额:
    24.00 万元
  • 项目类别:
    青年科学基金项目
善行得善果?后疫情时代嵌入式和边缘式CSR对员工幸福感的跨层影响研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
基于脊髓突触可塑性探讨“调气”电针远端腧穴干预CSR模型大鼠的中枢镇痛效应及机制研究
  • 批准号:
    82160934
  • 批准年份:
    2021
  • 资助金额:
    34 万元
  • 项目类别:
    地区科学基金项目
利用输运模型和机器学习方法研究CSR能区的低温高密核物质
  • 批准号:
    U2032145
  • 批准年份:
    2020
  • 资助金额:
    50.0 万元
  • 项目类别:
    联合基金项目
PPR家族蛋白CSR3调控拟南芥叶绿体RNA剪接的分子机理
  • 批准号:
    32000184
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
  • 批准号:
    2312089
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CRII: CSR: From Bloom Filters to Noise Reduction Streaming Algorithms
CRII:CSR:从布隆过滤器到降噪流算法
  • 批准号:
    2348457
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR:小型:利用大规模动态图进行实时欺诈检测的多 FPGA 系统
  • 批准号:
    2317251
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Bridging Economic Demands with Social Responsibility: A Deep Dive into SMFDI's Production-Driven CSR Initiatives
连接经济需求与社会责任:深入探讨 SMFDI 的生产驱动型企业社会责任计划
  • 批准号:
    24K20993
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CRII: CSR: Towards an Edge-enabled Software-Defined Vehicle Framework for Dynamic Over-the-Air Updates
CRII:CSR:迈向支持边缘的软件定义车辆框架,用于动态无线更新
  • 批准号:
    2348151
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
サステナブルなCSRとブランド価値:真正性・整合性・一体感に着目した国際比較研究
可持续企业社会责任与品牌价值:关注真实性、完整性和团结感的国际比较研究
  • 批准号:
    24K05139
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
CSR, premiums and cross-border M&A
企业社会责任、保费和跨境M
  • 批准号:
    24K00283
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
CRII: CSR: Adaptive Federated Continuous Learning on Heterogeneous Edge Devices with Unlabeled Data
CRII:CSR:具有未标记数据的异构边缘设备的自适应联合连续学习
  • 批准号:
    2348279
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CRII: CSR: Enabling On-Device Continual Learning through Enhancing Efficiency of Computing, Memory, and Data
CRII:CSR:通过提高计算、内存和数据的效率实现设备上的持续学习
  • 批准号:
    2348376
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CSR: Small: Latency-controlled Reduction of Data Center Expenses for Handling Bursty ML Inference Requests
CSR:小:通过延迟控制减少数据中心处理突发 ML 推理请求的费用
  • 批准号:
    2336886
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了