Transactional Threads for Reliable Persistent Application Systems

可靠持久应用系统的事务线程

• 批准号: 9988637
• 负责人: Antony Hosking
• 金额: $ 21.5万
• 依托单位: Purdue Research Foundation
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9988637&HistoricalAwards=false
• 关键词: Transactional; Threads; Reliable; Persistent; Application

This project addresses two important high-level issues -- reliability and performance -- in the development of quality software components that store and manipulate persistent data, where that data may be shared and accessed concurrently on behalf of principals that may be acting either cooperatively or competitively. The objective of the research is to design, implement and evaluate techniques that allow application developers to compose the competitive concurrency model of traditional database systems, namely transactions, with the cooperative concurrency model of traditional programming languages - namely, threads -- without sacrificing performance. The resulting fusion, so-called transactional threads, encourages development of more reliable applications that manipulate large amounts of shared, structured data. This project is developing specifications and implementations of integrated compiler/run-time and data storage techniques that enable transactional threads to perform efficiently. These techniques are being evaluated experimentally through execution and measurement of benchmark transactional persistent programs. Concrete research products include the development of prototypes of transactional threads for persistent extensions of the Modula-3 and Java programming languages. The experimental approach to this research offers a rich environment for training of experimental computer science students, for further experimental research applications, and for development of reliable persistent application systems. http://www.cs.purdue.edu/~hosking

该项目解决了在开发存储和操作持久数据的高质量软件组件过程中的两个重要的高级问题——可靠性和性能，其中数据可以代表合作或竞争的主体同时共享和访问。该研究的目的是设计、实现和评估技术，使应用程序开发人员能够在不牺牲性能的情况下，将传统数据库系统的竞争并发模型（即事务）与传统编程语言的协作并发模型（即线程）组合起来。由此产生的融合，即所谓的事务线程，鼓励开发更可靠的应用程序来操作大量共享的结构化数据。该项目正在开发集成编译器/运行时和数据存储技术的规范和实现，使事务线程能够高效执行。这些技术正在通过基准事务持久性程序的执行和测量进行实验评估。具体的研究产品包括开发用于 Modula-3 和 Java 编程语言持久扩展的事务线程原型。这项研究的实验方法为实验计算机科学学生的培训、进一步的实验研究应用以及开发可靠的持久应用系统提供了丰富的环境。 http://www.cs.purdue.edu/~hosking