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