第5章 C/C++线程专有存储（Thread-Specific Storage）：用于访问“per-Thread”状态的对象行为模式

　

Douglas C. Schmidt Nat Pryce Timothy H. Harrison

摘 要

　

在理论上，使应用多线程化可以改善性能（通过同时执行多个指令流），并简化程序结构（通过允许每个线程同步地、而不是反应式地或异步地执行）。而在实践中，由于获取和释放锁的开销，多线程应用常常并不比单线程应用执行得更好，甚至还会更糟。此外，由于避免条件竞争和死锁所需的复杂的并发控制协议，多线程应用常常难以编程。

本论文描述线程专有存储（Thread-Specific Storage）模式，该模式可减轻多线程性能和编程复杂性的若干问题。通过允许多个线程使用一个逻辑上的全局访问点来获取线程专有数据，而又不给每次访问带来锁定开销，线程专有存储模式可改善性能，并简化多线程应用。

　

5.1 意图

　

允许多个线程使用一个逻辑上的全局访问点来获取线程专有数据，而又不给每次访问带来锁定开销。

　

5.2 动机

　

5.2.1 上下文和压力

　

线程专有存储应被用于这样的多线程应用：它们经常访问那些逻辑上是全局的、而物理上是专有于每个线程的对象。例如，像UNIX和Win32这样的操作系统使用errno来向应用报告错误信息。当错误在系统调用中发生时，OS设置errno来报告问题、并返回文档化的失败状态。当应用检测到失败时，它检查errno来确定发生了何种类型的错误。

例如，考虑下面典型的C代码片段，它接收来自非阻塞TCP socket的缓冲区：

　

// One global errno per-process.

extern int errno;

　

void *worker (SOCKET socket)

{

// Read from the network connection

// and process the data until the connection

// is closed.

for (;;)

{

char buffer[BUFSIZ];

int result = recv (socket, buffer, BUFSIZ, 0);

　

// Check to see if the recv() call failed.

if (result == -1)

{

if (errno != EWOULDBLOCK)

// Record error result in thread-specific data.

printf ("recv failed, errno = %d", errno);

}

else

// Perform the work on success.

process_buffer (buffer);

}

}

　

如果recv返回-1，代码检查errno是否等于 EWOULDBLOCK，如果不是（例如，如果errno = EINTR）就打印出错误消息；返回的不是-1代码就处理它接收到的缓冲区。

　

5.2.2 常见陷阱和缺陷

　

尽管上面所示的“全局错误变量”方法对于单线程应用工作得相当好，在多线程应用中却会发生微妙的问题。特别地，占先式多线程系统中的条件竞争会导致一个线程中的方法所设置的errno值被另一线程中的应用错误地解释。因而，如果多个线程同时执行worker函数，全局版本的errno就有可能会由于条件竞争而被不正确地设置。

例如，在图5-1中两个线程（T1和T2）可以在socket上执行recv调用。在此例中，T1的recv返回-1，并设置errno为EWOULDBLOCK，指示目前没有数据在socket上排队。但是在它检查这种情况之前，T1被占先，T2运行。假设T2被中断，它设置errno为EINTR。如果T2随之又立即被占先，T1将会错误地假定它的recv调用被中断，并执行错误的动作。因而，这个程序是错误的和不可移植的，因为它的行为依赖于线程执行的顺序。

在这之下的问题是对全局errno值的设置和测试发生在两个步骤中：（1）recv调用设置该值和（2）应用测试该值。因此，“显而易见”的解决方案，即用互斥体包装errno并不能解决竞争状态，因为设置/测试涉及到多个操作（也就是，它不是原子的）。

解决此问题的一种途径是创建更为成熟的锁定协议。例如，recv调用可以在内部获取errno_mutex，并且必须由应用在recv返回、errno的值被测试后来释放它。但是，此方案并不合乎需要，因为应用可能会忘记释放锁，从而导致饥饿和死锁。而且，如果应用必须在每次库调用后检查错误状态，额外的锁定开销将会显著地降低性能，即使在没有使用多个线程的情况下也是如此。

　

　

图5-1 多线程程序中的条件竞争

　

5.2.3 解决方案：线程专有存储

　

