进程内所有的线程共享地址空间,任何声明为静态或外部的变量,或在进程堆声明的变量都可以被进程内的所有线程读写。

  1. static,extern,或堆变量的值是上次线程改写的值
  2. 一个线程真正拥有的唯一私有存储时处理器寄存器。甚至栈地址也能被共享,寄存器和“私有”堆栈都不能代替非线程代码中使用的持久静态存储

  当线程需要有个私有变量时,首先决定所有线程时候共享相同的值,或线程是否该有他自己的值

  1. 如果共享变量,使用静态或外部数据,同步跨越多线程对共享数据进行存取
  2. 如果每个线程需要个私有变量,在每个线程的堆栈中分配内存并将值保存在那里,但是代码需要任何线程发现私有数据,私有数据允许每个线程有一份变量的拷贝,好像每个线程有一连串公共键值索引私有数据

  程序创建一个键,每个线程能独立的设定或得到自己的键值,键对于所有的线程是相同的,每个键值能将它独立的键值与共享键所联系,每个线程能将它独立的键值与共享键联系,每个线程能在任何时间为键改变他的私有值

  线程特定数据看似很复杂,其实我们可以把它理解为就是一个索引指针。key结构中存储的是索引,pthread结构中存储的是指针,指向线程中的私有数据,通常是malloc函数返回的指针。

   POSIX要求实现POSIX的系统为每个进程维护一个称之为Key的结构数组(如图1所示),这个数组中的每个结构称之为一个线程特定数据元素。POSIX规定系统实现的Key结构数组必须包含不少于128个线程特定元素,而每个线程特定数据元素至少包含两项内容:使用标志和析构函数指针。key结构中的标志指示这个数组元素是否使用,所有的标志初始化为“不在使用”(线程私有数据为空NULL对于pthread意味着一些特殊的东西,所以除非确实需要,否则不要将一个线程私有数据置空,不是赋空值而是不再使用)

  当一个线程调用pthread_key_create创建一个新的线程特定数据元素时,系统搜索其所在进程的Key结构数组,找出其中第一个未使用的元素,并通过keyptr返回该元素的键,即就是我们前面说的索引pthread_key_create函数的第二个参数destructor是一个函数指针,指向一个析构函数,用于线程结束以后的一些后期后期处理工作,析构函数的额参数就是线程特定数据的指针。

  除了进程范围内地的key结构数组外,系统还在进程中维护关于每个线程的线程结构,把这个特定于线程的结构称为pthread结构,它的部分内容是于key数组对应的指针数组(如图2所示),它的128个指针和进程中的128个可能的键(索引)是逐一关联的。指针指向的内存就是线程特有数据。

#include <pthread.h>

pthread_key_t keyp;
//成功返回0,失败返回错误号。必须保证pthread_key_t只被创建一次,如果创建两次,第二个键覆盖第一个键
//第一个键与任何线程相关设置的值一起丢失
int pthread_key_create(pthread_key_t *keyp, void (*destructor)(void *)); 

//成功返回0,失败返回错误号。
int pthread_key_delete(pthread_key_t *key);

//返回线程特定数据,或者如果没有值关联到这个关键字时返回NULL。
void *pthread_getspecific(pthread_key_t key); 

//成功返回0,失败返回错误号
int pthread_setspecific(pthread_key_t key, const void *value); 
  1. pthread_key_create对于每个pthread_key_t只能被调用一次,如果创建两次,第二次将第一次的值覆盖
  2. pthreads保证一次只有128个线程私有数据键,由<limits.h>中的PTHREAD_KEYS_MAX指定
  3. 释放线程私有数据键时,不影响任何线程对该键设置的当前值,甚至不影响调用线程的当前键值,使用已删除的线程私有数据键导致未定义的行为
  4. 当没有线程持有该键的值时,才能删除线程私有数据键
  5. 不能把pthread_setspecific的value设置线程私有数据为NULL,因为此值意味着不是在赋空值,而是说该键在当前的线程不在有值
  6. 任何新建,初始值为NULL
  7. 当一个线程终止时,调用键的destructor函数前将对应的线程私有数据值清空,设置为NULL
  8. 如果线程的私有数据值存储的是地址,在destructor中释放时要传递给destructor参数,而非调用pthrad_getspecific的参数
  9. 终止线程对于某键的值为NULL的不调用destructor
  10. destructor仅在线程终止时被调用,而不是当线程私有数据键值改变时
  11. 线程私有数据的键的destructor函数在你替代现存的键值时不会被调用。即:如果在堆中分配一个结构并将它指向该结构的指针作为线程私有数据的值,则在以后分配一个新结构并且把它指向新结构的指针赋值给相同的线程私有数据键时,需要将旧结构释放。phtreads不会释放旧结构,也不会使用指向旧结构的指针调用你的destructor函数

