Comprehensive and Efficient Runtime Checking in System Software through Watchdogs
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs
复制标题
通过看门狗对系统软件进行全面、高效的运行时检查
DOI：
10.1145/3317550.3321440
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Smith, Scott
中科院分区：
文献类型：
--
作者：
Lou, Chang;Huang, Peng;Smith, Scott
今天的系统软件由许多模块组成，并呈现出复杂的故障模式。现有的故障检测器集中在捕捉简单的，完整的故障和处理程序统一的过程级别。在本文中，我们认为，现代软件需要内在的故障检测器，是针对个别系统，可以检测到异常的过程中，在更细的粒度。我们特别提出了软件内在看门狗的概念，并对它进行了抽象，认为在不同类型的看门狗中，模仿主程序的看门狗可以提供完整性、准确性和局部性的最佳组合，从而检测出灰色故障。但是，手动构建这种模仿型看门狗是具有挑战性和耗时的。为了缩小这一差距，我们提出了一个早期的探索自动生成模仿型看门狗。
Systems software today is composed of numerous modules and exhibits complex failure modes. Existing failure detectors focus on catching simple, complete failures and treat programs uniformly at the process level. In this paper, we argue that modern software needs intrinsic failure detectors that are tailored to individual systems and can detect anomalies within a process at finer granularity. We particularly advocate a notion of intrinsic software watchdogs and propose an abstraction for it. Among the different styles of watchdogs, we believe watchdogs that imitate the main program can provide the best combination of completeness, accuracy and localization for detecting gray failures. But, manually constructing such mimic-type watchdogs is challenging and time-consuming. To close this gap, we present an early exploration for automatically generating mimic-type watchdogs.
大型生产系统中硬件性能故障的大规模存储故障缓慢证据
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
仁志 安藤;尚史 加賀谷;康弘 竹森;八嗣 野田
通讯作者：
八嗣 野田
嵌入式系统设计
影响因子：
7.7
作者：
Roger Steciak
通讯作者：
Roger Steciak
大型服务基础设施可用性的思考
DOI：
10.1145/3102980.3102983
发表时间：
2017
期刊：
Proceedings of the 16th Workshop on Hot Topics in Operating Systems
影响因子：
--
作者：
J. Mogul;R. Isaacs;B. Welch
通讯作者：
B. Welch