boost::thread简要分析(3):线程局部存储及其它

原创 2005年05月27日 08:52:00
多线程编程中还有一个重要的概念:Thread Local Store(TLS,线程局部存储),在boost中,TLS也被称作TSS,Thread Specific Storage。
boost::thread库为我们提供了一个接口简单的TLS的面向对象的封装,以下是tss类的接口定义:
class
 tss
{

public
:
    tss(boost::function1<void, void*>* pcleanup);
    void
* get() const;
    void
 set(void* value);
    void
 cleanup(void* p);
};

分别用于获取、设置、清除线程局部存储变量,这些函数在内部封装了TlsAlloc、TlsGetValue、TlsSetValue等API操作,将它们封装成了OO的形式。
但boost将该类信息封装在detail名字空间内,即不推荐我们使用,当需要使用tss时,我们应该使用另一个使用更加方便的类:thread_specific_ptr,这是一个智能指针类,该类的接口如下:
class
 thread_specific_ptr : private boost::noncopyable   // Exposition only
{
public
:
  // construct/copy/destruct
  thread_specific_ptr();
  thread_specific_ptr(void (*cleanup)(void*));
  ~
thread_specific_ptr();

  // modifier functions
  T* release();
  void
 reset(T* = 0);

  // observer functions
  T* get() const;
  T* operator->() const;
  T& operator*()() const;
};

即可支持get、reset、release等操作。
thread_specific_ptr类的实现十分简单,仅仅为了将tss类“改装”成智能指针的样子,该类在其构造函数中会自动创建一个tss对象,而在其析构函数中会调用默认参数的reset函数,从而引起内部被封装的tss对象被析构,达到“自动”管理内存分配释放的目的。

以下是一个运用thread_specific_ptr实现TSS的例子:
#include <boost/thread/thread.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/thread/tss.hpp>
#include <iostream>

boost::mutex io_mutex;
boost::thread_specific_ptr<int> ptr;    // use this method to tell that this member will not shared by all threads

struct
 count
{

    count(int id) : id(id) { }

    void
 operator()()
    {

        if
 (ptr.get() == 0)    // if ptr is not initialized, initialize it
            ptr.reset(new int(0));    // Attention, we pass a pointer to reset (actually set ptr)

        for
 (int i = 0; i < 10; ++i)
        {
            (*
ptr)++;
            boost::mutex::scoped_lock lock(io_mutex);
            std::cout << id << ": " << *ptr << std::endl;
        }
    }


    int
 id;
};


int
 main(int argc, char* argv[])
{

    boost::thread thrd1(count(1));
    boost::thread thrd2(count(2));
    thrd1.join();
    thrd2.join();

    return
 0;
}


此外,thread库还提供了一个很有趣的函数,call_once,在tss::init的实现中就用到了该函数。
该函数的声明如下:
void
 call_once(void (*func)(), once_flag& flag);
该函数的Windows实现通过创建一个Mutex使所有的线程在尝试执行该函数时处于等待状态,直到有一个线程执行完了func函数,该函数的第二个参数表示函数func是否已被执行,该参数往往被初始化成BOOST_ONCE_INIT(即0),如果你将该参数初始化成1,则函数func将不被调用,此时call_once相当于什么也没干,这在有时候可能是需要的,比如,根据程序处理的结果决定是否需要call_once某函数func。
call_once在执行完函数func后,会将flag修改为1,这样会导致以后执行call_once的线程(包括等待在Mutex处的线程和刚刚进入call_once的线程)都会跳过执行func的代码。

需要注意的是,该函数不是一个模板函数,而是一个普通函数,它的第一个参数1是一个函数指针,其类型为void (*)(),而不是跟boost库的很多其它地方一样用的是function模板,不过这样也没有关系,有了boost::bind这个超级武器,想怎么绑定参数就随你的便了,根据boost的文档,要求传入的函数不能抛出异常,但从实现代码中好像不是这样。

