CAREER: Fine-Grained Operating System Components for Storage

职业：用于存储的细粒度操作系统组件

• 批准号: 0546892
• 负责人: Edward Kohler
• 金额: $ 40万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-02-01 至 2011-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0546892&HistoricalAwards=false
• 关键词: CAREER; Fine; Grained; Operating; System

A modern computer operating system comprises millions of lines of performance-critical code, much of it tightly coupled to the hardware, where most any error can be expanded into a security vulnerability, and whose behavior fundamentally impacts every application it hosts. Thus, perating systems are both inherently hard to program and critically important to get right, which has slowed the pace of operating systems research and development. New programming methodologies can help break this impasse, leading to systems that are easier to teach, understand, program, and get right. This research program develops a new component-based design for file systems and disk storage. Its particular focus is file system consistency, the process that ensures that disks contain correct information in the correct format. All file system components communicate using change descriptor data structures, a generalization of soft updates that allows independent file systems and disk structures to express dependencies. Change descriptors are exported to applications, allowing them to implement previously-inexpressible consistency policies. The resulting design will make file systems easier to develop by factoring out common code, improve storage system robustness through first-class consistency support, and lead to new application designs that are far more resilient to system crashes. The project will produce a file system component support library and an array of components, as well as several sample applications, including some designed for classroom use. All of the code will be freely and widely distributed.

现代计算机操作系统包含数百万行性能关键代码，其中大部分与硬件紧密耦合，其中大多数错误都可以扩展为安全漏洞，并且其行为从根本上影响其托管的每个应用程序。 因此，在本发明中， 操作系统本身就很难编程，而且要正确使用非常重要，这就减缓了操作系统研究和开发的速度。 新的编程方法可以帮助打破这一僵局，导致系统更容易教，理解，编程和正确。 该研究计划为文件系统和磁盘存储开发了一种新的基于组件的设计。 它特别关注的是文件系统的一致性，这个过程确保磁盘包含正确格式的正确信息。 所有文件系统组件都使用更改描述符数据结构进行通信，这是软更新的一种概括，允许独立的文件系统和磁盘结构表达依赖关系。 更改描述符被导出到应用程序，允许它们实现以前无法表达的一致性策略。 由此产生的设计将使文件系统更容易开发，通过分解通用代码，通过一流的一致性支持提高存储系统的鲁棒性，并导致新的应用程序设计，更有弹性的系统崩溃。 该项目将生成一个文件系统组件支持库和一系列组件，以及几个示例应用程序，包括一些专为课堂使用而设计的应用程序。 所有的代码都将免费和广泛分发。