Efficient hardware checkpointing: concepts, overhead analysis, and implementation
The work
| Authors | Dirk Koch; Christian D. Haubelt; Jürgen Teich |
|---|---|
| Editors | |
| Type | misc |
| Year | 2007 |
| Citekey | koch2007efficient |
Where it appeared
| Published in | ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) |
|---|---|
| Pages | 188--196 |
Identifiers
| DOI | 10.1145/1216919.1216950 |
|---|---|
| OpenAlex | W2134054737 |
Access
| Landing page | https://doi.org/10.1145/1216919.1216950 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is an effective methodology to cope with faults. In this paper, we systematically extend the concept of checkpointing known from software systems to hardware tasks running on reconfigurable devices. We will classify different mechanisms for hardware checkpointing and present formulas for estimating the hardware overhead. Moreover, we will reveal a tool that takes over the burden of modifying hardware modules for checkpointing. Post-synthesis results of applying our methodology to different hardware accelerators will be presented and the results will be compared with the theoretical estimations.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 23:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{koch2007efficient,
title = {Efficient hardware checkpointing: concepts, overhead analysis, and implementation},
author = {Dirk Koch and Christian D. Haubelt and Jürgen Teich},
year = {2007},
journal = {ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)},
pages = {188--196},
doi = {10.1145/1216919.1216950},
}
This record lives at https://refs.drheap.org/koch2007efficient/ and will keep doing so.