Use __sync_synchronize