Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU