lkml.org 
[lkml]   [2012]   [Feb]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: Can we move device drivers into user-space?
From
On Sat, Feb 25, 2012 at 3:55 PM, Greg KH <gregkh@linuxfoundation.org> 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".
>
My point was "a significant portion of kernel crash incidents are due
to bugs in drivers". You said no. I did *not* say bugs in device
drivers are the dominant factor of kernel crashes/faults. So at least
my point matches with the conclusion of the second paper. You can
certainly say these academic studies are meaningless because they are
not telling the whole story, but you can not deny the fact that
because of the large code base, it is the almost impossible to
eliminate all the bugs/problems from device drivers. That's why people
are doing research to mitigate this problem, even though moving device
drivers to user space may not be a good idea, or it is unrealistic in
Linux, those researchers as well as their results deserve more
respect. Everyone in the whole community, including kernel developers
and researchers, shares the same goal, namely, improving the kernel
code quality.

Regards
Jidong


\
 
 \ /
  Last update: 2012-02-26 00:47    [from the cache]
©2003-2011 Jasper Spaans