一个在内存跑进程和文件系统有什么关系？

雨丝风片

下面分别是4.4BSD-Lite2和FreeBSD6.0的vrele()函数，单从这个函数来看，还是NetBSD要传统一点。。。

4.4BSD-Lite2

1. /*
   
2. * Vnode release.
   
3. * If count drops to zero, call inactive routine and return to freelist.
   
4. */
   
5. void
   
6. vrele(vp)
   
7.     struct vnode *vp;
   
8. {
   
9.     struct proc *p = curproc;    /* XXX */
   
10. 
    
11. #ifdef DIAGNOSTIC
    
12.     if (vp == NULL)
    
13.         panic("vrele: null vp");
    
14. #endif
    
15.     simple_lock(&vp->v_interlock);
    
16.     vp->v_usecount--;
    
17.     if (vp->v_usecount > 0) {
    
18.         simple_unlock(&vp->v_interlock);
    
19.         return;
    
20.     }
    
21. #ifdef DIAGNOSTIC
    
22.     if (vp->v_usecount < 0 || vp->v_writecount != 0) {
    
23.         vprint("vrele: bad ref count", vp);
    
24.         panic("vrele: ref cnt");
    
25.     }
    
26. #endif
    
27.     /*
    
28.      * insert at tail of LRU list
    
29.      */
    
30.     simple_lock(&vnode_free_list_slock);
    
31.     TAILQ_INSERT_TAIL(&vnode_free_list, vp, v_freelist);
    
32.     simple_unlock(&vnode_free_list_slock);
    
33.     if (vn_lock(vp, LK_EXCLUSIVE | LK_INTERLOCK, p) == 0)
    
34.         VOP_INACTIVE(vp, p);
    
35. }

复制代码

FreeBSD6.0

1. /*
   
2. * Vnode put/release.
   
3. * If count drops to zero, call inactive routine and return to freelist.
   
4. */
   
5. void
   
6. vrele(vp)
   
7.         struct vnode *vp;
   
8. {
   
9.         struct thread *td = curthread;        /* XXX */
   
10. 
    
11.         KASSERT(vp != NULL, ("vrele: null vp"));
    
12. 
    
13.         VI_LOCK(vp);
    
14. 
    
15.         /* Skip this v_writecount check if we're going to panic below. */
    
16.         VNASSERT(vp->v_writecount < vp->v_usecount || vp->v_usecount < 1, vp,
    
17.             ("vrele: missed vn_close"));
    
18. 
    
19.         if (vp->v_usecount > 1 || ((vp->v_iflag & VI_DOINGINACT) &&
    
20.             vp->v_usecount == 1)) {
    
21.                 v_decr_usecount(vp);
    
22.                 return;
    
23.         }
    
24.         if (vp->v_usecount != 1) {
    
25. #ifdef DIAGNOSTIC
    
26.                 vprint("vrele: negative ref count", vp);
    
27. #endif
    
28.                 VI_UNLOCK(vp);
    
29.                 panic("vrele: negative ref cnt");
    
30.         }
    
31.         /*
    
32.          * We want to hold the vnode until the inactive finishes to
    
33.          * prevent vgone() races.  We drop the use count here and the
    
34.          * hold count below when we're done.
    
35.          */
    
36.         v_decr_useonly(vp);
    
37.         /*
    
38.          * We must call VOP_INACTIVE with the node locked. Mark
    
39.          * as VI_DOINGINACT to avoid recursion.
    
40.          */
    
41.         if (vn_lock(vp, LK_EXCLUSIVE | LK_INTERLOCK, td) == 0) {
    
42.                 VI_LOCK(vp);
    
43.                 vinactive(vp, td);
    
44.                 VOP_UNLOCK(vp, 0, td);
    
45.         } else
    
46.                 VI_LOCK(vp);
    
47.         vdropl(vp);
    
48. }

复制代码

ljoolj

难得老大这么热心耐心，感动萦

雨丝风片

原帖由 ljoolj 于 2006-4-20 11:13 发表
难得老大这么热心耐心，感动萦

“老大”也是在和你的讨论过程中学习知识，
这个问题深究下去是很有意思的，能够把虚存管理和文件系统关联起来，同时也可以顺便对比一下FB和NB的设计差异。

思一克

我的理解是这样的---

文件系统上的文件是进程的广义的“交换区”，进程运行时，内存的部分和文件部分对应。不是读入内存运行就和磁盘上文件无关了，而是时刻存在着“影射---MAPPING”。你UMOUNT了FS，当然立即GAME OVER了。

rm一个进程的文件，文件的内容并没有真正被删除。只有等进程结束了，inode的什么count才减为0，这是才删除。MAPPING没有受到影响，进程会继续。



“
我删掉执行文件，相关进程不会死掉（会不会有隐蔽问题，我不知道）但umount 掉相关内存盘，进程马
上就game over
感觉进程和文件系统有相当大的关系。不过一般资料都只介绍进程和内存管理方面的东西。
”

雨丝风片

原帖由 思一克 于 2006-4-20 16:26 发表
只有等进程结束了，inode的什么count才减为0，这是才删除。 ...

应该是inode的vnode引用计数，当这个计数为0时，就会在VOP_INACTIVE例程中释放inode。

思一克

所以，这样理解就简单了

雨丝风片

原帖由 思一克 于 2006-4-20 17:11 发表
所以，这样理解就简单了

承蒙高手点拨！多谢多谢！

思一克

to YSFP,

什么高手低手的。都是共同学习。另外，实在不敢到FBSD来，因为连见都没见过。
但这个问题和LINUX是共同的

雨丝风片

原帖由 思一克 于 2006-4-20 17:25 发表
to YSFP,

什么高手低手的。都是共同学习。另外，实在不敢到FBSD来，因为连见都没见过。
但这个问题和LINUX是共同的

BSD研究最便捷的方法就是借助于Linux的大量高手和文档资料，在互相比较中探索前进。俺桌上的Linux书就比BSD的书多，因为BSD的书总共也没几本，。