EAGER: Efficient Monitor-Based Synchronization Mechanisms for Concurrent Programs
EAGER:基于监视器的高效并发程序同步机制
基本信息
- 批准号:1346245
- 负责人:
- 金额:$ 16.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2013
- 资助国家:美国
- 起止时间:2013-09-01 至 2016-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Programming multicore processors is a challenging task due to bugs resultingfrom concurrency and synchronization. A fundamental reason for the difficultyis that current programming mechanisms require programmers to manuallycoordinate synchronization between threads running on these systems.Consequently, concurrent systems are prone to bugs due to faultysynchronization problems such as missing, wrong, or lost notifications forthreads. Moreover, these bugs are hard to find during testing because they mayappear only under a rare schedule of events. Current programming mechanismsalso limit the amount of concurrency in threads to ensure that a sharedvariable is not updated by multiple threads. As a result, many concurrentsystems slow down due to sequential bottleneck of accessing shared variables.This project is expected to fundamentally change the way synchronizationmechanisms (such as monitors) are written and implemented. It will lead tobetter understanding of how conditions in a multithreaded program can beevaluated efficiently. As a result, the concurrent programming systems willbecome more reliable and faster. The impact on society is expected to be largebecause all new systems are based on concurrent programs.The project is developing new synchronization mechanisms with two fundamentalgoals. The first goal is to make synchronization as simple and intuitive aspossible for programmers. Current (monitor based) synchronizationmechanisms require programmers to explicitly signal threads that may be waitingon certain conditions. In the synchronization mechanism developed in thisproject, there is no notion of condition variables and it is the responsibilityof the runtime system to automatically signal appropriate threads. Analogousto automatic garbage collection in Java, the project is designing efficientalgorithms and techniques for automatic signaling. The project isinvestigating techniques to deal with fairness and exploitation of runtimeinformation such as idle cores for effective and efficient automatic signaling.The second goal is to increase the concurrency in implementation of monitorwithout requiring programmers to do any additional work and without violatingthe guarantee provided by the monitor that execution of its methods isequivalent to one in which there is at most one thread in the monitor at anytime. There is also a strong educational component for this project. Synchronization is a fundamental topicin computer science education and is taught in all operating system courses. Byeliminating manual signaling from these courses, students would get more timeto focus on higher level concurrent programming concerns.
由于并发和同步导致的错误,多核处理器编程是一项具有挑战性的任务。 造成这一困难的根本原因在于,当前的编程机制要求程序员手动协调这些系统上运行的线程之间的同步。因此,并发系统很容易因错误的同步问题(例如线程通知丢失、错误或丢失)而出现错误。 此外,这些错误在测试过程中很难发现,因为它们可能只在罕见的事件时间表下出现。 当前的编程机制还限制线程中的并发量,以确保共享变量不会被多个线程更新。结果,许多并发系统由于访问共享变量的顺序瓶颈而变慢。该项目预计将从根本上改变同步机制(例如监视器)的编写和实现方式。 它将帮助您更好地理解如何有效地评估多线程程序中的条件。 结果,并发编程系统将变得更加可靠和更快。 预计对社会的影响将会很大,因为所有新系统都基于并发程序。该项目正在开发新的同步机制,有两个基本目标。第一个目标是使同步对程序员来说尽可能简单直观。 当前(基于监视器的)同步机制要求程序员显式向可能正在等待某些条件的线程发出信号。在本项目开发的同步机制中,没有条件变量的概念,运行时系统负责自动向适当的线程发出信号。 与 Java 中的自动垃圾收集类似,该项目正在设计用于自动信号发送的有效算法和技术。 该项目正在研究处理公平性和利用运行时信息(例如空闲核心)以实现有效且高效的自动信号发送的技术。第二个目标是增加监视器实现中的并发性,而不需要程序员做任何额外的工作,并且不违反监视器提供的保证其方法的执行相当于在任何时候监视器中最多有一个线程。 该项目还有很强的教育成分。 同步是计算机科学教育的一个基本主题,在所有操作系统课程中都有教授。通过消除这些课程中的手动信号,学生将有更多时间专注于更高级别的并发编程问题。
项目成果
期刊论文数量(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 }}
Vijay Garg其他文献
Related Event Discovery
相关事件发现
- DOI:
10.1145/3018661.3018713 - 发表时间:
2017-02-02 - 期刊:
- 影响因子:0
- 作者:
Cheng Li;Michael Bendersky;Vijay Garg;Sujith Ravi - 通讯作者:
Sujith Ravi
A Quick New Score to Predict In-hospital Mortality, Cardiac Arrest and Cardiogenic Shock in Acute Myocardial Infarction
快速预测急性心肌梗塞的院内死亡率、心脏骤停和心源性休克的新评分
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Ajay Patidar;Vijay Garg - 通讯作者:
Vijay Garg
Deep Learning-based Paddy Doctor for Sustainable Agriculture
基于深度学习的可持续农业稻田医生
- DOI:
10.1109/iciip61524.2023.10537776 - 发表时间:
2023-11-22 - 期刊:
- 影响因子:0
- 作者:
Vijay Garg;Stuti Agarwal;Sahil Sharma - 通讯作者:
Sahil Sharma
Constructing a Comprehensive Events Database from the Web
从网络构建综合事件数据库
- DOI:
10.1145/3357384.3357986 - 发表时间:
2019-11-03 - 期刊:
- 影响因子:0
- 作者:
Qifan Wang;Bhargav Kanagal;Vijay Garg;D. Sivakumar - 通讯作者:
D. Sivakumar
Vijay Garg的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Vijay Garg', 18)}}的其他基金
CSR: Small: Runtime Verification of Concurrent Programs
CSR:小:并发程序的运行时验证
- 批准号:
1812351 - 财政年份:2018
- 资助金额:
$ 16.5万 - 项目类别:
Standard Grant
CSR: Medium: A Smart Runtime System for Parallel Programming
CSR:Medium:用于并行编程的智能运行时系统
- 批准号:
1563544 - 财政年份:2016
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
CSR: Small: Collaborative Research: Improving Dependability of Multithreaded Distributed Programs
CSR:小型:协作研究:提高多线程分布式程序的可靠性
- 批准号:
1115808 - 财政年份:2011
- 资助金额:
$ 16.5万 - 项目类别:
Standard Grant
CSR --- PDOS: Combining Replication with Erasure Coding for Efficient Fault-Tolerance
CSR --- PDOS:将复制与纠删码相结合以实现高效容错
- 批准号:
0718990 - 财政年份:2007
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
CSR --- PDOS: Monitoring and Controlling Multithreaded Distributed Software
CSR --- PDOS:监控多线程分布式软件
- 批准号:
0509024 - 财政年份:2005
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
Software Fault-Tolerance based on Observation and Control of Distributed Programs
基于分布式程序观测与控制的软件容错
- 批准号:
9988225 - 财政年份:2000
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
Distributed Supervisory Control: Theory and Applications
分布式监控:理论与应用
- 批准号:
9907213 - 财政年份:1999
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
Detection of Global Predicates in Distributed Programs
分布式程序中全局谓词的检测
- 批准号:
9520540 - 财政年份:1995
- 资助金额:
$ 16.5万 - 项目类别:
Continuing Grant
Control and Analysis of Real-Time Discrete Event Systems Using Max-Algebra
使用最大代数的实时离散事件系统的控制和分析
- 批准号:
9414780 - 财政年份:1995
- 资助金额:
$ 16.5万 - 项目类别:
Standard Grant
相似国自然基金
基于金属多酚配位微球高效淬灭的LFIA高灵敏检测中药中的克百威
- 批准号:82374031
- 批准年份:2023
- 资助金额:48 万元
- 项目类别:面上项目
基于跨模态多层次协同的高效鲁棒图像描述研究
- 批准号:62302411
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
超高强钢复杂构件液氮喷射的非等温变形机理与热成形高效调控
- 批准号:52375492
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
基于多能级跃迁平衡的高效率中红外光纤激光器研究
- 批准号:62375201
- 批准年份:2023
- 资助金额:54 万元
- 项目类别:面上项目
南极磷虾蛋白淀粉样纤维-儿茶素自组装体系高效递送铁的作用机制研究
- 批准号:32372323
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
相似海外基金
Arthroscopic-assisted tibial plateau fixation (AATPF) vs. Open reduction internal fixation (ORIF): A multicenter randomized controlled trial
关节镜辅助胫骨平台固定术 (AATPF) 与切开复位内固定术 (ORIF):一项多中心随机对照试验
- 批准号:
10723527 - 财政年份:2023
- 资助金额:
$ 16.5万 - 项目类别:
Accelerating digital cognitive screening for Alzheimer's disease in the Primary Care Setting
加速初级保健机构中阿尔茨海默病的数字认知筛查
- 批准号:
10664618 - 财政年份:2023
- 资助金额:
$ 16.5万 - 项目类别:
Improving Brain-Behavior Markers of Preschool Executive Function through aGroup-Based Parenting Intervention for Low-Income Families
通过针对低收入家庭的团体育儿干预改善学前执行功能的大脑行为标志
- 批准号:
10663529 - 财政年份:2023
- 资助金额:
$ 16.5万 - 项目类别:
Expanding Access to Care for Marginalized Caregivers through Innovative Methods for Multicultural and Multilingual Adaptation of AI-Based Health Technologies
通过基于人工智能的医疗技术的多文化和多语言适应创新方法,扩大边缘化护理人员获得护理的机会
- 批准号:
10741177 - 财政年份:2023
- 资助金额:
$ 16.5万 - 项目类别:
Assessment of ultrasound-facilitated neurotherapeutics in Alzheimer's disease
超声辅助神经疗法治疗阿尔茨海默病的评估
- 批准号:
10901036 - 财政年份:2023
- 资助金额:
$ 16.5万 - 项目类别: