Linux线程安全和线程存储

以下内容引述至《Linux/Unix系统编程手册》

可重入性

若函数可同时供多个线程安全调用，则称之为线程安全函数；反之，如果函数不是线程安全的，则不能并发调用。
实现线程安全有多种方式。其一是将函数与互斥量关联使用，在调用函数时将其锁定，在函数返回时解锁，对函数的访问是串行的；另一种方式是将共享变量与互斥量关联起来。
可重入函数无需使用互斥量即可实现线程安全。

线程特有数据

实现函数线程安全最为有效的方式就是使其可重入。
相比可重入函数，线程特有数据的函数效率可能要略低一点。线程特有数据是长期存在的。
要使用线程特有数据，库函数执行的一般步骤如下：

1. 函数创建一个键（key），用以将不同函数使用的线程特有数据项区分开来。调用函数pthread_key_create()可创建此“键”，且只需在首个调用该函数的线程中创建一次，函数pthread_once()的使用正式处于这一目的。将在创建时未分配任何线程特有数据块；
2. 调用pthread_key_create()另一目的是允许调用者指定一个自定义结构函数，用于释放为该键所分配的哥哥存储块；
3. 函数会为每个调用者线程创建线程特有数据块，这一分配通过调用malloc()完成，每个线程只分配一次，且只会在线程初次调用此函数时分配。
4. 保存上一步所分配的存储块的地址，使用两个pthread函数：pthread_setspecific()和pthread_getspecific()

#include <pthread.h>
int pthread_key_create(pthread_key_t *key, void (*destructor)(void*));
int pthread_setspecific(pthread_key_t key, const void* value);
void *pthread_getspecific(pthread_key_t key);

线程局部存储

线程局部存储提供了持久的每线程存储，却比线程特有数据的使用更为简单。要创建线程局部变量，只需简单地在全局或静态变量的声明中包含__thread说明符即可。

static __thread buf[MAX_ERROR_LEN];

但凡带有这种说明符的变量，每个线程都拥有一份对变量的拷贝。线程局部存储中的变量将一直存在，直至线程终止，届时会自动释放这一存储。

• 如果变量声明中使用了关键字static或extern，那么关键字__thread必须紧随其后；
• 与一般的全局或静态变量声明一样，线程局部变量在声明时可设置一个初始值；
• 可以使用C语言取值操作符（&）来获取线程局部变量的地址