shadow: make use of synchronization barrier