CPA-CSA: Wisconsin Arrays in Software Project (WASP)

商品系统正在改变存储和I/O的面貌。商品磁盘价格便宜，但不可靠。商用文件系统被广泛使用，但容易出现漏洞。尽管存在这些关键问题，但人们越来越依赖商品计算系统来存储至关重要的数据，无论是从情感(例如，家庭照片)、商业(例如，客户数据库)或法律(例如，您的纳税申报单)的角度来看。威斯康星州软件项目中的阵列(WASP)解决了构建下一代强大而可靠的商品RAID系统的问题。这样的RAID系统必须是可靠的，能够正确地检测到各种磁盘故障并从中恢复。这样的系统还必须正确地集成到现有系统中，从而在系统崩溃的情况下提供高性能和适当的恢复。最后，这种制度必须灵活，能够制定和部署新的保护战略，以应对出现的新问题。WASP有两个主要组件：第一个是称为Sting的RAID设计检查器，它确保保护方案正确地保护数据不受给定磁盘故障的影响。第二个是一个框架，允许规范和自动生成复杂的RAID系统；被称为WASP Nest，该项目的这一部分承诺为商用袭击提供一种新的更高级别的设计方法。

Commodity systems are changing the face of storage and I/O. Commodity disksare cheap, but unreliable. Commodity file systems are widely used, but bugprone. Despite these critical problems, people rely increasingly on commoditycomputing systems to store data of critical importance, whether from anemotional (e.g., family photos), business (e.g., a customer database), orlegal (e.g., your tax return) standpoint.The Wisconsin Arrays in Software Project (WASP) tackles the problem ofbuilding the next generation of robust and reliable commodity RAIDsystem. Such a RAID system must be reliable, detecting and recovering from abroad range of disk faults correctly. Such a system must also integrateproperly into existing systems, thus delivering high performance and properrecovery in the case of system crashes. Finally, such a system must beflexible, enabling new protection strategies to be developed and deployed tocope with new problems as they arise. WASP has two major components: thefirst is a RAID design checker known as Sting, which ensures that protectionschemes correctly protect data from a given set of disk faults. The second isa framework to allow the specification and automatic generation ofsophisticated RAID systems; known as WASP Nest, this part of the projectpromises a new higher-level design methodology for commodity RAIDs.