ipc/sem.c: update description of the implementation