130行C语言实现个用户态线程库——ezthread

准确的说是除掉头文件，测试代码和非关键的纯算法代码（只有双向环形链表的ADT），核心代码只有130行左右，已经是蝇量级的用户态线程库了。把这个库取名为ezthread，意思是，这太easy了，人人都可以读懂并且实现这个用户态线程库。我把该项目放在github上，欢迎来拍砖: https://github.com/Yuandong-Chen/coroutine/tree/old-version（注意，最新的版本已经用了共享栈技术，能够支持1000K数量级的协程了，读完这篇博文后可以进一步参考后续的博文：http://www.cnblogs.com/github-Yuandong-Chen/p/6973932.html）。那么下面谈谈怎么实现这个ezthread。

大家都会双向环形链表（就是头尾相连的双向链表），我们构造这个ADT结构：

首先是每个节点：

显然，next指向下一个节点，prev指向上一个节点，data指向该节点数据，那么这个Thread_t是什么类型的数据结构呢？

这个结构体包含了线程内部的信息，比如第一项为Regs，记录的是各个寄存器的取值（我们在下面给出具体的结构），tid就是线程的ID了，stacktop记录的是线程栈的顶部（和页对齐的最大地址，每个线程都有自己的运行时的栈，用于构成他们相对独立的运行时环境），stacksize就是栈的大小了，stack指针指向我们给该线程栈分配的堆的指针（什么？怎么一会栈一会堆的？我们其实用了malloc函数分配出一些堆空间，把这些空间用于线程栈，当线程退出时候，我们再free这些堆），retval就是线程运行完了的返回值（pthread_join里头拿到的线程返回值就是这个了）。

下面是寄存器结构体：

真是好懂，一看就知道了，这个结构体只能支持X86体系的计算机了。那么还有个问题，为何只有这些寄存器，没用其他的比如：eax,ebx,edi,esi等等呢？因为我们在转换状态函数switch_to里头当返回时（准确地说是从上次切换的点切换回来时）用了return来切换回线程运行时环境，return会自动帮助我们把这些其他的寄存器的值恢复原状的（具体我们放到switch_to的时候再详细说明）。

然后呢，我们定义了一个游标去取这个环形链表的值，否则我们怎么读取这个环形链表里头的数据呢？总得有个东西指向其中某个节点吧。

这个游标结构体记录了现在指向的节点地址和这个环形链表里头一共有多少节点。

我们得用两个这样的环形链表结构体来支持我们的线程库，为何是俩呢？一个是正在运行的线程，我们把他们串成一个环形链表，取名为live(活的)，然后用另外一个链表把运行结束的线程串成一串，取名为dead(死的)。然后最开始我们就有个线程在运行了，那就是主线程main，我们用pmain节点来记录主线程：

好了，剩下的只有在这些结构体上操作的函数了：

我们开始时调用init，以初始化我们的live，dead和pmain。然后当我们想创造线程时，就threadCreat就可以了，用法和pthread_create基本一模一样，熟悉posix多线程的人一看就明白了，threadJoin也是仿照pthread_join接口写的。这里的switch_to就是最关键的运行时环境转换函数了，当线程调用这个函数时候，我们就切换到其他线程上次暂停的点去执行了（这些状态都保存在我们的Thread_t结构体里，所以我们能够记录下切换前的状态，从而能够从容地去切换到下一个线程中）。我们没有用定时器每隔几微秒去激发switch_to（实现起来也是非常简单的，但是得添加多个signal_block函数，非常不简洁），而是让线程里头的函数主动调用switch_to来切换线程，这有点类似协程。

好了，现在讲具体的实现了。首先是对双向链表的操作函数，这个东西不是我们的重点，懂基础算法数据结构的人都能实现，具体是双向环形链表的增查删操作：

抛开这部分纯算法代码，我们只剩下130行代码了。这还不如某些函数的代码量大。但是我们就是在这130行代码里头实现了switch_to，threadCreat以及threadJoin等等关键代码。

先说下init怎么实现的：

其实关键点只有一句，那就是第5行的append（&live，&pmain）；往live链表里头添加pmain节点，但是我们的pmain还没初始化呢，里头stack，regs等等通通都是0，但是没事呢，因为当我们第一次进入switch_to的时候，switch_to在跳转前会帮助我们保存当前线程，这时也就是pmain的运行时状态。

然后我们看看threadCreat怎么实现：

我们在第4行分配了堆空间，然后让线程栈顶变量stacktop对齐页，设置stacksize大小（这个其实对我们的线程库没有用，因为我们还没有实现类似stackguard之类的检查机制），设置tid，这里fetchTID函数如下：

