Title
Speculative Temporal Decoupling Using Fork ()
Abstract
Temporal decoupling is a state-of-the.art method to speed upvirtual prototypes. In this technique, a process is allowed to run ahead of simulation time for a specific interval called quantum. By using this method, the number of synchronization points, Le, context switches, in the simulator is reduced and therefore, the simulation speed can be increased significantly. However, using this approach can introduce functional simulation errors due to missed synchronization events. Thus, using temporal decoupling implies a trade-off between speed and accuracy and the size of the quantum must be chosen wisely with respect to the simulated application. In loosely timed simulations most of the functional errors are tolerable for the sake of simulation speed. However, for instance safety critical errors are rare but can lead to fatal results and must be handled carefully. Prior works present mechanisms based on checkpoints (storing/restoring the internal state of the simulation model) in order to rollback in simulation time and correct the occurred errors by forcing synchronization. However, checkpointing approaches are intrusive and require changes to both the source code of all the used simulation models and the kernel of the simulator. In this paper Al'e present a non intrusive rollback approach for error-free temporal decoupling, which allows the usage of closed source models by using Unix's fork system call. Furthermore, we provide a case study based on the IEEE simulation standard SystemC.
Year
DOI
Venue
2019
10.23919/DATE.2019.8714823
2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)
Keywords
Field
DocType
Temporal Decoupling, Fork, SystemC, Time Quantum, Virtual Prototyping
Fork (system call),Computer science,Parallel computing,Decoupling (cosmology)
Conference
ISSN
Citations 
PageRank 
1530-1591
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Matthias Jung111116.76
Frank Schnicke233.19
Markus Damm3397.75
Thomas Kuhn49016.33
Norbert Wehn51165137.17