Re: if_fxp - the real point

[Alfred Perlstein]

* Dennis <[EMAIL PROTECTED]> [010314 13:36] wrote:
> At 01:47 PM 03/14/2001, you wrote:
> >On Wed, Mar 14, 2001 at 09:09:15AM -0800, Alfred Perlstein wrote:
> > > how many times does windows crash because of poorly written drivers
> > > rather than flaws in the core OS? (*)
> >
> >ALL the time.  Microsoft has given the UC-Davis security and formal
> >verification lab a multi-year grant to look at this problem.
> >(the approach being researched is "model checking")
> 
> Why would they need to do that? Every time you load a program it updates 
> the libraries, breaking older programs. Its a philosophical problem. You 
> dont need a grant to figure it out.

I think the money is for the solution. :)

-- 
-Alfred Perlstein - [[EMAIL PROTECTED]|[EMAIL PROTECTED]]


To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message