CAREER: Transparent Support for Efficient, Wait-Free Transactions in Shared-Memory Multiprocessors

多处理器计算机系统的使用在科学和数值计算中越来越普遍。在开发多处理器系统的应用程序时，在协调对共享数据的并发访问方面出现了新的挑战。 传统上，这是通过锁定来实现的，锁定通常会限制并行性，并且还可能导致性能瓶颈，因为延迟的进程可能会导致其他进程等待。 这项工作的目的是消除锁定从多处理器应用程序通过使用透明的，无等待的实现用户提供的事务，确保延迟的进程永远不会导致其他人等待。在这个项目中，无等待的实现将被设计为自动解决并发事务之间的冲突，并利用非冲突事务之间的并行性。 将通过模拟和应用研究它们的性能。最后，将在几个系统上开发应用程序代码的无缝接口。 该项目的教育计划侧重于将并发编程的研究和教育相结合。这项研究将为在多处理器系统中开发高效的应用程序提供新的工具。这些工具将在并发编程的未来课程中使用。 ***

The use of multiprocessor computer systems is increasingly common in scientific and numeric computing. In developing applications for multiprocessor systems, new challenges arise in coordinating concurrent accesses to shared data. This is traditionally achieved through locking, which often restricts parallelism, and can also cause performance bottlenecks because delayed processes can cause others to wait. This work aims to eliminate locking from multiprocessor applications through the use of transparent, wait-free implementations of user-supplied transactions, which ensure that delayed processes never cause others to wait. In this project, wait-free implementations will be designed that automatically resolve conflicts between concurrent transactions, and exploit parallelism between nonconflicting transactions. Their performance will be studied through simulation and applications. Finally, a seamless interface for application code will be developed on several systems. The education plan of this project focuses on integrating research and education in concurrent programming. This research will provide new tools for developing efficient applications in multiprocessor systems. These tools will be used in some of the future courses in concurrent programming. ***