[lkml]   [2001]   [May]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [kbuild-devel] Why recovering from broken configs is too hard
    > (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.)

    If they make it invalid the tools should fix it.

    > > (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).

    If you get a conflict, turn the second feature in config file order off/on
    as appropriate then tell the user you did it. Then continue to verify. If
    you accidentally turn off the whole scsi layer well the user has been told it
    happens and its still no worse than having no tool. While if it fixes it up
    happily the user is pleased and it saved a lot of time. Also remember many
    kernel builders are not gurus.

    CML2 already poses a huge barrier to such people because its different to the
    stuff in the book and the stuff their friend showed them. Thats a barrier
    worth climbing because its a better tool for such people in the longer run.
    But please don't add spikes on the top of said wall

    > I'm not going to do that. It's not worth it to handle a case this marginal.

    In which case CML2 appears to be inferior to our current tools. It depends on
    python2 which nobody ships by default yet. It doesn't handle this case.
    Why should we be using 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:

    Actually I think the problem is different. You are trying to solve a
    mathematical graph theory problem elegantly. Make oldconfig solves a real
    world problem by a mixture of brutality and heuristics.

    PS: your .sig length checker still seems broken

    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 12:52    [W:0.022 / U:12.928 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site