Context-sensitive timing automata for fast source level simulation
| Autor: | Oliver Bringmann, Alexander Viehl, Wolfgang Rosenstiel, Christoph Gerum, Sebastian Ottlik |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
010302 applied physics
Context model Speedup Computer science Logic simulation Context (language use) 02 engineering and technology Parallel computing 01 natural sciences 020202 computer hardware & architecture 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Overhead (computing) State (computer science) Cache Cache algorithms |
| Zdroj: | DATE |
| DOI: | 10.23919/date.2017.7927042 |
| Popis: | We present a novel technique for efficient source level timing simulation of embedded software execution on a target platform. In contrast to existing approaches, the proposed technique can accurately approximate time without requiring a dynamic cache model. Thereby the dramatic reduction in simulation performance inherent to dynamic cache modeling is avoided. Consequently, our approach enables an exploitation of the performance potential of source level simulation for complex microarchitectures that include caches. Our approach is based on recent advances in context-sensitive binary level timing simulation. However, a direct application of the binary level approach to source level simulation reduces simulation performance similarly to dynamic cache modeling. To overcome this performance limitation, we contribute a novel pushdown automaton based simulation technique. The proposed context-sensitive timing automata enable an efficient evaluation of complex simulation logic with little overhead. Experimental results show that the proposed technique provides a speed up of an order of magnitude compared to existing context selection techniques and simple source level cache models. Simulation performance is similar to a state of the art accelerated cache simulation. The accelerated simulation is only applicable in specific circumstances, whereas the proposed approach does not suffer this limitation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|