Improved framework for synchronizer