Maybe I'm wrong, but by checking the "redundant" atomic counter before trying to acquire the semaphore, he's saving up a system call, which would imply making (

Maybe I'm wrong, but by checking the "redundant" atomic counter before trying to acquire the semaphore, he's saving up a system call, which would imply making (unnecessary) context changes.