本文说明在 bthread 环境下直接使用 pthread-local 可能导致的问题，以及相应的规避方法。
thread-local 问题
调用阻塞的 bthread 函数后，所在的 pthread 很可能改变，这使 pthread_getspecific、gcc __thread 和 C++11 thread_local 变量、pthread_self() 等的值发生了变化，如下代码的行为是不可预计的：
thread_local SomeObject obj;
...
SomeObject* p = &obj;
p->bar();
bthread_usleep(1000);
p->bar();bthread_usleep 之后，该 bthread 很可能身处不同的 pthread，这时 p 指向了之前 pthread 的 thread_local 变量，继续访问 p 的结果无法预计。这种使用模式往往发生在用户使用线程级变量传递业务变量的情况。为了防止这种情况，应该谨记：
- 不使用线程级变量传递业务数据。这是一种糟糕的设计模式，依赖线程级数据的函数也难以单测。判断是否滥用：如果不使用线程级变量，业务逻辑是否还能正常运行？线程级变量应只用作优化手段，使用过程中不应直接或间接调用任何可能阻塞的 bthread 函数。比如使用线程级变量的 tcmalloc 就不会和 bthread 有任何冲突。
- 如果一定要（在业务中）使用线程级变量，使用
bthread_key_create和bthread_getspecific。
gcc4 下的 errno 问题
gcc4 会优化标记为 __attribute__((__const__)) 的函数，这个标记大致指只要参数不变，输出就不会变。所以当一个函数中以相同参数出现多次时，gcc4 会合并为一次。比如在我们的系统中 errno 是内容为 *__errno_location() 的宏，这个函数的签名是：
/* Function to get address of global `errno' variable. */
extern int *__errno_location (void) __THROW __attribute__ ((__const__));由于此函数被标记为 __const__，且没有参数，当你在一个函数中调用多次 errno 时，可能只有第一次才调用 __errno_location()，而之后只是访问其返回的 int*。在 pthread 中这没有问题，因为返回的 int* 是 thread-local 的，一个给定的 pthread 中是不会变化的。但是在 bthread 中，这是不成立的，因为一个 bthread 很可能在调用一些函数后跑到另一个 pthread 去，如果 gcc4 做了类似的优化，即一个函数内所有的 errno 都替换为第一次调用返回的 int*，这中间 bthread 又切换了 pthread，那么可能会访问之前 pthread 的 errno，从而造成未定义行为。
比如下文是一种 errno 的使用场景：
Use errno ... (original pthread)
bthread functions that may switch to another pthread.
Use errno ... (another pthread)我们期望看到的行为：
Use *__errno_location() ... - the thread-local errno of original pthread
bthread may switch another pthread ...
Use *__errno_location() ... - the thread-local errno of another pthread使用 gcc4 时的实际行为：
int* p= __errno_location();
Use *p ... - the thread-local errno of original pthread
bthread context switches ...
Use *p ... - still the errno of original pthread, undefined behavior!!严格地说这个问题不是 gcc4 导致的，而是 glibc 给 __errno_location 的签名不够准确，一个返回 thread-local 指针的函数依赖于段寄存器（TLS 的一般实现方式），这怎么能算 const 呢？由于我们还未找到覆盖 __errno_location 的方法，所以这个问题目前实际的解决方法是：
务必在直接或间接使用 bthread 的项目的 gcc 编译选项中添加 -D__const__=__unused__，即把 __const__ 定义为一个无副作用的属性，避免 gcc4 做相关优化。
把 __const__ 定义为 __unused__ 对程序其他部分的影响几乎为 0。另外如果你没有直接使用 errno（即你的项目中没有出现 errno），或使用的是 gcc 3.4，即使没有定义 -D__const__=__unused__，程序的正确性也不会受影响，但为了防止未来可能的问题，我们强烈建议加上。
需要说明的是，和 errno 类似，pthread_self 也有类似的问题，不过一般 pthread_self 除了打日志没有其他用途，影响面较小，在 -D__const__=__unused__ 后 pthread_self 也会正常。
