logo       

Re: [uml-user] Would UML prevent the main kernel from being crashed by badl: msg#00263

Subject: Re: [uml-user] Would UML prevent the main kernel from being crashed by badly written programs?
patrickl@xxxxxxxxx said:
> I think UML is good, but how can I technically prove this point to my
> managers (they want some "proofs")?   

You can't.  There is possibly a sequence of normal unprivileged instructions
which can crash the CPU.  If an app were to execute this sequence, the machine
crashes, whether the app is inside a UML or not.

What UML does is change the nature of the interaction of the app and host 
kernel.  Running on the host, an app can execute any of ~250 system calls.
Running inside UML, it ends up making maybe 20-30 different system calls.
This reduces the host kernel code that's executed, making an argument that
UML is protective of the host.

On the other hand, those 20-30 system calls are very intensively used, and
this increases the possibility of exercising race conditions and the like.

                                Jeff



-------------------------------------------------------
This SF.net email is sponsored by: The SF.net Donation Program.
Do you like what SourceForge.net is doing for the Open
Source Community?  Make a contribution, and help us add new
features and functionality. Click here: http://sourceforge.net/donate/


<Prev in Thread] Current Thread [Next in Thread>