Nachos操作系统synch(lab3)

这一篇来讲一下Nachos里面的同步 首先，在synch.h里面，定义了三种与同步有关的类：Semaphore，Lock，Condition，下面来分析一下这三种数据类型 Semaphore 其类型定义如下 其中，value是该信号量初值，在初始化的时候被赋予值，queue是一个线程队列，里面存放着因为该信号量而被阻塞的线程指针，其重点是这两个P，V函数 P函数判断当前信号量是否还有剩余，如果没有

>>阅读原文<<