From ea6519592a3cb4a22840c4fe9c954619186a36ea Mon Sep 17 00:00:00 2001 From: Bogdan Nicolae Date: Mon, 4 Mar 2019 17:35:27 -0600 Subject: [PATCH] updated header to expose selective memory recovery API --- include/veloc.h | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/include/veloc.h b/include/veloc.h index ad7fa8e..b0457d0 100644 --- a/include/veloc.h +++ b/include/veloc.h @@ -109,9 +109,15 @@ int VELOC_Restart_begin(const char *name, int version); // read registered memory regions from the checkpoint file // must be called between VELOC_Restart_begin/VELOC_Restart_end -// IN version - version of the checkpoint +// each requested id must be protected with a previous call to VELOC_Mem_protect +// IN ids - array of ids to be recovered +// IN id_count - length of ids array +// IN mode - VELOC_RECOVER_ALL (all ids, ignores array), VELOC_RECOVER_SOME (only ids in array), VELOC_RECOVER_REST (all ids not in array) +int VELOC_Recover_selective(int mode, int *ids, int id_count); + +// convenenice wrapper equivalent to VELOC_Restart_selective(VELOC_RECOVER_ALL, NULL, 0) int VELOC_Recover_mem(); - + // mark end of restart phase // IN version - version of the checkpoint // IN success - set to 1 if the state restore was successful, 0 otherwise