CSR---PDOS: Log-Based Architectures: Extending Chip Multiprocessors to Help Software Behave Correctly

CSR---PDOS：基于日志的架构：扩展芯片多处理器以帮助软件正确运行

• 批准号: 0720790
• 负责人: Todd Mowry
• 金额: $ 102.65万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-01 至 2011-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720790&HistoricalAwards=false
• 关键词: CSR; PDOS; Log; Based; Architectures

Software misbehaves too frequently due to bugs, security attacks, and intermittent hardware errors. While powerful tools?called ?lifeguards??have been developed in the past to monitor a program as it executes for the sake of detecting and sometimes even fixing problems as they happen, these tools have historically run so slowly (often an order of magnitude slowdown) that it was impractical to run them continuously in the field. To address this problem, this project is developing a new general-purpose framework that harnesses idle processor cores in a chip multiprocessor to enable powerful lifeguards to run continuously on deployed code in order to detect, diagnose, and fix incorrect behaviors with no perceived cost to the user. A key technology in this new lifeguard framework is a novel mechanism for efficient dynamic program inspection and rewind via a log that is captured by the hardware, managed by the operating system, and exposed to the lifeguard software. This project is expected to have impact in the following ways. First and foremost, it should make software more robust, not only by allowing existing lifeguards to be run continuously in the field, but also by hopefully spawning the creation of new lifeguards that are even more sophisticated and useful than what we have today. These tools will be especially important for programmers as they try to avoid correctness and performance bugs when they write parallel programs for chip multiprocessors. This new service will provide a new type of end-user value from a parallel machine beyond raw speedup (i.e. improved robustness against software bugs, security attacks, and other errors). The existence of a hardware-generated log may also lead to new ways to write software (e.g., by inspecting its past behavior or exploiting the log as a recovery mechanism).

由于错误、安全攻击和间歇性硬件错误，软件行为异常频繁。强大的工具？叫什么救生员？？在过去已经开发了用于在程序执行时监视程序，以便在问题发生时检测并且有时甚至修复问题，但是这些工具在历史上运行得非常慢（通常是一个数量级的减速），以至于在现场连续运行它们是不切实际的。 为了解决这个问题，该项目正在开发一个新的通用框架，利用芯片多处理器中的空闲处理器内核，使强大的救生员能够在部署的代码上连续运行，以检测，诊断和修复不正确的行为，而不会给用户带来任何感知成本。这个新的救生员框架中的关键技术是一种新的机制，用于通过由硬件捕获、由操作系统管理并暴露给救生员软件的日志进行高效的动态程序检查和倒带。 预计该项目将在以下方面产生影响。首先，它应该使软件更加强大，不仅允许现有的救生员在现场连续运行，而且还希望催生新的救生员，这些救生员比我们今天拥有的更复杂，更有用。这些工具对于程序员来说尤其重要，因为他们在为芯片多处理器编写并行程序时试图避免正确性和性能错误。这项新服务将为并行机提供一种新型的最终用户价值，超越原始加速（即提高对软件错误、安全攻击和其他错误的鲁棒性）。硬件生成的日志的存在也可能导致编写软件的新方法（例如，通过检查其过去的行为或利用日志作为恢复机制）。