mount与路径查询

asuka2001

root@ubuntu:/home# find {a,b,c} -type f
a/a
b/b
c/c
root@ubuntu:/home# mount -B b a
root@ubuntu:/home# mount -B c b
root@ubuntu:/home# find {a,b,c} -type f
a/b
b/c
c/c
root@ubuntu:/home# mount -B a c
root@ubuntu:/home# find {a,b,c} -type f
a/b
b/c
c/b

ps: Ubuntu 9.10系统


查看了下内核里的mount系统调用代码，以mount -B b a为例：

1. 查找到dentry a

2. 查找到dentry b

3. 创建vfsmount，然后把vfsmount->mnt_root指向dentry b

4. 将dentry a的d_flags上加上DCACHE_MOUNTED

这样路径查询时，当查找到dentry a时，由于DCACHE_MOUNTED的存在，将直接跳转到对应的vfsmount->mnt_root上，即dentry b

我现在的疑问是第一个红色部分：即a的dentry和b的dentry现在都已经设置了DCACHE_MOUNTED，为什么在路径查询时，只从dentry a跳转到了dentry b上，而没有继续跳转到dentry c上？

即对应以下的代码中的循环为何第一次从dentry a中跳到了对应的vfsmount->mnt_root，即dentry b；而dentry b同样是被mount了，应该继续跳转到dentry c才对！（仅以rcu-walk部分举例，ref-walk部分与之类似)

walk_component() -> do_lookup() -> __follow_mount_rcu()

1. static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
   
2.                                struct inode **inode)
   
3. {
   
4.         for (;;) {
   
5.                 struct vfsmount *mounted;
   
6.                 /*
   
7.                  * Don't forget we might have a non-mountpoint managed dentry
   
8.                  * that wants to block transit.
   
9.                  */
   
10.                 if (unlikely(managed_dentry_might_block(path->dentry)))
    
11.                         return false;
    
12. 
    
13.                 if (!d_mountpoint(path->dentry))
    
14.                         break;
    
15. 
    
16.                 mounted = __lookup_mnt(path->mnt, path->dentry, 1);
    
17.                 if (!mounted)
    
18.                         break;
    
19.                 path->mnt = mounted;
    
20.                 path->dentry = mounted->mnt_root;
    
21.                 nd->flags |= LOOKUP_JUMPED;
    
22.                 nd->seq = read_seqcount_begin(&path->dentry->d_seq);
    
23.                 /*
    
24.                  * Update the inode too. We don't need to re-check the
    
25.                  * dentry sequence number here after this d_inode read,
    
26.                  * because a mount-point is always pinned.
    
27.                  */
    
28.                 *inode = path->dentry->d_inode;
    
29.         }
    
30.         return true;
    
31. }
    

复制代码

tempname2

1. yan@yanx:/tmp/teset$ find -type f
   
2. ./b/b
   
3. ./a/a
   
4. ./c/c
   
5. yan@yanx:/tmp/teset$ sudo mount -B b b
   
6. yan@yanx:/tmp/teset$ sudo mount --make-shared b
   
7. yan@yanx:/tmp/teset$ sudo mount -B b a
   
8. yan@yanx:/tmp/teset$ ls a
   
9. b
   
10. yan@yanx:/tmp/teset$ sudo mount -B c b
    
11. yan@yanx:/tmp/teset$ ls a
    
12. c
    
13. yan@yanx:/tmp/teset$
    

复制代码

yushang

瞎说一句：单纯从follow_mount来看，应该跨过多个挂载点。

asuka2001

回复 2# tempname2

多谢指点，没仔细去看__lookup_mnt()，一看到hash就跳过了。。。

从dentry a跳到dentry b后再次进行__lookup_mnt()时使用的hash参数和建立b到c的vfsmount时使用的hash参数()不一样，所以那个循环直接跳出去了！



   

asuka2001

感激各位的帮助！

等研究了MNT_SHARED后再来看看为什么mount目标为MNT_SHARE时可以从hash表里找到对应的vfsmount，从而从dentry a跳到dentry c。也期待高手们指点下：）