SHF: Small: Collaborative Research: Programming Interface And Runtime For Self-Tuning Scalable C/C++ Data Structures

SHF：小型：协作研究：自调整可扩展 C/C 数据结构的编程接口和运行时

• 批准号: 1261584
• 负责人: Qing Yi
• 金额: $ 25万
• 依托单位: University of Colorado at Colorado Springs
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-08-13 至 2018-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1261584&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Programming

A key challenge in developing multi-threaded applications on modern architectures is correctly synchronizing data shared among the threads while avoiding excessive performance penalties. Unsafe low-level synchronization mechanisms can easily introduce errors (e.g. race conditions and deadlock) that are extremely difficult to debug. At the same time, application performance and scalability are frequently compromised due to inefficient implementations of synchronous operations on shared data. This research develops a library of highly concurrent scalable data containers with associated programming interface and optimization support to significantly enhance the productivity and performance of multi-threaded C/C++ applications on multicore architectures. The library provides an easy to use and composable interface similar to that of C++ Standard Template Library (STL) and enhances each container type with internal support for non-blocking synchronization of their data accesses, thereby providing better safety and performance than traditional blocking synchronization by eliminating hazards such as deadlock, livelock, and priority inversion, and by being highly scalable in supporting large numbers of threads. A higher level programming interface, similar to that of OpenMP, is supported by a preprocessing compiler associated with the runtime to ease the transition of existing sequential or multi-threaded C/C++ applications to using the non-blocking synchronous template library and to provide optimization and tuning support for the use of the library abstractions. The developed deliverables are expected to demonstrate a seamless integration of developer input, compiler optimization, and multicore runtimes to support systematic migration of C/C++ applications to continuously evolving architectures. The scalable template library and the associated programming interface and tuning support is expected to provide an immense productivity and performance boost for developers of high-end scientific and systems applications, including branch and bound, graph analysis, complex scene rendering, and goal propagation in autonomous embedded systems. The developed programming techniques and tools can enable the transformation of such applications into software that is substantially more reliable, efficient, and scalable than existing state of the art. The software techniques is also expected to be employed as an educational toolkit in the teaching of programming languages, compilers, systems software, and parallel programming courses.

在现代体系结构上开发多线程应用程序的一个关键挑战是正确同步线程之间共享的数据，同时避免过度的性能损失。不安全的低级别同步机制很容易引入非常难以调试的错误（例如争用条件和死锁）。与此同时，由于对共享数据的同步操作实现效率低下，应用程序性能和可伸缩性经常受到影响。 本研究开发了一个具有相关编程接口和优化支持的高并发可扩展数据容器库，以显着提高多核架构上多线程C/C++应用程序的生产力和性能。该库提供了类似于C++标准模板库（STL）的易于使用且可组合的接口，并通过对其数据访问的非阻塞同步的内部支持来增强每个容器类型，从而提供比传统的更好的安全性和性能通过消除死锁、活锁和优先级反转等危险，以及通过在支持大量线程方面的高度可伸缩性。类似于OpenMP的更高级别编程接口，由与运行时相关联的预处理编译器支持，以简化现有顺序或多线程C/C++应用到使用非阻塞同步模板库的转换，并为库抽象的使用提供优化和调优支持。预计开发的交付成果将展示开发人员输入、编译器优化和多核运行时的无缝集成，以支持C/C++应用程序向不断发展的体系结构的系统迁移。可扩展的模板库和相关的编程接口和调优支持有望为高端科学和系统应用程序的开发人员提供巨大的生产力和性能提升，包括自主嵌入式系统中的分支和界限、图形分析、复杂场景渲染和目标传播。开发的编程技术和工具，可以使这些应用程序转换成软件，大大更可靠，更有效，和可扩展性比现有的最先进的软件技术，预计也将作为一个教育工具包，在编程语言，编译器，系统软件和并行编程课程的教学。