SHF: Small: Commodity Processors with Mainframe Reliability
SHF:小型:具有大型机可靠性的商品处理器
基本信息
- 批准号:1115367
- 负责人:
- 金额:$ 42万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2011
- 资助国家:美国
- 起止时间:2011-07-01 至 2015-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The goal of this project is to create multicore computer processorswith near-mainframe reliability at commodity costs, where the primarycosts are additional hardware and additional power consumption. Shouldthis project achieve these goals, it would transform computing.Reliable processors would no longer be a niche product; instead, theywould be the commodity products used in desktops, laptops,smartphones, etc.The research thrusts in this project include error detection, errorrecovery, diagnosis of permanent faults, and self-repair fortolerating permanent faults. The end result of this project will be ahardware prototype of a low-cost, reliable multicore processor.Building an artifact is a vital part of this project for tworeasons. First, a primary project goal is to keep power and area costslow, and these costs cannot be accurately determined using high-levelsimulation. Second, to transfer this technology to industry andtransform the industry, the chip makers must be convinced that thesolutions are viable. Chip makers have historically beenhesitant to accept ideas that have not been built, not least becauseimportant issues can be hidden in a high-level simulator.
该项目的目标是以商品成本创建具有接近大型机可靠性的多核计算机处理器,其中主要成本是额外的硬件和额外的功耗。如果这个项目实现这些目标,它将改变计算。可靠的处理器将不再是一个利基产品;相反,它们将是台式机、笔记本电脑、智能手机等中使用的商品。该项目的研究重点包括错误检测、错误恢复、永久性故障诊断以及容忍永久性故障的自我修复。 该项目的最终结果将是低成本、可靠的多核处理器的硬件原型。出于两个原因,构建工件是该项目的重要组成部分。首先,项目的主要目标是保持较低的电力和面积成本,而这些成本无法使用高级模拟来准确确定。其次,为了将这项技术转移到行业并改变行业,芯片制造商必须相信这些解决方案是可行的。 芯片制造商历来对接受尚未实现的想法犹豫不决,尤其是因为重要的问题可能隐藏在高级模拟器中。
项目成果
期刊论文数量(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 }}
Daniel Sorin其他文献
Rigorous Evaluation of Computer Processors with Statistical Model Checking
通过统计模型检查对计算机处理器进行严格评估
- DOI:
10.1145/3613424.3623785 - 发表时间:
2023-10-28 - 期刊:
- 影响因子:0
- 作者:
Filip Mazurek;Arya Tsch;Yu Wang;Miroslav Pajic;Daniel Sorin - 通讯作者:
Daniel Sorin
Daniel Sorin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Daniel Sorin', 18)}}的其他基金
SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
SHF:小型:通过统计模型检查转变计算机架构评估
- 批准号:
2133160 - 财政年份:2021
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF: Small: Automatic Generation of Cache Coherent Memory Systems for Multicore Processors
SHF:小型:自动生成多核处理器的缓存一致性内存系统
- 批准号:
2002737 - 财政年份:2020
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF:Small:Designing Architectures to be Formally Verifiable
SHF:Small:设计可形式验证的架构
- 批准号:
1421167 - 财政年份:2014
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF: Small: Using Coding Theory to Optimize the Representation of Information in Computer Architecture
SHF:小:利用编码理论优化计算机体系结构中的信息表示
- 批准号:
1421177 - 财政年份:2014
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology
SHF:EAGER:FIESTA:完善的多程序工作负载方法
- 批准号:
1259028 - 财政年份:2012
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF: Small: Shared Memory Architectures and Microarchitectures for Heterogeneous General-Purpose Chips
SHF:小型:异构通用芯片的共享内存架构和微架构
- 批准号:
1216695 - 财政年份:2012
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
SHF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology
SHF:EAGER:FIESTA:完善的多程序工作负载方法
- 批准号:
1012008 - 财政年份:2010
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
CPA-CSA: Verification-Aware Microarchitecture
CPA-CSA:验证感知微架构
- 批准号:
0811290 - 财政年份:2008
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation
职业:通过动态验证和自主操作提高多处理器可用性
- 批准号:
0444516 - 财政年份:2005
- 资助金额:
$ 42万 - 项目类别:
Continuing Grant
FaultFinder: Improving the Availability of Multiprocessor Servers
FaultFinder:提高多处理器服务器的可用性
- 批准号:
0309164 - 财政年份:2003
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
相似国自然基金
小分子代谢物Catechin与TRPV1相互作用激活外周感觉神经元介导尿毒症瘙痒的机制研究
- 批准号:82371229
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
DHEA抑制小胶质细胞Fis1乳酸化修饰减轻POCD的机制
- 批准号:82301369
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
异常激活的小胶质细胞通过上调CTSS抑制微血管特异性因子MFSD2A表达促进1型糖尿病视网膜病变的免疫学机制研究
- 批准号:82370827
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
SETDB1调控小胶质细胞功能及参与阿尔茨海默病发病机制的研究
- 批准号:82371419
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
PTBP1驱动H4K12la/BRD4/HIF1α复合物-PKM2正反馈环路促进非小细胞肺癌糖代谢重编程的机制研究及治疗方案探索
- 批准号:82303616
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
A Research on the Demand Chain Creation and Social Responsibility of Retailers
零售商需求链创建与社会责任研究
- 批准号:
23K01604 - 财政年份:2023
- 资助金额:
$ 42万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
洋式消費財産業の展開とアジア間貿易圏――「中小商工業者」の政治経済的役割
西式消费品工业和亚洲贸易集团的发展:“中小企业主”的政治和经济角色
- 批准号:
22K01614 - 财政年份:2022
- 资助金额:
$ 42万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CNS Core: Small: A Split Software Architecture for Enabling High-Quality Mixed Reality on Commodity Mobile Devices
CNS 核心:小型:用于在商用移动设备上实现高质量混合现实的分离式软件架构
- 批准号:
2112778 - 财政年份:2021
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
CSR: Small: Repurposing Spatial Memory Safety Support in Commodity Processors for Temporal Memory Safety, Other Program Analyses, Hardware-Accelerated Data Structures, and More
CSR:小:重新利用商品处理器中的空间内存安全支持,以实现临时内存安全、其他程序分析、硬件加速数据结构等
- 批准号:
2029720 - 财政年份:2020
- 资助金额:
$ 42万 - 项目类别:
Standard Grant
Impacts of standardization by food certification systems on agri-food industry
食品认证体系标准化对农产品行业的影响
- 批准号:
20K06272 - 财政年份:2020
- 资助金额:
$ 42万 - 项目类别:
Grant-in-Aid for Scientific Research (C)