private void UpdateInstructionCounter(int value)
{
ExecutedInstructions += value;
var instructionsThisTurn = value + instructionCountResiduum;
instructionCountResiduum = instructionsThisTurn % PerformanceInMips;
ClockSource.Advance(instructionsThisTurn / PerformanceInMips);
}