From owner-freebsd-current@FreeBSD.ORG Tue Dec 2 16:24:35 2014 Return-Path: Delivered-To: current@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 043FCBF9 for ; Tue, 2 Dec 2014 16:24:35 +0000 (UTC) Received: from mail-pa0-f48.google.com (mail-pa0-f48.google.com [209.85.220.48]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id C72FDE84 for ; Tue, 2 Dec 2014 16:24:34 +0000 (UTC) Received: by mail-pa0-f48.google.com with SMTP id rd3so13701689pab.35 for ; Tue, 02 Dec 2014 08:24:28 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:subject:mime-version:content-type:from :in-reply-to:date:cc:message-id:references:to; bh=3FxcBZudrg/8BZ+iU9ZSluBUz3SiewGHvdVap3s9Lbw=; b=i3R+kaC2Ibck4HBTSZlinqcfjWqD1rlQH3ekiG5TXMr/Xil5t6Km2mR0qPiVcNqY1M vwYjBtIpCm6Tx106B4hsBDAweoP3YmX+XSC1iMW1eAIL/FvFJyTsJsQIaXScF0aR0qp+ PYZ7cKmn0J2lJaUtsd32DFlAhLvCohMjLqYTZ0AI+/zgRWT0yAHFPHQSr1iSsm/IuemP pu1NK/8SBKB6YS1uuFkmf0SzTJFhAvgmUPH4a+lrajsQhbqAso+vXID5U52d7UvuEMLn GAbB67OpKxkfE7wTHkuTzHApxVbbnNk59KL5unjoOCTIj9SxirkAtMv6+6y6RqxqrLG2 KO2Q== X-Gm-Message-State: ALoCoQn7AEsoVdQDZDGjcLaIOwtSMdl4Wo3ooXupbFNpsSJ9r3KBx3M5jCDbvEaNomYSqwM2labr X-Received: by 10.66.146.193 with SMTP id te1mr22492pab.154.1417537468621; Tue, 02 Dec 2014 08:24:28 -0800 (PST) Received: from [10.64.24.134] ([69.53.236.236]) by mx.google.com with ESMTPSA id pd9sm20699230pbb.7.2014.12.02.08.24.26 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 02 Dec 2014 08:24:27 -0800 (PST) Sender: Warner Losh Subject: Re: witness and modules. Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) Content-Type: multipart/signed; boundary="Apple-Mail=_A5520C7C-6E98-41F5-9DBE-9A504A5D08D2"; protocol="application/pgp-signature"; micalg=pgp-sha512 X-Pgp-Agent: GPGMail 2.5b3 From: Warner Losh In-Reply-To: <547D4947.4040203@freebsd.org> Date: Tue, 2 Dec 2014 09:24:25 -0700 Message-Id: References: <54788FF3.3030602@freebsd.org> <2805430.yZtslRjaC7@ralph.baldwin.cx> <547D4947.4040203@freebsd.org> To: Julian Elischer X-Mailer: Apple Mail (2.1993) Cc: freebsd-current@freebsd.org, FreeBSD Current X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 02 Dec 2014 16:24:35 -0000 --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 = 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--