added reset_synchronizer