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: [email protected]
          Reporter: [email protected]

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.
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"

Reply via email to