上面描述的陷阱和缺陷的一种通用解决方案是使用线程专有存储模式。该模式消除以下压力：

　

• 效率：线程专有存储允许线程中的一系列方法原子地访问线程专有的对象，而又不会给每次访问带来锁定开销。
• 简化应用编程：对于应用程序员来说，线程专有存储易于使用，因为系统开发者可以通过数据抽象或宏来使线程专有存储的使用在源码级完全透明化。
• 高度可移植：线程专有存储在大多数多线程OS平台上都可用，并且可以在缺乏它的平台上（比如VxWorks）方便地实现。

　

因此，不管应用是运行在单线程还是多线程中，使用线程专有存储模式都不会带来额外开销，并且无需改动代码。例如，下面的代码演示errno是如何在Solaris 2.x上定义的：

　

// A thread-specific errno definition (typically

// defined in <sys/errno.h>).

　

#if defined (_REENTRANT)

// The _errno() function returns the

// thread-specific value of errno.

#define errno (*_errno())

#else

// Non-MT behavior is unchanged.

extern int errno;

#endif /* REENTRANT */

　

void *worker (SOCKET socket)

{

// Exactly the same implementation shown above.

}

　

如果_REENTRANT标志被设置，errno符号就被定义为调用名为_errno的助手函数的宏，此函数返回一个指向errno的线程专有值的指针。该指针被宏去除引用，以使它能够任意出现在赋值运算的左边或右边。

　

5.3 适用性

　

应用有以下特性时可使用线程专有存储：

　

• 应用最初的编写假定了单线程控制，并正在被移植到多线程环境，而又不能改变现有API；或是
• 应用含有多个占先式线程控制，可以任意的调度顺序并发执行；以及
• 每个线程控制调用一系列方法，这些方法共享只对该线程来说是公用的数据；以及
• 在每个线程中被对象共享的数据必须通过一个全局可见的访问点来访问；该访问点“逻辑地”与其他线程共享，但在“物理上” 对于每个线程却是唯一的；以及
• 数据在方法间隐式地传递，而不是经由参数显式地传递。

　

理解上面描述的特性对于使用（或不使用）线程专有存储模式来说是至关紧要的。例如，UNIX errno变量是一个数据例子：（1）逻辑上全局，但是物理上线程专有，以及（2）在方法间隐式地传递。

　

当应用有以下特性时，不要使用线程专有存储模式：

　

• 多个线程为单个任务协同工作，该任务需要并发访问共享数据。例如，多线程应用可以对在内存中的数据库并发地进行读写。在这样的情况下，线程必须共享不是线程专有的记录和表。如果使用线程专有存储来存储此数据库，线程就不能共享这些数据。因而，对数据库记录的访问必须通过同步原语（例如，互斥体）来控制，以使线程能在共享数据上协作。
• 维护物理和逻辑上都分离的数据要更为直观和高效。例如，通过将数据作为参数显式地传递给所有方法，有可能使线程访问仅在每个线程中可见的数据。在这样的情况下，线程专有存储模式有可能是不必要的。

　

5.4 结构和参与者

　

图5-2演示线程专有存储中的以下参与者的结构：

　

应用线程（Application Thread）

　

• 应用线程使用TS Object Proxy（TS对象代理）来访问驻留在线程专有存储中的TS Object。如5.9所示，线程专有存储模式的实现可以使用“灵巧指针”（smart pointer）来隐藏TS Object Proxy，以使应用看起来像是在直接访问TS Object。

　

　

图5-2 线程专有存储模式中的参与者的结构

　

线程专有对象代理（TS Object Proxy）（errno宏）

　

• TS Object Proxy定义TS Object的接口。它负责通过getspecific和setspecific方法来为每个应用线程提供对一个唯一的对象的访问。例如，在5.2的错误处理例子中，errno TS Object是一个int。
  一个TS Object Proxy的实例负责一种类型的对象，也就是，它为所有访问代理的线程而充当对线程专有TS Object进行访问的中介。例如，多个线程可以使用同一个TS Object Proxy来访问线程专有的errno值。代理所存储的key（专有钥）值是由TS Object Collection（TS对象集合）在代理被创建时分配的，并由getspecific和setspecific方法传递给集合。
  TS Object Proxy的目的是隐藏key和TS Object Collection。没有代理，Application Thread必须显式地获取集合和使用专有钥。如5.9所示，线程专有存储的大多数细节可以通过TS Object Proxy的灵巧指针来完全隐藏。

　

