如何用信号量实现前趋关系