什么是前趋图?
一个有向无循环图,用于描述进程之间执行的前后关系。
利用信号量实现前趋图。
理解程序并发执行的特征:
间断性:由于共享资源,导致并发程序具有”执行-暂停-执行“这种间断的活动规律。
失去封闭性:程序间相互影响。
不可再现性:由于失去了封闭性,所以程序无法再现。
进程的定义:
进程是
程序的一次执行
进程是
程序及其数据在
处理机上顺序执行时发生的活动
进程是程序在一个
数据集合上运行的过程,它是系统进行
资源分配的和调度的一个独立的单位。
进程控制块(pcb):
为了描述和控制进程,定义了数据结构——进程控制块,是进程实体的一部分,是操作系统中最重要的记录型数据结构。
作用:是一个多道程序环境下不能独立运行的程序,成为一独立的基本单位。一个能与其他进程并发执行的进程。
进程的几种状态:
就绪状态:一旦获得cpu ,就开始执行。
执行状态:进程获得CPU 程序正在执行
阻塞状态:正在执行的事情因为发生某件事无法继续执行时,便放弃处理机而处于暂停的状态。
挂起状态:
使正在执行的程序暂停执行。
活动就绪——静止就绪
静止就绪——活动就绪
活动阻塞——静止阻塞
静止阻塞——活动阻塞
创建状态和终止状态
进程同步的基本概念:
1、两种形式的制约关系
间接相互制约关系:A进程将某资源占用,B只能阻塞,只有将其释放,B才能从阻塞改为就绪。
直接相互制约关系:先A后B,A的数据进入缓冲区,B才能激活。
2、临界资源;生产者——消费者模式。
3、临界区:每个进程访问临界资源的那段代码。
4、同步机制应遵循的规则:
- 空闲让进
- 忙则等待
- 有限等待
- 让权等待
线程的概念:
比进程更小的能独立运行的基本单位,试图用它来提高系统内程序并发执行的程度,从而可进一步提高系统的吞吐量。