Paper Info
Title
Simulation models verification for resilient communication on a highly adaptive energy-efficient computer.
Abstract
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.Verification yields an almost perfect agreement: the transfer times differ for a tiny percentage (0.00019 %) of messages by a negligible deviation of one picosecond, which is the finest granularity of the time data type. This result strengthens the confidence in a correct implementation of the communication models in simulation.
Year
Venue
Field
2016
SpringSim (HPS)
Linear network coding,Verification and validation of computer simulation models,Efficient energy use,Computer science,Network topology,Implementation,Simulation modeling,Models of communication,Granularity,Distributed computing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
8
Name
Order
Citations
PageRank
Stefan Pfennig1515.93
Kim Feldhoff282.25
Ciorba Florina M.312522.96
Elke Franz411354.42
Tobias Reiher520.72
Mario Bielert632.82
Thomas Ilsche717214.92
Wolfgang E. Nagel81800167.93