【操作系统】-同步互斥-【王道模拟】-一个主修动物行为学...

【同步关系】：从南到北的猴子数count_SN大于等于1时，从北到南的进程需要等待,count_SN=0，时，从北到南进程可以解锁。从北到南同理

【互斥关系】：本题描述中虽然没有互斥资源，但是对两个全局变量的访问必须互斥

类似教材上读者写者问题，只是这里是多读者多写者，且写者之间不互斥

int count_NS=0;
int count_SN=0;
semaphore mutex_NS=1;//对int变量互斥修改
semaphore mutex_SN=1;//对int变量互斥修改
semaphore permit=1;//表示允许反方向的猴子上绳

void monkey_S_to_N()
{
    while(true)
    {
        p(mutex_SN);//互斥访问全局变量
        if(count_SN==0)  
            p(permit);//从南到北的第一只猴子禁止反方向的猴子上
        count_SN++;//从南到北的猴子数加1
        v(mutex_SN);//结束对count变量的访问

        通过绳索

        p(mutex_SN);//互斥访问全局变量
        count_SN--;//从南到北的猴子数减1
        if(count_SN==0)
            v(permit);//从南到北的最后一只猴子允许反方向的猴子上
        v(mutex_SN);//结束对count变量的访问
        
    }
}

void monkey_N_to_S()//从北到南的进程
{
    while(true)
    {
        p(mutex_NS);//互斥访问全局变量
        if(count_NS==0)  
            p(permit);//从北到南的第一只猴子禁止反方向的猴子上
        count_NS++;
        v(mutex_NS);

        通过绳索

        p(mutex_NS);
        count_NS--;
        if(count_NS==0)
            v(permit);//从北到南的最后一只猴子允许反方向的猴子上
        v(mutex_NS);
        
    }
}