Das passende Schlüsselwort sollte VOLATILE sein. Damit sollte man alle Variablem kennzeichnen, die in der ISR und im Hauptprogramm genutzt werden.