You are wrong, as polling always introduces jitter (due indeterminacy of the event arriving moment between the last entry to the polling loop and the comparison

You are wrong, as polling always introduces jitter (due indeterminacy of the event arriving moment between the last entry to the polling loop and the comparison operation). If you want really precise timing while reacting to external event is to sit in "halt" state, with interesting interrupts enabled.