Abstract
We present preliminary work in the field of saving and restoring model state within a SystemC simulation environment. Save and Restore (or checkpointing) is a useful technique that can greatly assist target software and simulation model development and debug. In contrast to other approaches that aim at saving and restoring the state of an entire simulation process, we investigate mechanisms by which only the essential model state is saved. This makes the checkpoints far more compact, saved simulation states can be moved between host machines, and be used with updated simulation models. Our initial results indicate that SystemC models written to certain coding guidelines can be saved and restored reliably. As a result, virtual platforms and platform components written in SystemC can be made more useful to software developers, and support better workflows.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
M. Bergqvist, J. Engblom, M. Patel, L. Lundegard, Some experience from the development of a simulator for a telecom cluster (CPPemu), in Proceedings of the 10th IASTED Conference on Software Engineering and Applications, November, 2006
Cadence, SystemC save and restore Part 2 advanced usage. http://www.cadence.com/Community/blogs/sd/archive/2009/03/09/systemc-save-and-restore-part2-advanced-usage.aspx
CoWare introduces first ever checkpoint/restart capability for native SystemC Virtual Platforms, April 14, 2008
J. Engblom, Simics system modeling. Virtutech Whitepaper, May 2008
J. Engblom, Modeling language produces TLM for virtual platforms. SCDSource.com (2008), http://www.scdsource.com/article.php?id=166
R. Günzel, SCThreadConverter, http://www.greensocs.com/en/projects/SCThreadConverter
N. Hardavellas, S. Somogyi, T.F. Wenisch, R.E. Wunderlich, S. Chen, J. Kim, B. Falsafi, J.C. Hoe, A.G. Nowatzyk, SIMFLEX: a fast, accurate, flexible full-system simulation framework for performance evaluation of server architecture. ACM SIGMETRICS Perform. Eval. Rev. 31(4), 31–35 (2004)
P.H. Hargrove1, J.C. Duell1, Berkeley lab checkpoint/restart (BLCR) for linux clusters, in Proceedings of SciDAC 2006, June 2006
W. Klingauf: Systematic transaction level communication modeling with SystemC, PhD Thesis, TU Braunschweig, Dept. of Integrated Circuit Design, 2008
P.S. Magnusson, M. Christensson, J. Eskilson, D. Forsgren, G. Hallberg, J. Hogberg, F. Larsson, A. Moestedt, B. Werner, Simics: a full system simulation platform. IEEE Comput. 35(2), 50–58 (2002)
OSCI TLM2.0 User Manual, June 2008
J.L. Peterson et al., Application of fullsystem simulation in exploratory system design and development. IBM J. Res. Dev. 50(2/3), 321–332 (2006)
R. Ramey, Boost serialization version 1.36 documentation, http://www.boost.org
M. Rosenblum, M. Varadarajan, SimOS: a fast operating system simulation environment, Stanford University Technical Report CSL-TR-94-631, 1994
C. Schröder, W. Klingauf, R.G.M. Burton, E. Roesler, Configuration and control of SystemC models using TLM middleware. CODES+ISSS ’09
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Monton, M., Engblom, J., Schröder, C., Carrabina, J., Burton, M. (2010). Checkpoint and Restore for SystemC Models. In: Borrione, D. (eds) Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s. Lecture Notes in Electrical Engineering, vol 63. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9304-2_3
Download citation
DOI: https://doi.org/10.1007/978-90-481-9304-2_3
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9303-5
Online ISBN: 978-90-481-9304-2
eBook Packages: EngineeringEngineering (R0)