Module simics::api::simulator::rev_exec

Implements simulator reverse execution and micro checkpointing functions. This functionality is deprecated in Simics 7

Functions

• _delete_micro_checkpoint 🔒
  Delete a micro checkpoint with a given index
• _get_rewind_overhead 🔒
  Get the overhead of rewinding
• _in_the_past 🔒
  Check whether the simulation is currently in the past (i.e. because we are reversed to a bookmark currently)
• _restore_micro_checkpoint 🔒
  Restore a micro checkpoint, loading it as a snapshot
• _reverse 🔒
  Reverse by a number of steps
• _reverse_cpu 🔒
  Reverse a single CPU by a certain number of steps
• _revexec_active 🔒
  Check whether reverse execution is active
• _revexec_available 🔒
  Check whether reverse execution is available
• _revexec_barrier 🔒
  Set a barrier to prevent rewinding past the current point in the simulation
• _revexec_cycles 🔒
  Reverse execution by a certain number of cycles
• _revexec_ignore_class 🔒
  Set reverse execution to ignore a certain class
• _revexec_steps 🔒
  Reverse execution by a certain number of steps
• _rewind 🔒
  Rewind by an absolute number of steps
• _save_micro_checkpoint 🔒
  Save a micro checkpoint with some set of flags
• _skipto_bookmark 🔒
  Skip forward or backward to a book mark
• _skipto_cycle 🔒
  Skip forward or backward to a certain cycle count
• _skipto_step 🔒
  Skip forward or backward to a certain step count
• delete_micro_checkpoint
  Delete a micro checkpoint with a given index
• get_rewind_overhead
  Get the overhead of rewinding
• in_the_past
  Check whether the simulation is currently in the past (i.e. because we are reversed to a bookmark currently)
• restore_micro_checkpoint
  Restore a micro checkpoint, loading it as a snapshot
• reverse
  Reverse by a number of steps
• reverse_cpu
  Reverse a single CPU by a certain number of steps
• revexec_active
  Check whether reverse execution is active
• revexec_available
  Check whether reverse execution is available
• revexec_barrier
  Set a barrier to prevent rewinding past the current point in the simulation
• revexec_cycles
  Reverse execution by a certain number of cycles
• revexec_ignore_class
  Set reverse execution to ignore a certain class
• revexec_steps
  Reverse execution by a certain number of steps
• rewind
  Rewind by an absolute number of steps
• save_micro_checkpoint
  Save a micro checkpoint with some set of flags
• skipto_bookmark
  Skip forward or backward to a book mark
• skipto_cycle
  Skip forward or backward to a certain cycle count
• skipto_step
  Skip forward or backward to a certain step count

Type Aliases

• MicroCheckpointFlags
  Alias for micro_checkpoint_flags_t
• RevExecPos
  Alias for revexec_pos_t