Linux 文件共享機制深度解析：進程、文件描述符、inode 與 VFS 三層關係

前言

Linux 支援進程間共享打開文件，這背後是 VFS（虛擬文件系統）精心設計的四大對象體系：inode、dentry、file、files_struct。本文從核心數據結構、引用計數、APUE 經典三張表對照、實際共享場景（fork、dup、線程）五個維度，徹底釐清「誰共享什麼、共享到什麼程度」。

一、VFS 四大核心對象

二、進程相關結構

• task_struct 持有 files_struct *files 與 fs_struct *fs（cwd、root、umask）。
• 線程共享：CLONE_FILES 共享 files_struct，CLONE_FS 共享 fs_struct。

三、APUE 經典三張表對照

1. 進程文件描述符表（files_struct->fd_array[]）：每進程私有，fd 為索引，內含 close_on_exec 標誌與 file* 指針。
2. 系統打開文件表（struct file 實例）：全系統共享，含 文件偏移量、狀態標誌（O_APPEND 等）、inode* 指針。
3. inode 表（struct inode）：文件系統級，含文件類型、權限、數據塊位置等持久屬性。

關鍵圖示關係：
多個 fd（同一進程或不同進程）可指向同一 file → 共享偏移量；
多個 file 可指向同一 inode → 共享元數據、數據塊；
dentry 將路徑名解析為 inode。

四、引用計數體系（五層）

五、典型共享場景分析

1. fork()

• 子進程複製父進程 files_struct 指針（引用計數+1），fd 表共享。
• 父子 fd 指向同一 file → 共享文件偏移量。
• 若任一方 close()，僅遞減 f_count，另一方仍可繼續讀寫同一偏移量。

2. dup()/dup2()

• 在同一進程內創建新 fd 指向同一 file → 共享偏移量。
• 常用於重定向：dup2(fd, 1) 讓 stdout 指向 fd 所指文件。

3. 線程

• pthread_create 預設 CLONE_FILES | CLONE_FS → 共享 fd 表與 cwd/umask。
• 線程間 read/write 同一 fd 直接共享偏移量，需自行加鎖協調。

4. 獨立進程打開同一文件

• 各自 open() → 各自擁有獨立 file 實例 → 各自獨立偏移量。
• 但指向同一 inode → 讀寫同一物理數據，需靠文件鎖（fcntl/flock）協調。

六、close_on_exec 機制

• 位於 files_struct->close_on_exec 位圖，每 bit 對應一 fd。
• execve() 時內核遍歷位圖，自動關閉標記位的 fd。
• 用戶空間用 fcntl(fd, F_SETFD, FD_CLOEXEC) 設定。

七、inode 磁盤結構對照

struct dinode {
    ushort di_mode;   // 類型+權限
    short  di_nlink;  // 硬鏈接數
    ushort di_uid;    // 擁有者 uid
    ushort di_gid;    // 組 gid
    off_t  di_size;   // 文件大小
    char   di_addr[40]; // 數據區起始地址
    time_t di_atime;  // 最後訪問
    time_t di_mtime;  // 最後修改內容
    time_t di_ctime;  // 最後修改屬性
};

總結

Linux 文件共享本質是多層引用計數精密協作：
files_struct 決定 fd 表共享範圍 → file 決定偏移量共享範圍 → inode 決定數據共享範圍。
理解這三層邊界，即可精準控制 fork、dup、線程、獨立進程等場景下的文件共享行為，避免「以為共享卻不共享、以為獨立卻共享」的經典 Bug。