线程和进程

• 进程是一个具有一定独立功能的程序在一个数据集上的一次动态执行的过程，是操作系统进行资源分配和调度的一个独立单位，是应用程序运行的载体。
• 进程一般由程序，数据集合和进程控制块PCB三部分组成。
• 进程：动态性、并发性、独立性、结构性
• 线程是程序执行中一个单一的顺序控制流程，是程序执行流的最小单元，是处理器调度和分派的基本单位。一个进程可以有一个或多个线程，各个线程之间共享程序的内存空间(也就是所在进程的内存空间)。一个标准的线程由线程ID，当前指令指针PC，寄存器和堆栈组成。而进程由内存空间(代码，数据，进程空间，打开的文件)和一个或多个线程组成。

---

进程与线程的区别

• 线程是程序执行的最小单位，而进程是操作系统分配资源的最小单位；
• 一个进程由一个或多个线程组成，线程是一个进程中代码的不同执行路线；
• 进程之间相互独立，但同一进程下的各个线程之间共享程序的内存空间(包括代码段，数据集，堆等)及一些进程级的资源(如打开文件和信号等)，某进程内的线程在其他进程不可见；
• 调度和切换：线程上下文切换比进程上下文切换要快得多。

---

为何不使用多进程而是使用多线程？
线程廉价，线程启动比较快，退出比较快，对系统资源的冲击也比较小。而且线程彼此分享了大部分核心对象(File Handle)的拥有权。

---

进程间的通信

• 共享存储
• 消息传递：格式化的信息体为单位
• 管道通信：缓冲区

---

多线程OS中的同步机制

• 互斥锁mutex
  互斥锁比较简单，用于实现线程间对资源互斥访问的机制。有两种状态，开锁和关锁状态。
  当一个线程需要读/写一个共享数据时，线程首先应该为该数据段所设置的mutex执行关锁命令。首先判别mutex的状态，如果已经处于关锁状态，则访问该数据段的线程将被阻塞；如果mutex处于开锁状态，则将mutex关上之后进行读/写。
  完成读/写之后将mutex设置成开锁状态，并唤醒阻塞在该互斥锁上的线程。
• 条件变量
  每个条件变量通常都与一个互斥锁一起使用，在创建一个互斥锁的同时便联系一个条件变量。单纯的互斥锁用于短期锁定，主要是保证对临界区的互斥进入，条件变量则用于线程的长期等待，直至等待的资源成为可用的资源。
• 信号量机制
  私用信号量：当某线程需要利用信号量来实现同一进程间的各线程同步时，可调用创建信号量的命令来创建私用信号量。
  公用信号量：公用信号量是为实现不同进程间或不同进程间各线程的同步而设定。