Correction type semaphore