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