---
title: 排队论：学习路线
url: https://doc.liz6.com/theory/03-queueing-theory
locale: zh
area: theory
tags:
- 排队论
- 基础理论
date: 2026-09-10
modified: 2026-09-12
description: 排队论研究有限资源前的到达、等待和服务。这个系列从可手算的请求时间线出发，经过 Little 定律与经典随机队列，再进入调度、网络、测量和容量恢复。每个公式都保留适用条件，均值与尾延迟分别处理。
---

# 排队论：学习路线

排队论研究有限资源前的到达、等待和服务。这个系列从可手算的请求时间线出发，经过 Little 定律与经典随机队列，再进入调度、网络、测量和容量恢复。每个公式都保留适用条件，均值与尾延迟分别处理。

## 章节

1. [系统边界与排队时间线](/theory/03-queueing-theory/01-boundaries-and-timelines) — 区分等待、服务、在途数量，手算FIFO轨迹。
2. [Little 定律与统计口径](/theory/03-queueing-theory/02-littles-law) — 用面积证明关系，处理窗口边界与未完成请求。
3. [到达过程与模型假设](/theory/03-queueing-theory/03-arrival-processes) — 理解Poisson、指数、变异系数与Kendall记法。
4. [M/M/1：利用率与尾延迟](/theory/03-queueing-theory/04-mm1-and-tail-latency) — 推导稳态分布、均值与模型内精确p99。
5. [波动、M/G/1 与 Kingman 近似](/theory/03-queueing-theory/05-variability-and-mg1) — 解释二阶矩、剩余服务与近似的适用边界。
6. [多服务台与资源池化](/theory/03-queueing-theory/06-multiple-servers) — 用Erlang C比较共享队列与随机拆分。
7. [调度、队头阻塞与公平性](/theory/03-queueing-theory/07-scheduling-and-fairness) — 比较逐任务收益和代价，识别公平性与饥饿。
8. [有限队列与准入控制](/theory/03-queueing-theory/08-finite-queues-and-admission) — 同时核对拒绝、接纳、利用率与接纳者时延。
9. [排队网络与瓶颈](/theory/03-queueing-theory/09-networks-and-bottlenecks) — 求访问次数、瓶颈界，区分串行与扇出尾部。
10. [测量、压测与离散事件仿真](/theory/03-queueing-theory/10-measurement-and-simulation) — 检查开放/封闭压测、删失、预热和随机误差。
11. [容量规划与过载恢复](/theory/03-queueing-theory/11-capacity-and-overload-recovery) — 把净余量、重试和扩容延迟放进恢复预算。

## 按问题选择路线

- 初学：01 → 02 → 03 → 04，再按顺序完成后续章节。
- 服务容量与尾延迟：01 → 02 → 04 → 05 → 06 → 10 → 11；随机分布不熟时先读03。
- 消息积压与多租户：01 → 02 → 07 → 08 → 09 → 11，配合10检查观测偏差。
- 研究建模：03 → 04 → 05 → 06 → 09 → 10，先确保理解01–02的边界。

01–02只需代数与面积直觉；03–06用期望、方差、指数和级数，09涉及流量线性方程；10的示例代码只用数组与循环。式中的时间统一用秒，数值例会明确换算毫秒。

## 统一记号

| 记号 | 含义 |
| --- | --- |
| $a_i,b_i,d_i$ | 到达、开始服务、离开时刻 |
| $S_i,W_{q,i},T_i$ | 服务、等待、系统时间；$T_i=W_{q,i}+S_i$ |
| $N(t),Q(t),B(t)$ | 系统内、等待中、服务中数量 |
| $L,L_q$ | 系统内、等待中的长期平均数量 |
| $\lambda,\lambda_{\mathrm{eff}},X$ | 提供到达率、有效接纳率、实际完成吞吐 |
| $\mu,c,K$ | 每台平均服务能力、服务台数、含服务中的系统总容量 |
| $\rho$ | 无限容量同质模型中的每台利用率；有限队列另用r表示提供比 |
| $C_a^2,C_s^2$ | 到达间隔、服务时间的变异系数平方 |
| $V_j,D_j$ | 每业务访问次数、资源服务需求 |

03中的$A(\Delta)$为窗口到达计数；01中的$A(t)$为从起点累计计数；11中的$A$为单业务尝试数，使用时会重新定义。Erlang C函数和流体总能力C也属于各章局部记号。

## 哪种结论能回答哪种问题

| 工具 | 能做什么 | 不能直接得到什么 |
| --- | --- | --- |
| 面积恒等式 / Little 定律 | 对齐流量、平均数量、平均时间 | p99、瞬时容量保证 |
| 稳态M/M/1、M/M/c、M/M/1/K | 在各自假设内计算精确指标 | 任意真实流量的同样结果 |
| M/G/1 PK | 有限二阶矩时的FCFS精确均值 | 完整尾部分布 |
| Kingman | GI/GI/1平均等待近似 | 通用严格上界或p99 |
| 有限轨迹 / 随机仿真 | 比较策略、检查实现和假设敏感性 | 一条轨迹证明稳态或统计精度 |
| 流体工作平衡 | 积压趋势与净余量恢复时间 | 随机请求的尾延迟 |

## 如何使用实验

先预测，再改变一个参数，最后解释变化。每章两个自检题都有可展开答案。没有脚本时仍可阅读推导、手算例与实验摘要。模型明确初态、单位、调度和删失规则；重复相同参数得到同一结果。随机实验固定种子不代表没有统计误差。

## 资料与知识连接

课程范围参考[CMU性能建模](https://www.cs.cmu.edu/~harchol/Tools/class.html)和[MIT排队模型讲义](https://web.mit.edu/1.041/www/lectures/L8-queuing-models-2026sp.pdf)。工程实践核对Google SRE、AWS Builders’ Library、k6和HdrHistogram的原始资料，具体引用在各篇。算例与交互独立设计，没有通用最佳利用率或生产容量承诺。

与[控制理论](/theory/02-control-theory)一起理解“等待如何产生”和“资源如何调整”；与[消息语义](/distributed-systems/07-messages-and-streams/01-message-semantics)一起理解持久化和重试。信息论研究信息的不确定性，排队论研究任务在有限资源前的停留，两者的指标不能互换。