CSR: Small: Delegation Systems for Efficient and Safe Multi-Core Programming

CSR：小型：用于高效、安全多核编程的委派系统

• 批准号: 1816714
• 负责人: Jakob Eriksson
• 金额: $ 49.98万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-08-15 至 2022-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1816714&HistoricalAwards=false
• 关键词: CSR; Small; Delegation; Systems; Efficient

This project helps software on highly parallel (multi-core) computers access shared data structures more efficiently. The conventional approach is based on individual cores taking turns to access the data structure. However, every time the data structure changes hands there is a considerable slowdown, while other cores waste valuable time awaiting their turn. Delegation is an alternative approach. Here, a single core (server) is in charge of the data structure, and performs work as requested by other cores. Focusing on one job makes the server more efficient, often by far outweighing the costs of delegation, given a high-performance delegation design.The project is divided into three main tasks. First, delegation should theoretically be 10x faster than it is today, using current hardware. The project investigates what currently holds back delegation performance, and reaches for the fundamental performance limits of delegation. Second, delegation currently relies on some degree of hand-tuning of parameters to achieve peak throughput. The project investigates mechanisms to allow delegation to automatically adjust to current conditions, improving ease of use. Finally, delegation today is fundamentally client-server oriented. The project investigates whether a fully distributed model can achieve further gains, both theoretically and in practice. The aim of the project is to make delegation both extremely high-performing, and easy to use. If the project is successful, and if delegation as a result sees adoption among software developers, the result will be programs running considerably faster on the same hardware. This, in turn, reduces the amount of computing hardware required to perform the same amount of work, thereby reducing both equipment cost and electricity consumption. Software artifacts produced in the course of this project will be made publicly available on the research lab's github page: http://github.com/bitslab, where they will remain well beyond the project period.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目帮助高度并行（多核）计算机上的软件更有效地访问共享数据结构。 传统方法基于各个核心轮流访问数据结构。然而，每次数据结构易手时都会出现相当大的减速，而其他核心则浪费宝贵的时间来等待轮到他们。授权是一种替代方法。这里，单个核心（服务器）负责数据结构，并根据其他核心的请求执行工作。考虑到高性能的委派设计，专注于一项工作可以使服务器更加高效，通常远远超过委派的成本。该项目分为三个主要任务。首先，使用当前硬件，理论上委派速度应该比现在快 10 倍。该项目调查了当前阻碍委派性能的因素，并达到了委派的基本性能极限。其次，委托目前依赖于某种程度的手动调整参数来实现峰值吞吐量。该项目研究了允许授权自动调整以适应当前条件的机制，从而提高了易用性。最后，今天的委托基本上是面向客户端-服务器的。该项目研究完全分布式模型是否可以在理论上和实践中取得进一步的收益。该项目的目标是使委派性能极高且易于使用。如果该项目成功，并且软件开发人员采用授权，那么程序在相同硬件上的运行速度将显着提高。这反过来又减少了执行相同工作量所需的计算硬件数量，从而降低了设备成本和电力消耗。该项目过程中产生的软件工件将在研究实验室的 github 页面上公开提供：http://github.com/bitslab，它们将在项目期结束后保留​​很长一段时间。该奖项反映了 NSF 的法定使命，并已被通过使用基金会的智力优点和更广泛的影响审查标准进行评估，认为值得支持。

项目成果

Frequent background polling on a shared thread, using light-weight compiler interrupts

• DOI: 10.1145/3453483.3454107
• 发表时间: 2021-06
• 期刊: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• 作者: Nilanjana Basu;C. Montanari;Jakob Eriksson