Date: Tue, 2 Dec 2014 09:24:25 -0700 From: Warner Losh <imp@bsdimp.com> To: Julian Elischer <julian@freebsd.org> Cc: freebsd-current@freebsd.org, FreeBSD Current <current@freebsd.org> Subject: Re: witness and modules. Message-ID: <F9C776BA-EAF7-4A38-8AEE-3501C41F40D6@bsdimp.com> In-Reply-To: <547D4947.4040203@freebsd.org> References: <54788FF3.3030602@freebsd.org> <2805430.yZtslRjaC7@ralph.baldwin.cx> <547D4947.4040203@freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--Apple-Mail=_A5520C7C-6E98-41F5-9DBE-9A504A5D08D2 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On Dec 1, 2014, at 10:08 PM, Julian Elischer <julian@freebsd.org> = wrote: >=20 > On 12/1/14, 11:39 PM, John Baldwin wrote: >> On Friday, November 28, 2014 11:08:35 PM Julian Elischer wrote: >>> Do we need to compile all modules with witness definitions when >>> linking with a kernel compiled with witness? >>> This was true at one stage but I remember some work was done to make >>> them compatible. >> You should not need this. modules always call functions in the = kernel for >> lock operations and this functions are what invoke WITNESS. >>=20 > that's what I thought but empirical evidence disagrees. > I'll try some more cases. I swap back and forth all the time between the two. Kernel modules = don=E2=80=99t change when you compile them with WITNESS or without. Warner --Apple-Mail=_A5520C7C-6E98-41F5-9DBE-9A504A5D08D2 Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP using GPGMail -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQIcBAEBCgAGBQJUfee5AAoJEGwc0Sh9sBEAoBwQAL0qx+pi9h6exmJIOlPyOH+o ij+5WfFd2RIx9iaalYB2/bWZcAJgjiabx1O9sgCmPAMfrLQZpeJ1TAZ+uvZCw6oO pg5rJy8MMPUZ/JtjnxozizV9PSaeXBOsZLjZo1dvofxIuN7Hwjykk/XSC8bouhRc rJOyz+JFIIiSK1MWG4sQ+hY9mhSyxDX5KLvAUsF2wd/EAnkOfHaNeC0OyGOLW5k8 wpfpYIPQJSQ/8DbdqKOZQND361oWB8eoXO23KGEWuDHcVvZr7wmf3rmGVnhensbn cXFE24oECRzuA2fnZ7/bm3Tv/2Zkve1+xr03CdAsU+Bd3vWX35DLpxqWDlw6q9o2 5lIv0AtDLg9H8iMVHGFZyVMvJnO0YSmbrlUPTqbAtqDZKxIIuqhB5mosJXSr+bIV Wnv4S/hbgxQV6mmP5dkAnjGLfHTCBr5S/EUykkoyvfAtc7tBaziLt+GxqsBlVR3x UQIonmjm1+PhV10TkJ7tyPvNOfsaOmB+4EjnvS8acABP+IN3qUtRrsMkO5R/ZkmZ bjwp9ruYulPkITHSQJ1Y+zBZslolk4pHoroqCUd84msAKbKBFKIq5AXFeK4fIPxX eW+ZVQV/czPnB/QXOE/5Rfy/X8s3+enhPGrivptx4iMf2uJQTPN7z9Bd8JN1IyZF LfN2dDtZRqyXlG/94XLN =UJsS -----END PGP SIGNATURE----- --Apple-Mail=_A5520C7C-6E98-41F5-9DBE-9A504A5D08D2--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?F9C776BA-EAF7-4A38-8AEE-3501C41F40D6>