CSR:Medium:Improving Software Reliability and Security Through Multicore Technology

CSR：中：通过多核技术提高软件可靠性和安全性

基本信息

批准号：
0905149
负责人：
Peter Chen
金额：
$ 120万
依托单位：
Regents of the University of Michigan - Ann Arbor
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2009
资助国家：
美国
起止时间：
2009-09-01 至 2015-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0905149&HistoricalAwards=false
关键词：
CSR Medium Improving Software Reliability

项目摘要

Society depends heavily on computers functioning correctly and securely. Unfortunately, software continues to be plagued by bugs and security vulnerabilities, and these problems are likely to get worse as multicore processors become ubiquitous and more programs become multithreaded. Yet multicore technology also provides the opportunity to use parallelism on commodity computers to improve software robustness.This research seeks to improve the reliability and security of software by using multicore processors to enable new types of powerful, run-time checks. The project will make it possible to run checks in parallel on multicore systems, while preserving the same strong safety guarantees and simple programming model of running checks sequentially. The project will also study how to enable online data race detection and deterministic replay for multithreaded programs running on multiprocessors by offloading the work of data race detection onto other cores. Finally, the project will study powerful, new classes of run-time checks that are enabled by speculative parallel checks, multicore processors, and deterministic replay.This research will benefit society by developing techniques to make software systems more reliable and secure and by producing open-source software artifacts that can be used by other groups. The project will also contribute material for courses that teach how to program multicore computers.

社会在很大程度上依赖于计算机的正确、安全运行。不幸的是，软件仍然受到错误和安全漏洞的困扰，并且随着多核处理器变得无处不在以及更多程序变得多线程，这些问题可能会变得更糟。然而，多核技术还提供了在商用计算机上使用并行性来提高软件稳健性的机会。本研究旨在通过使用多核处理器来实现新型强大的运行时检查，从而提高软件的可靠性和安全性。该项目将使在多核系统上并行运行检查成为可能，同时保留相同的强大安全保证和顺序运行检查的简单编程模型。该项目还将研究如何通过将数据竞争检测工作卸载到其他内核上，为多处理器上运行的多线程程序启用在线数据竞争检测和确定性重放。最后，该项目将研究通过推测性并行检查、多核处理器和确定性重放实现的强大的新型运行时检查。这项研究将通过开发使软件系统更加可靠和安全的技术以及通过产生开放的软件系统来造福社会。 - 可供其他组使用的源软件工件。该项目还将为教授如何对多核计算机进行编程的课程提供材料。