线程存储:Thread Specific Data
线程存储作用
大家都知道,在多线程程序中,所有线程共享进程中的变量。现在有一全局变量,所有线程都可以使用它,改变它的值。而如果每个线程希望能单独拥有它,那么就需要使用线程存储了。
表面上看起来这是一个全局变量,所有线程都可以使用它,而它的值在每一个线程中又是单独存储的。这就是线程存储的意义。
线程存储是实现同一个线程中不同函数间共享数据的一种很好的方式。
线程存储具体用法
- 创建一个类型为
pthread_key_t
类型的变量。 - 调用
pthread_key_create()
来创建该变量。该函数有两个参数,第一个参数就是上面声明的pthread_key_t
变量,第二个参数是一个清理函数,用来在线程释放该线程存储的时候被调用。该函数指针可以设成NULL
,这样系统将调用默认的清理函数。该函数成功返回0
,其他任何返回值都表示出现了错误。 - 当线程中需要存储特殊值的时候,可以调用
pthread_setspcific()
。该函数有两个参数,第一个为前面声明的pthread_key_t
变量,第二个为void*
变量,这样你可以存储任何类型的值。 - 如果需要取出所存储的值,调用
pthread_getspecific()
。该函数的参数为前面提到的pthread_key_t
变量,该函数返回void *
类型的值。
函数原型
int pthread_setspecific(pthread_key_t key, const void *value);
void *pthread_getspecific(pthread_key_t key);
int pthread_key_create(pthread_key_t *key, void (*destructor)(void*));
使用例子
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
pthread_key_t key; // 好吧,这个玩意究竟是干什么的呢?
struct test_struct { // 用于测试的结构
int i;
float k;
};
void *child1(void *arg)
{
struct test_struct struct_data; // 首先构建一个新的结构
struct_data.i = 10;
struct_data.k = 3.1415;
pthread_setspecific(key, &struct_data); // 设置对应的东西吗?
printf("child1--address of struct_data is --> 0x%p\n", &(struct_data));
printf("child1--from pthread_getspecific(key) get the pointer and it points to --> 0x%p\n", (struct test_struct *)pthread_getspecific(key));
printf("child1--from pthread_getspecific(key) get the pointer and print it's content:\nstruct_data.i:%d\nstruct_data.k: %f\n",
((struct test_struct *)pthread_getspecific(key))->i, ((struct test_struct *)pthread_getspecific(key))->k);
printf("------------------------------------------------------\n");
}
void *child2(void *arg)
{
int temp = 20;
sleep(2);
printf("child2--temp's address is 0x%p\n", &temp);
pthread_setspecific(key, &temp); // 好吧,原来这个函数这么简单
printf("child2--from pthread_getspecific(key) get the pointer and it points to --> 0x%p\n", (int *)pthread_getspecific(key));
printf("child2--from pthread_getspecific(key) get the pointer and print it's content --> temp:%d\n", *((int *)pthread_getspecific(key)));
}
int main(void)
{
pthread_t tid1, tid2;
pthread_key_create(&key, NULL); // 这里是构建一个pthread_key_t类型,确实是相当于一个key
pthread_create(&tid1, NULL, child1, NULL);
pthread_create(&tid2, NULL, child2, NULL);
pthread_join(tid1, NULL);
pthread_join(tid2, NULL);
pthread_key_delete(key);
return (0);
}
输出:
child1--address of struct_data is --> 0x0x7ffff77eff40
child1--from pthread_getspecific(key) get the pointer and it points to --> 0x0x7ffff77eff40
child1--from pthread_getspecific(key) get the pointer and print it's content:
struct_data.i:10
struct_data.k: 3.141500
------------------------------------------------------
child2--temp's address is 0x0x7ffff6feef44
child2--from pthread_getspecific(key) get the pointer and it points to --> 0x0x7ffff6feef44
child2--from pthread_getspecific(key) get the pointer and print it's content --> temp:20
在库中的使用
上面的函数很明显是c语言的api,在C++中使用起来难免蹩脚,怎么样对其封装可以更人性化的使用呢?
我在陈硕的muduo库里面遇到的muduo::ThreadLocalSingleton
就是一个比较好的封装。
源码如下:
#ifndef MUDUO_BASE_THREADLOCALSINGLETON_H
#define MUDUO_BASE_THREADLOCALSINGLETON_H
#include <boost/noncopyable.hpp>
#include <assert.h>
#include <pthread.h>
namespace muduo
{
template<typename T>
class ThreadLocalSingleton : boost::noncopyable
{
public:
static T& instance()
{
if (!t_value_)
{
t_value_ = new T();
deleter_.set(t_value_);
}
return *t_value_;
}
static T* pointer()
{
return t_value_;
}
private:
ThreadLocalSingleton();
~ThreadLocalSingleton();
static void destructor(void* obj)
{
assert(obj == t_value_);
typedef char T_must_be_complete_type[sizeof(T) == 0 ? -1 : 1];
T_must_be_complete_type dummy; (void) dummy;
delete t_value_;
t_value_ = 0;
}
class Deleter
{
public:
Deleter()
{
pthread_key_create(&pkey_, &ThreadLocalSingleton::destructor);
}
~Deleter()
{
pthread_key_delete(pkey_);
}
void set(T* newObj)
{
assert(pthread_getspecific(pkey_) == NULL);
pthread_setspecific(pkey_, newObj);
}
pthread_key_t pkey_;
};
static __thread T* t_value_;
static Deleter deleter_;
};
template<typename T>
__thread T* ThreadLocalSingleton<T>::t_value_ = 0;
template<typename T>
typename ThreadLocalSingleton<T>::Deleter ThreadLocalSingleton<T>::deleter_;
}
#endif
使用也很方便:
struct SpecificData {
AObj a;
BObj a
}
typedef muduo::ThreadLocalSingleton<SpecificData> LocalSpecificData;
//调用
LocalSpecificData::instance().a.fun();
LocalSpecificData::instance().b.fun();
参考
pthread_key_t和pthread_key_create()详解
陈硕
感谢!