CPA-SEL: Collaborative Research: Trace-Driven Verification of Multithreaded Software

CPA-SEL:协作研究:多线程软件的跟踪驱动验证

基本信息

项目摘要

CCF-0811287/CCF-0810865Collaborative Research: Trace-Driven Verification of Multithreaded SoftwareZijiang Yang and Karem SakallahThe ever increasing use of hyper-threading and the availability of inexpensive multiprocessor hardware present tremendous opportunities as well as serious challenges for software developers. In order for software applications to benefit from the continued exponential throughput advances in multicore processors, the applications must be well-written multithreaded software programs. Unfortunately, writing multithreaded software programs that can unleash the full potential of present and future hardware systems remains as challenging today as it was thirty years ago. This research aims to develop practical tools and methodologies that can bring down the complexity of testing/debugging multithreaded programs to a level comparable to that of testing/debugging sequential programs. To this end, existing debugging tools have to be enhanced with powerful reasoning engines that allow them to implicitly analyze all possible thread interleavings under the specified test inputs. During the course of this project a variety of approaches to achieve this objective will be investigated, including some novel ideas that seem particularly promising from a preliminary analysis: (1) efficient symbolic encoding of multithreaded programs, (2) trace-driven abstraction and refinement of their execution, and (3) performance enhancement techniques that allow this approach to scale to realistic program sizes.
CCF-0811287/CCF-0810865协作研究:多线程软件的跟踪驱动验证杨子江和Karem Sakallah超线程的使用越来越多,廉价的多处理器硬件的可用性为软件开发人员带来了巨大的机遇和严峻的挑战。为了使软件应用程序受益于多核处理器中持续的指数吞吐量增长,应用程序必须是编写良好的多线程软件程序。不幸的是,编写能够释放当前和未来硬件系统全部潜力的多线程软件程序在今天仍然像30年前一样具有挑战性。本研究的目的是开发实用的工具和方法,可以降低测试/调试多线程程序的复杂性的水平相媲美的测试/调试顺序程序。为此,现有的调试工具必须增强强大的推理引擎,使他们能够隐式地分析所有可能的线程交织在指定的测试输入。在这个项目的过程中,各种方法来实现这一目标将进行调查,包括一些新的想法,似乎特别有前途的初步分析:(1)有效的符号编码的多线程程序,(2)跟踪驱动的抽象和细化其执行,(3)性能增强技术,使这种方法扩展到现实的程序大小。

项目成果

期刊论文数量(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 }}

Karem Sakallah其他文献

Karem Sakallah的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Karem Sakallah', 18)}}的其他基金

Contextual Investigation of Constraint-Based Dynamic Scheduling
基于约束的动态调度的情境研究
  • 批准号:
    0705103
  • 财政年份:
    2007
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
ITR: Scalable Algorithms Enabled by Problem Structure and Applications to Computer Hardware
ITR:通过问题结构和计算机硬件应用实现的可扩展算法
  • 批准号:
    0205288
  • 财政年份:
    2002
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
An Investigation of Boolean Approaches to Physical Design Problems
物理设计问题的布尔方法研究
  • 批准号:
    9971142
  • 财政年份:
    1999
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
Timing Issues in the Design of Digital Systems
数字系统设计中的时序问题
  • 批准号:
    9404632
  • 财政年份:
    1994
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
Timing Verification and Optimal Clocking of Latch-Controlled Synchronous Digital Circuits
锁存器控制同步数字电路的时序验证和最佳时钟
  • 批准号:
    9014058
  • 财政年份:
    1991
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant

相似国自然基金

C19ORF18通过抑制SEL1L-HRD1 ERAD功能 激活IRE1α在肝脏脂代谢紊乱中的作用 及机制
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
刺参METTL3靶向内质网相关降解蛋白SEL1L激活体腔细胞凋亡的分子机制
  • 批准号:
    LY23C190003
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于Sel1L探讨ERAD在泌乳调节中的作用与机制
  • 批准号:
    82301824
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
内质网相关降解关键因子Sel1L调控CD8+T细胞稳态及免疫应答机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    53 万元
  • 项目类别:
    面上项目
胰岛素抵抗通过Sel1l-Hrd1介导的内质网相关蛋白降解途径引起神经元线粒体功能异常的机制研究
  • 批准号:
    82270850
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
内质网膜接头蛋白Sel1L在巨噬细胞中的作用及其病理意义研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    58 万元
  • 项目类别:
    面上项目
SEL1L-CNX-FUNDC1轴诱导选择性自噬障碍在黑素细胞氧化损伤中的机制研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    55 万元
  • 项目类别:
    面上项目
内质网接头蛋白Sel1L调控CD4+T细胞分化的机制及在EAE疾病发生中的作用
  • 批准号:
    81871234
  • 批准年份:
    2018
  • 资助金额:
    57.0 万元
  • 项目类别:
    面上项目
Sel1L缺失对肝脏线粒体活性氧及脂质代谢平衡的影响研究
  • 批准号:
    31501154
  • 批准年份:
    2015
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
宿主肝细胞内SEL1L基因对乙型肝炎病毒复制的调控机制以及miRNA-125b对SEL1L基因表达的表观遗传学修饰
  • 批准号:
    81471933
  • 批准年份:
    2014
  • 资助金额:
    63.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
  • 批准号:
    1010568
  • 财政年份:
    2009
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
CPA-SEL-T: Collaborative Research: Traceability+: a Service Oriented Framework to Support Value-Added Software Traceability
CPA-SEL-T:协作研究:可追溯性:支持增值软件可追溯性的面向服务的框架
  • 批准号:
    0811021
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
  • 批准号:
    0811419
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
CPA-SEL-T:协作研究:统一开源事务基础设施
  • 批准号:
    0811405
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
Collaborative Research: CPA-SEL : Implementation Techniques for High- level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
  • 批准号:
    0811389
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
CPA-SEL-T:协作研究:统一开源事务基础设施
  • 批准号:
    0811631
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
CPA-SEL-T: Collaborative Research: Traceability+: a Service Oriented Framework to Support Value-Added Software Traceability
CPA-SEL-T:协作研究:可追溯性:支持增值软件可追溯性的面向服务的框架
  • 批准号:
    0810924
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Continuing Grant
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software
CPA-SEL:协作研究 - 不断取得验证软件的进展
  • 批准号:
    0811748
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
CPA-SEL: Collaborative Research: Trace-Driven Verification of Multithreaded Software
CPA-SEL:协作研究:多线程软件的跟踪驱动验证
  • 批准号:
    0811287
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software
CPA-SEL:协作研究 - 不断取得验证软件的进展
  • 批准号:
    0811737
  • 财政年份:
    2008
  • 资助金额:
    $ 22.4万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了