进程，线程，协程讲解

一：操作系统的内存模型

程序运行先从内存中读取数据进入高速缓存区（当内存不够时，可能要先进行内存交换，先从磁盘中读取数据加入内存），进行运算，运算完，存入主存中。

此处涉及到一个性能调优的知识点，进程绑核技术，也就是常说的多核编程，当一个进程绑定cpu时，该进程就会一直在该cpu上跑，就不会涉及CPU切换，还有一点是CPU分为L1，L2，L3，三级缓存,也就是上面说的高速缓存区，L1，L2是每个核心独享的，L3才是各个CPU共享的，这样程序在访问高速缓存区时，同一个CPU就能减少cache miss

 

二：进程的内存模型

进程的内存分为内核态内存与用户态内存

32位程序的寻址范围2^32，4G内存(1G内核，0-3G用户态)

64位程序的寻址是2^64，但是并不需要这么大的内存(所以64位Linux一般使用48位表示虚拟空间地址，40位标识物理地址),共提供 256TB(2^48) 的寻址空间（128TB内核）

1）内核区：用户代码不可见的区域，页表就存放在这个区域中。

2）用户区：

a、代码段：只可读，不可写，程序代码段。

b、数据段：保存已经初始化的全局变量，静态变量的区域

c、bbs段：保存初始化为0的全局变量，静态变量，以及未初始化的全局变量与静态变量(此处也正好说明了为何未初始化的全局变量跟静态变量会默认初始化为0)

d、堆区：就是动态内存，通过malloc，new申请内存的堆内存（地址是往上增长）

e、文件映射区域：通过mmap系统调用，如动态库，共享内存等映射物理空间的内存区域。可以单独释放，不会产生内存碎片。

f、栈区：用于维护函数调用的上下文空间，用ulimit -s 查看。一般默认为8M

加一张参数入栈的图片，图片来源于网络

可以看到栈是往下增长的

三：进程的概念

进程是具有一定独立功能的程序关于某个数据集合上的一次运行活动,进程是系统进行资源分配和调度的一个独立单位。每个进程都有自己的独立内存空间，不同进程通过进程间通信来通信。由于进程比较重量，占据独立的内存，所以上下文进程间的切换开销（栈、寄存器、虚拟内存、文件句柄等）比较大，但相对比较稳定安全。

四：线程的概念

线程是进程的一个实体,是CPU调度和分派的基本单位,它是比进程更小的能独立运行的基本单位.线程自己基本上不拥有系统资源,只拥有一点在运行中必不可少的资源(如程序计数器,一组寄存器和栈),但是它可与同属一个进程的其他的线程共享进程所拥有的全部资源。线程间通信主要通过共享内存，上下文切换很快，资源开销较少，但相比进程不够稳定容易丢失数据。线程私有的资源包含：线程ID、寄存器组的值、线程的栈、错误返回码errno值、线程的信号屏蔽码、线程的优先级--可以自己设置优先级

五：协程的概念

协程是一种用户态的轻量级线程，协程的调度完全由用户控制。协程拥有自己的寄存器上下文和栈。协程调度切换时，将寄存器上下文和栈保存到其他地方，在切回来的时候，恢复先前保存的寄存器上下文和栈，直接操作栈则基本没有内核切换的开销，可以不加锁的访问全局变量，所以上下文的切换非常快。协程只能调用非阻塞接口，当调用阻塞接口时，整个线程都被阻塞，(线程中实现协程 常用的两个API则是setjump,保存当前的堆栈，longjump跳转到指定的位置)

说到跳转补一个知识点，程序中如何跳转到指定地址执行

比如程序要跳转到0x001这个地址执行

地址的执行我们可以转化为调用函数，将地址转为函数，此处能用上的概念就是函数指针

将0x001转化为函数指针(void(*)()) 0x001

然后调用它*((void(*)())0x100)();

六：进程与线程的比较

线程是指进程内的一个执行单元,也是进程内的可调度实体。线程与进程的区别:

1) 地址空间:线程是进程内的一个执行单元，进程内至少有一个线程，它们共享进程的地址空间，而进程有自己独立的地址空间

2) 资源拥有:进程是资源分配和拥有的单位,同一个进程内的线程共享进程的资源

3) 线程是处理器调度的基本单位,但进程不是

4) 二者均可并发执行

5) 每个独立的线程有一个程序运行的入口、顺序执行序列和程序的出口，但是线程不能够独立执行，必须依存在应用程序中，由应用程序提供多个线程执行控制

 

七：协程与线程进行比较

1) 一个线程可以多个协程，一个进程也可以单独拥有多个协程

2) 线程进程都是同步机制，而协程则是异步

3) 协程能保留上一次调用时的状态，每次过程重入时，就相当于进入上一次调用的状态