Simulation Models Verification for Resilient Communication on a Highly Adaptive Energy-Efficient Computer
Stefan Pfennig, Kim Feldhoff, Florina M. Ciorba, Elke Franz, Tobias Reiher, Mario Bielert, Thomas Ilsche, Wolfgang E. Nagel · 2016
The utility of simulations depends on the confidence in the simulation implementation and its results. This study discusses the verification of the communication models in the parallel trace-driven simulation framework HAEC-SIM. As simulation input, a parallel application is executed and recorded on an existing HPC system. The simulation focuses on modeling the transfer times of point-to-point messages within the application and the indirect effects resulting in an output trace of application events of the simulated execution on a target platform. Consequently, via verification the message transfer times obtained with HAEC-SIM are compared with those of an independent implementation of the communication models. Both implementations consider the number of hops, the size and the target system parameters for each message. During verification the following factors are varied: application benchmarks, network topologies, mapping strategies, and resilient communication models.