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

文章目录

一、临界与同步
- 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、进程互斥的软件实现方法

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特点：
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指令特点：

3、信号量实现互斥

整型信号量的操作：

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个经典进程同步问题：

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

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

操作系统c语言实现进程同步与互斥代码
使用DEV C++打开: 这是进程同步与互斥代码,第一次自己写的,写得不好多多支持 #include<stdio.h> #include<windows.h> #include ...
操作系统知识点大总结
文章目录一.操作系统的特征 1.特征关系图 2.四大特征二.操作系统的发展三.操作系统提供的接口四.CPU的运行状态 1.运行状态关系图 2.核心态与用户态 3.核心态与用户态之间的转换 4. ...
操作系统原理教程：进程同步与互斥
在一个进程使用这些变量尚未结束期间,另一个进程也开始使用,这种错误通常称为"与时间有关的错误".导致出错的原因有两个:共享了变量.同时使用了这些共享变量.较好的解决办法是允许共享, ...
操作系统知识点大总结【进线程管理与调度】
文章目录一.进程管理二.进程的组成 1.进程的概念 2.进程的程序段.数据段.PCB 三.进程的特征与状态 1.进程的特征 2.进程的基本状态 3.进程的运行状态四.进程的控制五.进程的通信与 ...
操作系统知识点大总结【管程与死锁】
文章目录一.管程二.死锁一.管程 1.管程的概念用信号量可以实现进程之间的同步与互斥,但要设置很多信号量,使用大量的P.V操作,还要仔细安排多个P操作的排列次序,否则将出现错误的结果或死锁现象 ...
操作系统：第二章进程管理3 - 进程同步与互斥
本文已收录至 Github(MD-Notes),若博客中有图片打不开,可以来我的 Github 仓库:https://github.com/HanquanHq/MD-Notes,涵盖了互联网大厂面试必 ...
计算机操作系统专题一：多道环境下进程同步与互斥制约关系的学习
1. 问题描述设自行车生产线上有一只箱子,其中有N个位置(N≥3),每个位置可存放一个车架或一个车轮,又设有三名工人,其活动分别为: 2. 问题分析(包括涉及的知识点.制约关系分析.问题的解决思路等 ...
【操作系统基础】进程管理（三）进程同步与互斥
一.进程同步.互斥的基本概念 1. 什么是进程同步进程具有异步性的特征.异步性是指各并发执行的进程以各自独立的.不可预知的速度向前推进.举一个线程通信的例子,管道通信: 读进程和写进程并发运行,由于 ...
操作系统——进程同步与互斥
文章目录进程同步与互斥简介进程间合作进程间合作的问题竞争条件原子操作临界区相关的几个概念忙等待的互斥基于硬件的同步解决办法:屏蔽中断基于软件的同步解决方法严格轮换法 Peters ...