以下是一个典型的运用call_once实现一次初始化的例子:
#include <boost/thread/thread.hpp>
#include <boost/thread/once.hpp>
#include <iostream>

int
 i = 0;
int
 j = 0;
boost::once_flag flag = BOOST_ONCE_INIT;

void
 init()
{
    ++
i;
}


void
 thread()
{

    boost::call_once(&init, flag);
    ++
j;
}


int
 main(int argc, char* argv[])
{

    boost::thread thrd1(&thread);
    boost::thread thrd2(&thread);
    thrd1.join();
    thrd2.join();

    std::cout << i << std::endl;
    std::cout << j << std::endl;

    return
 0;
}

结果显示,全局变量i仅被执行了一次++操作,而变量j则在两个线程中均执行了++操作。

其它
boost::thread目前还不十分完善,最主要的问题包括:没有线程优先级支持,或支持线程的取消操作等,而且,目前的实现机制似乎不大容易通过简单修改达到这一要求,也许将来的某个版本会在实现上出现较大调整,但目前支持的接口应该会相对保持稳定,目前支持的特性也还会继续有效。

相关文章推荐

【Boost】boost库中thread多线程详解9——thread_specific_ptr线程局部存储

大多数函数都不是可重入的。这也就是说在某一个线程已经调用了一个函数时,如果你再调用同一个函数,那么这样是不安全的。一个不可重入的函数通过连续的调用来保存静态变量或者是返回一个指向静态数据的指针。 举例...

线程局部存储,Part 4:访问__declspec(thread)变量

原文网址:http://www.nynaeve.net/?p=185 昨天,我大致说了下编译器和链接器如何合作来支持TLS,但是并没有讲当访问__declspec(thread)变量时具...

TLS(thread - local storage)线程局部存储

线程局部存储是一个使用很方便的存储线程局部数据的系统。利用TLS机制可以为进程中所有的线程关联若干数据,各个线程通过由TLS分配的全部索引来访问与自己关联的数据。这样,每个线程都可以有线程局部的静态存...

线程局部存储,Part 5:加载器对__declspec(thread)变量的支持(进程初始化阶段)

原文网址:http://www.nynaeve.net/?p=186 上次,我描述了编译器和链接器为访问__declspec(thread)扩展类变量所使用的生成代码的机制。尽管此时它们已经为隐...

线程局部存储 Thread Local Storage

1 由于多个线程使用同一个变量,各个线程     都对变量进行操作,那么变量的值会被不同     线程操作覆盖。                 通常   变量A                  ...
  • rankun1
  • rankun1
  • 2016年02月16日 20:29
  • 185

关于线程局部存储代码出错分析讨论

忙了一两天把这个代码敲完了,但是在调试时候出 了一些问题,慕思苦想还没搞定这个问题多以请大家指点指点...

线程局部存储TLS

  • 2015年07月06日 09:17
  • 511KB
  • 下载

boost::thread简要分析(2):线程同步

除了thread,boost::thread另一个重要组成部分是mutex,以及工作在mutex上的boost::mutex::scoped_lock、condition和barrier,这些都是为实...

线程局部存储tls的使用

线程局部存储(Thread Local Storage,TLS)主要用于在多线程中,存储和维护一些线程相关的数据,存储的数据会被关联到当前线程中去,并不需要锁来维护。。因此也没有多线程间资源竞争问题,...
  • waruqi
  • waruqi
  • 2016年11月17日 16:04
  • 390

有关线程局部存储

首先看一下百科上面的解释: 英文为Thread Local Storage,缩写为TLS。为什么要有TLS?原因在于,全局变量与函数内定义的静态变量,是各个线程都可以访问的共享变量。 在一个线程修...
  • new_abc
  • new_abc
  • 2012年08月16日 15:28
  • 928
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:boost::thread简要分析(3):线程局部存储及其它
举报原因:
原因补充:

(最多只允许输入30个字)