Removed locks from Galois simulations.

They are not needed, because threads are not used anymore.
Optimized the case where there is one subscriber
Merge remote-tracking branch 'origin/dev-giovanni'