CAREER: Practical Language and System Support for Reliable Concurrent Software
职业:可靠并发软件的实用语言和系统支持
基本信息
- 批准号:1253703
- 负责人:
- 金额:$ 55.51万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2013
- 资助国家:美国
- 起止时间:2013-03-01 至 2019-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Over the past several decades, computer system performance has grown exponentially, enabling progress on key problems in science, engineering, health, and other areas. Owing to power, heat, and wire length limitations, however, microprocessors are now adding more, instead of faster, cores with each successive generation. As a result, general-purpose software must become more concurrent to see continued performance gains. Unfortunately, writing and debugging shared-memory concurrent software is notoriously difficult. A key problem is that most shared-memory programming languages and software systems do not provide good support for correct concurrent execution. They lack such support because all known approaches are impractical. This project aims to provide practical support for concurrency correctness in commodity systems. It develops low-overhead, software-only approaches that execute on existing commodity hardware. These approaches help programmers write and debug more reliable, scalable software, and to make software more reliable automatically by eliminating whole classes of errors. These benefits have the potential to enable society to continue to rely on software systems for increasingly complex, critical tasks. Furthermore, the project includes educational and outreach activities that help educate students in concurrent software systems, enhance dissemination of the ideas and outcomes, and broaden participation in computer science.The project develops practical, always-on dynamic checking and enforcement of key concurrency correctness properties: atomicity, sequential consistency, and multithreaded determinism. Existing approaches are impractical because custom hardware-based approaches are unrealistic, and software-based approaches slow programs unacceptably. The project builds on preliminary work on an efficient concurrency control mechanism that elides expensive synchronization from non-conflicting accesses, which are the vast majority of accesses. Developing new analyses and systems presents significant new challenges, both to apply the novel concurrency control mechanism and to make other aspects of these analyses and systems efficient enough for production systems. For example, precise conflict detection must track prior accesses and contend with imprecision inherent to the concurrency control mechanism. The project aims to make the analyses and systems both practical and flexible, which requires systematically investigating how to reduce the costs of conflicting and non-conflicting accesses. Expected contributions are the first practical always-on atomicity checker, the first practical multithreaded record & replay system, the first practical sequential consistency checker, and the first practical system providing multithreaded system determinism. In addition to broader impacts, the contributions have the potential to enable new research on efficient software-based analyses and systems that support concurrency correctness.
在过去的几十年里,计算机系统性能呈指数级增长,使科学,工程,健康和其他领域的关键问题取得了进展。然而,由于功率、热量和导线长度的限制,微处理器现在每一代都在增加更多而不是更快的内核。因此,通用软件必须变得更加并发,才能看到持续的性能提升。不幸的是,编写和调试共享内存并发软件是出了名的困难。一个关键的问题是,大多数共享内存编程语言和软件系统不提供正确的并发执行良好的支持。他们缺乏这样的支持,因为所有已知的方法都是不切实际的。该项目旨在为商品系统中的并发正确性提供实际支持。它开发了低开销,仅软件的方法,在现有的商品硬件上执行。这些方法帮助程序员编写和调试更可靠、可扩展的软件,并通过消除整个错误类别自动使软件更可靠。 这些好处有可能使社会继续依赖软件系统来完成日益复杂的关键任务。 此外,该项目包括教育和推广活动,帮助教育学生在并发软件系统,加强思想和成果的传播,并扩大参与计算机science.The项目开发实用的,永远在线的动态检查和关键并发正确性属性的执行:原子性,顺序一致性和多线程确定性。现有的方法是不切实际的,因为定制的基于硬件的方法是不现实的,基于软件的方法慢程序不可接受。 该项目建立在一个有效的并发控制机制,消除昂贵的同步从非冲突的访问,这是绝大多数访问的初步工作。 开发新的分析和系统提出了重大的新挑战,既要应用新的并发控制机制,又要使这些分析和系统的其他方面对生产系统足够有效。例如,精确的冲突检测必须跟踪先前的访问,并与并发控制机制固有的不精确性作斗争。该项目旨在使分析和系统既实用又灵活,这需要系统地研究如何减少冲突和非冲突访问的成本。预期的贡献是第一个实际的始终在线的原子性检查器,第一个实际的多线程记录重放系统,第一个实际的顺序一致性检查器,第一个实际的系统提供多线程系统确定性。除了更广泛的影响,这些贡献有可能使新的研究有效的基于软件的分析和系统,支持并发正确性。
项目成果
期刊论文数量(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 }}
Michael Bond其他文献
Review: Love and Sex with Robots by David Levy
- DOI:
10.1016/s0262-4079(07)62863-2 - 发表时间:
2007-11-10 - 期刊:
- 影响因子:
- 作者:
Michael Bond - 通讯作者:
Michael Bond
Where Are They Now? Attrition Rates of Emergency Medicine Residency Graduates by Gender
他们现在在哪里?按性别划分的急诊医学住院医师毕业生的流失率
- DOI:
10.1016/j.annemergmed.2024.09.017 - 发表时间:
2025-06-01 - 期刊:
- 影响因子:5.000
- 作者:
Nikita A. Salker;Andrea Fang;Michelle Lall;Michael Bond;Melissa White;Pooja Agrawal;Kinjal N. Sethuraman - 通讯作者:
Kinjal N. Sethuraman
Wednesday, September 26, 2018 7:35 AM–9:00 AM ePosters: P47. Evidence from the epidemiology, process and outcomes of spine oncology (EPOSO) cohort: surgical versus radiation therapy for the treatment of cervical metastases
- DOI:
10.1016/j.spinee.2018.06.585 - 发表时间:
2018-08-01 - 期刊:
- 影响因子:
- 作者:
Michael Bond;Anne Versteeg;Arjun Sahgal;Peter P. Varga;Daniel M. Sciubba;Michelle J. Clarke;Laurence D. Rhines;Stefano Boriani;Michael G. Fehlings;Paul M. Arnold;Charles G. Fisher - 通讯作者:
Charles G. Fisher
Review: The Most Dangerous Animal: Human nature and the origins of war
- DOI:
10.1016/s0262-4079(07)62220-9 - 发表时间:
2007-09-01 - 期刊:
- 影响因子:
- 作者:
Michael Bond - 通讯作者:
Michael Bond
The Glasgow Outcome Scale — 40 years of application and refinement
格拉斯哥结局量表——40 年的应用与完善
- DOI:
10.1038/nrneurol.2016.89 - 发表时间:
2016-07-15 - 期刊:
- 影响因子:33.100
- 作者:
Tom McMillan;Lindsay Wilson;Jennie Ponsford;Harvey Levin;Graham Teasdale;Michael Bond - 通讯作者:
Michael Bond
Michael Bond的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Bond', 18)}}的其他基金
CNS Core: Small: Rethinking High-Performance Persistent Transactions
CNS 核心:小型:重新思考高性能持久事务
- 批准号:
2106117 - 财政年份:2021
- 资助金额:
$ 55.51万 - 项目类别:
Standard Grant
XPS: FULL: Collaborative Research: Rethinking Architecture Support for Memory Consistency
XPS:完整:协作研究:重新思考对内存一致性的架构支持
- 批准号:
1629126 - 财政年份:2016
- 资助金额:
$ 55.51万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Hybrid Static-Dynamic Analyses for Region Serializability
SHF:小型:协作研究:区域可串行性的混合静态动态分析
- 批准号:
1421612 - 财政年份:2014
- 资助金额:
$ 55.51万 - 项目类别:
Standard Grant
CSR: Small: Making Software Transactional Memory More than a Research Toy
CSR:小:让软件事务内存不仅仅是一个研究玩具
- 批准号:
1218695 - 财政年份:2012
- 资助金额:
$ 55.51万 - 项目类别:
Standard Grant
相似海外基金
SHF: Small: Practical Dynamic Program Reasoning Across Language Boundaries
SHF:小:跨语言边界的实用动态程序推理
- 批准号:
2146233 - 财政年份:2022
- 资助金额:
$ 55.51万 - 项目类别:
Standard Grant
Practical research on foreign language education for cross-cultural understanding and exchange using video exchange system
利用视频交换系统促进跨文化理解与交流的外语教育实践研究
- 批准号:
21H00548 - 财政年份:2021
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Study on sustainable development of teacher's practical competency in Japanese language education for children
少儿日语教育教师实践能力可持续发展研究
- 批准号:
20K00735 - 财政年份:2020
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Practical Research on Implementing Proactive, Interactive, and Deep Learning through Project-based Language Teaching
项目式语言教学实施主动性、交互性、深度学习的实践研究
- 批准号:
20K00868 - 财政年份:2020
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Formation of practical knowledge of Japanese language education coordinators at universities, Japanese language schools, and local communities
大学、日语学校、地区社会的日语教育协调员的实践知识的形成
- 批准号:
19K00739 - 财政年份:2019
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Practical research for the construction of a Japanese language class model that fosters reflective and productive critical thinking skills.
构建日语课堂模型的实践研究,以培养反思性和富有成效的批判性思维能力。
- 批准号:
19K14208 - 财政年份:2019
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Effectiveness verification and practical support of Content and Language Integred Learning(CLIL) in Japanese language education aiming for peace
内容与语言整合学习(CLIL)在以和平为目标的日语教育中的有效性验证和实践支持
- 批准号:
18K00691 - 财政年份:2018
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Towards practical education in Thai as a foreign language : Building a written corpora for Japanese TFL learners
迈向泰语作为外语的实践教育:为日语 TFL 学习者构建书面语料库
- 批准号:
19K20787 - 财政年份:2018
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Practical Study of Programming Education Aiming Synergistic Effect between Block-Based and Text-Based Language
旨在实现块语言与文本语言协同效应的编程教育实践研究
- 批准号:
18K02921 - 财政年份:2018
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Elucidation of the Historical transition of the Japanese language by using practical documents: from the Medieval to Modern Era
用实用文献阐明日语的历史变迁:从中世纪到现代
- 批准号:
17K13463 - 财政年份:2017
- 资助金额:
$ 55.51万 - 项目类别:
Grant-in-Aid for Young Scientists (B)