Re: Can we move device drivers into user-space?

[Greg KH]

On Sat, Feb 25, 2012 at 12:55:40PM -0800, Greg KH wrote:
> On Sat, Feb 25, 2012 at 02:23:07PM -0500, Jidong Xiao wrote:
> > Hi, Greg,
> > 
> > These two studies support my point. If the first one is too old, then
> > the second one should be more convincing. To save your time, you can
> > take a look at their conclusion first.
> > 
> > An Empirical Study of Operating Systems Errors
> > http://www.stanford.edu/~engler/metrics-sosp-01.pdf
> > 
> > Faults in Linux: Ten Years Later
> > http://pagesperso-systeme.lip6.fr/Suman.Saha/src/asplos11.pdf
> 
> This second paper proves my point, it's funny that you tried to use it
> to prove yours, you obviously must not have read the conclusion...
> 
> Anyway, any paper that goes "look at all of these problems in the code!"
> and isn't instantly followed by patches fixing ALL of those problems by
> the authors of the paper, should be ignored as a troll masquerading as a
> "study".

Oops, it was pointed out to me that one of the authors of that paper
really is contributing patches, my appologies to them.  Julia has
probably fixed more bugs than almost anyone else in the kernel
community.  I did not mean to make light of her contributions at all,
again my mistake.

greg k-h
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/