More Web Proxy on the site http://driver.im/

Article

A checkpoint/restore framework for systemC-based virtual platforms

Authors:

Stefan Kraemer,

Rainer Leupers,

Dietmar Petras,

Thomas PhilippAuthors Info & Claims

SOC'09: Proceedings of the 11th international conference on System-on-chip

Pages 161 - 167

Published: 05 October 2009 Publication History

Abstract

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. This paper presents a Checkpoint/Restore solution specifically tailored towards the needs of SystemC-based Virtual Platforms. Apart from restoring the simulation process from a checkpoint image, it also takes care of re-attaching debuggers and interactive GUIs to the restored Virtual Platform. The check pointing is handled automatically for most of the SystemC modules, only the usage of host OS resources requires user provision. Two concrete code examples demonstrate that the required changes to an existing Virtual Platform are a simple developer task consisting of minor source code modifications. A case study based on the SHAPES Virtual Platform is conducted to investigate the applicability of the proposed framework in a realistic system environment.

References

[1]

CoWare Inc., Co Ware Virtual Platform, San Jose, CA, http://www.coware.com/products/virtualplatform.php.

[2]

B. Murray, "Virtual Platforms - A Reality Check," SCD source, no. http://www.scdsource.com/article.php?id=59. Sept 2007.

[3]

IEEE 1666-2005 Standard, Open SystemC Language Reference Manual, IEEE, Apr 2005.

[4]

J. Cong, Y. Fan, G. Han, W Jiang, and Z. Zhang, "Platform-Based Behavior-Level and System-Level Synthesis," in Proceedings of IEEE International SOC Conference, Austin, Texas, USA, sep 2006, pp. 199- 202.

[5]

P. Paolucci, A. Jerraya, R. Leupers, L. Thiele, and P. Vicini, "SHAPES: A Tiled Scalable Software Hardware Architecture Platform for Embedded Systems," in Proceedings of the 4th international Conference on Hardware/Software Codesign and System Synthesis CODES+ISSS '06 (Seoul, Korea). ACM Press., Oct. 2006, pp. 167-172.

[6]

Cadence NC-Sim, http://www.cadence.com/.

[7]

Mentor Graphics ModelSim, http://www.mentor.com/.

[8]

Synopsys VHDL and Veri log Simulation Software, http://www.synopsys.com.

[9]

H. Zhong and J. Nieh, "CRAK: Linux Checkpoint/Restart As a Kernel Module," Department of Computer Science, Columbia University, Tech. Rep. CUCS-014-01, Nov. 2001.

[10]

J. Duell, "The Design and Implementation of Berkeley Lab's Linux Checkpoint/Restart," Paper LBNL-54941, Berkeley, CA, USA, Apr. 2005.

[11]

E. R. Jason Duell, Paul Hargrove, "Requirements for Linux Checkpoint/ Restart," Paper LBNL-49659, Berkeley, CA, USA, May 2002.

[12]

S. Sankaran, J. M. Squyres, B. Barrett, A. Lumsdaine, J. Duell, P. Hargrove, and E. Roman, "The LAM/MPI Checkpoint/Restart Framework: System-Initiated Checkpointing," International Journal of High Performance Computing Applications, vol. 19, no. 4, pp. 479-493, Winter 2005.

[13]

M. Litzkow, T. Tannenbaum, J. Basney, and M. Livny, "Checkpoint and Migration of UNIX Processes in the Condor Distributed Processing System," University of Wisconsin Madison Computer Sciences, Tech. Rep. 1346, Apr. 1997.

[14]

J. S. Plank, M. Beck, G. Kingsley, and K. Li, "Libckpt: Transparent Checkpointing under Unix," in Proceedings of USENIX Winter 1995 Technical Conference, New Orleans, LA, USA, Jan. 1995, pp. 213-224.

[15]

D. Liang, P. E. Chung, Y. Huang, C. M. R. Kintala, W-J. Lee, T. K. Tsai, and c.-Y. Wang, "NT-SwiFT: Software Implemented Fault Tolerance on Windows NT," in Journal of Systems and Software, vol. 71. New York, NY, USA: Elsevier Science Inc., Apr. 2004, pp. 127-141.

[16]

P. E. Chung, W-J. Lee, Y. Huang, D. Liang, and c.-Y. Wang, "Winckp: A transparent checkpointing and rollback recovery tool for Windows NT applications," in FTCS '99: Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Washington, DC, USA: IEEE Computer Society, 1999, p. 220.

[17]

H. Abdel-Shafi, E. Speight, and J. K. Bennett, "Efficient User-Level Thread Migration and Checkpointing on Windows NT Clusters," in Proceedings of the 3rd USENIX Windows NT Symposium, Seattle, WA, USA, Jul. 1999.

[18]

VMWare, VMWare Server, Palo Alto, CA, http://www.vmware.com/products/server/.

[19]

E. Roman, "A Survey of Checkpoint/Restart Implementations," Lawrence Berkeley National Laboratory, Berkeley, CA, USA, Berkeley Lab TechnicaJ Report LBNL-54942, Jul 2002.

[20]

P. S. Paolucci, P. Kajfasz, P. Bonnot, B. Candaele, D. Maufroid, E. Pastorelli, A. Ricciardi, Y. Fusella, and E. Guarino, "mAgic-FPU and MADE: A Customizable VLIW Core and the Modular VLIW Processor Architecture Description Environment," Computer Physics Communications, vol. 139, no. 1, pp. 132-143, 2001.

Cited By

Charif ABusnot GMameesh RSassolas TVentroux NChillet D(2019)Fast Virtual Prototyping for Embedded Computing Systems Design and ExplorationProceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3300189.3300192(1-8)Online publication date: 21-Jan-2019
https://dl.acm.org/doi/10.1145/3300189.3300192

Recommendations

Checkpointing SystemC-Based Virtual Platforms

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, ...
Checkpoint and restore of file locks in userspace
CEE-SECR '17: Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia

Checkpoint/restore (a.k.a checkpoint/restart) is a technique which is naturally described by its two parts. The first one is a checkpoint. It allows creating snapshot of an application. The second one is restart. It uses the snapshot to run a copy of the ...
Checkpointing for virtual platforms and SystemC-TLM

Integrating simulation models created using different simulation systems is a common problem when constructing virtual platforms. Different companies and different departments can create models, and virtual platforms for different purposes using ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

SOC'09: Proceedings of the 11th international conference on System-on-chip

October 2009

175 pages

ISBN:9781424444663

Editors:
Jari Nurmi
Tampere University of Technology, Finland
,
Jarmo Takala
Tampere University of Technology, Finland
,
Olli Vainio
Tampere University of Technology, Finland

Publisher

IEEE Press

Publication History

Published: 05 October 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Charif ABusnot GMameesh RSassolas TVentroux NChillet D(2019)Fast Virtual Prototyping for Embedded Computing Systems Design and ExplorationProceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3300189.3300192(1-8)Online publication date: 21-Jan-2019
https://dl.acm.org/doi/10.1145/3300189.3300192

View Options

View options

Media

Figures

Other

Tables

View Table of Contents