Keith Owens <kaos@ocs.com.au>:
> On Thu, 3 May 2001 03:47:55 -0400,
> "Eric S. Raymond" <esr@thyrsus.com> wrote:
> >OK, so you want CML2's "make oldconfig" to do something more graceful than
> >simply say "Foo! You violated this constraint! Go fix it!"
>
> (i) Start with a valid config. CML2 will not allow any changes that
> violate the constraints. Not a problem.
Right. This is 99.9% of cases. All this heat and argument is over a
very, very unusual situation. Much more unusual than most of the
people arguing about it realize.
(For those of you haven't caught up with this, *missing symbols do not
make a configuration invalid*. Only inconsistencies between explicitly
set symbols can do that.)
> (ii) Start with a invalid config. CML2 makes best effort at correcting
> it.
>
> (a) Interactive mode (menuconfig, xconfig) - tell the user to fix
> it.
The problem with this is that in order to support it I have to throw away the
configurator's central invariant -- which is that every change that does not
lead to a valid configuration is rejected (with an explanation).
I'm not going to do that. It's not worth it to handle a case this marginal.
> (b) Batch mode (oldconfig). Attempt to automatically correct the
> config using these rules.
>
> (1) Earlier constraints take priority over later constraints.
> That is, scan the constraints from top to bottom as listed
> by the rules.
>
> (2) For valid constraints, freeze all variables in the
> constraint, both guard and dependent.
>
> (3) For failing constraints, freeze the guard variables, change
> the dependent variable to satisfy the constraint then
> freeze it.
There's the problem. You don't know which variable(s) are dependent.
That's not a well-defined notion here. Consider the case that stimulated
this whole argument:
(X86 and SMP) implies RTC!=n
You think you know that RTC is 'dependent', but this is an illusion created
by the presence of the asymmetrical `implies'. Go look at the hierarchy.
You'll see what I mean.
-- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>Are we at last brought to such a humiliating and debasing degradation, that we cannot be trusted with arms for our own defence? Where is the difference between having our arms in our own possession and under our own direction, and having them under the management of Congress? If our defence be the *real* object of having those arms, in whose hands can they be trusted with more propriety, or equal safety to us, as in our own hands? -- Patrick Henry, speech of June 9 1788 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Mon May 07 2001 - 21:00:17 EST