A survey of rollback-recovery protocols in message-passing systems
ACM Computing Surveys (CSUR)
Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT Applications
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Design and validation of a performance and power simulator for PowerPC systems
IBM Journal of Research and Development
On the effectiveness of address-space randomization
Proceedings of the 11th ACM conference on Computer and communications security
ACM SIGMETRICS Performance Evaluation Review - Special issue on tools for computer architecture research
SHAPES:: a tiled scalable software hardware architecture platform for embedded systems
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Libckpt: transparent checkpointing under Unix
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Efficient user-level thread migration and checkpointing on windows NT clusters
WINSYM'99 Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3
A checkpoint/restore framework for systemC-based virtual platforms
SOC'09 Proceedings of the 11th international conference on System-on-chip
Hi-index | 0.00 |
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.