操作系统 哲学家进餐问题

若0号顺利吃饭 但是四号哲学家进行p(metux)后被阻塞 且此时并没有进行v(metux)操作 那么此时就算2号哲学家就算可以用两根筷子 也还是会被阻塞 这算不算违背了哲学家进餐问题的初衷?