信号量 semop函数的SEM_UNDO标志问题

在UNIX环境高级编程中，看到如下描述：
“如果指定了undo标志，则也从该进程的此信号量调整值中减去sem_op”（见425页）

请问：
如果不指定undo标志，岂不是进程信号量不减去sem_op？如果这样的话，那设置sem_op岂不是没有意义，因为信号量不增不减，就无法实现并发。网上的资料大概是说undo标志用于让系统维护信号量。请各位帮忙解答一下。
谢