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

Re: Mirage & dynlink


On Jun 27, 2013, at 10:14 PM, "William Le Ferrand" <warnegia@xxxxxxxxx> wrote:

Thanks Anil. I'm drafting an architecture for a big data company and I'd love to end up with something as simple as a single microkernel for their whole stack, so I was wondering what I could use and what I should stay away from. 

Btw do you know if there are some industrial applications of Mirage already?

My first planned use of Mirage in an industrial context is to host the "xenstore" service, a performance- and security-critical component which is part of the xen hypervisor control-plane software. XenServer already uses an OCaml xenstore implementation; Mirage lets me take the existing userspace app and relink it to run direct in kernel space where I can more easily guarantee it CPU time and isolate it from other components.

Dave Scott
XenServer System Architect

On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
It will be, but not yet.  There's a few things to be done:

- stabilise the ocaml_plugin API to be portable to non-Linux.  This is almost done (it has a slightly mental strategy of turning the entire ocaml compiler into a .o file which is then linked in as a C library to the binary, to let it recompile the plugin).

- make the native code ocamlopt not require an external assembler.  This has been done by Benedikt's ocamlnat -- see http://arxiv.org/pdf/1110.1029.pdf

- remove filesystem dependencies (easy once previous two bits are done)


On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@xxxxxxxxx> wrote:


I'm new to mirage and not sure where to post : is mirage compatible with plugins/dynlinking strategies such as the one offered by https://github.com/janestreet/ocaml_plugin?



William Le Ferrand

William Le Ferrand

Mobile : (+1) (415) 683-1484



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