ITEC -  Operating Systems Group

Intel Page Modification Logging for Lightweight Continuous Checkpointing

  • Type:Bachelor Thesis
  • Date:31.10.2016
  • Supervisor:

    Prof. Dr. Frank Bellosa
    Marc Rittinghaus

  • Graduand:Janis Schoetterl-Glausch
  • Links:PDF
  • Abstract:

    The usefulness of full system simulation is limited by its low execution speed. SimuBoost is a technique seeking to remove this limitation by accelerating full system simulation via parallelization. It builds on hardware-assisted virtualization and frequently creates checkpoints of the virtual machine, which serve as starting points for a distributed parallel simulation. SimuBoost needs lightweight checkpointing. To achieve this, it uses incremental checkpointing, which requires that the virtual machine monitor is informed of changes the guest makes to memory. Traditionally, this dirty logging is implemented via write protection; when active, a write access generates a page fault informing the monitor.

    This thesis explores whether SimuBoost’s incremental implementation can be made more lightweight by Intel Page Modification Logging, a technology with the aim of reducing the cost of dirty logging.

    BibTex:

    @mastersthesis{glausch16pml,
      author = {Janis Schoetterl-Glausch},
      title = {Intel Page Modification Logging for Lightweight Continuous Checkpointing},
      type = {Bachelor Thesis},
      year = 2016,
      month = oct # "31",
      school = {Operating Systems Group, Karlsruhe Institute of Technology (KIT), Germany}
    }