[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Subject: Re: [Xen-devel] Creating a local network within the GuestOS and r outing to an ext ernal network

> While I agree that network-level filtering is an important part
> of a complete system, I'm not so sure that it belongs in the
> core, priveleged portion of xen.

Then you'll be happy to here that this functionality is moving
outside Xen and into a 'driver domain' in the new IO model.
> This is, of course, my opinion. The Xen developers may be on a completely 
> different page here, especially with regard to other issues (speed) that may 
> conflict with the criteria of ease of analysis. 

I'm confident we can move this functionality into driver domains
without loosing much performance. Stay tuned.

> I'd be curious to know if formal analysis is something that
> people are thinking about.

I'd love to see this happen, but I think even the complexity of
something simple like Xen is beyond what current verification
tools can cope with. In the meantime, I think if we just stare at
the code really hard...


SF.Net is sponsored by: Speed Start Your Linux Apps Now.
Build and deploy apps & Web services for Linux with
a free DVD software kit from IBM. Click Now!
Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.