destructor

  此函数是当线程退出时他处理有一些线程私有数据键定义的值。如果键值指向堆寄存器的指针,需要释放存储器避免每次线程终止时留下内存泄漏,当线程终止时,具有非空私有数据的键值的一个线程终止时,键的destructor将以当前值为参数被调用。

  当一个线程退出时,pthrads在进程中检查所有私有数据的键,并且将不是空的线程私有数据置空然后调用destructor函数

  如果从destructor函数中调用其他函数,destructor将为正在被破坏或其他任何键赋新值

  pthreads实现在核对列表某个固定的次数后再放弃,当放弃它时,最终的线程的私有数据值没有被破坏,如果值指向堆存储器的指针,结果可能是内存泄漏,<limits.h>中TPHREAD_DESTRUCTOR规定了系统检查的列表次数,并且值至少为4,或不停的检查,则总是设置线程私有数据值得destructor函数引起无限循环。

  通常仅当子系统1使用了取决于另外独立的子系统2的线程私有数据时,新的线程私有数据值才在destructor函数内被设置;如果子系统1的destructor需要调用子系统2,他可能无意中导致子系统2分配新的线程私有数据,尽管子系统2的destructor需要被再次调用以释放新数据,子系统1的线程私有数据仍保持NULL,所以循环将终止

  下面看一个具体的过程,启动一个进程并创建了若干线程,其中一个线程(比如线程1),要申请线程私有数据,系统调用pthread_key_creat()在图1所示的key结构数组中找到第一个未用的元素,并把它的键,也就是看面说的索引(0-127),返回给调用者,假设返回的索引是1,线程之后通过pthrea_getspecific()调用获得本线程的pkey[1]值,返回的是一个空指针ptr = null,这个指针就是我们可以通过索引1使用的线程数据的首地址了,但是他现在为空,因此根据实际情况用malloc分配一快内存,在使用pthread_setspecific()调用将特定数据的指针指向刚才分配到内存区域。整个过程结束后key结构和pthread

void destructor(void *) 

pthread_key_t key; 

pthread_once_t init_done = PTHREAD_ONCE_INIT; 

void thread_init(void)
{
    err = pthread_key_create(&key, destructor);
}
int threadfunc(void *arg)
{
    pthread_once(&init_done, thread_init); //保证只被创建一次

    if( (ptr = pthread_getspecific(key)) == NULL ){
        ptr = malloc(len);
        pthread_setspecific(key,ptr);
        ...
    }
    ...
}

  当调用pthread_key_create 后会产生一个所有线程都可见的线程特定数据(TSD)的键值(如上图中所有的线程都会得到一个pkey[1]的值), 但是这个键所指向的真实数据却是不同的,虽然都是pkey[1], 但是他们并不是指向同一块内存,而是指向了只属于自己的实际数据, 因此, 如果线程0更改了pkey[1]所指向的数据, 而并不能够影像到线程n;

在线程调用pthread_setspecific后会将每个线程的特定数据与thread_key_t绑定起来,虽然只有一个pthread_key_t,但每个线程的特定数据是独立的内存空间,当线程退出时会执行destructor 函数。

/** 示例1: 设置/获取线程特定数据
在两个线程中分别设置/获取线程特定数据, 查看两个线程中的数据是否是一样的(肯定是不一样的O(∩_∩)O~)
**/
pthread_key_t key;
typedef struct Tsd
{
    pthread_t tid;
    char *str;
} tsd_t;
//用来销毁每个线程所指向的实际数据,线程私有数据键的destruct函数在你替代键值时不会被调用,
void destructor_function(void *value)
{
    free(value);
    cout << "destructor ..." << endl;
}  