接着，我们在threadCreat函数的11-16行代码中，在栈顶压入变量pth,start_rtn以及arg（我们用memcpy来操作线程栈空间），这些都是作为real_entry这个函数的参数压入线程栈的。我们不难发现，其实每个线程的最初入口地址都是real_entry函数（注意到我们在17行把eip设置为real_entry的地址）。最后，我们于17-19行设置寄存器变量，以满足刚进入该real_entry时的栈的状态，在live链表中添加该线程结构体指针，返回。这一系列操作导致的效果就是，比如我们第一次调用threadCreat函数，当发生switch_to的时候，当然我们先保存当前线程状态，然后就从主线程main中切换到了real_entry里头去了，而且对应的参数我们设置好了，就好像我们在主线程里头直接调用了real_entry一样。下面看下real_entry做了些什么：

第3行是对齐栈操作，我们先不做说明。接下来就是调用start_rtn函数，并且把args作为参数，返回值赋给线程的retval。当返回时，说明线程已经运行结束，在live链表里头删除该节点，在dead链表里头添加该节点。在第10行最后调用switch_to(-1)，也就是在switch_to里头直接跳到下一个线程去执行，且不保存当前状态。

我们再看下threadJoin函数的实现：

threadJoin是用于回收线程资源并得到返回值的。实现大体的思路就是，我们先查找live和dead里头有没有这个线程，如果都没有，说明根本不存在这个线程，如果dead链表里头有，那么我们就得到返回值（15-16行），然后释放堆空间（19-22行）。如果在live里头，说明该线程还没执行结束，我们进入循环，先调用switch_to(0)，保存当前线程状态，然后切换到下一个线程去。当再次回到这个循环时候，我们继续看看dead里头有没有这个线程，有就设置返回值（29-30行），然后释放资源（32-35行），否则继续切换并循环。

最后，最关键的，我们给出switch_to的实现：

先看11-13行，我们把自动变量regs的值赋为当前线程的寄存器的结构体，然后跳转到当前线程（第12行JMP是跳转语句，13行永远不会执行）。这里大家有个疑问，从当前线程跳转到当前线程，那么还不是当前线程么？然后执行assert(0)报错退出？！其实只有当线程返回时，也就是在real_entry里头才可能执行switch_to(-1)，注意到real_entry最后的几行代码，里头已经把当前线程从live里头删除，并添加到dead里了，所以现在live里头的当前线程其实是下一个线程。然后我们看21-26行，我们保存当前寄存器的值到当前线程中，注意第18行，我们把返回点设置在了_REENTERPOINT这个标签上，也就是以后如果再次切换到该线程时，我们会在第30行继续向下执行，很简单，第30行的有意义的代码只有return，也就是恢复其他寄存器（eax,edi,esi等等），然后返回到线程继续执行。我们继续看34-38行代码：我们把自动变量regs的值赋值为下一个线程的寄存器，然后live的当前线程指针current也指向了下一个线程，通过37行JMP，我们调到了下一个线程去执行，下个一个线程可能是real_entry处开始执行，也可能是_REENTERPOINT处开始执行。最后再从新说说31行的return到底return到哪里去了，我们看一下测试代码：

注意到我们在测试代码里头sum1tod里头调用了switch_to(0)，如果这个循环加法（11-13行）还未结束，那么上述的那个_REENTERPOINT里头的return就会return回这个循环继续执行，就如在sum1tod里的switch_to(0)函数直接调用return，什么事情也没干一样，但是其实我们经过了无数其他线程的执行，但是在sum1tod里头毫无感觉，简直好像其他线程不存在一样（除非我们在这里头调用threadJoin等待其他线程结束）。

现在我们给出讨厌的内嵌汇编：

第一个就是起到跳转作用，第二个是保存寄存器到自动变量作用，最后一个是栈对齐作用。为何要栈对齐？因为我们在堆里头设置了这个栈的空间，这个和普通的栈空间并不完全一样，我们需要做对齐处理。

到这里我们就几乎完全明白了这个线程库的实现，还有一小点就是switch_to里头的可变参数怎么回事，其实那个是防止编译器中消除冗余代码造成我们_REENTERPOINT中的代码被优化而整个删除用的。如果我们在_REENTERPOINT前加入goto语句跳到下面执行，然后删除这个_REENTERPOINT之前的判断语句，我们会发现，编译器会把switch_to里头的第28-32行作为冗余代码全部删除。

谢谢你能看到最后，告诉你们一个消息，其实我们的实现是介于longjmp和汇编实现版本之间的某种实现：我们用汇编保存了运行时状态，但是其中的return又有点类似longjmp中自动恢复寄存器的作用。而且我们的库比纯汇编实现更具可移植性，但比longjmp实现版本又弱了点。