Table of contents
  1. Home
  2. /
  3. Projects
  4. /
  5. Process Checkpointing - xv6
  6. /
  7. Usage Manual - xv6 checkpointing

Usage Manual

This section provides instructions on how to use the implemented system calls in user-space programs.

Creating a Checkpoint

Use the checkpoint(int pid, char *filename) system call.

  • pid: The Process ID of the target process to save. Use getpid() for self-checkpointing.
  • filename: The name of the file to be created (e.g., ”backup.img”).
  • Returns: 0 on success, -1 on failure.

Restoring a Process

Use the restart(char *filename) system call.

  • filename: The path to a valid checkpoint image file.
  • Behavior: If successful, this function does not return anything. Instead, the process memory is overwritten, and execution resumes from the saved context (the point where checkpoint was called).

Inspecting an Image

Use the imginfo command-line tool to inspect a file without loading it.

$ imginfo save.img
=== Checkpoint Image Info ===
File: save.img
Status: VALID XV6 Checkpoint
Orig Name: test_prog
Orig PID: 4
Mem Size: 12288 bytes