SHF: Small: IMUnit: Improved Multithreaded Unit Testing

CCF-0916893 SHF：小：IMUnit：改进的多线程单元测试PI：Darko Marinov和Grigore RosuComputing正在经历一个范式转变，从主要是顺序的世界观到主要是并行的世界观。 目前并行代码的主要编程模型是共享数据模型，其中多个计算线程通过访问共享数据对象进行通信。 不幸的是，开发和测试多线程代码非常困难。为了显著地改进多线程代码的测试，该项目开发了一组用于多线程测试的新技术和工具。 多线程测试是一段创建并执行两个或多个线程的代码。 执行测试遵循多个线程的一些调度/交错。 新方法的关键是允许显式指定一组相关的时间表为每个测试，而传统的测试隐式指定所有可能的时间表。 这个项目解决了多线程测试的三个重要挑战：（1）如何描述一组时间表以及从给定的时间表中探索哪些时间表？ (2)如何为给定的代码自动生成多线程测试，特别是调度？ (3)当代码发生变化时，如何选择和优先考虑重新运行多线程测试？改进的多线程代码的单元测试有可能大大提高开发代码的质量。

CCF-0916893SHF:Small: IMUnit: Improved Multithreaded Unit TestingPIs: Darko Marinov and Grigore RosuComputing is going through a paradigm shift from a mostly sequential worldview to a mostly parallel worldview. The currently dominant programming model for parallel code is that of shared data, where multiple threads of computation communicate by accessing shared data objects. Unfortunately, developing and testing multithreaded code is very hard. To significantly improve testing of multithreaded code, this project develops a set of new techniques and tools for multithreaded tests. A multithreaded test is a piece of code that creates and executes two or more threads. Executing a test follows some schedule/interleaving of the multiple threads. The key of the new approach is to allow the explicit specification of a set of relevant schedules for each test, while traditional tests implicitly specify all possible schedules. This project addresses three important challenges for multithreaded tests: (1) How to describe a set of schedules and which schedules from a given set to explore? (2) How to automatically generate multithreaded tests, especially schedules, for given code? (3) How to select and prioritize rerunning of the multithreaded tests when the code changes? Improved unit testing of multithreaded code has the potential to substantially increase the quality of developed code.