Linux 社区 · 读完 linux 的核心源码后,我终于理解了它的取舍

631
LIr/linux·由 alice_dev 发布·2 天前原理

读完 linux 的核心源码后,我终于理解了它的取舍

先说背景。我们的场景是 linux + 三个下游服务,日均请求量七位数,峰值集中在晚上九点前后。

监控这块我们也顺手改了:把原来的平均值告警换成分位数,并且按接口拆分。改完之后误报少了大概七成,值班同学的怨气肉眼可见地下降了。

// 最小复现:注意这里必须用真实的长尾分布,
// 均匀分布的压测流量不会触发这个问题
func (s *Server) handle(ctx context.Context) error {
    conn, err := s.pool.Acquire(ctx)
    if err != nil {
        return fmt.Errorf("acquire: %w", err)
    }
    defer conn.Release()

    return s.do(ctx, conn)
}

顺便说一句,官方文档里这段其实有写,只是藏在一个很不起眼的位置。我是在翻源码注释的时候才发现的,注释里作者解释了为什么这么设计 —— 大意是「为了在极端情况下退化成可预期的行为」。

关于取舍,我的判断是:如果团队里没有人长期盯这块,就不要引入第二套机制。两套并存的时候,出问题时你甚至要先花时间判断「这次是哪个在起作用」,那个成本比性能损失高得多。

222 条评论

222 条评论

· 已加载前 120 条
我
Sslow_query·28 分钟前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

520
Ddev_zhou楼主·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

186
Zzhu_zong·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

510
Kkite·2 天前

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

478
Nnikic·2 天前

已收藏。正好这周要改这块,少走很多弯路。

463
Ddev_zhou·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

447
Zzhou_yi楼主·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

340
Zzhou_yi·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

394
Kkite·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

385
Kkite楼主·2 天前已编辑

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

308
Ttang_hao·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

363
Cchen_dev·2 天前已编辑

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

353
Llinlin·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

345
Sslow_query楼主·2 天前已编辑

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

263
Nnikic·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

286
Aalice_dev·昨天

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

278
Aalice_dev·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

204
Sswoole_lee·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

161
Cchen_dev版主·12 分钟前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

107
Sswoole_lee·2 天前

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

3
Aalice_dev·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

270
Oops_wang·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

109
Zzhou_yi·1 小时前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

68
Bbob_chen·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

234
Ttang_hao版主·2 天前

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

230
Kkite·28 分钟前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

215
Rran_bo·2 天前已编辑

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

12
Mmike_xu·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

245
Sslow_query·2 天前已编辑

已收藏。正好这周要改这块,少走很多弯路。

178
Sswoole_lee·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

291
Lli_ming·12 分钟前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

175
Bbob_chen·28 分钟前已编辑

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

1
Llinlin·2 天前已编辑

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

63
Wwinter·2 天前已编辑

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

26
Rran_bo·昨天

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

175
Zzhou_yi·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

498
Ttang_hao楼主·2 天前已编辑

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

35
Sslow_query楼主·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

21
Sswoole_lee·1 小时前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

507
Lli_ming·28 分钟前

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

171
Rran_bo·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

157
Zzhou_yi·1 小时前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

140
Ttang_hao版主·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

137
Kkernel_panic·2 天前已编辑

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

132
Nnikic·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

98
Zzhu_zong·2 天前已编辑

感谢分享真实数据,比很多只讲概念的文章有用得多。

98
Nnikic·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

56
Mmike_xu·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

121
Kkernel_panic版主·2 小时前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

16
Wwinter·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

4
Kkernel_panic楼主·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

30
Oops_wang·2 天前已编辑

已收藏。正好这周要改这块,少走很多弯路。

88
Hhuang_ke·2 天前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

80
Hhuang_ke·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

242
Ttang_hao·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

368
Bbob_chen·2 小时前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

217
Kkernel_panic·2 天前

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

83
Llinlin·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

54
Bbob_chen·3 分钟前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

71
Nnikic·3 分钟前

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

68
Bbob_chen楼主·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

26
Oops_wang·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

408
Aalice_dev·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

49
Kkite·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

1
Ttang_hao楼主·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

3
Mmike_xu楼主·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

2
Aalice_dev·2 天前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

52
Kkernel_panic·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

49
Kkernel_panic·12 分钟前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

48
Kkernel_panic·2 天前已编辑

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

48
Cchen_dev·2 天前已编辑

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

43
Sswoole_lee·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

40
Rrase·2 天前

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

31
Ddev_zhou·5 小时前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

27
Kkernel_panic·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

25
Nnikic·1 小时前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

18
Bbob_chen·28 分钟前

已收藏。正好这周要改这块,少走很多弯路。

11
Wwinter·12 分钟前已编辑

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

80
Wwinter·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

91
Sslow_query·12 分钟前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

43
Kkite·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

218
Llinlin版主·3 分钟前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

39
Zzhou_yi·28 分钟前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

92
Kkernel_panic·昨天已编辑

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

11
Oops_wang·刚刚

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

341
Ddev_zhou·2 天前第 6 层

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

139
Kkernel_panic·2 天前已编辑

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

45
Hhuang_ke·2 天前

已收藏。正好这周要改这块,少走很多弯路。

29
Sswoole_lee·2 天前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

193
Wwinter·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

360
Hhuang_ke·2 天前

补充一个反例:如果 linux 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

115
Aalice_dev·昨天

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

7
Sslow_query版主·2 小时前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

2
Zzhou_yi版主·昨天

感谢分享真实数据,比很多只讲概念的文章有用得多。

3
Sswoole_lee·5 小时前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

154
Zzhou_yi·2 天前

已收藏。正好这周要改这块,少走很多弯路。

503
Sswoole_lee·3 分钟前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

6
Oops_wang·2 天前

已收藏。正好这周要改这块,少走很多弯路。

9
Rran_bo·2 天前

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

1
Wwinter楼主·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

10
Nnikic·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

52
Llinlin版主·2 天前第 6 层

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

457
Lli_ming·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

1
Zzhu_zong·12 分钟前已编辑

感谢分享真实数据,比很多只讲概念的文章有用得多。

18
Zzhou_yi·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

468
Oops_wang楼主·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

215
Mmike_xu楼主·2 天前

已收藏。正好这周要改这块,少走很多弯路。

58
Zzhou_yi·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

250
Ddev_zhou·刚刚已编辑

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

28
Kkite楼主·2 天前已编辑

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

396
Rran_bo·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

146
Kkite·3 分钟前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

51
Llinlin·刚刚

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

18
Kkernel_panic·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

10
Mmike_xu·2 天前

这不是 linux 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

9
Sslow_query·3 分钟前已编辑

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

8
Lli_ming·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

5
Ttang_hao·2 天前

刚翻了下 linux 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

377
Kkernel_panic·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

1
Sslow_query·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

1

这是帖子详情页 /zh-CN/c/linux/post/p13。帖子与评论都由种子随机数确定性生成 —— 同一个帖子每次打开内容一致,因此可以直接分享链接、刷新、被搜索引擎收录。真实实现里这一页是 MySQL 读帖子 + Redis 缓存热帖 + 评论树按 path 字段一次性取出。

看数据表设计 →