Linux 多進程並發訪問同一文件的內核級處理機制深度解析

當多個進程「同時」對同一個文件進行讀寫操作時，Linux 內核究竟如何協調？本文通過三個進程（A 讀前 100 字符、B 讀含「aa」行、C 寫入「ABC」）的啟動順序與實際執行順序對比，詳細闡述文件表、inode、緩衝區鎖、等待隊列、中斷喚醒等核心機制的交互過程，還原內核視角下的真實並發處理邏輯。

場景設定

• 進程 A：讀取文件第 1–100 字符
• 進程 B：讀取包含 "aa" 的行
• 進程 C：向文件寫入 "ABC"
• 啟動順序：A → B → C

核心數據結構

• 文件表：每個進程打開文件時，在 file_table[64] 中建立指針關聯到文件的 inode，賦予操作權限。
• inode：文件元數據索引節點，首次打開時遍歷查找，後續進程可直接複用。
• 緩衝區：磁盤數據載入內存的暫存區，受鎖保護，引用計數管理共享。
• 等待隊列：掛起進程按進入順序排隊，緩衝區解鎖時按隊列順序喚醒。

詳細執行流程

階段 1：進程 A 啟動 → 打開文件 → 發起讀取 → 緩衝區加鎖 → A 掛起（不可中斷等待）

A 首先建立文件表關聯，發起讀取請求。內核分配空閒緩衝區、發起磁盤 I/O、對緩衝區加鎖。因 I/O 未完成，A 進入 TASK_UNINTERRUPTIBLE 狀態，掛入緩衝區等待隊列隊首。

階段 2：進程 B 啟動 → 打開文件 → 發現緩衝區已存在 → 引用計數 +1 → B 掛起（隊列次席）

B 同樣建立文件表關聯（inode 已緩存，無需再遍歷）。讀取時通過哈希表發現目標緩衝區已在載入中，引用計數增為 2。B 同樣掛起，插入隊列 A 之後。

階段 3：進程 C 啟動 → 打開文件 → 發起寫入 → 同樣掛起（隊列隊首，C → B → A）

C 建立關聯後發起寫入，同樣等待緩衝區解鎖。因最後到達，插入隊列最前端（實現細節取決於具體內核版本隊列插入策略，本文假設新到者插隊首）。

階段 4：磁盤 I/O 完成中斷 → 緩衝區解鎖 → 按隊列順序喚醒 C → B → A

1. 磁盤控制器發送「傳輸完成」中斷。
2. 內核解鎖緩衝區，喚醒隊首進程 C（寫入），C 進入就緒態執行寫入邏輯。
3. C 完成後喚醒 B（讀取），B 執行讀取邏輯。
4. B 完成後喚醒 A（讀取），A 執行讀取邏輯，隊列置空。

關鍵結論：雖然啟動順序為 A→B→C，但**實際執行順序為 C→B→A**，完全由等待隊列順序決定。

後續：緩衝區回寫與一致性

三個進程退出後，數據修改仍駐留在頁緩存，並未立即落盤。內核 update/flush 線程（或 pdflush、writeback）會定期將髒頁同步至磁盤，保證最終一致性。此過程涉及 fsync、sync_file_range 等系統調用可強制落盤。

總結

• 多進程並發訪問同一文件，內核通過**文件表共享 inode、緩衝區引用計數、等待隊列串行化**實現協調。
• 進程啟動順序 ≠ 執行順序，**隊列調度策略決定實際執行次序**。
• 讀讀並發共享緩衝區（引用計數），讀寫/寫寫需串行化等待鎖。
• 數據落盤為異步過程，關鍵業務需顯式調用同步接口。

理解上述機制，有助於在高併發存儲場景中設計正確的鎖策略、選擇適當 I/O 模型（如 O_DIRECT、mmap、異步 I/O）並排查性能瓶頸。