简介这份资源是重庆大学操作系统实验二的配套资料包面向计算机专业学生及正在学习操作系统多线程编程的开发者聚焦线程创建这一核心知识点帮助读者理解线程与进程的关系、线程生命周期管理以及同步互斥机制。压缩包共77个文件以35个C源文件与29个头文件为主体另含4个汇编文件、3个Makefile及说明文档整体约275KB涵盖内核模块、用户程序、内存管理与任务调度等实验代码结构。目前已有52人学习下载。通过包内的实验指导与参考实现读者可掌握线程库或系统API的调用方式、线程属性初始化与线程函数定义并接触互斥锁、条件变量、信号量等线程安全技术为后续多进程与多线程进阶学习打下实践基础。1. 线程创建实验为什么你的第一个 pthread 程序总是链接失败很多同学拿到“重庆大学操作系统实验二线程的创建.zip”这个包第一反应是打开 IDE 新建工程把代码粘进去点运行然后被一串undefined reference to pthread_create按在地上摩擦。这个实验的核心不是“写一个能跑的程序”而是让你亲手摸到操作系统里线程从无到有的那条路径线程 ID 怎么来、栈空间谁分配、入口函数怎么被调度器接住、主线程和子线程谁先退出。它适合刚学完进程概念、准备把“并发”从课本名词变成可调试对象的人。你不需要先精通内核源码但需要愿意用gcc命令行、愿意看strace输出、愿意接受“代码写对了但结果每次不一样”这件事。这个实验真正要交的不是一份能编译的.c文件而是一组能解释“为什么这样写才对”的证据。2. 从 pthread_create 到内核 clone线程创建到底发生了什么2.1 用户态看到的 pthread_create 只是冰山一角在 Linux 上写多线程程序最常见的入口是pthread_create。它的原型长这样int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine)(void *), void *arg);四个参数分别对应线程句柄输出、线程属性、入口函数、传给入口函数的参数。返回值 0 表示成功非 0 是错误码注意它不设置errno。很多新手会写if (pthread_create(...) 0)这是错的因为错误码是正整数应该用! 0判断。但pthread_create本身并不创建内核线程。它属于 NPTLNative POSIX Thread Library在用户态做了一堆准备工作分配线程栈、初始化线程描述符、设置 TLS线程局部存储最后通过clone系统调用请求内核创建一个可以共享地址空间的执行流。你在用户态看到的pthread_t只是一个不透明的句柄真正在内核里代表这个线程的是 task_struct。理解这一层你才能回答实验里常问的“线程和进程到底差在哪”。进程的fork会复制地址空间线程的clone通过标志位CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND等共享大部分资源。所以线程创建比进程创建轻但“轻”不等于“没成本”栈空间默认 8MB虚拟地址空间不是物理内存每个线程的内核栈也要单独分配。2.2 最小可运行代码三个线程各干各的活下面这段代码是我建议你第一个跑通的版本。它创建三个线程每个线程打印自己的编号和线程 ID主线程等待它们结束。#include stdio.h #include stdlib.h #include pthread.h #include unistd.h void *worker(void *arg) { int id *(int *)arg; pthread_t tid pthread_self(); printf(thread %d: tid%lu, pid%d\n, id, (unsigned long)tid, getpid()); sleep(1); // 模拟工作让主线程有机会观察 return (void *)(long)(id * 10); } int main(void) { pthread_t tids[3]; int ids[3] {1, 2, 3}; void *ret; for (int i 0; i 3; i) { int err pthread_create(tids[i], NULL, worker, ids[i]); if (err ! 0) { fprintf(stderr, create thread %d failed: %d\n, i, err); exit(1); } } for (int i 0; i 3; i) { pthread_join(tids[i], ret); printf(thread %d returned %ld\n, i 1, (long)ret); } return 0; }编译命令必须带-pthread不是-lpthreadgcc -Wall -g -o thread_demo thread_demo.c -pthread ./thread_demo-pthread同时影响编译和链接阶段它会定义_REENTRANT宏并链接正确的库。只用-lpthread在某些平台上会漏掉编译期宏定义导致线程安全函数行为不一致。代码里几个关键点pthread_self()返回当前线程句柄getpid()返回进程 ID你会发现三个线程的 pid 相同tid 不同。pthread_join第二个参数接收入口函数的返回值这里把整数强转成指针返回虽然能跑但可移植性差更规范的做法是返回指向堆内存的指针或使用结构体。2.3 参数传递的三种方式与生命周期陷阱pthread_create的第四个参数是void *这意味着你可以传任何东西但也意味着类型安全由你自己负责。常见三种传参方式第一种传栈上变量的地址。上面代码就是这种ids数组在 main 的栈上只要 main 不退出地址就有效。但如果你在循环里创建线程并传循环变量的地址所有线程可能看到同一个值因为循环变量地址不变。第二种传堆内存指针。用malloc分配参数结构体线程入口函数负责free。这种方式最灵活适合传多个参数typedef struct { int id; char name[32]; } thread_arg_t; void *worker_heap(void *arg) { thread_arg_t *a (thread_arg_t *)arg; printf(id%d name%s\n, a-id, a-name); free(a); return NULL; } // 创建时 thread_arg_t *a malloc(sizeof(*a)); a-id i; snprintf(a-name, sizeof(a-name), worker-%d, i); pthread_create(tid, NULL, worker_heap, a);第三种传整数本身。把整数强转成void *入口函数再转回来。这种方式只适合小整数且要注意int和void *宽度可能不同在 64 位系统上更安全的做法是用intptr_t。注意无论哪种方式都要保证线程开始执行时参数地址仍然有效。如果主线程在pthread_create之后立刻修改或释放参数子线程可能读到脏数据。这是实验里最隐蔽的 bug 之一。3. 线程 ID、栈空间与调度实验报告里该写清楚的三个参数3.1 pthread_t 到底能不能直接打印很多实验指导书让你打印线程 ID但pthread_t在 Linux 上通常是unsigned long在别的平台可能是结构体。直接printf(%lu, tid)在 Linux 能跑但不保证可移植。更稳妥的做法是用pthread_equal比较或者用pthread_self配合syscall(SYS_gettid)获取内核线程 ID。内核线程 ID 和pthread_t不是一回事。pthread_t是 NPTL 层面的句柄gettid返回的是内核调度器看到的 ID。在调试死锁或查看/proc/pid/task时你需要的是后者#include sys/syscall.h pid_t ktid syscall(SYS_gettid); printf(kernel tid %d\n, ktid);实验报告里如果要求“说明线程 ID 的来源”你应该区分这三层用户态句柄pthread_t、内核调度 IDgettid、进程 IDgetpid。三者关系是同一进程内所有线程getpid相同gettid不同pthread_t由库维护。3.2 线程栈大小怎么改什么时候该改默认线程栈大小通常是 8MB 虚拟地址空间。你可以用pthread_attr_setstacksize修改pthread_attr_t attr; pthread_attr_init(attr); pthread_attr_setstacksize(attr, 1024 * 1024); // 1MB pthread_create(tid, attr, worker, NULL); pthread_attr_destroy(attr);什么时候需要改两种情况一是你创建大量线程默认栈会迅速耗尽虚拟地址空间32 位系统尤其明显二是线程入口函数里有大局部数组默认栈不够会直接段错误。但改小栈有风险递归深度大或调用链深时容易溢出。我一般建议先不改除非你明确知道每个线程需要多少栈。查看系统默认值可以用ulimit -s getconf PTHREAD_STACK_MINulimit -s显示的是主线程栈限制也会影响新线程默认栈。PTHREAD_STACK_MIN是库允许的最小栈通常 16KB 左右低于这个值pthread_create会返回EINVAL。3.3 分离线程与 join 的取舍默认创建的线程是 joinable 的必须由其他线程调用pthread_join回收否则线程结束后资源不释放变成僵尸线程。如果你不关心返回值可以创建时设置分离属性pthread_attr_t attr; pthread_attr_init(attr); pthread_attr_setdetachstate(attr, PTHREAD_CREATE_DETACHED); pthread_create(tid, attr, worker, NULL); pthread_attr_destroy(attr);或者在入口函数里调用pthread_detach(pthread_self())。分离线程结束后自动回收但不能被 join也不能再被其他线程引用。实验里常见错误是主线程没 join 就退出子线程还在跑结果整个进程结束子线程被强制终止。如果你希望主线程等所有子线程就必须 join如果你希望子线程独立运行就 detach但主线程不能立刻退出。提示pthread_join会阻塞调用线程直到目标线程结束。如果你在循环里 join注意 join 的顺序不影响结果但会影响等待时间。想并发等待可以用条件变量或pthread_tryjoin_np非标准。4. 避坑与排查线程创建实验里最容易翻车的五个点4.1 编译链接失败undefined reference to pthread_create现象gcc demo.c -o demo报错提示找不到pthread_create。原因没有链接 pthread 库或者链接顺序不对。解决编译命令加-pthread放在源文件之后。如果用的是 CMake加find_package(Threads REQUIRED)和target_link_libraries(demo Threads::Threads)。不要用-lpthread替代-pthread前者只影响链接后者同时影响编译宏。4.2 线程打印顺序乱、输出交错现象多个线程的printf输出混在一起甚至一行没打完就被另一行插入。原因printf是线程安全的但多个printf调用之间没有原子性。标准输出是行缓冲或全缓冲线程切换可能发生在任意位置。解决调试时用write(STDOUT_FILENO, ...)或加互斥锁保护整段输出。更简单的办法是每个线程输出到独立文件或者用flockfile/funlockfile包住printf。但注意加锁会改变并发行为可能掩盖竞态。4.3 传参错误导致段错误或数据错乱现象线程入口函数读到非法地址或者所有线程读到同一个值。原因传了栈上临时变量的地址或者循环变量地址被复用。解决每个线程的参数单独分配内存或者用数组按下标隔离。如果传结构体确保结构体在线程结束前不被释放。用valgrind --toolhelgrind或-fsanitizethread编译可以检测部分问题。4.4 主线程提前退出子线程没跑完现象程序输出不完整子线程的打印有时出现有时不出现。原因主线程return或exit会终止整个进程所有线程立即结束。解决主线程用pthread_join等待所有子线程或者用pthread_exit只结束自己。注意exit和pthread_exit的区别exit结束进程pthread_exit结束当前线程。4.5 线程数过多导致创建失败现象pthread_create返回EAGAIN提示资源不足。原因每个线程需要栈空间和内核数据结构系统有线程数上限。解决查看/proc/sys/kernel/threads-max和ulimit -u减少线程数或增大栈限制。如果确实需要大量并发考虑线程池或异步 IO而不是无限创建线程。5. 进阶验证用 strace 和 /proc 看清线程创建的真实路径5.1 用 strace 跟踪 clone 调用想知道pthread_create到底做了什么最直接的办法是stracestrace -f -e traceclone,clone3 ./thread_demo 21 | head -40你会看到类似输出clone(child_stack0x7f..., flagsCLONE_VM|CLONE_FS|CLONE_FILES|CLONE_SIGHAND|CLONE_THREAD|CLONE_SYSVSEM|CLONE_SETTLS|CLONE_PARENT_SETTID|CLONE_CHILD_CLEARTID, ...) 12345每个标志位都有含义CLONE_VM共享地址空间CLONE_THREAD让新任务属于同一线程组CLONE_SETTLS设置线程局部存储。child_stack指向 NPTL 分配的线程栈。看到这些你就能在实验报告里写清楚“线程创建在系统调用层面发生了什么”。5.2 查看 /proc/ /task 验证线程存在程序运行期间用另一个终端查看ls /proc/$(pgrep thread_demo)/task每个子目录对应一个线程目录名就是内核线程 ID。你可以cat /proc/pid/task/tid/status查看每个线程的状态、栈信息、调度策略。这比在代码里打印更直观也能验证gettid和pthread_t的对应关系。5.3 用 gdb 调试多线程程序gdb 默认会在所有线程间切换常用命令gdb ./thread_demo (gdb) break worker (gdb) run (gdb) info threads (gdb) thread 2 (gdb) btinfo threads列出所有线程thread N切换bt看调用栈。如果程序卡死用thread apply all bt打印所有线程栈能快速定位死锁位置。5.4 一个值得做的对比实验线程 vs 进程创建开销写两个程序一个用pthread_create创建 1000 个线程一个用fork创建 1000 个进程分别计时。你会发现线程创建快一个数量级但线程共享地址空间带来的同步问题也更复杂。这个对比能帮你理解“为什么需要线程”以及“线程的代价在哪”。time ./thread_1000 time ./fork_1000注意fork在写时复制下开销也不大但进程间通信比线程间通信麻烦得多。实验报告里如果能给出这组数据比单纯贴代码有说服力。我自己的习惯是每次写多线程程序先跑通单线程逻辑再加线程每加一个线程就用strace和gdb确认行为符合预期。线程创建实验看起来简单但它是后面互斥、同步、死锁实验的地基。地基没打牢后面只会更玄学。希望帮到你。本文还有配套的精品资源点击获取