Apache HTTP Server 2.x 线程安全问题

全局变量和静态变量

在编写模块或尝试确定模块或第三方库是否线程安全时，需要牢记一些常见事项。

首先，您需要认识到，在多线程模型中，每个线程都有自己的程序计数器、堆栈和寄存器。局部变量存储在堆栈中，因此它们是安全的。您需要注意任何静态或全局变量。这并不意味着您绝对不能使用静态或全局变量。在某些情况下，您实际上希望某些内容影响所有线程，但通常情况下，如果您希望代码线程安全，则需要避免使用它们。

如果您有一个需要全局访问且所有线程都可以访问的全局变量，那么在更新它时要格外小心。例如，如果它是一个递增计数器，则需要原子地递增它以避免与其他线程发生竞争条件。您可以使用互斥锁（互斥）来实现这一点。锁定互斥锁，读取当前值，递增它，写回它，然后解锁互斥锁。任何想要修改该值的另一个线程都必须首先检查互斥锁，并在互斥锁被清除之前阻塞。

如果您使用的是 APR，请查看 apr_atomic_* 函数和 apr_thread_mutex_* 函数。

errno

这是一个常见的全局变量，它保存最后发生的错误的错误号。如果一个线程调用一个设置 errno 的底层函数，然后另一个线程检查它，那么我们就会将一个线程的错误号泄漏到另一个线程。为了解决这个问题，请确保您的模块或库定义了 _REENTRANT 或使用 -D_REENTRANT 编译。这将使 errno 成为一个每个线程的变量，并且希望对代码是透明的。它是通过执行类似以下操作来实现的

这意味着访问 errno 将调用 __errno_location()，该函数由 libc 提供。设置 _REENTRANT 还会强制重新定义一些其他函数，使其等效于 *_r，有时还会将常见的 getc/putc 宏更改为更安全的函数调用。有关详细信息，请查看您的 libc 文档。除了 _REENTRANT 之外，可能影响此行为的符号还有 _POSIX_C_SOURCE、_THREAD_SAFE、_SVID_SOURCE 和 _BSD_SOURCE。

常见的标准问题函数

不仅要线程安全，还要可重入。strtok() 是一个明显的例子。您第一次调用它时，它会使用分隔符，然后它会记住该分隔符，并在每次后续调用时返回下一个标记。显然，如果多个线程调用它，您将遇到问题。大多数系统都有一个可重入版本的函数，称为 strtok_r()，您可以在其中传递一个额外的参数，该参数包含一个已分配的 char *，该函数将使用它来代替自己的静态存储来维护标记状态。如果您使用的是 APR，您可以使用 apr_strtok()。

crypt() 是另一个往往不可重入的函数，因此，如果您在库中遇到对该函数的调用，请注意。不过，在某些系统上它是可重入的，因此它并不总是问题。如果您的系统有 crypt_r()，您可能应该使用它，或者如果可能，只需使用 md5 来避免整个混乱。

常见的第三方库

以下是第三方 Apache 模块使用的常见库列表。您可以使用 ldd(1) 和 nm(1) 等工具来查看您的模块是否正在使用可能不安全的库。例如，对于 PHP，请尝试以下操作

除了这些库之外，您还需要查看静态链接到模块的任何库。您可以使用 nm(1) 来查找模块中的单个符号。

库列表

如果您对该列表有任何补充或更正，请告知 [email protected]。