Xen project Mailing List

On Mon, Jan 18, 2016 at 8:13 PM, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

Seems that Dave has been busy:

https://github.com/djs55/ocaml-btree

(sorry Dave if I spoiled your future announcement)

That's ok -- I'm still experimenting with interfaces and disk layouts. It'll be a while before I have anything that works! Most of the interesting function bodies are still `failwith "unimplemented: ..."` and I've not thought enough about how the GC would work.

Cheers,

Dave

Thomas

> On 11 Nov 2015, at 15:28, Nik Sultana <ns441@xxxxxxxxx> wrote:
>
> Coincidentally B-trees came up recently on Ocaml-list:
>Â https://sympa.inria.fr/sympa/arc/caml-list/2015-11/msg00011.html
>
>
> On 2015-11-11 09:58, Rupert Horlick wrote:
>> Hmm, it seems like that is built on top of a few packages that don't
>> exist any more to interface between Baardskeerder and Mirage.
>> Do you think it's worth doing a simple B-Tree implementation myself,
>> or would it be better to try and build a new interface module for
>> Mirage and Baardskeerder?
>> A B-Tree implementation would certainly be good for the project
>> write-up, but let me know what you think.
>> Rupert
>> On Tue, Nov 10, 2015 at 8:58 PM Richard Mortier
>> <richard.mortier@xxxxxxxxxxxx> wrote:
>>> On 10 November 2015 at 16:49, Rupert Horlick <rh572@xxxxxxxxx>
>>> wrote:
>>>> I'm implementing this for a Part II project, so I've decided to
>>> go ahead and
>>>> implement my own simple FS for BLOCK, rather than using IRMIN.
>>>> However, I'm coming across the difficulties that Dave mentioned,
>>> Simple and in-memory is (surely!) still good to start with though!
>>>> so I'm
>>>> reading up on B-trees as we speak. I may well end up writing a
>>> simple B-tree
>>>> library, so I'll let know you if I do.
>>> There may be most of such a thing already I think -- Chris
>>> Greenhalgh
>>> at Nottingham lashed something up a while ago based on
>>> Baardskeerder,
>>> see https://github.com/cgreenhalgh/ocaml-btree [1] (though based on
>>> a much
>>> much earlier version of Mirage :)
>>> --
>>> Richard Mortier
>>> richard.mortier@xxxxxxxxxxxx
>> Links:
>> ------
>> [1] https://github.com/cgreenhalgh/ocaml-btree
>> _______________________________________________
>> MirageOS-devel mailing list
>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Dave Scott

Re: [MirageOS-devel] Irmin on BLOCK