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

Re: [MirageOS-devel] thought on a new API for mirage

On 28 Dec 2013 00:01, "Anil Madhavapeddy" <anil@xxxxxxxxxx> wrote:
> On 27 Dec 2013, at 12:14, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> > Hi,
> >
> > During the last days, I've been working on a new version of the mirage API which should be easier to extend and where defining new operators would be easier. I'm starting to be happy with the result, which is available here:
> >
> > https://github.com/mirage/mirage/pull/178
> >
> > The branch is not ready to merge yet, but I've published it anyway to get early feedback, so feel free to shout if you dislike it or have better ideas.
> >
> > The new API: https://github.com/samoht/mirage/blob/combinators/lib/mirage.mli
> >
> > Some examples:
> > * https://github.com/samoht/mirage/blob/combinators/lib_test/fat/config.ml
> > * https://github.com/samoht/mirage/blob/combinators/lib_test/http/config.ml
> > * some combinator examples: https://github.com/samoht/mirage/blob/combinators/lib_test/combinator/config.ml


> At a quick run-through, this looks like exactly what we need to layer interesting transformer drivers together.  I'll take a shot at a buffer cache for KV_RO using your branch and see what it looks like (do you already have code for this somewhere, Dave?)

I've been threatening to write a cache but haven't got round to it. I was wondering about creating a reusable LRU thing and allowing it to be used in multiple places.

> > Some of you might have noticed some similarity with the great ctype library -- it's not a coincidence at all: the goal here is to meta-program at the modules/functors level, which is not very far from trying to interface with a foreign language ...
> Indeed!
> -anil
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

MirageOS-devel mailing list



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