Buongiorno, avrei una domanda relativa al flag SEM_UNDO relativo alle operazioni sui semafori. Allora, ho capito a cosa serve nel caso un processo blocchi una risorsa mettendo a zero un semaforo: nel caso il processo termini prima di rilasciare la risorsa (prima di mettere a 1 il semaforo), se non fosse settato il flag SEM_UNDO la risorsa rimarrebbe inaccessibile agli altri processi causando un deadlock. Ma non ho capito la sua utilità nel caso sia settato (e questo praticamente si verifica sempre) quando rilascio la risorsa, incrementando il valore del semaforo. Anzi, non solo mi sembra inutile, ma dannoso, dato che, quando il processo terminerà, il semaforo sarà riportato a zero. O no?
Grazie