在XV6中实现sigprocmask时，对SIG_UNBLOCK位运算逻辑的疑问

首先明确两个核心前提：

• XV6里的进程信号掩码curproc->sigmask是整数类型，每一位对应一个信号的屏蔽状态：位为1表示该信号被屏蔽，位为0表示不屏蔽。
• 参数set是要解除屏蔽的信号集合，同样用位标记：位为1代表要操作该信号。

接下来拆解curproc->sigmask &= ~(*set);的运算逻辑：

1. 按位取反：~(*set) #

对传入的信号集合*set执行按位取反操作。比如*set的二进制是000100（代表要解除第2位的信号），取反后会变成111011——原来标记要解除的信号位变成0，其余所有位变成1。

2. 按位与赋值：&= #

将当前进程的信号掩码curproc->sigmask和取反后的~(*set)执行按位与操作，再把结果赋值给curproc->sigmask。

按位与的规则是：只有两个对应位都为1时，结果位才是1，否则为0。结合取反后的~(*set)特性：

• 对于set中标记要解除屏蔽的信号位：取反后该位是0，与原掩码的对应位做与运算，结果必然是0——直接解除该信号的屏蔽。
• 对于其他未标记的信号位：取反后该位是1，与原掩码的对应位做与运算，结果保留原掩码的状态——其他信号的屏蔽状态不受影响。

实际例子 #

假设当前curproc->sigmask是001100（屏蔽了第2、3位的信号），*set是001000（要解除第3位的信号）：

• ~(*set) = 110111
• 001100 & 110111 = 000100
  结果是原掩码去掉了第3位的屏蔽，完全符合SIG_UNBLOCK的需求——只解除指定信号的屏蔽，其余信号的屏蔽状态保持不变。

内容的提问来源于stack exchange，提问作者Anvita Mahajan