1 基本概念
1.1 定义
饥饿是指在资源分配过程中，某个进程、线程、任务或请求长时间得不到所需资源，从而持续处于等待状态，无法获得执行机会或服务的现象。它并不一定意味着系统完全停摆，而是表现为局部对象被长期“冷落”，导致进展极慢甚至近似停滞。
在计算机系统中，饥饿常与调度、锁竞争、队列管理和优先级控制相关。与短暂排队不同，饥饿强调等待时间缺乏可接受上界，因而通常被视为公平性不足或资源分配失衡的一种体现。
1.2 形成条件
饥饿通常不是单一因素造成的，而是资源紧张、策略偏置和竞争机制共同作用的结果。当系统中多个主体争夺有限资源，而分配规则又无法保证所有主体在合理时间内被服务时，饥饿便可能出现。
1.2.1 资源竞争
当多个任务同时请求同一种稀缺资源时，如果资源供给不足或请求到达过于集中，就会形成持续竞争。部分任务可能因为反复让位而一直得不到分配机会。
1.2.2 优先级不均
若系统长期偏向高优先级对象，低优先级对象可能反复被推迟。尽管这种策略有助于满足关键任务的时效要求，但若缺少补偿机制，就容易引发低优先级饥饿。
1.2.3 调度策略偏置
某些调度方式在实现上可能对特定类型请求更友好，例如优先处理新到达任务、短作业或某一类队列元素。若这种偏置持续存在，便可能导致另一部分对象长期排不到执行序列中。
1.3 与相关概念的区别
饥饿与若干并发问题有相似外观，但在本质上并不相同。区分这些概念有助于正确定位故障原因，并选择合适的修复手段。
1.3.1 死锁
死锁是多个执行实体彼此等待对方释放资源，导致谁都无法继续前进；饥饿则通常是某个实体持续得不到资源，而系统整体仍可能继续运行。前者偏向“相互卡住”，后者更像“局部长期轮不到”。
1.3.2 活锁
活锁中，相关实体并未停止活动，反而不断响应彼此的动作，但始终无法完成有效进展。饥饿则更强调等待时间过长，常见于某些对象持续被调度策略忽略。
1.3.3 公平性问题
公平性关注资源分配是否对所有参与者保持相对均衡。饥饿往往是公平性不足的直接后果，但公平性问题的范围更宽，还包括延迟波动、服务偏差和长期统计失衡等现象。
2 计算机系统中的饥饿
2.1 进程与线程饥饿
在操作系统或运行时环境中，进程和线程的饥饿多与CPU分配、锁获取和I/O服务有关。它们可能已经进入就绪或等待队列，却因调度机会不足而迟迟无法推进。
2.1.1 CPU 调度中的饥饿
若调度器长期优先执行高优先级任务，低优先级进程可能始终得不到足够的CPU时间。这类问题在高负载场景下尤为明显，尤其当系统缺少老化或抢占平衡机制时，饥饿风险会进一步上升。
2.1.2 锁竞争中的饥饿
多个线程争夺同一把锁时，如果锁获取策略不够公平，某些线程可能反复失败。即便它们不断重试，也可能因为排队顺序不利或被插队而一直无法进入临界区。
2.1.3 I/O 等待中的饥饿
当磁盘、网络或其他外设的服务队列拥塞时，部分请求可能在等待队列中滞留过久。若上层调度持续偏向新请求或高优先级请求，旧请求便可能长期得不到处理。
2.2 任务调度中的饥饿
任务调度系统通常负责在多个工作单元之间分配执行资源。若调度策略仅强调即时效率，而忽视长期公平，某些任务就可能被不断延后。
2.2.1 实时任务饥饿
实时系统通常要求严格的时限约束。若高频关键任务占用了大部分调度窗口，其他实时任务可能因时间片不足而无法按时执行，甚至错过截止时间。
2.2.2 后台任务饥饿
后台任务通常优先级较低，但它们仍可能承担清理、归档或统计等重要工作。若前台负载持续居高不下，后台任务便可能长期拿不到执行机会。
2.2.3 队列过载下的请求饥饿
在高并发请求场景中，队列过载会放大调度偏差。某些请求因为进入队列较早、优先级较低或所需资源较稀缺，可能长时间排在队尾，形成请求饥饿。
2.3 数据库中的饥饿
数据库环境中，饥饿常与事务调度、锁管理和资源竞争有关。它不仅影响个别事务的完成时间，还可能影响整体吞吐和事务一致性管理。
2.3.1 事务饥饿
当事务频繁争夺同一组数据对象时，低优先级或后到事务可能一直无法提交。若并发控制机制缺少公平释放顺序，这类事务就可能长期处于等待状态。
2.3.2 锁升级与等待饥饿
某些数据库在行锁、页锁或表锁之间切换时，可能因锁升级而增加等待时间。若锁资源被其他事务持续占用，等待链条会延长，进而引发饥饿。
2.3.3 资源占用导致的长期阻塞
当长事务占用关键资源而迟迟不释放时，后续请求会不断堆积。若系统对长时间占用缺少约束，新的操作可能持续被阻挡，形成事实上的饥饿状态。
3 成因分析
3.1 调度算法缺陷
调度算法决定资源如何在多个请求之间分配。若其目标仅追求局部效率，忽略全局公平，就容易制造长期偏差。
3.1.1 先来先服务的局限
先来先服务看似简单直观，但在任务长度差异较大时，长任务可能占据较长执行窗口，导致后续任务被持续拖延。虽然它本身未必直接造成饥饿，但在特定负载下会放大等待不均。
3.1.2 优先级调度的副作用
优先级调度有助于突出关键工作，却可能让低优先级对象长期排队。若优先级不会动态调整，低层任务就有可能在不断到来的高层请求面前失去机会。
3.1.3 不公平抢占机制
抢占机制若偏向更频繁到达或更易重新入队的任务，便可能让某些对象总是处于被打断状态。长期下来，少数任务会持续获得运行权，而另一些则反复受挫。
3.2 并发控制问题
并发控制负责协调多个执行实体对共享资源的访问。若设计不当，竞争过程会变得失衡，从而诱发饥饿。
3.2.1 锁粒度过大
锁粒度过大意味着多个本可并行的操作被迫串行化。临界区变长后，等待队列也会变长，某些线程在高竞争场景下可能长期排不到锁。
3.2.2 竞争热点
当多个请求集中访问同一热点数据或同一共享对象时，资源争夺会异常激烈。热点越集中，局部饥饿越容易出现，尤其在缺少分片或拆分手段时更为明显。
3.2.3 饥饿性等待链
等待链如果形成环状或层层传递关系，某些对象可能被间接卡住。虽然它不一定构成典型死锁，但在释放顺序不利时，链条末端的对象会经历很长的等待。
3.3 系统负载与资源分配
系统负载变化会直接影响资源供需关系。当负载超过设计预期时，原本轻微的分配偏差就可能演变为明显饥饿。
3.3.1 资源不足
如果CPU、内存、I/O带宽或连接数等基础资源不足，系统只能在多个请求之间做取舍。资源短缺使调度更容易倾向高价值或高优先级对象，弱势对象则更容易被压缩生存空间。
3.3.2 请求洪峰
突发流量会使队列迅速膨胀，处理能力短时间内难以跟上。洪峰期间，部分请求即使已经入队，也可能因排队过长而接近饥饿状态。
3.3.3 负载倾斜
当流量、任务或数据分布不均时，少数节点会承担过重压力，而其他节点相对空闲。若系统缺少再分配机制，热点节点上的对象会更容易遭遇延迟和饥饿。
4 影响与后果
4.1 性能下降
饥饿会让资源利用效率失衡，部分执行单元长期闲置等待，整体吞吐因此受损。即便系统表面仍在运行，实际有效产出也可能明显下降。
4.2 响应延迟增大
当请求长期排队或任务反复被推迟时，平均响应时间和尾部延迟都会上升。对用户而言，这种变化往往比平均值更明显，因为少数极端慢请求会直接影响体验。
4.3 任务失败与超时
若等待时间超过系统允许的上限，任务可能被判定超时或直接失败。对于有时限约束的业务流程，这类后果会进一步引发重试、回滚或补偿操作。
4.4 用户体验恶化
饥饿通常会表现为页面卡顿、接口迟迟无响应、操作偶发失灵等现象。用户感知到的不是抽象的调度问题，而是“点了没反应”或“总轮不到我”的直接不适。
4.5 系统稳定性风险
长期饥饿会积累未完成工作，导致队列膨胀、缓存堆积和资源占用持续上升。若处理不及时，系统可能从局部性能退化进一步走向连锁故障。
5 检测与度量
5.1 饥饿的判断指标
检测饥饿通常需要结合等待时长、分配频率和整体公平性来判断。单看某一次延迟并不足以说明问题，必须观察其是否具有持续性和结构性。
5.1.1 等待时间阈值
为任务或请求设定合理的最大等待阈值，是最直接的判断方式。若某类对象频繁超过阈值，就可以初步认为存在饥饿风险。
5.1.2 公平性指标
公平性指标用于衡量资源是否在参与者之间被均衡分配。常见做法包括观察服务份额、排队顺序偏差和不同优先级对象之间的长期差异。
5.1.3 吞吐与延迟分析
当吞吐量保持不变甚至上升，而部分对象延迟显著恶化时，往往说明系统存在局部饥饿。通过对平均值、分位数和尾延迟进行对比，可以更容易发现异常。
5.2 日志与监控手段
运行日志和监控数据是识别饥饿的重要依据。它们能够帮助定位等待链、排队趋势和调度偏差的来源。
5.2.1 运行时埋点
在关键路径中加入埋点，可以记录请求进入、等待、获取资源和完成的时间点。通过这些时间戳，能够重建资源分配过程并识别异常停滞。
5.2.2 调度轨迹分析
调度轨迹能够反映任务被选中和被延后的实际过程。若某些对象多次进入候选集却始终未被执行，就可能存在明显饥饿。
5.2.3 队列监测
队列长度、等待时长和出队速率是判断拥塞与饥饿的重要信号。若队列持续增长且老请求长期滞留，说明调度或资源供给存在问题。
5.3 压测与模拟
通过人为制造高负载和异常情况，可以更早暴露潜在饥饿问题。此类方法适合在测试阶段评估系统在极端条件下的公平性和稳定性。
5.3.1 负载测试
负载测试用于观察系统在接近设计上限时的表现。若某些任务在持续压力下明显被边缘化，就说明资源分配策略可能不够均衡。
5.3.2 并发测试
并发测试能够放大锁竞争、队列争用和抢占偏差。它有助于发现低概率但高影响的饥饿场景。
5.3.3 故障注入
通过延迟资源释放、模拟节点缓慢或人为制造热点，可以验证系统是否具备防饥饿能力。故障注入的价值在于暴露真实运行中不易直接出现的边界问题。
6 预防与缓解
6.1 公平调度策略
公平调度强调让不同对象在合理时间内获得服务机会。它不一定追求绝对平均，但需要防止某类请求长期被忽略。
6.1.1 时间片轮转
时间片轮转将CPU或处理机会分配给不同对象，每个对象在短时间内依次获得执行权。该方式能降低单个任务长期占用资源的概率。
6.1.2 老化机制
老化机制会随着等待时间增加逐步提升任务优先级。这样一来，等待越久的对象越容易被调度，从而减少低优先级饥饿。
6.1.3 公平队列
公平队列试图在不同来源、类别或会话之间均衡分配服务机会。它适用于需要兼顾效率和公平的场景，尤其适合多租户或多任务并行环境。
6.2 资源管理优化
合理的资源规划可以减少竞争强度，并缓解高峰期的分配失衡。资源管理越细致，饥饿越不容易被放大。
6.2.1 配额控制
通过配额限制单一主体对资源的过度占用，可以避免某些请求无限制挤压其他请求。配额也有助于在多用户、多业务之间维持基本平衡。
6.2.2 限流与降级
在流量过高时，限流可以防止队列无限增长，降级则能优先保障核心功能。二者结合可减少系统在高峰期间出现局部饥饿的概率。
6.2.3 负载均衡
将请求分散到多个节点或多个处理单元上，可以缓解热点集中。负载均衡做得越好，单点饥饿与排队失衡就越不容易发生。
6.3 并发控制改进
优化并发控制能够缩短等待路径，减少资源争用的持续时间。对共享数据的访问越高效，饥饿出现的空间就越小。
6.3.1 缩短临界区
缩短临界区可以减少持锁时间，让更多线程更快进入执行流程。若关键代码段越短，锁竞争导致的饥饿风险也会相应下降。
6.3.2 无锁或低锁设计
无锁或低锁方案通过减少共享状态的直接争夺，降低线程间互相阻塞的概率。虽然实现成本较高，但在高并发场景下往往更有助于保持流畅性。
6.3.3 避免长时间持锁
长时间持锁容易把短暂竞争放大成长期等待。通过拆分操作、提前释放或将重计算移出临界区，可以减少其他线程被持续压制的情况。
6.4 超时与重试机制
超时与重试并不能从根本上消除饥饿，但可以避免请求无限挂起，并为系统恢复留下空间。
6.4.1 请求超时
设置请求超时可防止任务在队列中无限等待。超时机制虽然会带来失败返回，但能阻止资源被无休止占用。
6.4.2 指数退避
指数退避通过逐步延长重试间隔，减少瞬时冲突和重复拥塞。它适合在竞争激烈或资源暂时不可用时使用。
6.4.3 重试上限
限制重试次数可以避免某些请求长期反复占用系统资源。达到上限后，系统可转入告警、降级或人工介入流程。
7 典型算法与机制
7.1 老化算法
老化算法通过提高等待时间较长对象的优先级，来修正初始分配中的不平衡。它是解决低优先级饥饿的经典方法之一，常用于操作系统和任务调度器。
7.2 公平锁
公平锁通常按照请求到达顺序授予锁访问权，减少插队现象。与非公平锁相比，它更有利于降低线程饥饿，但有时会牺牲一定吞吐性能。
7.3 读写锁策略
读写锁用于区分共享读取和独占写入两类访问模式。不同策略会直接影响读写双方的等待时间和饥饿风险。
7.3.1 读优先
读优先策略会让读操作更容易获得锁，从而提升读密集场景的效率。但若读请求持续不断，写操作可能被长时间延后。
7.3.2 写优先
写优先策略倾向于尽快处理写请求，以保证数据更新及时完成。其代价是读操作在写高峰期可能经历更长等待。
7.3.3 公平读写锁
公平读写锁会综合考虑读写请求的到达顺序与等待时长，尽量避免某一方长期被压制。它通常是平衡性能与公平性的折中方案。
7.4 调度器实现
调度器的实现细节决定了算法能否真正落实到系统行为中。即便理论上具备公平性，若实现层有偏差，仍可能引发饥饿。
7.4.1 多级反馈队列
多级反馈队列通过动态调整任务所在队列层级，兼顾交互响应和长任务处理。若设计得当，它能缓解某些任务长期得不到运行机会的问题。
7.4.2 优先级继承
优先级继承用于解决低优先级任务持有关键资源而被高优先级任务阻塞的情况。它能够减少优先级反转带来的等待异常，也间接降低饥饿风险。
7.4.3 任务抢占
任务抢占允许系统打断当前执行者，把CPU或关键资源让给更紧急的任务。若抢占规则过于激进，则可能造成低优先级对象长期无法连续执行，因此需要与公平机制配合使用。
8 工程实践
8.1 代码中的饥饿风险点
在代码层面，某些写法会不知不觉放大等待偏差。识别这些风险点，是避免饥饿的基础工作。
8.1.1 循环等待逻辑
若业务流程中存在反复重试、轮询或嵌套等待，而没有退出条件，就容易把短暂拥塞变成长期停滞。尤其在高并发下，这类逻辑会加剧局部饥饿。
8.1.2 资源申请顺序
不同线程若以不同顺序申请多个资源，可能造成部分对象一直拿不到全部所需条件。统一申请顺序有助于减少等待链过长的问题。
8.1.3 异常处理不当
异常处理如果没有及时释放资源，或者错误地吞掉失败信号，可能导致资源被隐性占用。结果是后续请求持续受阻，形成间接饥饿。
8.2 架构层面的应对
从架构层面优化服务形态，往往比单点修补更有效。通过拆分、异步和缓存等手段，可以改善资源分布和处理节奏。
8.2.1 服务拆分
将单体职责拆分为多个服务，有助于隔离热点和降低共享资源争用。拆分后，不同功能模块可以采用更适合自身负载特征的调度策略。
8.2.2 异步化处理
异步化能够把耗时操作从主流程中移出，减少同步等待带来的排队压力。它尤其适合日志、通知、批处理和非实时计算等场景。
8.2.3 缓存与削峰
缓存可以减轻重复访问对后端资源的冲击，削峰则能把瞬时洪峰摊平到更长时间段。两者结合后，系统更不容易出现局部资源耗尽与请求饥饿。
8.3 案例分析
不同系统中，饥饿的表现形式有所差异，但本质都与资源分配失衡有关。通过典型场景可以更直观地理解其行为特征。
8.3.1 操作系统案例
在操作系统中，如果某类后台线程长期处于低优先级，而前台进程持续占用CPU，就可能出现后台工作迟迟无法推进的情况。此时常需要调度器引入老化或时间片平衡。
8.3.2 数据库案例
在数据库中，某些长事务若反复持有锁，其他事务会不断排队。若系统没有合适的锁等待控制，这些后续事务可能持续受阻，直至超时或失败。
8.3.3 分布式系统案例
在分布式环境里，请求可能集中到少数热点节点，导致部分分片队列持续拥堵。若负载均衡和限流措施不足，某些请求会在网络与服务端双重排队中发生明显饥饿。
9 相关术语
9.1 公平性
公平性是指系统在资源分配上尽量避免对某类对象长期偏置，确保各参与者获得合理机会的性质。
9.2 活性
活性描述系统是否能够持续向前推进，避免长期停滞。饥饿会削弱局部活性，使某些任务难以完成。
9.3 吞吐量
吞吐量是单位时间内系统能够完成的工作量。它与饥饿并非同一指标，但资源分配不均往往会影响最终吞吐。
9.4 可用性
可用性指系统在需要时能够正常提供服务的能力。饥饿可能不直接导致系统宕机，却会通过延迟和超时降低实际可用程度。