Kamailio SIP参数解析模块内存泄漏问题分析与修复

问题背景

在Kamailio开源SIP服务器的实际使用过程中，开发人员发现当处理带有参数的SIP请求URI(RURI)时，系统内存会出现持续增长的现象。经过深入分析，这个问题源于siputils模块中的get_uri_param函数存在内存泄漏缺陷。

问题现象

当Kamailio处理包含参数的SIP INVITE请求时：

1. 如果RURI不包含任何参数，内存使用正常
2. 如果RURI包含一个或多个参数，内存会随着请求处理不断增加
3. 通过pkg_stat命令可以观察到内存持续增长

技术分析

原始代码缺陷

在原始实现中，get_uri_param函数存在以下关键问题：

1. 函数使用parse_params解析URI参数，该函数会动态分配内存存储解析结果
2. 解析完成后，函数通过params指针遍历参数链表
3. 但在释放内存时，直接使用了可能已被修改的params指针
4. 由于遍历过程中params指针被更新(params = params->next)，最终传递给free_params的指针可能不是原始分配的内存块

内存泄漏原理

具体表现为：

1. 首次调用parse_params后，params指向分配的内存块A
2. 遍历参数链表时，params指针被更新为指向A->next
3. 调用free_params时传入的是A->next而非A
4. 导致内存块A无法被正确释放，造成内存泄漏

解决方案

修复方案的核心是保存原始分配的内存指针：

1. 新增parsed_params变量存储初始分配的内存指针
2. 在调用parse_params后立即保存原始指针
3. 使用保存的原始指针调用free_params释放内存

修复代码示例

param_t* parsed_params; // 新增指针变量存储原始分配

// 解析参数后保存原始指针
parsed_params = params;

// ...参数处理逻辑...

// 使用保存的原始指针释放内存
free_params(parsed_params);

修复效果

该修复已提交并合并到Kamailio代码库，经过测试验证：

1. 处理带参数的SIP请求时内存保持稳定
2. 不会出现内存持续增长现象
3. 系统资源利用率恢复正常

经验总结

这个案例提醒我们在处理动态内存时需要注意：

1. 对于链式数据结构，要特别注意保持对原始节点的引用
2. 内存分配和释放应该使用相同的指针值
3. 指针遍历操作可能改变原始指针值，需要预先保存
4. 对于复杂的解析过程，增加中间变量可以提高代码可靠性

这类问题在SIP服务器等高性能网络应用中尤为重要，因为即使是小的内存泄漏在长期运行和高负载下也可能导致严重问题。