权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

CSR: CC: Small: Application-Level Consistency for Cloud-Based Computing

CSR：CC：小型：基于云的计算的应用程序级一致性

基本信息

批准号：
1421033
负责人：
Remzi Arpaci-Dusseau
金额：
$ 49.98万
依托单位：
University of Wisconsin-Madison
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2014
资助国家：
美国
起止时间：
2014-10-01 至 2019-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1421033&HistoricalAwards=false
关键词：
CSR CC Small Application Level

项目摘要

The Wisconsin Crash-Consistency Project (WiCC) attacks the fundamental problem of crash recovery in cloud-based applications. Current web applications are not built in a principled and robust manner, relying on ad hoc implementation techniques and arcane system details to realize correct behavior. Unfortunately, the result of this approach can be chaotic, and, when an unfortunate event such as a system crash or power loss arises, can lead to data loss or corruption. As data lies at the heart of virtually every modern web service, such loss or corruption is a nuisance at best, and catastrophic at worst.The WiCC project addresses these issues in a two-pronged manner. First, WiCC provides tools to analyze current applications (and underlying file systems) and thus improves the current state of the art in crash recovery. These tools exercise the systems-under-test through novel state-space exploration techniques, constructing scenarios where a given system will not function correctly. Such feedback is critical for developers, as they can readily determine problems with the systems they are building. Second, WiCC puts forth a new storage system, StreamFS, that presents new abstractions to ease the construction of correct cloud-based data management applications. Current system interfaces are cumbersome and error-prone; StreamFS reduces the complexity of the file system interface and thus improves the state of the art in robust system construction.

威斯康星州崩溃一致性项目（WiCC）解决了基于云的应用程序中崩溃恢复的根本问题。当前的Web应用程序不是以原则性和健壮的方式构建的，而是依赖于特定的实现技术和《双城之战》系统细节来实现正确的行为。不幸的是，这种方法的结果可能是混乱的，并且当出现系统崩溃或断电等不幸事件时，可能导致数据丢失或损坏。由于数据是几乎每一个现代Web服务的核心，这种丢失或损坏充其量是一个麻烦，在最坏的情况下是灾难性的。WiCC项目以双管齐下的方式解决这些问题。首先，WiCC提供了分析当前应用程序（和底层文件系统）的工具，从而改进了崩溃恢复的当前技术水平。这些工具通过新颖的状态空间探索技术来测试系统，构建给定系统无法正常运行的场景。这样的反馈对于开发人员来说是至关重要的，因为他们可以很容易地确定他们正在构建的系统的问题。其次，WiCC提出了一个新的存储系统StreamFS，它提供了新的抽象，以简化正确的基于云的数据管理应用程序的构建。当前的系统接口很麻烦，容易出错; StreamFS降低了文件系统接口的复杂性，从而提高了健壮系统构建的技术水平。