Transactional Threads for Reliable Persistent Application Systems

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

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