检查库/API是不是是线程安全的通用方法

Posted

技术标签:

【中文标题】检查库/API是不是是线程安全的通用方法【英文标题】:Generic methods for checking if a library/API is thread safe检查库/API是否是线程安全的通用方法 【发布时间】:2010-12-12 00:24:26 【问题描述】:

我从外部开发人员那里收到了一个定义良好的 API(C++ 和 Java)形式的库。可以进行哪些测试来检查库是否是线程安全的?

【问题讨论】:

【参考方案1】:

基本上你不能,测试线程安全或多或少是不可能的。

此外,如果您没有作者保证该库是线程安全的,那么他们将不会修复线程问题,因此未来的版本可能会降低线程安全性。

如果您有源代码,那么您可以调查常见的线程安全问题:共享状态、锁等。但是如果您只有二进制文件,那么您最好的办法就是证明该库是不是线程安全的。即使这样,可靠地重现问题也可能非常困难。

【讨论】:

以上是关于检查库/API是不是是线程安全的通用方法的主要内容,如果未能解决你的问题,请参考以下文章

带有改造的协程线程安全

Java 线程安全问题

以下 C++ 代码中实现的 DCL(双重检查锁定)是不是是线程安全的?

如何找到特定的 dll 是不是是线程安全的? Ant API/工具呢?

!= 检查线程安全吗?

Python 的 Requests 库线程中的 Session 对象是不是安全?