ckpt.h

Go to the documentation of this file.

 
#pragma once
 
#include <mm/buddy/buddy.h>
 
struct buddy_checkpoint { // todo only log longest[] if changed, or incrementally
    const struct buddy_state *orig;
    block_bitmap dirty [
        bitmap_required_size(
        // this tracks writes to the allocation tree...
            (1 << (B_TOTAL_EXP - 2 * B_BLOCK_EXP + 1)) +
        // ...while this tracks writes to the actual memory buffer
            (1 << (B_TOTAL_EXP - B_BLOCK_EXP))
        )
    ];
    uint8_t longest[(1U << (B_TOTAL_EXP - B_BLOCK_EXP + 1))];
    unsigned char base_mem[];
};
 
static_assert(
    offsetof(struct buddy_checkpoint, longest) ==
    offsetof(struct buddy_checkpoint, base_mem) -
    sizeof(((struct buddy_checkpoint *)0)->longest),
    "longest and base_mem are not contiguous, this will break incremental checkpointing");
 
extern struct buddy_checkpoint *checkpoint_full_take(const struct buddy_state *self, struct buddy_checkpoint *data);
extern const struct buddy_checkpoint *checkpoint_full_restore(struct buddy_state *self, const struct buddy_checkpoint *data);
extern struct buddy_checkpoint *checkpoint_incremental_take(const struct buddy_state *self, struct buddy_checkpoint *data);
extern const struct buddy_checkpoint * checkpoint_incremental_restore(struct buddy_state *self, const struct buddy_checkpoint *ckp);