线程专有对象（TS Object）（* _errno（）value）

　

• TS Object是特定线程的线程专有对象的实例。例如，线程专有的errno是int类型的对象。它由TS Object Collection管理，并且只能通过TS Object Proxy来访问。

　

线程专有对象集合（TS Object Collection）

　

• 在复杂的多线程应用中，线程的errno值可以是驻留在线程专有存储中的许多类型的数据中的一种。因而，要获取线程专有错误数据的线程，必须使用一个key。这个key必须与errno相关联，以允许线程访问TS Object Collection中的正确条目。
  TS Object Collection含有一组与特定线程相关联的所有线程专有对象，也就是，每个线程都有唯一的TS Object Collection。TS Object Collection将key映射到线程专有的TS Object。通过get_object(key)和set_object(key)方法，TS Object Proxy使用key来从TS对象集合中获取一个特定的TS对象。

　

5.5 协作

　

图5-3中的交互图演示线程专有存储模式中的参与者之间的以下协作：

　

　

图5-3 线程专有存储模式中的参与者之间的交互

　

• 定位TS Object Collection：每个Application Thread中的方法在TS Object Proxy上调用getspecific和setspecific方法来访问TS Object Collection，后者存储在线程中、或在通过线程ID进行索引的全局结构中。

　

• 从线程专有存储中获取TS Object：一旦TS Object Collection被定位，TS Object Proxy就使用它的key来从集合中获取恰当的TS Object。

　

• 设置/获取TS Object的状态：在这里，应用线程使用普通的C++方法调用来在TS Object上进行操作。无需进行锁定，因为对象通过一个指针来引用，而该指针仅能在调用线程中进行访问。

　

5.6 效果

　

5.6.1 好处

　

使用线程专有存储有若干好处，包括：

　

效率：线程专有存储可实现成无需对线程专有数据进行锁定。例如，通过将errno放入线程专有存储中，每个线程都可以可靠地设置和测试该线程中的方法的完成状态，而无需使用复杂的同步协议。这排除了线程中共享数据的锁定开销，比起获取和释放互斥体要更为迅捷[1]。

　

易于使用：对于应用程序员来说，线程专有存储使用起来很简单，因为系统开发者可以通过数据抽象或宏来使线程专有存储的使用在源码级完全透明化。

　

5.6.2 缺点

　

使用线程专有存储还有着以下缺点：

　

它鼓励了（线程安全的）全局变量的使用：许多应用不要求多个线程通过公用访问点来访问线程专有的数据。如果是这样，数据的存储应使只有拥有该数据的线程可对它进行访问。例如，考虑一个网络服务器，它使用工作者线程池来处理来自客户的请求。这些线程可能会记录所执行服务的数量和类型。这个日志机制可以作为使用线程专有存储的全局Logger对象来访问。但是，更简单的方法是将每个工作者线程表示为主动对象[2]，并在其内部存储Logger的实例。在这样的情况下，只要将Logger作为参数传递给主动对象中的所有函数，对Logger的访问就不会产生额外开销。

　

它隐藏了系统的结构：线程专有存储的使用隐藏了应用中的对象之间的关系，可能会导致应用更难被理解。如附录A.2所描述的，在某些情况下，显式地表现对象间的关系可以消除对线程专有存储的需要。

　

5.7 实现

　

线程专有存储模式可以通过多种途径来实现。这一部分解释实现该模式所需的每一步骤。这些步骤被总结如下：

　

1. 实现TS Object Collection：如果OS不提供线程专有存储的实现，它可以使用任何一种可用以维护TS Object Collection中数据结构的一致性的机制来实现。
2. 封装线程专有存储的细节：如5.8所示，线程专有存储的接口通常是弱类型和易错的。因而，一旦有线程专有存储的实现允许，就使用C++编程语言特性（比如模板和重载）来将线程专有存储的低级细节隐藏在OO API后面。

　