void *thread_routine(void *args)
{
    //设置线程特定数据
    tsd_t *value = (tsd_t *)malloc(sizeof(tsd_t));
    value->tid = pthread_self();
    value->str = (char *)args;
    pthread_setspecific(key, value);
    printf("%s setspecific, address: %p\n", (char *)args, value);  

    //获取线程特定数据
    value = (tsd_t *)pthread_getspecific(key);
    printf("tid: 0x%x, str = %s\n", (unsigned int)value->tid, value->str);
    sleep();  

    //再次获取线程特定数据
    value = (tsd_t *)pthread_getspecific(key);
    printf("tid: 0x%x, str = %s\n", (unsigned int)value->tid, value->str);  

    pthread_exit(NULL);
}  

int main()
{
    //这样每个线程当中都会有一个key可用了,
    //但是每个key所绑定的实际区域需要每个线程自己指定
    pthread_key_create(&key, destructor_function);  

    pthread_t tid1, tid2;
    pthread_create(&tid1, NULL, thread_routine, (void *)"thread1");
    pthread_create(&tid2, NULL, thread_routine, (void *)"thread2");  

    pthread_join(tid1, NULL);
    pthread_join(tid2, NULL);
    pthread_key_delete(key);  

    ;
}  
/** 示例2:运用pthread_once, 让key只初始化一次
注意: 将对key的初始化放入到init_routine中
**/
pthread_key_t key;
pthread_once_t once_control = PTHREAD_ONCE_INIT;
typedef struct Tsd
{
    pthread_t tid;
    char *str;
} tsd_t;  

//线程特定数据销毁函数,
//用来销毁每个线程所指向的实际数据
void destructor_function(void *value)
{
    free(value);
    cout << "destructor ..." << endl;
}  

//初始化函数, 将对key的初始化放入该函数中,
//可以保证inti_routine函数只运行一次
void init_routine()
{
    pthread_key_create(&key, destructor_function);
    cout << "init..." << endl;
}  

void *thread_routine(void *args)
{
    pthread_once(&once_control, init_routine);  

    //设置线程特定数据
    tsd_t *value = (tsd_t *)malloc(sizeof(tsd_t));
    value->tid = pthread_self();
    value->str = (char *)args;
    pthread_setspecific(key, value);
    printf("%s setspecific, address: %p\n", (char *)args, value);  

    //获取线程特定数据
    value = (tsd_t *)pthread_getspecific(key);
    printf("tid: 0x%x, str = %s\n", (unsigned int)value->tid, value->str);
    sleep();  

    //再次获取线程特定数据
    value = (tsd_t *)pthread_getspecific(key);
    printf("tid: 0x%x, str = %s\n", (unsigned int)value->tid, value->str);  

    pthread_exit(NULL);
}  

int main()
{
    pthread_t tid1, tid2;
    pthread_create(&tid1, NULL, thread_routine, (void *)"thread1");
    pthread_create(&tid2, NULL, thread_routine, (void *)"thread2");  

    pthread_join(tid1, NULL);
    pthread_join(tid2, NULL);
    pthread_key_delete(key);  

    ;
}  

