计算机操作系统基础知识总结

进程与线程的区别

进程：一个正在执行程序的实例，它有程序、输入、输出以及状态。
（程序：用适当形式描述的算法）
线程：运行在进程上下文中的逻辑流
所有的线程都有完全一样的地址空间，共享相同的全局变量，所以一个线程甚至可以读、写、清除另一个线程的堆栈。所有线程还共享一个打开文件集、子进程、定时器以及相关信号。
每个线程有自己的堆栈，供各个被调用但是还没有从中返回的过程使用。

进程的状态、切换

进程的状态

运行态、就绪态（可运行，但因其他进程正在运行而暂时停止）、阻塞态（除非某种外部事件发生，否则进程不能运行）

操作系统发现不能继续运行下去，运行态转换为阻塞态。

时间片用完，运行态转换为就绪态；调度程序选中，就绪态转换为运行态。

进程等待的外部事件发生，阻塞态转换为就绪态。

运行态和就绪态的转换是由调度程序引起的，调度程序主要决定应当运行哪个进程、何时运行以及应该运行多长时间。

进程的切换

引发切换的原因：中断（对异步外部事件的反应）、陷阱（处理一个错误或异常条件）、系统调用。

上下文切换的步骤：1）用户态切换到内核态，保存当前进程的上文，2）调度算法选定新进程，恢复某个先前被抢占的进程被保存的上下文，3）将控制权传递给这个新恢复的进程。除此之外，还要使整个内存高速缓存失效。

进程切换代价较高。

写时复制

unix系统中，子进程共享父进程地址空间，一旦想要修改部分内存，这块内存首先被复制，以确保修改发生在私有内存区域。

windows中，从一开始父进程和子进程的地址空间就不同。

线程的创建和结束

线程的创建：pthread_create 返回新创建线程的线程标识符。

线程的结束：pthread_exit

pthread_join 阻塞调用线程知道（特定）线程结束。

守护进程、僵尸进程和孤儿进程

僵尸进程：一个进程退出但是它的父进程并没有在等待它

孤儿进程：当父进程先结束，子进程此时就会变成孤儿进程

进程间通信方式（共享内存、信号量、管道、消息）

1. 共享内存：协作进程共享彼此都能读写的公共存储区。多个进程读写共享数据时，结果取决于进程运行的精确时序，一个进程在写的时候，另一个进程要注意读写的问题（互斥），相当于线程中的线程安全（线程本身就共享一块内存）。

互斥：屏蔽中断、锁变量、严格轮换法

2. 信号量：本质是一个计数器。可用于解决生产者-消费者问题。
   对信号量实行down操作，检查其值是否大于0，若大于0，则减1；若该值为0，则进程将睡眠。（原子操作，不可分割）up操作对信号量的值加1。
   用于互斥（保证任一时刻只有一个进程读写缓冲区）和同步（保证某种事件的顺序发生或不发生），不是用于存储进程间通信数据。

3. 管程：一个由过程，变量及数据结构等组成的一个特殊的模块或者软件包。任一时刻管程中只能有一个活跃进程（互斥）。可以理解为两个进程之间，建立一个通道，一个进程向这个通道写入数据，另一个从这个通道中读取数据，这个通道称为管道。

4. 消息传递

生产者-消费者问题

两个进程共享一个公共缓冲区