Stashing Synchronizer and SynchronizerManager