操作系统知识点大总结【进程同步与互斥】

深藏阁楼爱情的钟 2023-01-17 09:28 197阅读 0赞

### 文章目录 ###

*   *  一、临界与同步
     *   *  1、临界资源与临界区
         *  2、进程同步
         *  3、信号量实现进程同步
     *  二、进程互斥
     *   *  1、进程互斥的软件实现方法
         *  2、进程互斥的硬件实现方法
         *  3、信号量实现互斥
         *  4、信号量进程互斥
     *  三、经典同步问题（4个）

## 一、临界与同步 ##

### 1、临界资源与临界区 ###

在计算机中，有些资源允许多个进程同时使用，如磁盘；而另一些资源只能允许一个进程使用，如打印机、共享变量。如果多个进程同时使用这类资源，就会引起激烈的竞争。操作系统必须保护这些资源，以防止两个或者两个以上的进程同时访问它们。

那些在某段时间内只允许一个进程使用的资源就称为临界资源。

而每个进程中访问临界资源的那段程序就称为临界区。

### 2、进程同步 ###

进程同步是指多个进程中发生的事件存在着某种时序关系，必须协同动作，相互配合，以共同完成一个任务。进程同步的主要任务是使并发执行的诸各个进程有效地共享资源和相互合作，从而使程序的执行具有可再现性。

进程同步一种直接制约关系。这种用法比进程之间的互斥知道对方的程度要高，因为进程之间需要合作。

### 3、信号量实现进程同步 ###

semaphore S = 0;
    P1()
    { 
    	 一些操作代码...；
    	x； // 语句x；
    	V（S）// 唤醒另外P进程
    }
    
    P2
    { 
    	P(S); // 一直堵塞P2进程，等待唤醒
    	Y;   // 被唤醒，执行正事
    }

## 二、进程互斥 ##

### 1、进程互斥的软件实现方法 ###

![01][]

### 2、进程互斥的硬件实现方法 ###

（1）中断屏蔽方法

关中断；
    
    临界区；
    
    开中断；

中断屏蔽的特点：

*  限制了CPU交替执行能力
 *  用户能力变大，甚至可以控制中断

（2）硬件指令方法

*  TestAndSet指令

boolean TestAndSet(boolean *lock)
    { 
    	boolean old;
    	old = *lock;
    	*lock = true;
    	return old;   // 设置old为true
    }
    
    while （TestAndSet(&lock)）；
    { 
    	临界区代码段；//(进入第一件事，设置lock为true),防止他人进入
    	lock = false；
    	进程其他代码；
    }

*  TestAndSet特点：  
    ![02][]
 *  Swap指令

Swap(boolean *a, boolean *b)
    { 
    	boolean temp;
    	temp = *a;
    	*a = *b;
    	*b = temp;
    }
    
    Main
    { 
    	key = true;
    	while(key!=false)
    	Swap(&lock, &key);//只要有其他进程
    								//Lock = true
    进程临界区代码段；
    lock = false；
    进程的其他代码段	
    }

*  Swap指令特点：  
    ![03][]

### 3、信号量实现互斥 ###

![04][]

*  整型信号量的操作：

wait(S)
    { 
    	while(S<=0);
    	S--;
    }
    
    signal(S)
    { 
    	S++;
    }

*  记录型信号量的操作：

typedef struct
    { 
    	int value;
    	struct process *L;// 构造等待序列
    }semaphore;
    
    void wait(semaphore S)
    { 
    	S.value --;
    	if(S.value < 0)
    	{ 
    		add this process to S.l;
    		block(S.L); // 放弃处理机，插入等待序列
    	}
    }
    
    void signal (semaphore S)
    { 
    	S.value++;
    	if(S.value > 0)
    		{ 
    			remove a  process P from S.L;
    			// 告诉阻塞进程P，来资源了，可以干活
    			wakeup(P);
    		}
    }

### 4、信号量进程互斥 ###

semaphore S = 1;
    
    P1()
    { 
    	...;
    	P(S); // 准备访问临界资源，加锁
    	进程P1的临界区；
    	V(S); // 访问结束，解锁 
    }
    
    P2()
    { 
    	P(S); // 准备访问临界资源，加锁
    	进程P2的临界区；
    	V(S);  // 访问结束，解锁 
    }

## 三、经典同步问题（4个） ##

小tip：统一把P理解为消耗，V理解为释放。  
主要有以下4个经典进程同步问题：  
![05][]

关于这四个问题的具体分析，在下一篇文章中：  
操作系统知识点大总结【4大经典同步问题：生产者消费者问题、读者写者问题、哲学家进餐问题、睡眠的理发师问题】

[01]: /images/20221021/eab8072e776342a19cd1c991c2baf133.png
[02]: /images/20221021/9e837efc5bf040cd992593dd25bb767b.png
[03]: /images/20221021/1395402208374d99b1bdd4b194717066.png
[04]: /images/20221021/79c345a090374cd89cc1a1df25d82a16.png
[05]: /images/20221021/1bcc95169f7242268a86a9d00f1288f8.png