CSR: Small: Using Thread-Local Memory Mapping to Support Memory Abstractions for Dynamic Multithreading

CSR：小：使用线程本地内存映射支持动态多线程的内存抽象

基本信息

批准号：
1017058
负责人：
Charles Leiserson
金额：
$ 50万
依托单位：
Massachusetts Institute of Technology
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2010
资助国家：
美国
起止时间：
2010-08-01 至 2013-07-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1017058&HistoricalAwards=false
关键词：
CSR Small Using Thread Local

项目摘要

Dynamic multithreading has emerged as a dominant paradigm for simplifying the programming of parallel applications on shared-memory multicore processors. Concurrency platforms incorporating dynamic multithreading provide memory abstractions, such as cactus stacks and hyperobjects, which make many parallel programming chores more like ordinary serial programming. Unfortunately, the overhead of these memory abstractions limits the contexts in which they can be effectively used. This project is exploring how thread-local memory mapping (TLMM) can be used to provide low-overhead support for memory abstractions. TLMM is a novel operating-system feature that allows different pthreads to map a region of an otherwise shared virtual-address space independently. The researchers are building a robust TLMM-Linux and a fully functional prototype of a concurrency platform, called Cilk-M, which includes a portable compiler, an efficient implementation of a runtime scheduler, and implementations of cactus stacks and hyperobjects. They are also engaged in programming and measuring application benchmarks, such as Boolean satisfiability, to understand how the memory abstractions might be optimized and what new memory abstractions might be invented to simplify dynamic multithreaded programming. Finally, they are studying the Cilk-M technology to understand its theoretical properties and investigating how operating systems and hardware might better facilitate the implementation of memory abstractions.

动态多线程已成为一种主要的范式，用于简化共享记忆多核心处理器上并行应用程序的编程。包含动态多线程的并发平台提供了内存抽象，例如仙人掌堆栈和高对象，这使许多并行编程的琐事更像是普通的串行编程。不幸的是，这些内存抽象的开销限制了可以有效使用它们的上下文。该项目正在探索如何使用线程本地内存映射（TLMM）来为内存抽象提供低空支持。 TLMM是一种新颖的操作系统功能，它允许不同的PTHREADS独立绘制一个原本共享的虚拟地址空间的区域。研究人员正在构建强大的TLMM-Linux和一个称为CILK-M的并发平台的功能齐全的原型，该平台包括便携式编译器，有效的运行时间调度程序的实现以及仙人掌堆栈的实现和实现。他们还参与编程和测量应用基准（例如布尔值满意度），以了解如何优化内存抽象以及可以发明哪些新的内存摘要来简化动态多线程编程。最后，他们正在研究CILK-M技术，以了解其理论属性，并研究操作系统和硬件如何更好地促进记忆抽象的实施。