扫码关注
核心要点速览
进程是资源分配单位，线程是CPU调度单位
进程间地址空间隔离，线程共享同一进程的地址空间
进程创建切换开销大，线程开销小
进程间用IPC通信，线程间用共享内存加同步机制
进程稳定性好，一个崩了不影响其他；线程一个崩了整个进程挂
面试题
Linux中进程和线程有什么区别？各自的通信方式有哪些？
面试官考察点
这道题是嵌入式Linux岗的敲门砖，答不好直接pass。面试官想考察你对操作系统基本概念的理解深度，以及实际编程经验。只会背书上定义的人往往说不出实际开发中的选型考量，而有经验的工程师能结合项目场景讲清楚什么时候用多进程、什么时候用多线程、各自需要注意什么。
核心差异对比
进程的特点
拥有独立的地址空间
一个进程崩溃不影响其他进程
创建和切换开销较大
通信需要IPC机制，较复杂
适合隔离性要求高的场景
线程的特点
共享所属进程的地址空间
一个线程崩溃整个进程退出
创建和切换开销小
通信简单（共享变量）但需同步
适合数据共享多、并发高的场景
进程间通信（IPC）方式
1. 管道（Pipe）
管道是半双工的，数据只能单向流动。无名管道只能在父子进程或兄弟进程之间使用；命名管道（FIFO）可以在不相关的进程间使用，通过文件系统中的路径名标识。管道适合简单的字节流传输，不适合大量结构化数据。
2. 消息队列（Message Queue）
消息队列是消息的链表，存放在内核中。进程可以往队列里放消息，也可以从队列里取消息。消息队列有消息类型，可以按类型读取，比管道灵活。但消息队列有大小限制，而且数据需要从用户态拷贝到内核态再拷贝出来，有一定开销。
3. 共享内存（Shared Memory）
共享内存是速度最快的IPC方式，因为多个进程直接映射同一块物理内存到各自的地址空间，数据不需要拷贝。但共享内存本身不提供同步机制，需要配合信号量或互斥锁来保证读写安全。适合大量数据的频繁交换。
4. 信号量（Semaphore）
信号量主要用于进程间的同步和互斥，而不是传输数据。计数信号量可以控制对共享资源的访问数量，二值信号量（互斥）保护临界区。信号量和共享内存经常搭配使用。
5. 信号（Signal）
信号是一种比较简单的通知机制，用来告诉某个进程发生了什么事件。比如kill命令发的就是信号。信号不能携带大量信息，适合简单的事件通知。处理信号的时候要注意可重入问题。
6. 套接字（Socket）
Socket最通用，不仅可以在同一台机器的进程间通信，还可以跨网络在不同机器的进程间通信。Unix域套接字是本机进程间通信的一种高效方式，比网络套接字快。Socket功能强大但编程相对复杂。
线程同步方式
1. 互斥锁（Mutex）
最常用的线程同步方式。同一时间只有一个线程能持有锁，保护临界区的代码不被并发执行。互斥锁使用简单，适用范围广。要注意避免死锁，加锁顺序要一致，不要在持有锁的时候做耗时太长的操作。
2. 信号量（Semaphore）
线程间的信号量和进程间的原理一样，允许多个线程同时访问最多N个资源。当N等于1时就是互斥锁的效果。信号量适合控制并发访问数量的场景，比如线程池的任务队列。
3. 条件变量（Condition Variable）
条件变量用于线程间等待某个条件成立。通常和互斥锁配合使用：线程在条件变量上等待时会释放互斥锁，被唤醒后再重新获取锁。条件变量适合生产者-消费者模型。要注意虚假唤醒的问题，等待要用while循环判断条件。
4. 读写锁（RWLock）
读写锁区分读和写两种模式：多个线程可以同时持有读锁，但写的时候必须独占。适用于读多写少的场景，比互斥锁并发度更高。要注意写锁饥饿的问题，有些实现中写线程可能一直等不到锁。
5. 自旋锁（Spinlock）
自旋锁在获取不到锁的时候不会睡眠，而是循环等待（忙等）。优点是没有上下文切换开销，适合锁持有时间非常短的场景。缺点是忙等会浪费CPU时间，持有时间长了效率很低。内核中用得比较多。
追问方向
追问一：进程的内存布局是怎样的？
一个Linux进程的虚拟地址空间从低地址到高地址大致分为：代码段（text，存放程序指令）、只读数据段（rodata）、数据段（data，存放初始化的全局变量）、BSS段（存放未初始化的全局变量，初始化为0）、堆（heap，动态分配内存，从低地址向高地址增长）、共享库映射区、栈（stack，存放局部变量和函数调用栈，从高地址向低地址增长）。栈和堆之间是共享内存映射区域，也是动态库加载的地方。
追问二：什么是死锁，怎么避免？
死锁是两个或多个线程互相等待对方持有的资源，导致都无法继续执行的状态。产生死锁有四个必要条件：互斥、占有且等待、不可剥夺、循环等待。避免死锁的方法就是破坏这四个条件之一：比如按固定顺序加锁（破坏循环等待）、一次性申请所有锁（破坏占有且等待）、用trylock加超时（破坏不可剥夺）。实际开发中最常用的是统一加锁顺序。
追问三：Linux下进程有哪些状态？
Linux进程主要有以下状态：运行态（R，正在运行或在运行队列中等待）、可中断睡眠态（S，等待事件，可以被信号唤醒）、不可中断睡眠态（D，等待硬件操作，不能被信号打断）、停止态（T，被暂停或调试）、僵尸态（Z，进程已结束但父进程还没调用wait回收资源）、死亡态（X，进程被完全回收）。面试中僵尸态是常考点，要知道怎么产生、怎么避免。
追问四：用户态线程和内核态线程有什么区别？
用户态线程由用户空间的线程库管理，内核不知道线程的存在，调度以进程为单位。优点是切换快、开销小，缺点是一个线程阻塞整个进程都阻塞，不能利用多核CPU。内核态线程由内核管理，每个线程对内核都是可见的，可以在不同CPU上并行运行。优点是能利用多核、一个线程阻塞不影响其他线程，缺点是切换开销大。Linux中的pthread线程是内核态线程（轻量级进程）。
失分表达
常见失分点一："线程比进程快"
这个说法太笼统。线程创建和切换的开销比进程小，线程间通信也比进程间通信快，但执行代码的速度是一样的。而且如果是CPU密集型任务，在多核机器上多进程和多线程都能利用多核并行，速度差异不大。
常见失分点二："共享内存是最好的IPC方式"
共享内存速度快，但不是万能的。它没有同步机制，使用不当很容易出问题。而且只适合本机进程间通信，不能跨网络。选择哪种IPC要看具体场景：少量通知用信号，结构化消息用消息队列，大数据量高频用共享内存加信号量，跨网络用Socket。
常见失分点三："进程就是程序"
进程和程序不是一回事。程序是存放在磁盘上的可执行文件，是静态的；进程是程序运行的实例，是动态的，有自己的地址空间、资源和状态。一个程序可以对应多个进程（比如开多个终端窗口）。
准备动作
实操准备
动手写几个实验程序：用fork创建子进程，观察父子进程的内存是否共享；用pthread创建多线程，用互斥锁保护共享变量；实现一个生产者-消费者模型，用条件变量同步；用共享内存和信号量实现两个进程间的数据传递。写过一遍比背十遍书印象都深。
知识点巩固
复习Linux进程管理相关的系统调用：fork、exec、wait、exit、signal、pipe等。理解虚拟内存和分页机制，知道为什么每个进程有独立的地址空间。看看进程描述符task_struct的结构，了解内核怎么管理进程。
常见问题补充
核心关键词
进程、线程、地址空间、IPC、管道、消息队列、共享内存、信号量、互斥锁、条件变量
