From owner-freebsd-current@FreeBSD.ORG Fri Dec 13 21:53:31 2013 Return-Path: Delivered-To: current@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 1484C196 for ; Fri, 13 Dec 2013 21:53:31 +0000 (UTC) Received: from nm36-vm0.bullet.mail.bf1.yahoo.com (nm36-vm0.bullet.mail.bf1.yahoo.com [72.30.238.136]) by mx1.freebsd.org (Postfix) with SMTP id B2E45117B for ; Fri, 13 Dec 2013 21:53:30 +0000 (UTC) Received: from [98.139.215.142] by nm36.bullet.mail.bf1.yahoo.com with NNFMP; 13 Dec 2013 21:50:27 -0000 Received: from [98.139.213.13] by tm13.bullet.mail.bf1.yahoo.com with NNFMP; 13 Dec 2013 21:50:27 -0000 Received: from [127.0.0.1] by smtp113.mail.bf1.yahoo.com with NNFMP; 13 Dec 2013 21:50:27 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1386971427; bh=iJbcYSvuarh2vJSnosMJRBXHcLIBtxPeQbZp+BuKVtc=; h=X-Yahoo-Newman-Id:X-Yahoo-Newman-Property:X-YMail-OSG:X-Yahoo-SMTP:X-Rocket-Received:Subject:From:Reply-To:To:Content-Type:Date:Message-ID:Mime-Version:X-Mailer:Content-Transfer-Encoding; b=Q6ZywiNPk/2kBiKEcWkpLttPfHE2Kjf55GXiIU+Bje8oNamaWvXmhNcnCeHgFMHqWnygag1i4txszQuKerUTRhDDpzGYr+7UU2Rf26cGiRkuVA8GQj4kcz18tjhvFhNSnLG++UBARZJuwrmHahiuYY0XGyu4gphHW0vmV3/uQC8= X-Yahoo-Newman-Id: 424166.71670.bm@smtp113.mail.bf1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: 0OYPtmEVM1lQLivb2A4jgdWLF6u6MKmMiiHo_pGxANH869I rfTRi80Pq8gENc2rItPt59GsrdP4FXcNeDL9abS6dMPVXsVHhXrCDgSw_KPk m8FbcJqY7qvDcTsDNvXudQDkWayOagpFuFfKNa7IGxmGxF20OUjoRZHe5qOZ E_kao4W6GN5PgSFOnZgbKNWeawODtbzBmqk6S5PJMF2V3GczKon6mYeQto9r 8jlZuXWOm7JroUm0JKQf1WxiGojz1xY6e3MxGys0ON04yhrvl08tQOd.GQVH FQ8T9LN7kfx8C4VkAGwGY87Z8q_RxJzXtRrpbIAFkPRK16otgBtIscjKSzIx ll4ZVBYKsw7Q8o9lAQJpOIADbSpbj78G.nNpOws2WSYMGh2Kvi4CulYQVHpY DEZKgevAumpvbtLw372O0Oj0X5rRpc0QnumTRHZtIkUe6ejvbLjbNvMUs.dJ IHL6PHxoYLWQdnx4FviEUOpCYFH7pzcVlUElULu1so520YelKblG9isJJ2dE CXrqDHhXcda0knrgpKHfetGBiOJMpjUZM7.50RTDUpbGC3_Vae3YqUctDWqC n1w-- X-Yahoo-SMTP: u5BKR6OswBC_iZJVfGRoMkTIpc8pEA4- X-Rocket-Received: from [10.73.160.242] (sean_bruno@209.131.62.116 with plain [98.139.211.125]) by smtp113.mail.bf1.yahoo.com with SMTP; 13 Dec 2013 13:50:27 -0800 PST Subject: kasserts behind invariants From: Sean Bruno To: current@freebsd.org Content-Type: text/plain; charset="us-ascii" Date: Fri, 13 Dec 2013 13:50:25 -0800 Message-ID: <1386971425.37172.9.camel@powernoodle.corp.yahoo.com> Mime-Version: 1.0 X-Mailer: Evolution 2.32.1 FreeBSD GNOME Team Port Content-Transfer-Encoding: 7bit X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list Reply-To: sbruno@freebsd.org List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 13 Dec 2013 21:53:31 -0000 I guess this may have been argued before, but I don't see why we would want to hide specific things like: sys/kern/subr_lock.c /* Check for double-init and zero object. */ KASSERT(!lock_initalized(lock), ("lock \"%s\" %p already initialized", name, lock)); If I hadn't completely missed the fact that I had INVARIANTS activated, I'd never have found out why this vendor driver was being so completely stupid and crashing my machine. If I find things like this that I want old KASSERT behavior on (panic if true) and I don't want to run INVARIANTS, is that possible? sean