Ähm, das Problem ist nicht das Schlüsselwort ``global`` sondern globale Variablen. Und das ist `COUNTER` in diesem Fall. Nur weil man es wie eine Konstante benennt, ist eine veränderbare Liste die dann auch tatsächlich verändert wird, keine Konstante sondern eben auch wieder eine globale Variable.
Und hier wird IMHO auch ein bisschen grosszügig davon ausgegangen, dass `append()` und `clear()` von Listen sich in einem nebenläufigen Programm nicht in die Quere kommen können. Das mag in der aktuellen CPython-Implementierung kein Problem sein, aber eigentlich müsste man das mit einem Lock absichern.