簡介這份資源是重慶大學(xué)操作系統(tǒng)實(shí)驗(yàn)二的配套資料包面向計(jì)算機(jī)專業(yè)學(xué)生及正在學(xué)習(xí)操作系統(tǒng)多線程編程的開發(fā)者聚焦線程創(chuàng)建這一核心知識點(diǎn)幫助讀者理解線程與進(jìn)程的關(guān)系、線程生命周期管理以及同步互斥機(jī)制。壓縮包共77個(gè)文件以35個(gè)C源文件與29個(gè)頭文件為主體另含4個(gè)匯編文件、3個(gè)Makefile及說明文檔整體約275KB涵蓋內(nèi)核模塊、用戶程序、內(nèi)存管理與任務(wù)調(diào)度等實(shí)驗(yàn)代碼結(jié)構(gòu)。目前已有52人學(xué)習(xí)下載。通過包內(nèi)的實(shí)驗(yàn)指導(dǎo)與參考實(shí)現(xiàn)讀者可掌握線程庫或系統(tǒng)API的調(diào)用方式、線程屬性初始化與線程函數(shù)定義并接觸互斥鎖、條件變量、信號量等線程安全技術(shù)為后續(xù)多進(jìn)程與多線程進(jìn)階學(xué)習(xí)打下實(shí)踐基礎(chǔ)。1. 線程創(chuàng)建實(shí)驗(yàn)為什么你的第一個(gè) pthread 程序總是鏈接失敗很多同學(xué)拿到“重慶大學(xué)操作系統(tǒng)實(shí)驗(yàn)二線程的創(chuàng)建.zip”這個(gè)包第一反應(yīng)是打開 IDE 新建工程把代碼粘進(jìn)去點(diǎn)運(yùn)行然后被一串undefined reference to pthread_create按在地上摩擦。這個(gè)實(shí)驗(yàn)的核心不是“寫一個(gè)能跑的程序”而是讓你親手摸到操作系統(tǒng)里線程從無到有的那條路徑線程 ID 怎么來、棧空間誰分配、入口函數(shù)怎么被調(diào)度器接住、主線程和子線程誰先退出。它適合剛學(xué)完進(jìn)程概念、準(zhǔn)備把“并發(fā)”從課本名詞變成可調(diào)試對象的人。你不需要先精通內(nèi)核源碼但需要愿意用gcc命令行、愿意看strace輸出、愿意接受“代碼寫對了但結(jié)果每次不一樣”這件事。這個(gè)實(shí)驗(yàn)真正要交的不是一份能編譯的.c文件而是一組能解釋“為什么這樣寫才對”的證據(jù)。2. 從 pthread_create 到內(nèi)核 clone線程創(chuàng)建到底發(fā)生了什么2.1 用戶態(tài)看到的 pthread_create 只是冰山一角在 Linux 上寫多線程程序最常見的入口是pthread_create。它的原型長這樣int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine)(void *), void *arg);四個(gè)參數(shù)分別對應(yīng)線程句柄輸出、線程屬性、入口函數(shù)、傳給入口函數(shù)的參數(shù)。返回值 0 表示成功非 0 是錯(cuò)誤碼注意它不設(shè)置errno。很多新手會寫if (pthread_create(...) 0)這是錯(cuò)的因?yàn)殄e(cuò)誤碼是正整數(shù)應(yīng)該用! 0判斷。但pthread_create本身并不創(chuàng)建內(nèi)核線程。它屬于 NPTLNative POSIX Thread Library在用戶態(tài)做了一堆準(zhǔn)備工作分配線程棧、初始化線程描述符、設(shè)置 TLS線程局部存儲最后通過clone系統(tǒng)調(diào)用請求內(nèi)核創(chuàng)建一個(gè)可以共享地址空間的執(zhí)行流。你在用戶態(tài)看到的pthread_t只是一個(gè)不透明的句柄真正在內(nèi)核里代表這個(gè)線程的是 task_struct。理解這一層你才能回答實(shí)驗(yàn)里常問的“線程和進(jìn)程到底差在哪”。進(jìn)程的fork會復(fù)制地址空間線程的clone通過標(biāo)志位CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND等共享大部分資源。所以線程創(chuàng)建比進(jìn)程創(chuàng)建輕但“輕”不等于“沒成本”棧空間默認(rèn) 8MB虛擬地址空間不是物理內(nèi)存每個(gè)線程的內(nèi)核棧也要單獨(dú)分配。2.2 最小可運(yùn)行代碼三個(gè)線程各干各的活下面這段代碼是我建議你第一個(gè)跑通的版本。它創(chuàng)建三個(gè)線程每個(gè)線程打印自己的編號和線程 ID主線程等待它們結(jié)束。#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); // 模擬工作讓主線程有機(jī)會觀察 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同時(shí)影響編譯和鏈接階段它會定義_REENTRANT宏并鏈接正確的庫。只用-lpthread在某些平臺上會漏掉編譯期宏定義導(dǎo)致線程安全函數(shù)行為不一致。代碼里幾個(gè)關(guān)鍵點(diǎn)pthread_self()返回當(dāng)前線程句柄getpid()返回進(jìn)程 ID你會發(fā)現(xiàn)三個(gè)線程的 pid 相同tid 不同。pthread_join第二個(gè)參數(shù)接收入口函數(shù)的返回值這里把整數(shù)強(qiáng)轉(zhuǎn)成指針返回雖然能跑但可移植性差更規(guī)范的做法是返回指向堆內(nèi)存的指針或使用結(jié)構(gòu)體。2.3 參數(shù)傳遞的三種方式與生命周期陷阱pthread_create的第四個(gè)參數(shù)是void *這意味著你可以傳任何東西但也意味著類型安全由你自己負(fù)責(zé)。常見三種傳參方式第一種傳棧上變量的地址。上面代碼就是這種ids數(shù)組在 main 的棧上只要 main 不退出地址就有效。但如果你在循環(huán)里創(chuàng)建線程并傳循環(huán)變量的地址所有線程可能看到同一個(gè)值因?yàn)檠h(huán)變量地址不變。第二種傳堆內(nèi)存指針。用malloc分配參數(shù)結(jié)構(gòu)體線程入口函數(shù)負(fù)責(zé)free。這種方式最靈活適合傳多個(gè)參數(shù)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; } // 創(chuàng)建時(shí) 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);第三種傳整數(shù)本身。把整數(shù)強(qiáng)轉(zhuǎn)成void *入口函數(shù)再轉(zhuǎn)回來。這種方式只適合小整數(shù)且要注意int和void *寬度可能不同在 64 位系統(tǒng)上更安全的做法是用intptr_t。注意無論哪種方式都要保證線程開始執(zhí)行時(shí)參數(shù)地址仍然有效。如果主線程在pthread_create之后立刻修改或釋放參數(shù)子線程可能讀到臟數(shù)據(jù)。這是實(shí)驗(yàn)里最隱蔽的 bug 之一。3. 線程 ID、棧空間與調(diào)度實(shí)驗(yàn)報(bào)告里該寫清楚的三個(gè)參數(shù)3.1 pthread_t 到底能不能直接打印很多實(shí)驗(yàn)指導(dǎo)書讓你打印線程 ID但pthread_t在 Linux 上通常是unsigned long在別的平臺可能是結(jié)構(gòu)體。直接printf(%lu, tid)在 Linux 能跑但不保證可移植。更穩(wěn)妥的做法是用pthread_equal比較或者用pthread_self配合syscall(SYS_gettid)獲取內(nèi)核線程 ID。內(nèi)核線程 ID 和pthread_t不是一回事。pthread_t是 NPTL 層面的句柄gettid返回的是內(nèi)核調(diào)度器看到的 ID。在調(diào)試死鎖或查看/proc/pid/task時(shí)你需要的是后者#include sys/syscall.h pid_t ktid syscall(SYS_gettid); printf(kernel tid %d\n, ktid);實(shí)驗(yàn)報(bào)告里如果要求“說明線程 ID 的來源”你應(yīng)該區(qū)分這三層用戶態(tài)句柄pthread_t、內(nèi)核調(diào)度 IDgettid、進(jìn)程 IDgetpid。三者關(guān)系是同一進(jìn)程內(nèi)所有線程getpid相同gettid不同pthread_t由庫維護(hù)。3.2 線程棧大小怎么改什么時(shí)候該改默認(rèn)線程棧大小通常是 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);什么時(shí)候需要改兩種情況一是你創(chuàng)建大量線程默認(rèn)棧會迅速耗盡虛擬地址空間32 位系統(tǒng)尤其明顯二是線程入口函數(shù)里有大局部數(shù)組默認(rèn)棧不夠會直接段錯(cuò)誤。但改小棧有風(fēng)險(xiǎn)遞歸深度大或調(diào)用鏈深時(shí)容易溢出。我一般建議先不改除非你明確知道每個(gè)線程需要多少棧。查看系統(tǒng)默認(rèn)值可以用ulimit -s getconf PTHREAD_STACK_MINulimit -s顯示的是主線程棧限制也會影響新線程默認(rèn)棧。PTHREAD_STACK_MIN是庫允許的最小棧通常 16KB 左右低于這個(gè)值pthread_create會返回EINVAL。3.3 分離線程與 join 的取舍默認(rèn)創(chuàng)建的線程是 joinable 的必須由其他線程調(diào)用pthread_join回收否則線程結(jié)束后資源不釋放變成僵尸線程。如果你不關(guān)心返回值可以創(chuàng)建時(shí)設(shè)置分離屬性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);或者在入口函數(shù)里調(diào)用pthread_detach(pthread_self())。分離線程結(jié)束后自動(dòng)回收但不能被 join也不能再被其他線程引用。實(shí)驗(yàn)里常見錯(cuò)誤是主線程沒 join 就退出子線程還在跑結(jié)果整個(gè)進(jìn)程結(jié)束子線程被強(qiáng)制終止。如果你希望主線程等所有子線程就必須 join如果你希望子線程獨(dú)立運(yùn)行就 detach但主線程不能立刻退出。提示pthread_join會阻塞調(diào)用線程直到目標(biāo)線程結(jié)束。如果你在循環(huán)里 join注意 join 的順序不影響結(jié)果但會影響等待時(shí)間。想并發(fā)等待可以用條件變量或pthread_tryjoin_np非標(biāo)準(zhǔn)。4. 避坑與排查線程創(chuàng)建實(shí)驗(yàn)里最容易翻車的五個(gè)點(diǎn)4.1 編譯鏈接失敗undefined reference to pthread_create現(xiàn)象gcc demo.c -o demo報(bào)錯(cuò)提示找不到pthread_create。原因沒有鏈接 pthread 庫或者鏈接順序不對。解決編譯命令加-pthread放在源文件之后。如果用的是 CMake加find_package(Threads REQUIRED)和target_link_libraries(demo Threads::Threads)。不要用-lpthread替代-pthread前者只影響鏈接后者同時(shí)影響編譯宏。4.2 線程打印順序亂、輸出交錯(cuò)現(xiàn)象多個(gè)線程的printf輸出混在一起甚至一行沒打完就被另一行插入。原因printf是線程安全的但多個(gè)printf調(diào)用之間沒有原子性。標(biāo)準(zhǔn)輸出是行緩沖或全緩沖線程切換可能發(fā)生在任意位置。解決調(diào)試時(shí)用write(STDOUT_FILENO, ...)或加互斥鎖保護(hù)整段輸出。更簡單的辦法是每個(gè)線程輸出到獨(dú)立文件或者用flockfile/funlockfile包住printf。但注意加鎖會改變并發(fā)行為可能掩蓋競態(tài)。4.3 傳參錯(cuò)誤導(dǎo)致段錯(cuò)誤或數(shù)據(jù)錯(cuò)亂現(xiàn)象線程入口函數(shù)讀到非法地址或者所有線程讀到同一個(gè)值。原因傳了棧上臨時(shí)變量的地址或者循環(huán)變量地址被復(fù)用。解決每個(gè)線程的參數(shù)單獨(dú)分配內(nèi)存或者用數(shù)組按下標(biāo)隔離。如果傳結(jié)構(gòu)體確保結(jié)構(gòu)體在線程結(jié)束前不被釋放。用valgrind --toolhelgrind或-fsanitizethread編譯可以檢測部分問題。4.4 主線程提前退出子線程沒跑完現(xiàn)象程序輸出不完整子線程的打印有時(shí)出現(xiàn)有時(shí)不出現(xiàn)。原因主線程return或exit會終止整個(gè)進(jìn)程所有線程立即結(jié)束。解決主線程用pthread_join等待所有子線程或者用pthread_exit只結(jié)束自己。注意exit和pthread_exit的區(qū)別exit結(jié)束進(jìn)程pthread_exit結(jié)束當(dāng)前線程。4.5 線程數(shù)過多導(dǎo)致創(chuàng)建失敗現(xiàn)象pthread_create返回EAGAIN提示資源不足。原因每個(gè)線程需要?？臻g和內(nèi)核數(shù)據(jù)結(jié)構(gòu)系統(tǒng)有線程數(shù)上限。解決查看/proc/sys/kernel/threads-max和ulimit -u減少線程數(shù)或增大棧限制。如果確實(shí)需要大量并發(fā)考慮線程池或異步 IO而不是無限創(chuàng)建線程。5. 進(jìn)階驗(yàn)證用 strace 和 /proc 看清線程創(chuàng)建的真實(shí)路徑5.1 用 strace 跟蹤 clone 調(diào)用想知道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每個(gè)標(biāo)志位都有含義CLONE_VM共享地址空間CLONE_THREAD讓新任務(wù)屬于同一線程組CLONE_SETTLS設(shè)置線程局部存儲。child_stack指向 NPTL 分配的線程棧。看到這些你就能在實(shí)驗(yàn)報(bào)告里寫清楚“線程創(chuàng)建在系統(tǒng)調(diào)用層面發(fā)生了什么”。5.2 查看 /proc/ /task 驗(yàn)證線程存在程序運(yùn)行期間用另一個(gè)終端查看ls /proc/$(pgrep thread_demo)/task每個(gè)子目錄對應(yīng)一個(gè)線程目錄名就是內(nèi)核線程 ID。你可以cat /proc/pid/task/tid/status查看每個(gè)線程的狀態(tài)、棧信息、調(diào)度策略。這比在代碼里打印更直觀也能驗(yàn)證gettid和pthread_t的對應(yīng)關(guān)系。5.3 用 gdb 調(diào)試多線程程序gdb 默認(rèn)會在所有線程間切換常用命令gdb ./thread_demo (gdb) break worker (gdb) run (gdb) info threads (gdb) thread 2 (gdb) btinfo threads列出所有線程thread N切換bt看調(diào)用棧。如果程序卡死用thread apply all bt打印所有線程棧能快速定位死鎖位置。5.4 一個(gè)值得做的對比實(shí)驗(yàn)線程 vs 進(jìn)程創(chuàng)建開銷寫兩個(gè)程序一個(gè)用pthread_create創(chuàng)建 1000 個(gè)線程一個(gè)用fork創(chuàng)建 1000 個(gè)進(jìn)程分別計(jì)時(shí)。你會發(fā)現(xiàn)線程創(chuàng)建快一個(gè)數(shù)量級但線程共享地址空間帶來的同步問題也更復(fù)雜。這個(gè)對比能幫你理解“為什么需要線程”以及“線程的代價(jià)在哪”。time ./thread_1000 time ./fork_1000注意fork在寫時(shí)復(fù)制下開銷也不大但進(jìn)程間通信比線程間通信麻煩得多。實(shí)驗(yàn)報(bào)告里如果能給出這組數(shù)據(jù)比單純貼代碼有說服力。我自己的習(xí)慣是每次寫多線程程序先跑通單線程邏輯再加線程每加一個(gè)線程就用strace和gdb確認(rèn)行為符合預(yù)期。線程創(chuàng)建實(shí)驗(yàn)看起來簡單但它是后面互斥、同步、死鎖實(shí)驗(yàn)的地基。地基沒打牢后面只會更玄學(xué)。希望幫到你。本文還有配套的精品資源點(diǎn)擊獲取