操作系统——信号量机制及其实现进程互斥、同步、前驱关系

一、知识总览

信号量机制的基本原理：两个或多个进程可以利用彼此间收发的简单的信号来实现“正确的”并发执行，一个进程在收到一个指定信号前，会被迫在一个确定的或者需要的地方停下来，从而保持同步或互斥。

二、整型信号量

三、记录型信号量

typedef struct{
    int value;
    struct process *L;
}semaphore//信号量

void wait(semaphore S){//wait原语
    S.value--;
    if(S.value<0){
        block(S.L);//阻塞原语
    }
}

void signal(semaphore S){//signal原语
    S.value++;
    if(S.value<=0){
        wakeup(S.L);//唤醒原语
    }
}

四、信号量机制总结：

五、信号量机制实现进程互斥

互斥信号量的初值实际上是表示某种资源的数量，而我们这里临界区同一时间段内只允许一个进程来访问，所以可以把临界区理解成一种特殊的资源，该资源只有一个，只能被分配给一个进程使用，只有这个进程释放了，才能被其他进程使用。如果一个进程需要使用临界区这种特殊的资源的时候，那么使用之前就应该对其所对应的信号量进行P操作，使用之后进行V操作。