pthread线程私有数据的更多相关文章

  1. 【C/C++多线程编程之十】pthread线程私有数据

    多线程编程之线程私有数据      Pthread是 POSIX threads 的简称.是POSIX的线程标准.         线程同步从相互排斥量[C/C++多线程编程之六]pthread相互排 ...

  2. 线程私有数据和pthread_once

    #include <stdio.h> #include <pthread.h> pthread_key_t key; pthread_once_t ponce = PTHREA ...

  3. Posix线程编程指南(2) 线程私有数据

    概念及作用 在单线程程序中,我们经常要用到"全局变量"以实现多个函数间共享数据.在多线程环境下,由于数据空间是共享的,因此全局变量也为所有线程所共有.但有时应用程序设计中有必要提供 ...

  4. [转] unix/linux下线程私有数据实现原理及使用方法

     在维护每个线程的私有数据的时候,我们可能会想到分配一个保存线程数据的数组,用线程的ID作为数组的索引来实现访问,但是有一个问题是系统生成的线程 ID不能保证是一个小而连续的整数,并且用数组实现的时候 ...

  5. UNIX环境高级编程——线程私有数据

    线程私有数据(Thread-specific data,TSD):存储和查询与某个线程相关数据的一种机制. 在进程内的所有线程都共享相同的地址空间,即意味着任何声明为静态或外部变量,或在进程堆声明的变 ...

  6. posix多线程--线程私有数据

    1.当多个线程共享一个变量时,将该变量定义为静态或外部变量,使用互斥量确保共享变量的安全访问.如果每个线程都需要一个私有变量值,则该值成为线程的私有数据.程序创建一个键,每个线程独立地设定或得到自己的 ...

  7. ZT linux 线程私有数据之 一键多值技术

    这个原作者的这个地方写错了 且他举的例子非常不好.最后有我的修正版本 pthread_setspecific(key, (void *)&my_errno); linux 线程私有数据之一键多 ...

  8. pthread_getspecific()--读线程私有数据|pthread_setspecific()--写线程私有数据

    原型: #include <pthread.h> void *pthread_getspecific(pthread_key_t key); int pthread_setspecific ...

  9. linux多线程学习笔记六--一次性初始化和线程私有数据【转】

    转自:http://blog.csdn.net/kkxgx/article/details/7513278 版权声明:本文为博主原创文章,未经博主允许不得转载. 一,一次性初始化 以保证线程在调用资源 ...

随机推荐

  1. WPF usercontrol 自定义依赖属性

    1.依赖属性不同意一般属性,一般属性主要定义在对象中,而依赖属性是存在一个特殊的依赖属性表中.2.当我们触发改变值时,需要通过SetValue这种方式进行触发. UserControl1.xaml: ...

  2. 搞定PHP面试 - 正则表达式知识点整理

    一.简介 1. 什么是正则表达式 正则表达式(Regular Expression)就是用某种模式去匹配一类字符串的一种公式.正则表达式使用单个字符串来描述.匹配一系列匹配某个句法规则的字符串.正则表 ...

  3. Python3基础 判断变量大于一个数并且小于另外一个数

             Python : 3.7.0          OS : Ubuntu 18.04.1 LTS         IDE : PyCharm 2018.2.4       Conda ...

  4. HDU 6425 Rikka with Badminton(组合问题签到)题解

    题意:问你有多少种选法使得不能满足大于等于2个拍子且大于等于1个球. 思路:数学组合问题,分类讨论一下,刚开始的时候分的很乱,写的乱七八糟的...还有注意MOD,基本上有大数相乘的地方都要先MOD一下 ...

  5. 采用注解方式实现security

    采用注解方式使用security,首先我们需要用注解方式实现Spring MVC,新建一个Maven项目 本项目目录结构如下:  我们会发现在WEB-INF中没有web.xml文件,下面会介绍,采用j ...

  6. .Net频繁访问数据库的优化探究(一)

    知识点:DataTable.Linq.lamda表达式.Cache 场景:查询部门的所有员工和管理员,并分配相应的权限 实现过程一般为:查询部门,遍历部门(查询员工.分配权限.查询管理员.分配权限) ...

  7. 代理模式:利用JDK原生动态实现AOP

    代理模式:利用JDK原生动态实现AOP http://www.cnblogs.com/qiuyong/p/6412870.html 1.概述 含义:控制对对象的访问. 作用:详细控制某个(某类)某对象 ...

  8. Java之试题

    1.面向对象编程的三大特性是什么? 2.String 和StringBuffer的区别 3.说出ArrayList,Vector, LinkedList的存储性能和特性 4.Collection 和 ...

  9. Linux命令详解-echo

    echo会将输入的字符串送往标准输出.输出的字符串间以空白字符隔开,并在最后加上换行号. 1.命令格式: file [ -bchikLnNprsvz ] [ -f namefile ] [ -F se ...

  10. UVA-1604 Cubic Eight-Puzzle (双向BFS+状态压缩+限制搜索层数)

    题目大意:立体的八数码问题,一次操作是滚动一次方块,问从初始状态到目标状态的最少滚动次数. 题目分析:这道题已知初始状态和目标状态,且又状态数目庞大,适宜用双向BFS.每个小方块有6种状态,整个大方格 ...