HAProxy中stick-table计数器索引越界问题分析与修复

问题背景

在HAProxy 3.2-dev12版本中，当使用stick-table计数器索引大于9时，系统会触发一个BUG条件导致服务崩溃。这个问题主要出现在使用sc_gpc_rate函数获取stick-table计数器速率值时，当计数器索引超过9时，系统会抛出"unexpected value"错误并终止运行。

技术细节分析

stick-table计数器机制

HAProxy的stick-table功能允许跟踪客户端请求的各种指标，包括通用计数器(gpc)及其速率(gpc_rate)。这些计数器可以通过索引(0-99)进行访问，其中：

• 索引0-9可以通过sc0_sc9直接访问
• 更高索引需要通过sc_(num)形式访问

问题根源

问题的根本原因在于代码中对计数器索引的验证逻辑存在缺陷。在src/stick_table.c文件中，当处理sc_*变体函数时，代码错误地对所有情况都执行了索引范围检查，而实际上这个检查应该只适用于非sc_*变体的情况。

具体来说，代码中有一个BUG_ON断言：

BUG_ON(num > 9, "unexpected value");

这个断言本意是防止非sc_*变体使用过高的索引值，但由于位置放置不当，导致即使是合法的sc_*变体调用也会被错误地拦截。

影响范围

该问题影响HAProxy 3.2-dev12版本，但不影响3.0稳定版。这是因为问题是在3.2开发周期中引入的一个变更导致的。

解决方案

修复方案相对简单，只需要将索引检查限制在非sc_*变体的情况下执行。具体修改如下：

-	BUG_ON(num > 9, "unexpected value");
+	else
+		BUG_ON(num > 9, "unexpected value");

这样修改后：

1. 对于sc_*变体，允许使用更大的索引值(最高到global.tune.nb_stk_ctr配置的值)
2. 对于非sc_*变体，仍然限制索引不超过9

最佳实践建议

1. 当需要使用大量计数器时，建议明确配置tune.stick-counters参数
2. 在配置中使用计数器时，注意区分sc0-sc9和sc_(num)两种形式的使用场景
3. 升级到包含此修复的版本后，可以安全地使用更高索引的计数器

总结

这个问题展示了HAProxy开发过程中对边界条件处理的重要性。虽然看起来是一个简单的断言错误，但它实际上影响了stick-table核心功能的可用性。开发团队快速响应并修复了这个问题，确保了用户能够继续使用HAProxy强大的会话跟踪功能。