AF:Small: Foundations of Transactional Memory Scheduling

多核计算机架构提供了前所未有的性能优势，并为并发计算的有效同步提出了新的挑战。事务内存是一种重要的编程模型，它简化了共享内存访问的同步，并避免了细粒度锁定机制的复杂性。存储器事务表示需要由计算线程原子地执行的（读/写）共享存储器操作的序列。一个事务要么提交，要么在与并发访问相同共享资源的其他事务发生冲突时中止。这个项目的目的是设计，开发和分析争用管理器，在各种系统中有效地调度内存事务。我们的目标是提供具有可证明的正式性能保证，并在同一时间是实际有效的，从而弥合理论和实践之间的差距，目前出现在literature.The项目认为广泛的分布式系统，包括紧耦合系统，如多核处理器，和更大规模的系统，如分布式网络处理器。其中一个主要目标是提供调度算法的规模优雅的各种系统的大小和复杂性。为了实现这一目标，这项工作提出了新的分析技术，以获得良好的正式界限与适当的性能指标，并在真实的世界的工作负载进行实验评估，以获得良好的性能在实际情况下。该项目为研究事务内存系统的性能奠定了基础，并为研究界提供了分析工具，以充分挖掘事务内存的潜力。拟议的研究影响了更大的计算社区，因为它影响了广泛使用的分布式和多核系统上运行的分布式和并行程序的效率。

Multi-core computer architectures offer unprecedented performance benefits and present new challenges for the efficient synchronization of concurrent computations. Transactional memory is a prominent programming model that simplifies the synchronization of shared memory accesses, and avoids the complications of fine-grained locking mechanisms. A memory transaction represents a sequence of (read/write) shared memory operations that need to be performed atomically by a computation thread. A transaction either commits, or aborts in case of conflicts with other transactions that concurrently access the same shared resources. This project aims to design, develop, and analyze contention managers that schedule efficiently memory transactions in a variety of systems. The goal is to provide schedulers that have provable formal performance guarantees and at the same time are practically efficient; thus, bridging the gap between theory and practice that currently appears in the literature.The project considers a wide range of distributed systems, including tightly-coupled systems such as multi-core processors, and larger scale systems such as distributed networked processors. One of the main objectives is to provide scheduling algorithms which scale gracefully with the various system sizes and complexities. In order to fulfill this objective, this work proposes new analytical techniques to obtain good formal bounds with appropriate performance metrics, and also conducts experimental evaluations in real world workloads to obtain good performance in practical scenarios. The project establishes foundations for investigating the performance of transactional memory systems, and also provides analytical tools to the research community for exploring transactional memory to its full potential. The proposed research impacts the larger computing community because it affects the efficiency of distributed and parallel programs running on widely used distributed and multi-core systems.