An effective synchronization approach for fast and accurate multi-core instruction-set simulation