13.3.2 Distributed Synchronizer Register Synchronization