这一部分的余下部分描述怎样实现低级的线程专有存储API。5.8提供了完整的示例代码，5.9检查通过C++包装来封装低级的线程专有存储API的若干方法。

　

5.7.1 实现TS Object Collection

　

图5-2中所示的TS Object Collection含有所有属于某个特定线程的TS Object。该集合可以使用指向TS Object的指针表来实现，这些对象通过key进行索引。线程必须通过key来在访问线程专有对象之前定位TS Object Collection。因此，第一个设计挑战就是决定怎样定位和存储TS Object Collection。

TS对象集合可通过以下两种方式存储：（1）外在于所有线程，或（2）内在于每一线程。对每种方法的描述和评估如下：

　

1. 外在于所有线程：该方法定义每个线程的ID到它的TS对象集合表（如图5-4所示）的一个全局映射。定位适当的集合可能需要使用读者/作者锁来防止竞争状态。但是一旦集合被定位，就不再需要另外的锁定了，因为只有一个线程可在其TS Object Collection中活动。

　

　

图5-4 线程专有存储的外部实现

　

2. 内在于每个线程：该方法要求进程中的每个线程与它的其他内部状态（比如运行时线程栈、程序计数器、通用寄存器和线程ID）一起存储一个TS对象集合。当线程访问线程专有对象时，通过把相应的key作为线程内部的TS Object Collection的索引来获取该对象（如图5-5所示）。该方法不需要额外的锁定。

　

在外部和内部实现方案之间选择需要开发者进行以下权衡：

　

定长 vs. 变长TS Object Collection：对于外部和内部两种实现，如果线程专有钥的范围相对较小，TS Object Collection可作为定长数组存储。例如，POSIX Pthread标准定义了专有钥的最小数目_POSIX_THREAD_KEYS_MAX，遵从标准的实现必须对其加以支持。如图5-5所示，如果长度是固定的（例如，128个专有钥，这是POSIX的缺省值），通过简单地使用对象的专有钥来在TS Object Collection数组中检索，查找时间可为O(1)。

但是，线程专有钥的范围也可以很大。例如，Solaris线程对专有钥的数目没有预定义的限制。因此，Solaris使用了一种变长数据结构，这可能会增加管理TS Object Collection所需的时间。

　

定长 vs. 变长的线程ID到TS Object Collection的映射：线程ID的范围可以从很小到很大的值。这对于内部实现来说没有任何问题，因为线程ID隐含地与相应的包含在线程状态中的TS Object Collection关联在一起。

但是，对于外部实现，要使每个可能的线程ID值都在定长数组中有相应条目可能是不现实的。相反，让线程使用一个动态数据结构来将线程ID映射到TS Object Collection，在空间上要更为经济。例如，一种方法是在线程ID上使用哈希函数，以获得在哈希表桶中的一个偏移；在哈希表桶中含有一系列二元组，将线程ID映射到它们相应的TS Object Collection（如图5-4所示）。

　

全局 vs. 局部TS对象集合：内部方法局部地存储TS Object Collection，而外部方法全局地存储它们。取决于外部表的实现，全局定位可允许线程访问其他线程的TS Object Collection。尽管这看起来废止了线程专有存储的整个出发点，如果线程专有存储实现通过回收使用无用的专有钥来提供自动的垃圾收集的话，这还是有用的。该特性对于限制专有钥数目为较小值的实现特别重要（例如，Windows NT有着每个进程64个专有钥的限制）。

但是，使用外部表增加了每个线程专有对象的访问时间，因为如果可全局访问的表被修改的话（例如，创建新专有钥时），需要使用同步机制（比如读者/作者锁）来避免竞争状态。在另一方面，将TS Object Collection局部地保持在每个线程的状态中需要每个线程有更多的存储，而总的内存消耗也不会减少。

　

　

图5-5 线程专有存储的内部实现

　

5.8 示例代码

　

5.8.1 实现POSIX Pthreads线程专有存储API

　

下面的代码演示在使用专有钥定长数组将TS Object“内部地”存储在线程中时，线程专有存储是怎样实现的。这个例子是从POSIX Pthreads[4]的一个公开可用的实现[3]改编而来。

下面所示的thread_state结构含有线程的状态：

　

struct thread_state

