Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration

: Jahic, Jasmin; Jung, Matthias; Kuhn, Thomas; Kestel, Claus; Wehn, Norbert


Colombo, C.:
Runtime verification: 18th international conference, RV 2018. Proceedings : Limassol, Cyprus, November 10-13, 2018
Cham: Springer, 2018 (Lecture Notes in Computer Science 11237)
ISBN: 978-3-030-03768-0
ISBN: 3-030-03768-1
ISBN: 978-3-030-03769-7
International Conference on Runtime Verification (RV) <18, 2018, Limassol>
Bundesministerium für Bildung und Forschung BMBF (Deutschland)
01IS16025; ARAMiS II
Fraunhofer IESE ()
Runtime verification; Execution monitoring; Data race; gem5; Lockset

Traditional software testing methods are inefficient for multithreaded software. In order to verify such software, testing is often complemented by analysis of the execution trace. To monitor the execution trace, most approaches today use binary instrumentation or rigid frameworks based on system simulators. Most existing approaches are intrusive, as they tend to change the monitored software. Furthermore, their monitoring configuration is static, resulting in huge, often non-relevant, traces. In this paper, we present a light, non-intrusive execution monitoring and control approach, implemented using the gem5 system simulator. We complement existing approaches with dynamic configuration of the monitoring, making it possible to dynamically change the monitoring focus to the parts of the software that are of interest. This configuration results in reduced execution trace size. Our approach does not change the software under test, but rather the virtual platform that executes the software.