A múltkori eset után picit utánaolvastam a szemaforoknak, és egy kis táblázatot alkottam: itt látható..

Már írtam is hozzá egy kis kiegészítést: a SsystemV IPC-nek szerencsés tulajdonsága, hogy ha használjuk a SEM_UNDO opciót, akkor egy váratlan leállás sem tudja zárolva hagyni a szemafort, ami viszont megtörténhet a POSIX-os szemaforral.