SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support
SHF:小:内存一致性——硬件、编译器和编程支持
基本信息
- 批准号:1318103
- 负责人:
- 金额:$ 45万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2013
- 资助国家:美国
- 起止时间:2013-09-01 至 2017-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The advent of multicore machines has enabled delivery of high performance via parallelism for a wide range of applications. While such machines have become ubiquitous, they pose significant challenges for software developers. One challenge is dealing with the relaxed memory consistency models supported by commercial multicore machines. Simultaneously delivering high performance and ensuring program correctness requires careful introduction of fence instructions in the code. Excessive use of fence instructions leads to poor performance while their omission of can lead to incorrect program behavior.This research will investigate means for constraining the scope of a fence instruction to minimize its impact on performance while preserving desired program behavior. In existing systems the hardware is unaware of the scope and hence fence implementations enforce a strict ordering of memory accesses across a fence that leads to unnecessary stalls. Alternative means for inferring the scope information will be developed for constraining the memory orderings enforced by the hardware. In particular, development of hardware, compiler, and programming support will be carried out. The software and hardware techniques developed in this research will be made available so other researchers are able to experiment with them. The subject of research is relevant to commercial processor manufacturers. The students involved in this research will receive valuable training in the design and programming of multicore systems.
多核机器的出现使得通过并行为广泛的应用程序提供高性能成为可能。虽然这样的机器已经变得无处不在,但它们给软件开发人员带来了巨大的挑战。其中一个挑战是处理商业多核机器支持的宽松内存一致性模型。在提供高性能和确保程序正确性的同时,需要在代码中仔细引入防护指令。过度使用围栏指令会导致性能下降,而忽略围栏指令会导致不正确的程序行为。本研究将研究限制围栏指令范围的方法,以最大限度地减少其对性能的影响,同时保留所需的程序行为。在现有系统中,硬件不知道作用域,因此栅栏实现对跨越栅栏的内存访问强制严格排序,从而导致不必要的停顿。将开发用于推断作用域信息的替代手段,以约束由硬件实施的存储器排序。特别是,将进行硬件、编译器和编程支持的开发。在这项研究中开发的软件和硬件技术将可用,以便其他研究人员能够进行实验。研究的主题与商业处理器制造商有关。参与这项研究的学生将在多核系统的设计和编程方面接受宝贵的培训。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Rajiv Gupta其他文献
Optimistic Parallelism on GPUs
GPU 上的乐观并行性
- DOI:
10.1007/978-3-319-17473-0_1 - 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Min Feng;Rajiv Gupta;L. Bhuyan - 通讯作者:
L. Bhuyan
Intracerebral Hemorrhage Segmentation on Noncontrast Computed Tomography Using a Masked Loss Function U-Net Approach
使用掩蔽损失函数 U-Net 方法进行非对比计算机断层扫描脑出血分割
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:1.3
- 作者:
N. A. Coorens;Kevin Groot Lipman;S. Krishnam;C. Tan;L. Alic;Rajiv Gupta - 通讯作者:
Rajiv Gupta
GARIS が拓く新元素の化学
GARIS开发的新元素化学
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Naoki Sunaguchi;Tetsuya Yuasa;Shin-ichi Hirano;Rajiv Gupta;Masami Ando;羽場宏光 - 通讯作者:
羽場宏光
Dynamic coalescing for 16-bit instructions
16 位指令的动态合并
- DOI:
- 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
A. Krishnaswamy;Rajiv Gupta - 通讯作者:
Rajiv Gupta
Wolbachia: The selfish Trojan Horse in dengue control.
沃尔巴克氏体:登革热控制中的自私特洛伊木马。
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
M. Mustafa;Vikas Rastogi;Rajiv Gupta;S. Jain;P.M.P. Singh;Anu Gupta - 通讯作者:
Anu Gupta
Rajiv Gupta的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Rajiv Gupta', 18)}}的其他基金
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data Structures
SHF:小型:CT-DDS——具有共享动态数据结构的并行应用程序的可扩展 Concolic 测试
- 批准号:
2226448 - 财政年份:2022
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: MIGS -- Efficiently Evaluating Multiple Iterative Graph Queries
SHF:小型:MIGS——高效评估多个迭代图查询
- 批准号:
2002554 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
PPoSS: Planning: Dynamic Big Graph Store for High-Throughput and Secure Distributed Query Processing
PPoSS:规划:用于高吞吐量和安全分布式查询处理的动态大图存储
- 批准号:
2028714 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
TWC:小:协作:通过动态切片提高 Android 安全性
- 批准号:
1617424 - 财政年份:2016
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Transformations for Synergistic Analysis of Large Evolving Graphs
SHF:小型:大型演化图协同分析的变换
- 批准号:
1524852 - 财政年份:2015
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Medium: Programmable Monitoring Framework for Multicore Systems
SHF:中:多核系统的可编程监控框架
- 批准号:
0963996 - 财政年份:2010
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
ExPert: dynamic analysis based fault location via Execution Perturbations
ExPert:通过执行扰动进行基于动态分析的故障定位
- 批准号:
0810906 - 财政年份:2008
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
CRI:IAD 用于生成、存储和分析程序执行跟踪的高级基础设施
- 批准号:
0708199 - 财政年份:2007
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
CSR-AES-RCS:多线程程序中可扩展且高效的动态信息流跟踪
- 批准号:
0751961 - 财政年份:2007
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
CSR-AES-RCS:多线程程序中可扩展且高效的动态信息流跟踪
- 批准号:
0719791 - 财政年份:2007
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
- 批准号:
2400014 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
- 批准号:
2332891 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Redesigning the Memory System in the Era of Compute Express Link
SHF:小型:重新设计 Compute Express Link 时代的内存系统
- 批准号:
2333049 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Architecting the COSMOS:A Combined System of Optical Phase Change Memory and Optical Links
SHF:小型:构建 COSMOS:光学相变存储器和光学链路的组合系统
- 批准号:
2131127 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Reliable Storage and Computation in Memory Technologies
SHF:小型:内存技术中的可靠存储和计算
- 批准号:
2113914 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: PMChecker: Tool Support for Crash-Consistent Persistent Memory Programs
SHF:小型:PMChecker:对崩溃一致持久内存程序的工具支持
- 批准号:
2102940 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Optimization of Memory Architectures: A Foundation Approach
合作研究:SHF:小型:内存架构优化:基础方法
- 批准号:
2008000 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Development of Differentiable Memory Augmented Neural CPU Architecture for Cognitive Computing
SHF:小型:用于认知计算的可微内存增强神经 CPU 架构的开发
- 批准号:
2008906 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Automatic Generation of Cache Coherent Memory Systems for Multicore Processors
SHF:小型:自动生成多核处理器的缓存一致性内存系统
- 批准号:
2002737 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Optimization of Memory Architectures: A Foundation Approach
合作研究:SHF:小型:内存架构优化:基础方法
- 批准号:
2008907 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant