操作系统的进程同步算法——记录型信号量模拟