SHF: Small: Precise Concurrency Exceptions: Architecture Support, Semantics and System Implications
SHF: Small: Precise Concurrency Exceptions: Architecture Support, Semantics and System Implications
批准号:
1016495
负责人:
Luis Ceze
金额:
$50.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-08-01 至 2014-07-31
中文摘要
如何普及并行编程是计算研究协会对系统社区的重大研究挑战之一。能够充分利用多核系统的潜力将使我们重新获得可用性能的指数增长,并带来显著的节能效果。促进多线程程序的正确和高效执行将在IT行业产生革命性的影响,因为它解决了多处理器系统中可编程性问题的核心问题。随着无处不在的多核和新兴的并行程序的出现,IT行业现在正在处理更困难的可靠性问题。并发错误是很难理解的,通常是非确定性的,并且在它们发生的时候就会显现出来。此外,它们还对编程语言语义有重大影响。最近关于并发调试支持的工作取得了很好的进展,但通常集中在具有概率保证的错误检测的尽力而为技术上。这项研究对这个问题采取了一种直接的方法:通过在错误显现之前提交异常来使并发错误失败-停止。换句话说,系统检测到并发错误即将发生,并将在允许执行出现错误的代码之前引发异常。调查人员称这种机制为并发例外。并发异常将允许像被零除和分段错误一样方便地处理并发错误。
英文摘要
How to popularize parallel programming is one of the Computing Research Association's Grand Research Challenges for the systems community. Being able to leverage the full potential of multi-core systems would put us back into exponential growth of usable performance, as well as lead to significant power savings. Facilitating correct and efficient execution of multithreaded programs would have a transformative effect in the IT industry, as it attacks a problem at the heart of the programmability issues in multiprocessor systems. With ubiquitous multicores and emerging parallel programs, the IT industry is now dealing with far harder reliability problems. Concurrency errors are hard to understand, are typically non-deterministic and manifest themselves way past the point of their occurrence. Moreover, they have major implications for programming language semantics. Recent work on support for concurrency debugging has made good progress, but has often focused on best-effort techniques for bug detection with probabilistic guarantees. This research takes a direct approach to the problem: making concurrency errors fail-stop by delivering an exception before the error manifests itself. In other words, the system detects that a concurrency error is about to happen and will raise an exception before the code with an error is allowed to execute. The investigators call this mechanism concurrency exceptions. Concurrency exceptions will allow concurrency errors to be handled as conveniently as division by zero and segmentation fault.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CCF: FET: Medium: A bio-electronic processor for molecular information systems
-
批准号:2212306
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2022
-
负责人:Luis Ceze
-
依托单位:
FET: Small: A closed-loop electronically automated platform for debugging synthetic biology
-
批准号:2006864
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2020
-
负责人:Luis Ceze
-
依托单位:
EAGER: Closed-loop Silicon-biomolecular Systems with Integrated Synthesis-fluidics-nanopore Interfaces
-
批准号:1841188
-
项目类别:Standard Grant
-
资助金额:$19.99万
-
财政年份:2018
-
负责人:Luis Ceze
-
依托单位:
SHF: Large: General-Purpose Approximate Computing Across the System Stack
-
批准号:1518703
-
项目类别:Continuing Grant
-
资助金额:$239.98万
-
财政年份:2015
-
负责人:Luis Ceze
-
依托单位:
Travel Support for the Conference on Architectural Support for Programming Languages and Operating Systems
-
批准号:1216358
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2012
-
负责人:Luis Ceze
-
依托单位:
SHF:Small:Disciplined Approximate Programming for Energy-Efficient Computing
-
批准号:1216611
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2012
-
负责人:Luis Ceze
-
依托单位:
Travel Support for the First Workshop on Deterministic Multiprocessing (WoDet)
-
批准号:0940512
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2009
-
负责人:Luis Ceze
-
依托单位:
CAREER: Deterministic Shared Memory Multiprocessing: Vision, Architecture, and Impact on Programmability
-
批准号:0846004
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Luis Ceze
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: