[BugFix] Fixed synchronization bugs in SMP