On Wed, Dec 12, 2012 at 04:41:45PM -0800, Adrian Chadd wrote: > If a kassert is inviolable, then make it a panic() and include in the > default kernel.
It is inviolable. We don't include it in default kernel as panic for performance reasons, but it doesn't mean it can happen. If it happens it is unexpected condition that is most likely not handled at all. We use plain panic(9) in places that should not but can eventually happen for reasons out of our control. For example if you are running in VM and someone is corruption your disk image as you run. We do want to detect it as quickly as possible. -- Pawel Jakub Dawidek http://www.wheelsystems.com FreeBSD committer http://www.FreeBSD.org Am I Evil? Yes, I Am! http://tupytaj.pl
pgpSQNTGWj3gR.pgp
Description: PGP signature