{

// The thread-specific error number.

int errno_;

　

// Thread-specific data values.

void *key_[_POSIX_THREAD_KEYS_MAX];

　

// ... Other thread state.

};

　

除了errno和线程专有存储指针的数组，该结构还包括了一个指向线程的栈和空间的指针；这些栈和空间用于存储在上下文切换过程中存储/恢复的数据（例如，程序计数器）。

对于一个特定的线程专有对象，所有线程用同一个专有钥值来设置或取回线程专有的值。例如，如果Logger对象正在被登记以跟踪线程专有的日志属性，线程专有的Logger代理将分配得到某个专有钥值N。所有线程都将使用这个值N来访问它们的线程专有日志对象。目前正在使用的专有钥的总数目可相对于所有线程全局地存储。如下所示：

　

typedef int pthread_key_t;

　

// All threads share the same key counter.

static pthread_key_t total_keys_ = 0;

　

每次有新的线程专有钥被请求时，total_keys_count都会自动增长，如下面的pthread_key_create函数所示：

　

// Create a new global key and specify

// a "destructor" function callback.

Int pthread_key_create (pthread_key_t *key,

void (*thread_exit_hook) (void *))

{

if (total_keys_ >= _POSIX_THREAD_KEYS_MAX)

{

// pthread_self() refers to the context of the

// currently active thread.

pthread_self ()->errno_ = ENOMEM;

return -1;

}

　

thread_exit_hook_[total_keys_] = thread_exit_hook;

*key = total_keys_++;

return 0;

}

　

pthread_key_create函数分配一个新的专有钥值，唯一地标识一个线程专有数据对象。此外，它还允许应用将一个thread_exit_hook与一个专有钥关联。该挂钩（hook）是一个函数指针，会被自动调用，当（1）线程退出时，以及（2）有线程专有对象登记专有钥时。指向“线程退出挂钩”的函数指针的数组可被全局地存储。如下所示：

　

// Exit hooks to cleanup thread-specific keys.

static void (*thread_exit_hook_[_POSIX_THREAD_KEYS_MAX]) (void);

　

下面的pthread_exit函数演示线程退出挂钩函数是怎样在pthread_exit的实现中被调用的：

　

// Terminate the thread and call thread exit hooks.

void pthread_exit (void *status)

{

// ...

for (i = 0; i < total_keys; i++)

if (pthread_self ()->key_[i] && thread_exit_hook_[i])

// Indirect pointer to function call.

(*thread_exit_hook_[i]) (pthread_self ()->key_[i]);

　

// ...

}

　

应用可为各个线程专有数据对象登记不同的函数，但是对于每个对象、会为每个线程调用同一个函数。登记动态分配的线程专有存储对象是一种常见的使用方法。因此，线程退出挂钩通常看起来是这样的：

　

static void cleanup_tss_Logger (void *ptr)

{

// This cast is necessary to invoke

// the destructor (if it exists).

delete (Logger *) ptr;

}

　

该函数释放一个动态分配的Logger对象。

pthread_setspecific函数为调用线程将value绑定到给定的key：

　

// Associate a value with a data key

// for the calling thread.

int pthread_setspecific (int key, void *value)

{

if (key < 0 || key >= total_keys) {

pthread_self ()->errno_ = EINVAL;

return -1;

}

　

pthread_self ()->key_[key] = value;

return 0;

}

　

同样地，pthread_getspecific为调用线程把绑定到给定Key的数据存储到value中：

　

// Retrieve a value from a data key

// for the calling thread.

int pthread_getspecific (int key, void **value)

{

if (key < 0 || key >= total_keys)

{

pthread_self ()->errno_ = EINVAL;

return -1;

}

　

*value = pthread_self ()->key_[key];

return 0;

}

　

因为数据存储在每个线程的内部状态中，这些函数不需要任何额外的锁来访问线程专有数据。

　

5.8.2 在应用中使用线程专有存储

　

下面的例子演示怎样在可从多于一个线程调用的一个C函数中，使用来自POSIX Pthread规范的线程专有存储API，而又无须显式地调用初始化函数：

　

// Local to the implementation.

static pthread_mutex_t keylock = PTHREAD_MUTEX_INITIALIZER;

static pthread_key_t key;

static int once = 0;

　

void *func (void)

