Linux 文件鎖機制深度對比：flock vs fcntl vs lockf 語義、遞歸、fork、NFS 與強制鎖全維度解析

Linux 文件鎖機制深度對比：flock vs fcntl vs lockf 語義、遞歸、fork、NFS 與強制鎖全維度解析

Linux 提供三種文件鎖介面：flock(2) 系統調用、fcntl(2) 系統調用 (記錄鎖)、lockf(3) 庫函數 (fcntl 封裝)。三者在**鎖類型、粒度、遞歸性、fork/dup 語義、NFS 支持、強制鎖**等關鍵維度差異巨大，選型失誤易導致併發 Bug、死鎖或數據不一致。

1. 核心 API 與功能對比表

2. 關鍵語義差異深度解析

2.1 flock：整文件勸告鎖，fork/dup 共享，close 不釋放

• 文件表項綁定：鎖關聯 struct file* (打開文件表項)，而非文件描述符 fd。fork()、dup() 複製的是 fd 指向同一 struct file，**父子進程、複製描述符共享同一把鎖**。
• close() 不釋放：關閉一個 fd 只減少引用計數，struct file 仍存在，**必須關閉所有指向該文件表項的 fd 才釋放鎖**。
• 獨立 open() 互斥：兩次 open() 產生兩個獨立 struct file，**互不影響**，第一把鎖不阻擋第二次加鎖 (除非協作進程檢查)。
• 遞歸安全：同進程 (含子進程) 重複 LOCK_EX 不會死鎖。
• 僅勸告鎖：依賴進程協作檢查，非強制。
• 無 NFS 支持：分布式環境**禁用**。

2.2 fcntl：記錄鎖 (POSIX 鎖)，字節範圍，fork 不繼承，close 釋放

• 進程 + 文件 + 範圍 鎖身份。支持 **讀寫分離** (共享讀鎖、排他寫鎖)，粒度精細至字節。
• fork() 子進程不繼承父進程鎖 (POSIX 強制)，避免父子進程鎖衝突邏輯混亂。
• close() 任一 fd 釋放進程持有的該文件所有鎖 (含 dup 產生的 fd)。**極易踩坑**：fd1=open(); lock(fd1); fd2=dup(fd1); close(fd2); → 鎖釋放！
• 遞歸替換：同進程同範圍重複加鎖，**新鎖替換舊鎖** (類型可變更)，不死鎖。
• NFS 支持：需啟用 rpc.statd/rpc.lockd，掛載參數無 nolock。
• 強制鎖可選：文件系統掛載 mand，文件 chmod g+s, g-x (setgid + 組執行位關閉) 啟用。內核強制阻擋違規讀寫，無需進程協作。

2.3 lockf：fcntl 簡化封裝，僅排他鎖，語義同 fcntl

• 參數簡化：lockf(fd, cmd, len) 從**當前文件偏移量** 起鎖定 len 字節 (len=0 到文件尾)。
• **不支持共享讀鎖**，只能排他寫鎖，適用場景受限。
• 其他語義 (fork、close、exec、遞歸、NFS、強制鎖) **完全同 fcntl**。

3. 兩類鎖互不干擾 (關鍵發現)

同一進程對同一文件同時持有 flock 排他鎖和 fcntl 寫鎖，**互不阻塞**，/proc/locks 顯示獨立的 FLOCK 和 POSIX 記錄。切勿混用兩套 API 保護同一臨界區，會產生虛假安全感。

4. 選型決策樹

1. 需字節範圍鎖 / 讀寫分離 / NFS / 強制鎖 → fcntl (或 lockf 仅排他)。
2. 整文件鎖、本地單機、簡單協作、偏好 fork/dup 共享鎖語義 → flock (代碼更簡潔)。
3. 跨進程 (非父子) 協作、需精細控制釋放時機 → fcntl (close 釋放語義更直觀)。
4. 避免混用：項目統一選型，封裝統一鎖工具類。

5. 調試利器：/proc/locks

$ cat /proc/locks
1: POSIX ADVISORY WRITE 12345 08:02:123456 0 EOF    ← fcntl/lockf 寫鎖
2: FLOCK ADVISORY WRITE 12345 08:02:123456 0 EOF    ← flock 排他鎖
字段: 序號 | 類型(POSIX/FLOCK) | 模式(ADVISORY/MANDATORY) | 讀/寫 | PID | 設備號:inode | 起始偏移 | 結束偏移

掌握三者語義邊界，才能在高併發文件操作中構建正確、高效的同步機制！