关于信号量SEM_UNDO标志的问题

Question

sem_lock() 和 sem_unlock() 都指定SEM_UNDO标志了
信号灯0：表示同一时间只有1个A资源可以使用
信号灯1：表示同一时间只有1个B资源可以使用

管理进程(进程1):
   // 初始有1个可用的A资源
   sem_unlock( 0 );

进程2(在进程1运行后创建):
   // 等待A资源可用
   sem_lock( 0 );
   ......
   
   // 释放B资源, 唤醒进程3
   sem_unlock( 1 );
   .....
   <D区域>
   .....

进程3:
   // 等待B资源
   sem_lock( 1 );
   ......
   
   // 释放A资源
   sem_unlock( 0 );
   ......

问题：当进程2在“d区域”异常退出(coredown)时，查看信号灯0的值, 变成"2"了？

针对进程2（工作进程）异常退出或主动kill掉，信号灯0的值又不想还原回去，不知各位大虾
有啥好的改进意见？

网上还搜到了一段话，针对信号量p操作，进程会保留调整值semadj, 在进程异常退出时会自动调整还原。
As we mentioned earlier, it is a problem if a process terminates
while it has resources allocated through a semaphore.
Whenever we specify the SEM_UNDO flag for a semaphore
operation and we allocate resources (a sem_op value less than 0),
the kernel remembers how many resources we allocated from
that particular semaphore (the absolute value of sem_op).
When the process terminates, either voluntarily or involuntarily,
the kernel checks whether the process has any outstanding semaphore
adjustments and, if so, applies the adjustment to the corresponding semaphore.

2. int get_sem_val( int sem_id, int sem_slot )
3. {
4.         union semun arg;
5.         return semctl( sem_id, sem_slot, GETVAL,arg );
6. }
8. int sem_lock( int sem_id, int sem_slot )
9. {
10.         union semun                arg;
11.         struct sembuf         waittop;
12.         waittop.sem_num = sem_slot;
13.         waittop.sem_op = -1;
14.         waittop.sem_flg = SEM_UNDO;
15.        
16.         if( semop( sem_id,&waittop,1 ) == -1 ) {
17.                 arg.val = get_sem_val( sem_id, sem_slot ) - 1;
18.                 return semctl( sem_id, sem_slot, SETVAL,arg );
19.         }
20.        
21.         return 0;
22. }
24. int  sem_unlock(int sem_id, int sem_slot)
25. {
26.         union semun                arg;
27.         struct sembuf         postop;
28.         postop.sem_num = sem_slot;
29.         postop.sem_op  = 1;
30.         postop.sem_flg = SEM_UNDO;
31.        
32.         if( semop(sem_id,&postop,1 ) == -1 ) {
33.                 arg.val = semctl( sem_id, sem_slot, GETVAL,0 )+1;
34.                 semctl( sem_id, sem_slot, SETVAL, arg );
35.         }
36. }

复制代码