逻辑上来说,一组线程属于一个进程,或者说一个进程可以包含很多线程。为了实现并发,一个进程中可以起很多个线程。这些线程协作完成进程的运行逻辑;
对操作系统而言,进程是资源分配的基本单元,线程是cpu调度的基本单元;比如一个进程内的所有线程共享同一个地址空间,而不同进程的地址空间是相互独立的;
从通信上来说,进程间通信IPC,线程间可以直接读写进程数据段(如全局变量)来进行通信——需要进程同步和互斥手段的辅助,以保证数据的一致性;
从线程模型来看,用户级线程与内核线程的对应关系有1:1, N:1, M:N等.前两者分别可以叫做用户级线程和内核级线程。用户级线程并不能真正做到并行,所以主要用的还是内核级线程。而M:N这种模型在Golang的goroutine中得以实现。更详细的描述请参考Goroutine并发调度模型深度解析&手撸一个协程池.还可以看goroutine背后的系统知识.
从实现上来说,以linux为例。用户视角下的线程在内核中实际实现是进程,每个线程都有独立的task_struct对象,独立调度切换。用户视角下的进程需要内核配合用户空间来模拟出来,比如一个线程调用getpid()返回的不是自己所在的调度实体的pid,而是tgid(线程组id.)
更详细的讲解请参考阿里浅墨
这篇Linux线程的前世今生在使用中,进程创建一般通过fork()系统调用实现,而线程创建一般调用
pthread库中的pthread_create().
摘抄文献:
常见面试题解答-OS
有疑问加站长微信联系(非本文作者)