Dynamic Deadlock Avoidance in Concurrent Software via Discrete Control

题目：通过离散控制的并发软件中的动态死锁避免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.