The International Conference for High Performance Computing, Networking, Storage and Analysis
Active-Testing and Large Scale Non-determinism Control Studies with Programmable Schedulers.
Student: Bruce Bolick (University of Utah School)
Supervisor: Ganesh Gopalakrishnan (University of Utah)
Abstract: Active-testing methods for hybrid concurrency models are essential, but poorly understood, and not yet demonstrated at scale. Today's active-testing approaches run tests on specific platforms for specific configurations. They are hard to modify once they have been written, and offer little flexibility.
This research investigates how active-testing approaches can be created to be effective in the modern setting of hybrid concurrency. We are reimplementing a scheduler for a relatively mature active-tester for MPI in Scheme/Racket, a modern higher order functional language, in order to provide elegance, simplicity and extensibility.
In the poster session, I will demonstrate how such a scheduler empowers large scale non-determinism control studies, facilitates search-bounding, and provides flexibility in formal verification of HPC systems.
