CSR-PDOS : Safe at Any Speed: Safe and Fast Distributed Applications

该项目包括开发快速，正确的分布式应用程序的技术和工具。 有两个方面是新颖的。 首先，静态地分析用这些技术开发的应用程序模块在并行执行时的潜在冲突。 可能发生冲突的模块将被序列化以避免错误。 其次，应用程序在运行时被透明地监视，以显示保守的串行化在哪里过度地减慢了应用程序的速度。构建并发系统的传统方法是编写模块的串行版本，然后考虑并发执行如何可能导致错误。每个潜在的问题都必须被适当地排除，然后应用程序才能在并发请求上安全地执行。 这个项目分析代码以保守地排除危险的交互，并在并发环境中安全地运行它。最终的安全应用程序可以使用开发人员今天用来确保安全性的相同技术来制造。 例如，可以使用锁来使两段代码安全地并发执行。 虽然静态分析允许开发人员了解模块可能发生冲突的地方，但该项目的第二部分，并发应用程序的透明监控，帮助开发人员将注意力集中在实践中发生争议的领域。该项目的技术将允许开发大型并发应用程序，而不会出现通常由并行计算引入的错误。 随着我们使用的越来越多的软件在中心站点上运行，为数千名用户进行多路复用，这些担忧正在增长。 我们的技术将在系统和语言会议上以论文的形式传播，并作为展示其实用性的软件工件。

This project consists of techniques and tools for developing fast,correct distributed applications. Two aspects are novel. First,application modules developed with these techniques are staticallyanalyzed for potential conflicts when executed in parallel. Modulesthat may conflict are serialized to avoid errors. Second,applications are transparently monitored at run-time to show whereconservative serialization has unduly slowed the application.The traditional approach to building concurrent systems is to writethe serial version of a module and then consider how concurrentexecutions might cause errors. Each potential problem must besynchronized appropriately before the application may be executedsafely on concurrent requests. This project analyzes code toconservatively preclude dangerous interactions and run it safely in aconcurrent environment. The resulting safe application can be madefaster using the same techniques that developers use today to ensuresafety. For example, locks can be employed to make two segments ofcode safe for concurrent execution. Although static analysis allowsdevelopers to learn where modules may conflict, the second piece ofthis project, transparent monitoring of concurrent applications, helpsdevelopers focus their attention on areas of contention that occur inpractice.This project's techniques will allow large, concurrent applications tobe developed without the bugs normally introduced by parallelcomputation. As more of the software we use runs on central sites,multiplexed for thousands of users, these concerns are growing. Ourtechniques will be disseminated as papers at systems and languagesconferences, and as software artifacts that demonstrate their utility.