Linked by BloopFloop on Wed 15th Jan 2014 22:32 UTC
OSNews, Generic OSes

ACM Queue posted an article titled "Unikernels: Rise of the Virtual Library Operating System", written by the main developers of MirageOS. The article is a good overview of the motivation and design of Mirage, which is a specialized lightweight hypervisor guest operating system for Xen. It's developed in OCaml and benefits from its features like memory safety, module system and compiler optimisations. It's comparable to OSv on many fronts.

More here.

Order by: Score:
Comment by Nelson
by Nelson on Wed 15th Jan 2014 22:44 UTC
Nelson
Member since:
2005-11-29

This has been an area of constant research, the area of sandboxing and virtualization is an interesting topic right now given the resource constraints of our new mobile overlords.

The awesome thing is that you can do some pretty cool things today using things like LXC on Linux (messed around with Docker, pretty cool).

In Microsoft land theres Drawbridge OS from MSR and AppContainers in Windows 8.

I think the idea has legs, but I wonder the issues that would arise from the traditional need for software processes to communicate. How is this handled in an isolated libOS environment?

Its brokered in Windows 8, but it comes with obvious restrictions.

Reply Score: 3

RE: Comment by Nelson by Vanders on Wed 15th Jan 2014 23:40 UTC
RE: Comment by Nelson by AWdrius on Thu 16th Jan 2014 18:17 UTC
vDSO's to the extreme
by Vanders on Wed 15th Jan 2014 23:29 UTC
Vanders
Member since:
2005-07-06

So my quick skim of the synopsis suggests that this is something like Linux vDSO's taken to the extreme, or Exo-Kernels.

I can't deny this is the way that light-weight virtualization (I.e. SaaS) is going. It's going to be interesting to see how things go.

Reply Score: 2

RE: vDSO's to the extreme by Brendan on Thu 16th Jan 2014 02:51 UTC
RE[2]: vDSO's to the extreme by Vanders on Thu 16th Jan 2014 10:07 UTC
RE[3]: vDSO's to the extreme by saso on Thu 16th Jan 2014 12:02 UTC
RE[3]: vDSO's to the extreme by saso on Thu 16th Jan 2014 12:11 UTC
RE[4]: vDSO's to the extreme by Vanders on Thu 16th Jan 2014 12:39 UTC
RE[5]: vDSO's to the extreme by saso on Thu 16th Jan 2014 12:59 UTC
RE[2]: vDSO's to the extreme by Earl Colby pottinger on Thu 16th Jan 2014 13:38 UTC
RE[3]: vDSO's to the extreme by dnebdal on Fri 17th Jan 2014 10:22 UTC
The best part is...
by moondevil on Thu 16th Jan 2014 07:00 UTC
moondevil
Member since:
2005-07-08

...they are using OCaml as the OS systems language.

Reply Score: 4