EAGER: Foundations of Data-Centric Concurrency Control

这个项目调查的基础方面的替代方法的规范，实施和管理的并发活动，这是被称为数据为中心的同步。 传统的方法采取并发控制的操作视图，它们使程序员需要识别程序中的控制流路径集，这些路径必须不相互干扰。这已经被证明是很难得到正确的，而且往往会抑制多核系统的可伸缩性，因为代码过度同步。 这个EAGER项目探索了以数据为中心的同步的基础，重点是建立一个基于所有权类型概念的类型理论基础。 所有权类型为程序员提供了一个简单的符号，用于描述基于堆的数据结构的形状和范围。 因此，所有权类型系统可以被看作是指定必须同步操作的数据项组的基本机制。

This project investigates the foundational aspects of an alternative approach to the specification, implementation and management of concurrent activities which is referred to as data-centric synchronization. Traditional approaches take an operational view of concurrency control, they burden the programmer with the need to identify sets of control flow paths in their program which must not interfere. This has been shown to be difficult to get right and, more often than not, to inhibit scalability to multicore systems as the code is over-synchronized. This EAGER project explores the foundations of data-centric synchronization with an emphasis on establishing a type theoretic foundation based on the notion of ownership types. Ownership types give programmers a simple notation for describing the shape and extent of heap-based data structures. Thus an ownership type system can be seen as the basic mechanism for specifying the groups of data items that must be manipulated synchronously.