可以是线程组内其他线程对目标线程进行分离，也可以是线程自己分离，如下：

下面我们先写一个测试代码，让程序跑起来然后我们再测试线程分离接口：

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <pthread.h>
#include <unistd.h>
using namespace std;

void *threadRoutine(void* args)
{
    string name = static_cast<const char*>(args);
    int cnt = 5;
    while (cnt)
    {
        cout<<name<<" : "<<cnt--<<endl;
        sleep(1);
    }
    return nullptr;
}
int main()
{
    pthread_t tid;
    pthread_create(&tid,nullptr,threadRoutine,(void*)"thread 1");
    int n = pthread_join(tid,nullptr);
    if (n!=0)
    {
        cerr<<"error: "<<n<<" : "<<strerror(n)<<endl;
    }
    return 0;
}

 可以看到线程运行后5秒都退出了，下面下面我们加入分离接口：

 这段代码的意思是我们刚创建一个新线程就将新线程分离了，而我们将线程分离后如果还是正常的去join线程是会出错的，下面我们运行起来看看：

果然出错了，Invalid argument说明我们的参数是错误的，这是因为我们刚刚pthread_detach的参数是不合法的，所以：一个线程被设置为分离状态后，是不需要join的！

那么如果我们让这个线程自己分离自己呢？

 通过运行我们发现并没有什么问题，我们让主线程sleep（1）再看一下：

 可以看到又报参数错误了，出现这种错误的原因是：我们调度哪个线程是不确定的，像刚才的代码如果我们直接调度主线程导致新线程一行代码也没跑直接主线程就join了，就又会像之前那样出现参数错误。

下面我们总结一下线程分离：当我们想join一个线程的时候那就不要进行分离，当我们不想去join一个线程那就直接将这个线程分离即可。

如何理解线程库和线程ID：

线程库：

 首先我们学动静态库的时候知道，库是在磁盘中存放的，从磁盘映射到了物理内存然后经过页表的转化映射到进程地址空间的共享区当中，又因为我们的线程是共享进程的进程地址空间的，所以我们的线程是可以随时随地访问共享区中的库的。

那么线程库是如何管理线程的呢？先描述再组织。先给线程创建类似的管理线程的TCB（类似于PCB），下面我们看一张图：

 在这张图中，mmap区域就是我们的共享区，右边的动态库等信息就是我们的线程库，里面有管理线程的结构体等，而要找我们的线程ID该怎么去找呢？我们可以看到pthread_t tid的小箭头指向结构体，实际上pthread_t 就是一个地址数据，用来标识线程相关属性集合的起始地址。所以我们之前打印线程id的时候是很长的数据，为什么长呢因为那是地址!!下面我们将代码修改一下演示出id：

 可以看到确实打印出来的ID是很长，下面我们将这个ID转换为16进制的地址：

string hexAddr(pthread_t tid)
{
    char buffer[64];
    snprintf(buffer,sizeof(buffer),"0x%x",tid);
    return buffer;
}

 下面我们运行起来：

 这一次我们可以看到地址变的正常了。我们在上面线程的图中可以看到线程局部存储和线程栈，其实学过线程的都知道线程是有自己的私有栈的，只不过不知道这个栈在哪里，从图中我们可以看到这个栈是在线程自己的地址当中，每个线程有struct,线程局部存储和线程栈，通过地址找到这些内容。

总结：线程库的作用是给用户提供操作线程的接口，在我们创建线程的时候会在线程库里面给我们创建一个描述线程相关的struct，然后还会创建一个轻量级进程，线程结构体里会包含线程自己的栈结构，局部存储等信息。线程的ID就是描述线程结构体TCB的起始地址，每个线程都有自己的栈在库当中存放。

下面我们编写代码验证一下每个线程中的私有栈：

int main()
{
    pthread_t t1,t2,t3;
    pthread_create(&t1,nullptr,threadRoutine,(void*)"thread 1");
    pthread_create(&t2,nullptr,threadRoutine,(void*)"thread 2");
    pthread_create(&t3,nullptr,threadRoutine,(void*)"thread 3");
    pthread_join(t1,nullptr);
    pthread_join(t2,nullptr);
    pthread_join(t3,nullptr);
    return 0;
}

 我们开3个线程，然后每个线程进入routine函数的时候都打印一下cnt这个变量的地址，如果不一样则说明他们有自己独立的栈：

仔细观察可以看到地址是不一样的，地址很相似是因为他们都在共享区。下面我们再看看全局变量的地址：

 我们可以看到全局变量的地址一样说明3个线程都是同一个全局变量，这就证明了线程共享进程的地址空间。当然我们也可以在全局变量前面加上__thread让全局变量变成每个线程的局部存储：

 运行后我们可以看到地址确实不一样了。下面我们进入互斥的内容

初始化互斥量

初始化互斥量有两种方法：