но это должно происходить _только_ во время процедуры пропуска кванта
Хм... Нелогично. Во время процедуры пропуска кванта ТЕКУЩИЙ процесс всегда вытесняется, если есть ожидающие кванта процессы. А вот если начинаем вытеснять процесс по приходу прерывания - встает трабла. Невозможно узнать, сколько тактов процесс отработал. Поэтому внутренний счетчик тактов "уходит", и происходит легкая рассинхронизация.