Re: [RFC 1/4] CONFIG_STABLE: Define it

Chris Snook
2007-07-20T11:10:43Z

Satyam Sharma wrote:
> [ Just cleaning up my inbox, and stumbled across this thread ... ]
>
>
> On 5/31/07, clameter@sgi.com <clameter@sgi.com> wrote:
>> Introduce CONFIG_STABLE to control checks only useful for development.
>>
>> Signed-off-by: Christoph Lameter <clameter@sgi.com>
>> [...]
>> menu "General setup"
>>
>> +config STABLE
>> + bool "Stable kernel"
>> + help
>> + If the kernel is configured to be a stable kernel then various
>> + checks that are only of interest to kernel development will be
>> + omitted.
>> +
>
>
> "A programmer who uses assertions during testing and turns them off
> during production is like a sailor who wears a life vest while drilling
> on shore and takes it off at sea."
> - Tony Hoare
>
>
> Probably you meant to turn off debug _output_ (and not _checks_)
> with this config option? But we already have CONFIG_FOO_DEBUG_BAR
> for those situations ...

There are plenty of validation and debugging features in the kernel that go WAY
beyond mere assertions, often imposing significant overhead (particularly when
you scale up) or creating interfaces you'd never use unless you were doing
kernel development work. You really do want these features completely removed
from production kernels.

The point of this is not to remove one-line WARN_ON and BUG_ON checks (though we
might remove a few from fast paths), but rather to disable big chunks of
debugging code that don't implement anything visible to a production workload.

-- Chris