如图这里的定义var S:semaphore;为什么要分别放在两个procedure里面啊？不能放在外面吗？这样定义的S，是一个S还是两个不同的S啊新手求助
两个过程里的S表示不同的变量，虽然变量名一样。
