I beg to differ on what happens when the process aborts. If you have the SEM_UNDO flag set on your operations, all of the collective operations on that semaphore are 'undone'. I refer to the semop man page, and will see what my other reference material says about it in the morning.