Re: Finding user/kernel pointer bugs

viro_at_parcelfarce.linux.theplanet.co.uk
Date: 06/08/04

  • Next message: Phy Prabab: "Re: [PATCH] Staircase Scheduler v6.3 for 2.6.7-rc2" 
    Date:	Tue, 8 Jun 2004 01:03:10 +0100
To: "Robert T. Johnson" <rtjohnso@eecs.berkeley.edu>

    On Mon, Jun 07, 2004 at 04:48:44PM -0700, Robert T. Johnson wrote:
    > - cqual requires _zero_ annotations in device drivers.
    >
    > Once the generic driver interfaces have been annotated, all device
    > drivers can be checked against these annotations without any further
    > effort. This is critical, since annotating the thousands of device
    > drivers in linux will be extremely difficult and take months.

    Aha, so you have never actually bothered to read the damn things. Two words:
    ioctl code.

    Another thing: two weeks had been enough to practically eliminate noise in
    net/*, sound/*, large parts of drivers/*. The only real difficulty I've
    noticed was one with holding the breakfast down while reading some of more...
    colourful code.

    And one more: counting drivers that do not have a single __user in them
    is meaningless for so many reasons it's not even funny.

    Now would it be too much to ask the esteemed sir to piss off and not return
    until sir acquires a modicum of clue?
    -
    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/

  • Next message: Phy Prabab: "Re: [PATCH] Staircase Scheduler v6.3 for 2.6.7-rc2"

    Relevant Pages

    • Re: Pen annotations on slide show periodically disappearing?
      ... The role of the video adapter/driver/hardware acceleration/etc.: ... have the most recent video drivers. ... If you need a more complete answer as to why the annotations aren;t showing, ...
      (microsoft.public.powerpoint)
    • Re: 2.6.10-rc2 on VAIO laptop and PowerMac 8500/G3
      ... fbdev layer broke some of those old drivers. ... VT mode data structure, the driver is now sort-of supposed to re-invent ... but I suppose I'll have to fix controlfb (and platinumfb ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • RE: Driver Model 2 Proposal - Linux Kernel Performance v Usability
      ... I agree that it is an extra interface ... > Windows has many faults but drivers are often compatible across ... common users in the Windows world can't handle installing a driver any better than they would be able to in Linux. ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: [Bug 1412] Copy from USB1 CF/SM reader stalls, no actual content is read (only directory structu
      ... For drivers like this that aren't performance critical and ... > depends on the capabilities of the USB host controller that our device ... and if the result is 0 then calling kmap() ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: HighPoint 374
      ... > I'm using two seagates, one Samsung and one Maxtor, ... > drivers, pretty much everything that does not relate directly to the IDE ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)