Dynamic Deadlock Avoidance in Concurrent Software via Discrete Control
Dynamic Deadlock Avoidance in Concurrent Software via Discrete Control
批准号:
0819882
负责人:
Stephane Lafortune
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-08-01 至 2012-07-31
中文摘要
题目:通过离散控制的并发软件中的动态死锁避免pi: Stephane lafortuno - pi: Scott mahlke确保并发程序的无死锁执行是一个越来越重要的问题,因为多核处理器迫使性能敏感的软件开发人员并行化应用程序。提出了一种动态控制并发软件执行以避免死锁的新方法。它解决了当今占主导地位的并发编程范例,即使用锁的多线程程序。在这种方法中,避免死锁的责任被放在从应用程序软件源代码自动合成的反馈控制器上。源代码的模型将从编译时获得的整个程序控制流图自动构造。反馈控制器将使用离散控制理论的技术从模型中离线合成,并用于测试代码。在运行时,控制器将仔细管理锁的获取和释放,以确保永远不会进入潜在的死锁状态。本提案的研究计划为这种新方法的开发、实施、绩效评估和课堂部署提供了系统的方法。通过自动反馈控制允许无死锁的程序执行,将保留未修改遗留代码的全部价值,并且程序员将被授权以更高的安全性、信心和生产力编写代码。
英文摘要
Proposal Number 0819882TITLE: Dynamic Deadlock Avoidance in Concurrent Software via Discrete ControlPI: Stephane LafortuneCo-PI: Scott MahlkeEnsuring deadlock-free execution of concurrent programs is an increasingly important problem as multi-core processors compel performance-conscious software developers to parallelize applications. A novel methodology for dynamically controlling the execution of concurrent software in order to provably avoid deadlocks is proposed. It addresses today's dominant concurrent programming paradigm, multi-threaded programs that employ locks. In this approach, the responsibilities for deadlock avoidance are placed upon a feedback controller that is automatically synthesized from application software source code. A model of the source code will automatically be constructed from a whole-program control flow graph obtained at compile time. The feedback controller will be synthesized offline from the model using techniques from discrete control theory and used to instrument the code. At run-time, the controller will operate by carefully managing lock acquisition and release to ensure that potential deadlock states are never entered. The research plan of this proposal presents a systematic approach for the development, implementation, performance evaluation, and classroom deployment of this novel methodology. By allowing deadlock-free execution of programs via automated feedback control, the full value of unmodified legacy code will be preserved and programmers will be empowered to write code with increased safety, confidence, and productivity.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: Cyber-secure and Resilient Supervisory Control of Networked Discrete-Event Systems
-
批准号:2144416
-
项目类别:Standard Grant
-
资助金额:$19.99万
-
财政年份:2022
-
负责人:Stephane Lafortune
-
依托单位:
SaTC: CORE: Medium: Collaborative: Bridging the Gap between Protocol Design and Implementation through Automated Mapping
-
批准号:1801342
-
项目类别:Continuing Grant
-
资助金额:$24.0万
-
财政年份:2018
-
负责人:Stephane Lafortune
-
依托单位:
CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems
-
批准号:1738103
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Stephane Lafortune
-
依托单位:
CPS: Breakthrough: Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems
-
批准号:1446298
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2015
-
负责人:Stephane Lafortune
-
依托单位:
TWC: Small: Intrusion Detection and Resilience Against Attacks in Cyber and Cyber-Physical Control Systems
-
批准号:1421122
-
项目类别:Standard Grant
-
资助金额:$49.98万
-
财政年份:2014
-
负责人:Stephane Lafortune
-
依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
-
批准号:1138860
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Stephane Lafortune
-
依托单位:
RUI: Stability analysis for soliton solutions of the Vortex Filament Equation and beyond
-
批准号:0908074
-
项目类别:Standard Grant
-
资助金额:$13.77万
-
财政年份:2009
-
负责人:Stephane Lafortune
-
依托单位:
CPS: Small: Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication
-
批准号:0930081
-
项目类别:Standard Grant
-
资助金额:$55.0万
-
财政年份:2009
-
负责人:Stephane Lafortune
-
依托单位:
Collaborative proposal: Distributed and Fault-Tolerant Control of Discrete-Event Systems
-
批准号:0624821
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Stephane Lafortune
-
依托单位:
Support for the 8th International Workshop on Discrete Event Systems-WODES '06. The workshop will be held on July 10-12, 2006 in Ann Arbor on the campus of University of Michigan
-
批准号:0607076
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2006
-
负责人:Stephane Lafortune
-
依托单位:
RUI: Existence and Stability of Coherent Structures with Applications to Elasticity
-
批准号:0509622
-
项目类别:Standard Grant
-
资助金额:$8.83万
-
财政年份:2005
-
负责人:Stephane Lafortune
-
依托单位:
ITR: Design of Supervisory Control Software for Dynamic Systems with Decentralized Information
-
批准号:0082784
-
项目类别:Continuing Grant
-
资助金额:$49.95万
-
财政年份:2000
-
负责人:Stephane Lafortune
-
依托单位:
Failure Diagnosis of Modular and Decentralized Discrete Event Systems
-
批准号:0080406
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Stephane Lafortune
-
依托单位:
Failure Diagnosis for Discrete Event Systems
-
批准号:9509975
-
项目类别:Standard Grant
-
资助金额:$24.36万
-
财政年份:1995
-
负责人:Stephane Lafortune
-
依托单位:
Presidential Young Investigators Award: Modeling, Analysis and Control of Discrete Event Systems
-
批准号:9057967
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:1990
-
负责人:Stephane Lafortune
-
依托单位:
Partial Information in Computer Communications: A System- Theoretic Approach to Some Problems
-
批准号:8707671
-
项目类别:Standard Grant
-
资助金额:$6.55万
-
财政年份:1987
-
负责人:Stephane Lafortune
-
依托单位:
海外基金