HEC: Formal Failure Analysis for Storage Systems

在本提案中，pi描述了威斯康星州存储系统项目的程序分析（PASS），并通过引入更正式的方法来解决问题，利用编程语言工具来构建、分析、测试和监控这些存储系统，从而寻求开发构建高端、可扩展、健壮的未来存储系统所需的技术。通过应用这些技术，pi计划将高端存储系统的故障处理能力的信任水平提高一个数量级。PASS项目将从三个基本方面改变存储系统的面貌。首先，通过开发更正式的故障分析技术，我们将能够发现更广泛的存储系统故障处理问题。其次，在PASS中，我们将开发更健壮和可扩展的测试基础设施；这样的框架对于任何未来存储系统的开发都是通用的。最后，通过大型Condor集群的运行时检测，pi计划收集有关在实践中发生的故障类型以及它们如何表现为故障的信息。这些数据对于未来健壮的、可扩展的存储系统的设计和实现将是无价的。

In this proposal, the PIs describe theWisconsin ProgramAnalysis of Storage Systems project (PASS), and seek to develop the techniques needed to build the high-end, scalable, robust storage systems of tomorrow by bringing a more formal approach to the problem, utilizing programming language tools to build, analyze, test, and monitor these storage systems. By applying these techniques, the PIs plan to raise the level of trust in the failure-handling capabilities of high-end storage systems by an order of magnitude.The PASS project will change the landscape of storage systems in three fundamental ways. First, by developing more formal failure analysis techniques, we will be able to uncover a much broader range of storage system failure handling problems. Second, within PASS we will develop more robust and scalable testing infrastructure; such a framework will be of general use to the development of any future storage system. Finally, through run-time instrumentation of a large Condor cluster, the PIs plan to gather information as to what types of faults occur in practice as well as how they manifest themselves as failures. Such data will be invaluable to future designs and implementations of robust, scalable storage systems.