{

void *ptr = 0;

　

// Use the Double-Checked Locking pattern

// (described further below) to serialize

// key creation without forcing each access

// to be locked.

　

if (once == 0)

{

pthread_mutex_lock (&keylock);

if (once == 0)

{

// Register the free(3C) function

// to deallocation TSS memory when

// the thread goes out of scope.

pthread_key_create (&key, free);

once = 1;

}

pthread_mutex_unlock (&keylock);

}

　

pthread_getspecific (key, (void **) &ptr);

if (ptr == 0)

{

ptr = malloc (SIZE);

pthread_setspecific (key, ptr);

}

　

return ptr;

}

　

5.8.3 评估

　

上面的解决方案直接在应用代码中调用线程专有库函数（比如pthread_getspecific和pthread_setspecific）。但是这些直接用C编写的API有以下局限：

　

• 不可移植：POSIX Pthreads、Solaris线程和Win32线程非常类似。但是，Win32线程的语义有着微妙的不同，因为它们不提供一种可靠的方法来在线程退出时清理在线程专有存储中分配的对象。而且，在Solaris线程中没有API用于删除专有钥。这使得开发者难以在UNIX和Win32平台间编写可移植代码。
• 难以使用：尽管省略了错误检查，在5.8.2中的func例子所演示的锁定操作仍然是复杂而又不直观的。该代码是“双重检查锁定模式”（Double-Checked Locking pattern）[5]的C实现。将这个C实现与5.9.2.1中的C++版本相比较，以观察使用C++包装所带来的更多的简单性、清晰性和类型安全性是富有启发意义的。
• 非类型安全的：POSIX Pthreads、Solaris和Win32线程专有存储接口将指向线程专有对象的指针作为void *存储。尽管这种方法很灵活，它很容易造成错误，因为void *消除了类型安全性。

　

5.9 变种

　

5.8演示了怎样通过POSIX pthread接口实现和使用线程专有存储模式。但是，所得到的解决方案不可移植、难以使用，且不是类型安全的。为了克服这些局限，可以开发另外的类和C++包装来健壮地以一种类型安全的方式编写线程专有存储。

这一部分演示怎样使用C++包装来封装POSIX Pthreads、Solaris或Win32线程提供的低级线程专有存储机制。5.9.1描述怎样通过硬编码的C++包装来封装POSIX Pthread库接口，5.9.2描述一种使用C++模板包装的更为通用的解决方案。用于每种可选方法的例子是5.6.2描述的Logger抽象的一个变种。

　

5.9.1 硬编码的C++包装

　

使一个类的所有实例成为线程专有的一种方法是直接使用线程专有库例程。实现该方法所需的步骤描述如下。错误检查已被省略到最少以节约空间。

　

5.9.1.1 定义线程专有状态信息

　

第一步是决定必须在线程专有存储中存取的对象状态信息。例如，Logger可能有以下状态：

　

class Logger_State

{

public:

int errno_;

// Error number.

　

int line_num_;

// Line where the error occurred.

　

// ...

};

　

每个线程都将拥有它自己的一份这些状态信息的拷贝。

　

5.9.1.2 定义外部类接口

　

下一步是定义被所有应用线程使用的外部类接口。下面的Logger外部类接口看起来就像是一个平常的非线程专有的C++类：

　

class Logger

{

public:

// Set/get the error number.

int errno (void);

void errno (int);

　

// Set/get the line number.

int line_num (void);

void line_num (int);

　

// ...

};

　

5.9.1.3 定义线程专有的助手函数

　

该步骤使用线程库提供的线程专有存储函数来定义一个助手函数，它返回一个指向适当的线程专有存储的指针。这个助手函数通常执行以下步骤：

　

1. 专有钥初始化：为每个线程专有对象初始化一个专有钥，并使用此专有钥来存/取一个指向动态分配内存的线程专有指针；此内存含有内部结构的实例。该代码可以被实现如下：

　

class Logger

{

public:

// ... Same as above ...

　

protected:

Logger_State *get_tss_state (void);

　

// Key for the thread-specific error data.

pthread_key_t key_;

　

// "First time in" flag.

int once_;

};

　

Logger_State *Logger::get_tss_state (void)

