So, meine treuen Tester!
Es scheint nun tatsächlich ein Problem in der Threadsynchronisierung zu sein. Allerdings macht sich das nur auf Multiprozessorsystemen bemerkbar. Und auch nur, wenn beide Threads auf unterschiedlichen Prozessoren ausgeführt werden.
Ich habe jetzt ein paar Sachen geändert. Ich hoffe, dass es nun endlich funktioniert. Falls nicht geht die Suche weiter.
OpenPoc alpha-rev28
https://sourceforge.net/projects/openpoc/