APUE学习笔记——3.文件共享与fcntl介绍

蔚落 2022-08-11 05:29 199阅读 0赞

#  #

# 基本概念 #

内核使用3个数据结构描述一个打开的文件 ：**进程表、** **文件表、V节点表**

首先了解3种数据结构的概念

1 进程表

每一个进程有一个进程表。进程表里是一组打开的文件描述符，如标准输入0，标准输出1，标准错误2...

2 文件表

进程打开一个文件时，内核就为该文件创建一个文件表。

进程表对文件表一般是 一对多的关系    文件表对文件描述符也是一对多的关系（可能多个文件描述符指向同一文件表）

（这里解释下为什么进程表和文件表一对多的关系只是一般情况下，有什么特殊情况呢？  当父进程fork一个子进程时，复制了它的进程表，导致多个进程表对一个文件表）

文件表中包含了文件状态标志、当前偏移量、和V-node pointer表项

文件状态标志如： read,  write,  append,  sync,  nonblocking等等

偏移量好理解，就不多解释了（它在write时会变化）

V-node pointer就是指向V-node表的指针

3 V节点表（Linux只有i节点表）

每一个没打开的文件有一个V节点表。V-node table实际上跟进程关系不大，主要跟被打开的文件相关。一个打开的文件只有一个v-node表，所有打开它的进程共用此表

文件表对V节点表示多对一的关系。

V-node表主要是描述了文件信息、数据的访问入口

# 一个进程打开多个文件 #

![Center][]

![38708745][]

如《APUE E3rd》的Figure3.7所示，一个进程打开多个文件。

文件描述符0和1各通过一个文件表打开一个文件

注：可能文件描述符0和3指向同一个文件表

# 多个进程打开一个文件 #

![38708745][]![Center 1][]

如《APUE E3rd》中figure 3.8所示，两个进程打开同一个文件。

两个进程使用的文件表都是进程独有的。也就是说一个文件表虽然是内核维护的，但它至属于某一个特定进程。

# fcntl #

**  功能描述：**通过文件描述符来操作文件的属性。

形式：

#include <fcntl.h>
    int fcntl(int fd,int cmd,... /* intarg */ );
                Returns: depends on cmd if OK (see following),−1 on error

**描述：**fcntl()可以改变已打开文件的性质。参数fd是一打开的文件描述符，cmd是特定的命令，第三个参数是否存在取决于cmd的值。第三个参数如果存在一般为整形，也可能是struct flock \*类型的结构体指针。

返回值：返回值是否存在也取决于cmd，一般错误返回-1，F\_DUPFD , F\_GETFD , F\_GETFL以及F\_GETOWN会返回文件描述符或者文件的一些属性。

一般在下面五种情况下使用fcntl()函数

1. 复制一个已存在的文件描述符(cmd=F\_DUPFD、F\_DUP、FD\_CLOEXEC)

2. 取得/设置已存在文件描述符的标志(cmd=F\_GETFD、F\_SETFD)

3. 取得/设置已存在文件描述符的状态标志（cmd=GETFL、SETFL）

4. 取得/设置异步I/O时文件的所有权（cmd=GETOWN、SETOWN+）

5. 取得/设置异步锁(cmd=GETLK、SETLK、SETLKW)

**文件标志位：**进程表中每一条记录都对应了一个文件描述符的fd标志位和指向文件表的指针，fd标志位目前只定义了FD\_CLOEXEC一项。因此，fd标志位就是FD\_CLOEXEC

# cmd参数 #

**F\_DUPFD：**

复制一个已存在的文件描述符，新文件描述符作为函数的返回值，其取值一般是不小于3且还没被打开的文件描述符。新旧两个文件描述符共享文件表，但是两个描述符有不同的fd标志位（进程表中每一个表项记录了一个文件描述符的fd标志位和指向文件表的指针）。使用F\_DUPFD时，fd标志位的FD\_CLOEXEC将被清零 ①  。

**F\_DUPFD\_CLOEXEC**

复制一个已存在的文件描述符，与F\_DUPFD不同之处在于其设置了FD\_CLOEXEC。也就是在使用exec是文件被关闭。

**F\_GETFD**

返回文件标志位，目前文件标志位只定义了FD\_CLOEXEC，因此返回值就是FD\_CLOEXEC的值。

**F\_SETFD**

设置文件标志位（即设置FD\_CLOEXEC），设置的值在第三个参数。

**F\_GETFL**

返回该文件描述符对应的文件状态标志位file status flag。文件状态标志位主要有O\_RDONLY、O\_WRONLY，本文后面进一步讨论。

**F\_SETFL**

设置文件状态标志。只有O\_APPEND、O\_NONBLOCK、O\_SYNC、O\_DSYNC、O\_RSYNC、O\_FSYNC、O\_ASYNC其中状态标志可以被更改（设置）。

**F\_GETOWN**

取得当前正在接收SIGIO或者SIGURG信号的进程id或进程组id，进程组id返回的是负值(arg被忽略)

**F\_SETOWN**

设置将接收SIGIO和SIGURG信号的进程id或进程组id，进程id和进程组id通过第三个参数arg传入（只能传一个，要么进程id，要么进程组id），arg为正值表示传入的是进程id，arg为负值则传入的是进程组id。

**F\_GETLK    **

取得文件的锁定状态，如果被锁定了，则将锁定信息重写到第三个参数arg(一个指向flock的结构体的指针)。如果未被锁定状态，则除了struct flock的l\_type被设置为F\_UNLCK外，其他成员不变。

**F\_SETLK**

通过第三个参数arg（struct flock\*）锁定文件。如果read lock和write lock设置失败，则返回EACCES  or  EAGAIN

**F\_SETLKW **

类似F\_SETLK，不同的是当设置锁发生阻塞时，它会等待（W是wait的意思），直至设置锁完成

**![Center 2][]**

# 文件状态标志 #

![Image 1][]

O\_RDONLY , O\_WRONLY与O\_RDWR 还有后面的O\_EXEC、O\_SEARCH并不是每一项占一位的，因此，在获取文件状态时，为取得文件当前的存取模式，需要用O\_ACCMODE与F\_GETFL操作返回的值进行与运算

关于文件标志位的值，如下在系统头文件fcntl.h（我的熊中是/usr/include/i386-linux-gnu/bits/fcntl）

/* open/fcntl - O_SYNC is only implemented on blocks devices and on files
       located on a few file systems.  */
    #define O_ACCMODE          0003
    #define O_RDONLY             00
    #define O_WRONLY             01
    #define O_RDWR               02
    #define O_APPEND          02000
    #define O_NONBLOCK        04000
    #define O_NDELAY        O_NONBLOCK
    #define O_SYNC         04010000
    #define O_FSYNC          O_SYNC
    #define O_ASYNC          020000

可以看到《APUE》中关于O\_SYNC的讨论实际上代码中已经有给出注释。

# 结构体指针 struct flock\* #

struct flock {
            short  l_type; /* F_RDLCK, F_WRLCK, or F_UNLCK */
            short  l_whence; /* SEEK_SET, SEEK_CUR, or SEEK_END */
            off_t  l_start;  /* offset in bytes, relative to l_whence */
            off_t  l_len; /* length, in bytes; 0 means lock to EOF */
            pid_t  l_pid; /* returned with F_GETLK */
    };

**注解：**

①    FD\_CLOEXEC为0时，表示使用exec函数族时文件描述符fd会被传入exec()创建的新进程，如果FD\_CLOEXEC为1，则文件被关闭

②

③

④