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.

社会在很大程度上取决于计算机的正常运行正确。不幸的是，软件继续受到错误和安全漏洞的困扰，随着多核心处理器变得无处不在，并且更多的程序变得多线程，这些问题可能会变得更糟。然而，多核技术还提供了在商品计算机上使用并行性来改善软件鲁棒性的机会。本研究旨在通过使用多层处理器来启用新型强大的运行时间检查，以提高软件的可靠性和安全性。该项目将有可能在多功能系统上并行进行检查，同时依次保留相同的强安全保证和简单的编程模型。该项目还将研究如何通过将数据竞赛检测的工作卸载到其他核心上，以启用在多个处理器上运行的多线程程序的在线数据竞赛检测和确定性重播。最后，该项目将研究通过投机并行检查，多项处理器和确定性重播来启用的强大，新的运行时间检查。这项研究将通过开发技术来使软件系统更加可靠，更安全并生产开源软件软件工件，从而使社会受益。该项目还将为教授如何编程多计算机的课程提供材料。