update posix_sem