手撕哲学家是怎么弄呀，信号量吗（另外pdd那个ide感觉依托