Checkpoint and Restore for SystemC Models

Montón, Màrius; Engblom, Jakob; Burton, Mark

doi:10.1007/978-90-481-9304-2_3

Cited by 6 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The checkpointing capabilities of the IBM Mambo (Shafi, Bohrer, Phelan, Rusu, & Peterson, 2003) simulation system are based on the same principles as in the SimOS simulation system. Closely related to the previously presented checkpointing techniques is the approach utilized by Virtutech for checkpointing SystemC models (Montón, Engblom, & Burton, 2009) which are simulated together with the Virtutech Simics (Magnusson et al, 2002) simulator. The user needs to manually specify the data which represents the state of a SystemC module by utilizing a mechanism called attributes.…”

Section: Figure 2 the Debug Cycle Is Shortened By Checkpointing And R...mentioning

confidence: 99%

Checkpointing SystemC-Based Virtual Platforms

Leupers

Kraemer

Petras

et al. 2011

International Journal of Embedded and Real-Time Communication Systems

View full text Add to dashboard Cite

The ability to restore a virtual platform from a previously saved simulation state can considerably shorten the typical edit-compile-debug cycle for software developers and therefore enhance productivity. For SystemC based virtual platforms (VP), dedicated checkpoint/restore (C/R) solutions are required, taking into account the specific characteristics of such platforms. Apart from restoring the simulation process from a checkpoint image, the proposed checkpoint solution also takes care of re-attaching debuggers and interactive GUIs to the restored virtual platform. The checkpointing is handled automatically for most of the SystemC modules, only the usage of host OS resources requires user provision. A process checkpointing based C/R has been selected in order to minimize the adaption required for existing VPs at the expense of large checkpoint sizes. This drawback is overcome by introducing an online compression to the checkpoint process. A case study based on the SHAPES Virtual Platform is conducted to investigate the applicability of the proposed framework as well as the impact of checkpoint compression in a realistic system environment.

show abstract

Section: Figure 2 the Debug Cycle Is Shortened By Checkpointing And R...mentioning

confidence: 99%