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.
Cheers,
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)
-anil
On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@xxxxxxxxx> wrote:
Hi,
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?
