我们在 linux 学习系列文章的第 8 节中提到，对于 linux 来说，线程只是一种和其他一些进程共享某些资源的特殊进程而已（例如地址空间），linux 并不严格区分线程和进程。这种设计是简洁的，因为只要使用一套 C 语言函数，和适当的参数设置，就可以实现进程和线程的创建。

关于 linux 系统的设计和原理，可以点我查看 《linux 学习系列》文章。

linux 内核如何创建进程和线程

linux 创建线程和进程的过程非常类似，都是主要依赖 clone 函数，只不过传入的参数不同而已。如此一来，内核只需要实现一个 C 语言函数，就既能创建进程，又能创建线程了，这是相当高雅的做法。

例如，创建进程的大致参数为：

clone(SIGCHLD)

创建线程的大致参数为：

clone(CLONE_VM | CLONE_FS | CLONE_FILES | SIGCHLD)

传递给 clone 的参数决定了 clone 的具体行为。与创建进程相比，创建线程多出的 CLONE_VM | CLONE_FS | CLONE_FILES 参数指定了父子进程共享地址空间，文件系统资源，文件描述符等信息。下面介绍一下 clone 函数。

C 语言函数 clone

在 linux 中输入 man clone，即可得到它的说明：

使用 clone 函数，需要包含 <sched.h> 头文件，它的 C 语言原型如下：

int clone(int (*fn)(void *), void *child_stack,
 int flags, void *arg, ...
 /* pid_t *ptid, struct user_desc *tls, pid_t *ctid */ );

能够看出，clone 函数是一个不定参数的函数。它主要用于创建新的进程（也包括线程，因为线程是“特殊”的进程），调用成功后，返回子进程的 tid，如果失败，则返回 -1，并将错误码设置再 errno。

clone 函数的第一个参数是一个函数指针，关于函数指针，可参考《c语言入门24，三分钟弄清函数指针和指针函数》。第二个参数是用于创建子进程的栈，要注意的是，很多情况下，栈都是向低地址方向增长的，所以传入参数时需要将栈的高地址传入。它的第三个参数，就是用于指定行为的参数了。

按照上面的描述，我们更关心的是 clone 函数的 flags 参数，常用的几个参数的意义列举如下：

• CLONE_FILES，父子进程共享打开的文件
• CLONE_FS，父子进程共享文件系统信息
• CLONE_VM，父子进程共享地址空间
• CLONE_SIGHAND，父子进程共享信号处理函数，以及阻断的信号
• CLONE_THREAD，父子进程放入相同的线程组

其他的参数，请参照 man 手册。介绍完 clone 函数，我们来看两个实例。

C 语言实例

我们以使用 clone 函数创建线程为例。以下函数每隔 1 秒创建一个线程，线程打印出自己的 tid 就退出。

#define _GNU_SOURCE
#include "stdio.h"
#include "stdlib.h"
#include "sched.h"
#include <unistd.h>
#include <sys/syscall.h>
#define gettid() ((int)syscall(SYS_gettid))
void* testOcupMem(void* p)
{
 printf(" %d-%d testOcupMem exit\n", getpid(), gettid());
 return NULL;
}
#define STACK_SIZE 8192*1024
int main()
{
 int i = 5;
 void* pstk = malloc(STACK_SIZE);
 if(NULL == pstk){
 printf("query failed, cannot malloc stack\n");
 return -1;
 }
 while(i--){
 int clonePid = clone((int(*)(void*))testOcupMem, (char *)pstk + STACK_SIZE,
 CLONE_VM | CLONE_FS | CLONE_FILES | SIGCHLD, pstk);
 printf(" clonePid: %d\n", clonePid);
 if(-1 == clonePid){
 printf("query failed, cannot start query process\n");
 free(pstk);
 return -1;
 }
 sleep(1);
 }
 free(pstk);
 printf("\n------------- getchar --------------\n");
 getchar();
 return 0;
}

头条函数排版太乱，代码可参照下图：

编译并执行 C 语言代码，发现线程的确被创建了：

# gcc t2.c
# ./a.out 
 clonePid: 25299
 25299 testOcupMem exit
 clonePid: 25300
 25300 testOcupMem exit
 clonePid: 25301
 25301 testOcupMem exit
 clonePid: 25302
 25302 testOcupMem exit
 clonePid: 25303
 25303 testOcupMem exit
------------- getchar --------------
#

这样我们就使用 C 语言的 clone 函数创建了线程。创建进程的过程是类似的，唯一需要做的就是改变 clone 函数的 flags 参数，即将

clonePid = clone((int(*)(void*))testOcupMem, (char *)pstk + STACK_SIZE,
 CLONE_VM | CLONE_FS | CLONE_FILES | SIGCHLD, pstk);

修改为：

clonePid = clone((int(*)(void*))testOcupMem, (char *)pstk + STACK_SIZE,
 SIGCHLD, pstk);

即可。

容易看出，linux 内核没有严格区分线程和进程，也没有准备特别的调度算法或是定义特别的数据结构来描述线程。相反，线程仅仅被视为一个与其他进程共享某些资源的进程，在 linux 中，线程看起来就像是一个普通的进程。

欢迎在评论区一起讨论，质疑。文章都是手打原创，每天最浅显的介绍C语言、linux等嵌入式开发，喜欢我的文章就关注一波吧，可以看到最新更新和之前的文章哦。