支付宝小程序 社区 · 把公司项目升级到最新版 alipay-miniprogram,我踩了这 11 个坑

831
支付r/alipay-miniprogram·由 nikic 发布·刚刚翻译

把公司项目升级到最新版 alipay-miniprogram,我踩了这 11 个坑

这个问题我断断续续查了两周,中间走了不少弯路,把过程原样记下来,希望后面遇到的人能少花点时间。

// 最小复现:注意这里必须用真实的长尾分布,
// 均匀分布的压测流量不会触发这个问题
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)
}

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

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

真正让我意外的是长尾。平均值一直很漂亮,P99 却在某个阈值之后直接跳了一个数量级。原因不在 alipay-miniprogram 本身,而是我们上游的连接复用没做好,压测流量太「干净」,掩盖了长尾请求。

254 条评论

254 条评论

· 已加载前 120 条
我
Rran_bo楼主·2 天前

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

519
Rran_bo楼主·2 天前

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

458
Ddev_zhou·2 天前已编辑

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

516
Zzhou_yi楼主版主·2 天前

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

456
Nnikic楼主·3 分钟前

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

447
Bbob_chen·昨天

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

502
Hhuang_ke版主·1 小时前

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

475
Oops_wang·2 天前

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

457
Rran_bo楼主·2 天前

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

332
Zzhou_yi·2 天前

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

383
Kkite版主·昨天

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

382
Ttang_hao·2 天前

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

220
Rrase·2 天前

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

183
Mmike_xu·2 天前

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

42
Nnikic·2 天前

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

36
Mmike_xu·2 天前

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

354
Oops_wang楼主·3 分钟前

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

267
Mmike_xu·2 天前

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

318
Aalice_dev·2 天前

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

274
Sslow_query·2 天前

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

297
Sslow_query·2 天前

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

1
Sslow_query·2 天前已编辑

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

264
Oops_wang·2 天前

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

257
Bbob_chen·刚刚

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

254
Aalice_dev楼主·刚刚

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

35
Bbob_chen版主·2 天前已编辑

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

208
Bbob_chen版主·3 分钟前

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

1
Wwinter·2 天前

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

71
Wwinter·2 天前

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

83
Ddev_zhou·2 小时前

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

62
Ddev_zhou·2 天前

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

486
Aalice_dev·2 天前

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

43
Aalice_dev·2 天前

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

345
Wwinter·2 天前

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

231
Sswoole_lee·2 小时前

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

82
Nnikic楼主·2 天前

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

363
Sslow_query·2 天前

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

36
Rrase·2 天前

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

247
Ddev_zhou·28 分钟前

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

196
Lli_ming·2 天前已编辑

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

32
Kkite·2 小时前

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

350
Sswoole_lee·2 天前

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

447
Sswoole_lee版主·2 天前

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

92
Ttang_hao·2 天前

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

4
Zzhu_zong·2 天前

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

71
Zzhu_zong·1 小时前

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

161
Zzhou_yi楼主·1 小时前

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

15
Kkite·2 天前

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

273
Hhuang_ke·2 天前

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

210
Llinlin·昨天

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

155
Bbob_chen·2 天前

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

209
Aalice_dev·5 小时前已编辑

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

309
Rrase·2 小时前

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

104
Kkite·2 天前

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

157
Oops_wang·28 分钟前

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

146
Llinlin·刚刚

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

404
Ddev_zhou·2 天前

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

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

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

1
Hhuang_ke·刚刚

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

357
Aalice_dev·刚刚

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

67
Wwinter版主·2 天前

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

1
Zzhou_yi·刚刚

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

12
Mmike_xu·2 天前

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

200
Sswoole_lee·2 天前

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

60
Ddev_zhou·2 天前

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

3
Mmike_xu·2 天前第 6 层

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

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

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

115
Bbob_chen·2 天前

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

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

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

153
Cchen_dev·2 天前

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

313
Kkite·2 天前

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

73
Aalice_dev楼主·2 天前第 6 层

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

162
Zzhu_zong楼主·28 分钟前

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

1
Bbob_chen·1 小时前

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

14
Nnikic楼主·2 天前第 6 层

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

83
Sslow_query·2 天前第 6 层

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

4
Ttang_hao楼主版主·28 分钟前

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

2
Oops_wang·2 天前

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

267
Lli_ming楼主·2 小时前已编辑第 6 层

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

63
Sswoole_lee·5 小时前

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

3
Mmike_xu·2 天前

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

9
Bbob_chen·2 天前

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

4
Nnikic·5 小时前

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

8
Zzhu_zong楼主·1 小时前

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

459
Kkernel_panic·2 天前

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

39
Zzhu_zong·2 天前

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

1
Wwinter·12 分钟前

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

96
Bbob_chen楼主·12 分钟前

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

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

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

347
Ddev_zhou楼主·2 天前

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

27
Rran_bo·2 天前

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

13
Oops_wang·2 天前

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

60
Llinlin·2 天前

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

245
Kkite·2 天前

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

61
Oops_wang·2 天前

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

115
Zzhu_zong版主·2 天前

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

458
Zzhu_zong·2 天前

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

70
Rran_bo·2 天前

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

145
Aalice_dev·2 天前

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

141
Zzhu_zong·2 天前已编辑

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

120
Mmike_xu·2 天前

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

113
Ttang_hao·3 分钟前已编辑

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

5
Zzhu_zong·2 天前

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

99
Lli_ming楼主·2 天前

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

37
Nnikic楼主·2 天前

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

28
Zzhou_yi·2 天前已编辑

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

83
Zzhou_yi楼主·刚刚

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

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

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

9
Ttang_hao·刚刚

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

53
Rran_bo·2 天前

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

178
Kkernel_panic·2 天前

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

39
Lli_ming·2 天前

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

37
Zzhou_yi·2 天前

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

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

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

28
Aalice_dev·2 天前

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

23
Zzhu_zong·5 小时前

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

407
Cchen_dev·2 天前

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

115
Oops_wang·2 天前已编辑

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

23
Sslow_query·2 天前

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

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

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

217
Zzhu_zong·2 天前

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

13
Sslow_query·3 分钟前

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

9
Rrase·2 天前

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

9
Sswoole_lee·2 天前

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

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

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

7
Kkernel_panic·2 天前

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

6
Zzhu_zong·2 天前

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

3
Sslow_query·2 天前

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

1

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

看数据表设计 →