641 字
3 分钟
活锁、饥饿和死锁有什么区别
  1. 1操作系统面试学习路线与知识地图
  2. 2什么是用户态和内核态
  3. 3什么是系统调用?它和普通函数调用有什么区别
  4. 4进程和线程有什么区别
  5. 5进程的五种状态:新建、就绪、运行、阻塞与终止
  6. 6fork、exec 和 wait 分别做什么
  7. 7什么是竞态条件和临界区?如何保证互斥
  8. 8互斥锁和自旋锁有什么区别?分别适合什么场景
  9. 9死锁的四个必要条件是什么?如何逐个预防
  10. 10缺页异常如何处理?虚拟内存不等于 Swap
  11. 11阻塞、非阻塞、同步、异步 I/O 怎么区分
  12. 12抢占式调度是什么?SJF 和 MLFQ 适合什么假设
  13. 13进程间通信如何选择?管道、共享内存、信号和 Socket
  14. 14线程切换时,操作系统要做哪些操作
  15. 15进程上下文切换要保存什么?为什么有开销
  16. 16死锁是什么?如何预防和避免死锁?
  17. 17银行家算法如何避免死锁?死锁检测后怎样恢复
  18. 18活锁、饥饿和死锁有什么区别本文
  19. 19进程调度算法:FCFS、SJF、优先级、时间片轮转与多级反馈队列
  20. 20调度指标有哪些?什么是优先级反转
  21. 21为什么要有虚拟内存
  22. 22TLB、多级页表和虚拟地址转换是怎么工作的
  23. 23什么是分段,什么是分页
  24. 24页面置换算法有哪些?FIFO、LRU 和 Clock
  25. 25信号量是什么?计数信号量和二元信号量怎么用
  26. 26条件变量是什么?为什么要和互斥锁配合使用
  27. 27进程间通信方式:管道、消息队列、共享内存、信号量与套接字
  28. 28I/O 模型有哪些:阻塞、非阻塞与多路复用
  29. 29select、poll 和 epoll 有什么区别
  30. 30epoll 的 LT 和 ET 模式有什么区别
  31. 31什么是异步 I/O?它和非阻塞、多路复用的区别
  32. 32什么是僵尸进程和孤儿进程?如何处理
  33. 33原子操作是什么?原子性、可见性和有序性有什么区别
  34. 34什么是工作集和抖动?内存不足时为何系统变慢
  35. 35mmap 是什么?文件映射和匿名映射怎么理解
  36. 36什么是写时复制?fork 和私有映射如何利用 COW

死锁是参与者互相等待,相关执行流都无法前进;活锁是执行流仍在运行、不断响应或重试,但反复让步导致没有实际工作完成;饥饿是某个执行者长期得不到所需 CPU、锁或资源,其他执行者可能继续取得进展。

例如两个人在走廊相遇,每次都同时向同一侧让路,又同时改向,双方一直动作却无法通过,这是活锁。若两个线程分别持有一把锁并等待对方释放,则是死锁。若一个低优先级线程始终被高优先级任务压住,它可能饥饿,但系统整体仍有进展。

活锁常见于冲突后立即同步重试的算法。加入随机或指数退避、打散重试时间、限制重试次数,或引入仲裁者,可以降低双方持续碰撞的概率。饥饿可通过公平队列、优先级老化、配额或有界等待缓解;但公平策略也可能牺牲吞吐量,且公平的定义要明确到请求顺序、时间上界或资源比例。

例如多个客户端同时抢同一资源失败后又在固定间隔重试,可能长期同步碰撞;退避加随机抖动可以打散重试节奏。分析饥饿则要看请求是否持续排在队尾以及是否存在公平性保证。

这三个概念不能仅看 CPU 是否繁忙来判断。活锁时 CPU 可能很忙,却没有有效进展;死锁时也可能存在无关线程继续运行;饥饿则关注某个请求者长期被排除。工程排查应同时观察等待依赖图、请求成功率、队列位置和有效工作完成量。

常见追问#

Q:死锁和饥饿都在等待,怎么区分?
A:死锁是一组执行者构成循环依赖且都不能推进;饥饿是个别执行者一直得不到资源,系统其他部分仍可运行。

Q:活锁是不是没有锁?
A:不一定。活锁可以发生在带锁或无锁协议中;其特征是持续改变状态或重试,但始终未完成目标。

Q:随机退避能保证不再活锁吗?
A:不能绝对保证,只能降低同步碰撞概率。需要确定性保证时,应采用仲裁、公平排队、有限重试后升级处理等机制。

活锁、饥饿和死锁有什么区别
https://blog.xqcherry.top/posts/interview/operating-system/livelock-starvation/
作者
xqcherry
发布于
2026-10-12
许可协议
CC BY-NC-SA 4.0