Jansson库中字符串到JSON转换的多线程安全问题分析

问题背景

Jansson是一个流行的C语言JSON库，广泛应用于各种项目中。近期发现该库在处理字符串到JSON对象的转换时存在一个严重的多线程安全问题，可能导致程序崩溃。这个问题特别出现在不同线程使用不同区域设置(locale)解析包含浮点数的JSON字符串时。

问题现象

当两个线程同时使用json_loads函数解析JSON字符串时，程序可能会触发断言失败并崩溃。具体表现为：

1. 线程1使用英语区域设置(en_US.UTF-8)解析如{"a":1.5}的JSON
2. 线程2使用法语区域设置(fr_FR.UTF-8)解析如{"b":2.5}的JSON
3. 程序运行一段时间后会因断言失败而终止

根本原因分析

问题的根源在于jsonp_strtod函数内部使用了localeconv()函数。根据POSIX标准，localeconv()不是线程安全的，它返回一个指向静态变量的指针。在glibc实现中：

1. 英语区域设置中localeconv()->decimal_point返回"."(点号)
2. 法语区域设置中返回","(逗号)

当两个线程并发执行时：

1. 线程1在调用to_locale(strbuffer)时，可能被线程2干扰
2. 导致localeconv()->decimal_point错误地返回逗号而非点号
3. 最终strtod函数解析失败，触发断言错误

解决方案

正确的修复方式是避免使用localeconv()，转而使用线程安全的sprintf函数。具体修改为：

1. 使用sprintf(buffer, "%#.0f", 1.0)替代localeconv()调用
2. 这种方式能保证线程安全性，同时正确处理浮点数格式

测试考虑

在修复此问题时，需要注意测试覆盖：

1. 保留原有的区域设置测试场景
2. 确保测试能覆盖不同区域设置下的浮点数解析
3. 特别是要测试使用逗号作为小数点的区域设置

总结

这个案例展示了在多线程环境下使用非线程安全函数可能导致的隐蔽问题。对于JSON解析库这类基础组件，线程安全性至关重要。通过改用sprintf等线程安全函数，可以确保Jansson库在多线程环境中稳定工作，正确处理各种区域设置下的JSON数据。