Module Name: src
Committed By: ozaki-r
Date: Wed Dec 27 09:01:53 UTC 2017
Modified Files:
src/lib/librumpuser: rumpfiber.c rumpuser_pth.c rumpuser_pth_dummy.c
src/sys/rump/include/rump: rumpuser.h
src/sys/rump/librump/rumpkern: locks.c
Log Message:
Distinguish spin mutex and adaptive mutex on rump kernels for LOCKDEBUG
Formerly rump kernels treated the two types of mutexes as both adaptive for
LOCKDEBUG for some reasons.
Now we can detect violations of mutex restrictions on rump kernels such as
taking an adaptive mutex with holding a spin mutex as well as normal kernels.
To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 src/lib/librumpuser/rumpfiber.c
cvs rdiff -u -r1.45 -r1.46 src/lib/librumpuser/rumpuser_pth.c
cvs rdiff -u -r1.17 -r1.18 src/lib/librumpuser/rumpuser_pth_dummy.c
cvs rdiff -u -r1.114 -r1.115 src/sys/rump/include/rump/rumpuser.h
cvs rdiff -u -r1.77 -r1.78 src/sys/rump/librump/rumpkern/locks.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