{

// Check to see if this is the first time in

// and if so, allocate the key (this code

// doesn’t protect against multi-threaded

// race conditions...).

if (once_ == 0)

{

pthread_key_create (this->key_, free);

once_ = 1;

}

　

Logger_State *state_ptr;

　

// Get the state data from thread-specific

// storage. Note that no locks are required...

pthread_getspecific (this->key_, (void **) &state_ptr);

　

if (state_ptr == 0)

{

state_ptr = new Logger_State;

pthread_setspecific (this->key_, (void *) state_ptr);

}

　

// Return the pointer to thread-specific storage.

return state_ptr;

};

　

2. 获取指向线程专有存储对象的指针：外部接口中的每个方法都调用get_tss_state助手函数来获取指向驻留在线程专有存储中的Logger_State对象的指针。如下所示：

　

int Logger::errno (void)

{

return this->get_tss_state ()->errno_;

}

　

3. 执行正常操作：一旦外部接口方法有了该指针，应用就可以对线程专有对象进行操作，就如同它是平常的（也就是，非线程专有的）C++对象：

　

Logger logger;

　

int recv_msg (HANDLE socket, char *buffer, size_t bufsiz)

{

if (recv (socket, buffer, bufsiz, 0) == -1)

{

logger->errno () = errno;

return -1;

}

// ...

}

　

int main (void)

{

// ...

if (recv_msg (socket, buffer, BUFSIZ) == -1

&& logger->errno () == EWOULDBLOCK)

// ...

}

　

5.9.1.4 对硬编码包装的评价

　

使用硬编码包装的优点是它将应用与线程专有库函数的知识屏蔽开来。该方法的缺点是它不能促进复用性、可移植性，或是灵活性。特别地，对于每个线程专有类，开发者都需要在类中重新实现线程专有助手方法。

而且，如果应用被移植到有着不同的线程专有存储API的平台上，就必须改变在每个线程专有类中的代码，以使用新的线程库。此外，直接改变线程专有类使得程序难以变更线程策略。例如，将一个线程专有类变为全局类需要对代码进行侵入性的变动，从而降低了灵活性和复用性。特别地，每次对对象内部的状态信息的访问都将要求改变用于从线程专有存储取回该状态的助手方法。

　

5.9.2 C++模板包装

　

一种更为可复用、可移植和灵活的方法是实现TS Object Proxy模板，负责所有的线程专有方法。该方法允许类与线程专有存储怎样实现的知识去耦合。通过定义称为TSS的代理类，该解决方案改善了代码的可复用性、可移植性和灵活性。如下所示，该类是一个模板，通过其对象驻留在线程专有存储中的类来参数化：

　

// TS Proxy template

template <class TYPE>

class TSS

{

public:

// Constructor.

TSS (void);

　

// Destructor

?TSS (void);

　

// Use the C++ "smart pointer" operator to

// access the thread-specific TYPE object.

TYPE *operator-> ();

　

private:

// Key for the thread-specific error data.

pthread_key_t key_;

　

// "First time in" flag.

int once_;

　

// Avoid race conditions during initialization.

Thread_Mutex keylock_;

　

// Cleanup hook that deletes dynamically

// allocated memory.

static void cleanup_hook (void *ptr);

};

　

该类中的方法描述如下。和前面一样，错误检查已被省略到最少以节约空间。

　

5.9.2.1 C++委托操作符（Delegation Operator）

　

通过重载C++委托操作符（操作符->），应用可以调用TSS代理上的方法，就好像是在调用目标类一样。在此实现中使用的C++委托操作符控制所有对类TYPE的线程专有对象的访问。操作符->方法受到了来自C++编译器的特殊对待。如5.9.2.3所述，它先从线程专有存储那里获取一个指向适当的TYPE的指针，随后就重新委托原来在其上调用的方法。

TSS类中的大多数工作都在下面所示的操作符->方法中执行：

　

template <class TYPE> TYPE *

TSS<TYPE>::operator-> ()

{

TYPE *tss_data = 0;

　

// Use the Double-Checked Locking pattern to

// avoid locking except during initialization.

// First check.

if (this->once_ == 0)

{

// Ensure that we are serialized (constructor

// of Guard acquires the lock).