信号量好像是线程的东西诶