Page MenuHomeFreeBSD

Stop treating size 0 as unknown size in vnode_create_vobject().
ClosedPublic

Authored by pjd on May 19 2024, 1:21 AM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Oct 18, 8:37 AM
Unknown Object (File)
Fri, Oct 18, 8:36 AM
Unknown Object (File)
Sep 14 2024, 11:36 PM
Unknown Object (File)
Sep 8 2024, 7:08 AM
Unknown Object (File)
Sep 5 2024, 12:14 AM
Unknown Object (File)
Sep 3 2024, 10:21 AM
Unknown Object (File)
Sep 2 2024, 5:08 AM
Unknown Object (File)
Aug 31 2024, 5:06 AM

Details

Summary

Whenever file is created, the vnode_create_vobject() function will
try to determine its size by calling vn_getsize_locked() as size 0
is ambigious: it means either the file size is 0 or the file size
is unknown.

Introduce special value for the size argument: VNODE_NO_SIZE.
Only when it is given, the vnode_create_vobject() will try to obtain
file's size on its own.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 57753
Build 54641: arc lint + arc unit

Event Timeline

pjd requested review of this revision.May 19 2024, 1:21 AM
sys/vm/vnode_pager.c
168

I do not understand this. The new code calls vn_getsize_locked() both for size == 0 and size == VNODE_NO_SIZE, while the stated goal is to avoid vn_getsize_locked() call for size == 0.

  • Don't call vn_getsize_locked() in case of VNODE_NO_SIZE.
  • Assume we can have a disk for both cases (size == 0 and size == VNODE_NO_SIZE).
pjd marked an inline comment as done.May 19 2024, 1:39 AM
sys/vm/vnode_pager.c
156

You can reuse the vn_isdisk() check from there. E.g. this place might become

if (vn_isdisk(vp)) {
  if (size == 0 || isize == VNODE_NO_SIZE)
     size = IDX_TO_OFF(INT_MAX);
} else if (!vn_canvmio(vp)) {
    return (0);
}
and then vn_isdisk check below can be eliminated. vn_isdisk takes the devmtx.

BTW, can size == 0 for disks happen?  As I understand, this is to handle zero mediasize in g_vfs_open().  Is this possible?
sys/vm/vnode_pager.c
156

You can reuse the vn_isdisk() check from there. E.g. this place might become

if (vn_isdisk(vp)) {
  if (size == 0 || isize == VNODE_NO_SIZE)
     size = IDX_TO_OFF(INT_MAX);
} else if (!vn_canvmio(vp)) {
    return (0);
}
and then vn_isdisk check below can be eliminated. vn_isdisk takes the devmtx.

Maybe it would be possible to set some flag on the vnode and avoid devmtx altogether?

BTW, can size == 0 for disks happen? As I understand, this is to handle zero mediasize in g_vfs_open(). Is this possible?

From what I remember, you can have mediasize equals zero when there is no media, eg. you have a cd-rom without CD inside.

sys/vm/vnode_pager.c
156

BTW, can size == 0 for disks happen? As I understand, this is to handle zero mediasize in g_vfs_open(). Is this possible?

This is what happens when we try to open an empty cd0:

g_vfs_open:295: vp=0xfffff80006f52700 mediasize=0
vnode_create_vobject:160: vp=0xfffff80006f52700 size=0
g_vfs_done():cd0[READ(offset=65536, length=8192)]error = 6 supressing further ENXIO

I think we could just move the check for mediasize == 0 to g_vfs_open and return ENXIO there.

  • Introduce dedicated vnode_disk_create_vobject() for use by g_vfs_open(), so we don't have to do vn_isdisk() checks for regular files.
  • Handle the case of mediasize==0 in g_vfs_open().
sys/geom/geom_vfs.c
295 ↗(On Diff #138753)

Why do we call g_access() before this check? Is read access required in order to keep pp->mediasize stable?

sys/sys/vnode.h
1091

IMO, the name vnode_create_disk_vobject() keeps the namespace more consistent.

sys/vm/vnode_pager.c
195

KASSERT(isize == VNODE_NO_SIZE || isize >= 0)?

  • Rename vnode_disk_create_vobject() to vnode_create_disk_vobject().
  • Improve assertions.
sys/vm/vnode_pager.c
195

Better use VNASSERT() there and in the next line.

That said, this assertion is too strong. Due to the devfs vnode lifecycle, the vnode lock is not enough to guarantee that vn_isdisk() returns true for disk.

sys/geom/geom_vfs.c
295 ↗(On Diff #138753)

Why do we call g_access() before this check? Is read access required in order to keep pp->mediasize stable?

The mediasize property can be set on first access. See g_disk_access().

sys/vm/vnode_pager.c
195

That said, this assertion is too strong. Due to the devfs vnode lifecycle, the vnode lock is not enough to guarantee that vn_isdisk() returns true for disk.

Not sure if I understand this one. devfs doesn't create vm objects for vnodes. File systems goes to GEOM directly through g_vfs_* KPI.

Use VNASSERT() instead of KASSERT().

Add a missing argument to VNASSERT().

sys/vm/vnode_pager.c
195

devfs (destroy_dev(9)) might cause the assert to become false at any time.

I misplaced the comment though: the issue is that vn_isdisk() for disk might become false, not this one.

Remove too aggressive assert.

pjd marked 4 inline comments as done.May 20 2024, 9:10 PM
pjd added inline comments.
sys/vm/vnode_pager.c
195

So basically when a process is trying to mount a file system while devfs entry is being destroyed? Makes sense. Thanks.

pjd marked an inline comment as done.May 20 2024, 10:59 PM
pjd marked 2 inline comments as done.
This revision is now accepted and ready to land.May 21 2024, 3:40 AM
olce added a subscriber: olce.

Better indeed to return ENXIO early in g_vfs_open() and remove the special case for 0 in vnode_create_vobject(). Thanks.

This revision now requires review to proceed.May 22 2024, 2:57 AM

Updated wrong review. Bring back the proper patch.

Add a comment explaining why we check mediasize this late.

alc added inline comments.
sys/vm/vnode_pager.c
194

This blank line can be deleted.

208

This blank line can be deleted.

This revision is now accepted and ready to land.May 22 2024, 5:11 AM

Remove blank lines at the begining of functions with no local variables.

I see that style(9) has changed in this regard.

Requested by: alc

This revision now requires review to proceed.May 22 2024, 7:43 AM
pjd marked 2 inline comments as done.May 22 2024, 7:44 AM
This revision is now accepted and ready to land.May 22 2024, 8:18 AM

approved by: allanjude (mentor)