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

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

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.