IPC 的 mb 和 mq 无法确保 FIFO

[Moral-Hao]

IPC中的 mb 和 mq，在缓冲区已满或者为空时，会把线程 A 挂在等待队列上。
当其他线程 B 读取数据或者发送数据后，会把之前的等待线程 A 唤醒，待线程 A 被调度后再处理数据。
若线程 A 被调度前，有高优先级的线程 C 先被调度，可能导致线程 A 处理数据失败，从而再次进入等待队列。
若 mb 和 mq 是 FIFO 类型，会导致先进入 FIFO 队列的线程 A 晚获取数据；晚进入 FIFO 队列的线程 C 反而先获取到数据。

类似于优先级翻转，这里可能发生 FIFO 翻转。

[BernardXiong]

是的，此处没有做锁定，而semaphore相当于做了锁定。后面可以看看怎么来fix下

[dongwencai]

uclinux里面也存在这样的问题，但是它的做法并没有把thread从mutex的suspend队列移除，只是wakeup线程，线程可以被调度，当线程获取锁的时候，才会从mutex的suspend队列将自己移除！