dentry与vfsmount

                            

1.    Follow_dotdot

/* nd里面有当前路径的dentry和vfsmount信息 */
static __always_inline void follow_dotdot(struct nameidata *nd)
{
    set_root(nd);

    /* 关于这个while循环，如图1的情景：
    mount /dev/sdc1 /mnt/tmp1
    mount /dev/sdd1 /mnt/tmp1，
    cd /mn/tmp1; 此时path的dentry和mnt指向的是图1中的/dev/sdd1 这个   层次的dentry和vfsmnt
    cd ../；

    下面着重分析返回父目录的情形
    1.    while第1次执行循环， 情景1和情景2都不符合，执行情景3的follow_up函数。
        执行follow_up的结果是，path的dentry和mnt指向了sdc1层次的dentry和vfsmnt ，follow_up返回1，循环继续。
    2.    第2次执行while循环时， 情景1和情景2依旧都不符合，继续执行情景3的follow_up函数。
        执行follow_up的结果是，path的dentry和mnt指向了/mnt/tmp1层次的dentry和vfsmnt 。注意“/mnt/tmp1”，“/mnt/”， “/”这三个路径在同一个设备上，使用的是同一个vfsmount结构。follow_up返回1，循环继续。
    3.    第3次执行while循环时，执行情景2，path的dentry更新为“/mnt”对应的dentry， path的mnt保持不变。While循环结束。
    */

    /* 对于图2的情形
    a.    cd /mnt/tmp1; mkdir wgh;    cd /mnt/tmp1/wgh;
    b.    第1步完成之后，把设备“/dev/sdc1”  mount到/mnt/tmp1
    c.   /mnt/tmp1/wgh路径下， 执行cd ..，

    下面着重分析该情景下返回父目录的过程：

    1.    while第1次执行循环， 情景1不符合，情景2符合， path的dentry更新为“/mnt/tmp1”对应的dentry， path的mnt保持不变。While循环结束。
    2.    path停留在图2中 /mnt/tmp1层次，那么将看不到挂在/mnt/tmp1下面的/dev/sdc1设备。为了能够看到/dev/sdc1下的文件，需要执行follow_mount函数。 通过执行follow_mount函数， path->mnt和path->dentry分别指向/dev/sdc1层次下的dentry和vfs_mount.
    */

    while(1) {
        struct dentry *old = nd->path.dentry;
        /*
        情景1：如果当前路径的dentry，vfsmount结构与current->fs->dentry以及
        current->fs->mnt相同， 则说明已经是当前进程的根节点
        */
        if (nd->path.dentry == nd->root.dentry &&
            nd->path.mnt == nd->root.mnt) {
            break;
        }
        /*
        情景2：如果当前路径的dentry不等于vfsmount->mount_root, 则说明当前dentry的父节点的dentry在一个设备上
         */
        if (nd->path.dentry != nd->path.mnt->mnt_root) {
            /* rare case of legitimate dget_parent()... */
            nd->path.dentry = dget_parent(nd->path.dentry);
            dput(old);
            break;
        }
        /* 情景3：程序走到这里，说明当前dentry与父dentry不在一个设备上follow_up会更新path的dentry和mnt，用父dentry和父vfsmount结构来替换。如果函数返回值为0，表示当前路径已经是根路径，需要结束while循环。 */
        if (!follow_up(&nd->path))
            break;
    }

    follow_mount(&nd->path);
}

1.1 follow_up

/* 如果一个path的dentry就是该path->mnt的mount_root, 说明该path是一个设备的根节点，该path被mount到另外一个路径上 */
int follow_up(struct path *path)
{
    struct vfsmount *parent;
    struct dentry *mountpoint;
    spin_lock(&vfsmount_lock);
    /* 根据当前路径的mnt找到mnt_parent */
    parent = path->mnt->mnt_parent;
    if (parent == path->mnt) { /*是根设备，返回0 */
        spin_unlock(&vfsmount_lock);
        return 0;
    }
    mntget(parent);
    /* 根据当前路径的mnt找到mnt_point */
    mountpoint = dget(path->mnt->mnt_mountpoint);
    spin_unlock(&vfsmount_lock);
    dput(path->dentry);
    path->dentry = mountpoint;
    mntput(path->mnt);
    path->mnt = parent;
    return 1; /* 当前路径非根设备，返回1 */
}

1.2 follow_mount

static void follow_mount(struct path *path)
{
    while (d_mountpoint(path->dentry)) {
        struct vfsmount *mounted = lookup_mnt(path);
        if (!mounted)
            break;
        dput(path->dentry);
        mntput(path->mnt);
        path->mnt = mounted;
        path->dentry = dget(mounted->mnt_root);
    }
}