进程与线程的区别
进程:一个正在执行程序的实例,它有程序、输入、输出以及状态。
(程序:用适当形式描述的算法)
线程:运行在进程上下文中的逻辑流
所有的线程都有完全一样的地址空间,共享相同的全局变量,所以一个线程甚至可以读、写、清除另一个线程的堆栈。所有线程还共享一个打开文件集、子进程、定时器以及相关信号。
每个线程有自己的堆栈,供各个被调用但是还没有从中返回的过程使用。
进程的状态、切换
进程的状态
运行态、就绪态(可运行,但因其他进程正在运行而暂时停止)、阻塞态(除非某种外部事件发生,否则进程不能运行)
操作系统发现不能继续运行下去,运行态转换为阻塞态。
时间片用完,运行态转换为就绪态;调度程序选中,就绪态转换为运行态。
进程等待的外部事件发生,阻塞态转换为就绪态。
运行态和就绪态的转换是由调度程序引起的,调度程序主要决定应当运行哪个进程、何时运行以及应该运行多长时间。
进程的切换
引发切换的原因:中断(对异步外部事件的反应)、陷阱(处理一个错误或异常条件)、系统调用。
上下文切换的步骤:1)用户态切换到内核态,保存当前进程的上文,2)调度算法选定新进程,恢复某个先前被抢占的进程被保存的上下文,3)将控制权传递给这个新恢复的进程。除此之外,还要使整个内存高速缓存失效。
进程切换代价较高。
写时复制
unix系统中,子进程共享父进程地址空间,一旦想要修改部分内存,这块内存首先被复制,以确保修改发生在私有内存区域。
windows中,从一开始父进程和子进程的地址空间就不同。
线程的创建和结束
线程的创建:pthread_create 返回新创建线程的线程标识符。
线程的结束:pthread_exit
pthread_join 阻塞调用线程知道(特定)线程结束。
守护进程、僵尸进程和孤儿进程
僵尸进程:一个进程退出但是它的父进程并没有在等待它
孤儿进程:当父进程先结束,子进程此时就会变成孤儿进程
进程间通信方式(共享内存、信号量、管道、消息)
- 共享内存:协作进程共享彼此都能读写的公共存储区。多个进程读写共享数据时,结果取决于进程运行的精确时序,一个进程在写的时候,另一个进程要注意读写的问题(互斥),相当于线程中的线程安全(线程本身就共享一块内存)。
互斥:屏蔽中断、锁变量、严格轮换法
-
信号量:本质是一个计数器。可用于解决生产者-消费者问题。
对信号量实行down操作,检查其值是否大于0,若大于0,则减1;若该值为0,则进程将睡眠。(原子操作,不可分割)up操作对信号量的值加1。
用于互斥(保证任一时刻只有一个进程读写缓冲区)和同步(保证某种事件的顺序发生或不发生),不是用于存储进程间通信数据。 -
管程:一个由过程,变量及数据结构等组成的一个特殊的模块或者软件包。任一时刻管程中只能有一个活跃进程(互斥)。可以理解为两个进程之间,建立一个通道,一个进程向这个通道写入数据,另一个从这个通道中读取数据,这个通道称为管道。
-
消息传递
生产者-消费者问题
两个进程共享一个公共缓冲区