[Bug 220079] [kern] sys/kern/vfs_subr.c: double mutex locks in vgone

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=220079

            Bug ID: 220079
           Summary: [kern] sys/kern/vfs_subr.c: double mutex locks in
                    vgone
           Product: Base System
           Version: 11.0-RELEASE
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: kern
          Assignee: freebsd-bugs at FreeBSD.org
          Reporter: baijiaju1990 at 163.com

The kernel may has double mutex locks, and the code path in file
"sys/kern/vfs_subr.c" in FreeBSD 11.0 release is:
vflush [line 3050: acquire the lock by VI_LOCK]
  vgone [line 3057]
    VI_LOCK [line 3100] --> lock again

This bug is found by a static analysis tool written by myself, and it is
checked by my review of the FreeBSD code.

Jia-Ju Bai

-- 
You are receiving this mail because:
You are the assignee for the bug.