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

Re: [MirageOS-devel] Irmin on BLOCK



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


 


Rackspace

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