PV 操作与同步互斥 — 计算机选择题

五位哲学家围圆桌而坐，五支筷子均可用信号量 chopstick[i]（初值均为 1）表示。某同学采用如下方案：奇数号哲学家先 P(chopstick[i]) 取左筷、再 P(chopstick[(i+1) mod 5]) 取右筷；偶数号哲学家先 P(chopstick[(i+1) mod 5]) 取右筷、再 P(chopstick[i]) 取左筷。关于该方案的正确结论是： A. 五位哲学家可能同时拿起各自的第一支筷子而陷入死锁 B. 该方案不会死锁，因为申请筷子顺序不一致破坏了循环等待条件 C. 该方案必然死锁，与申请顺序无关 D. 该方案不会死锁，因为筷子总数大于哲学家人数