# WP1 Report Jon Crowcroft University of Cambridge [@tforcworc](https://twitter.com/tforcworc) Richard Mortier University of Nottinghamfor now... [@mort\_\_\_](https://twitter.com/mort___)
Thomas Leonard | 12PM WP1 | cubieboard/arm/mirage | D1.1 PIH Architecture M9 |
Carlos Molina-Jimenez | 11PM WP4 | D4.1 Security/Ethics M12 | |
JonC+Carlos | 1PM + 1PM WP5 | D5.1 Use Cases M9 |
---- ## Irmin **What's new?** - July: blog post [[0][]] - July/August, 2 interns working on the project (synchronisation and merging) - Sept: Presentation to the OCaml workshop [[1][][1'][]] and submission to JFLA [[2][]] - 2 main users: Citrix (Irmin + Xenstore) [[3][]] and Gregory's imap server [[4][]] [0]: http://openmirage.org/blog/introducing-irmin [1]: https://ocaml.org/meetings/ocaml/2014/ocaml2014_11.pdf [1']: https://ocaml.org/meetings/ocaml/2014/irmin-slides.pdf [2]: http://gazagnaire.org/pub/JFLA14-draft.pdf [3]: http://openmirage.org/blog/introducing-irmin-in-xenstore [4]: https://github.com/gregtatcam/imaplet-lwt ## Irmin **Improved Sync** - Matthieu Journault (ENS Cachan): Synchronisation of Irmin hosts - use bloom filters to improve synchronisation performance between Irmin instances - report is available at [[5][]] and slides at [[6][]] - incremental algorithm, optimised for synchronising graphs with small diffs - implementation not available in Irmin yet [5]: http://gazagnaire.org/pub/2014.08.irmin-sync.pdf [6]: http://gazagnaire.org/pub/2014.08.irmin-sync-slides.pdf ## Irmin **Improved Merges** - Benjamin Farinier (ENS Lyon): Mergeable data-structures - design purely functional data-structures with merge operations - slides are available at [[7][]] (the report turned into [[2][]]) - code available freely: - mergeable queues (opam install merge-queues [[8][]]) - mergeable ropes (opam install merge-ropes [[9][]]) [2]: http://gazagnaire.org/pub/JFLA14-draft.pdf [7]: http://gazagnaire.org/pub/2014.08.irmin-merge-slides.pdf [8]: https://github.com/mirage/merge-queues [9]: https://github.com/mirage/merge-ropes ## Irmin **What's Next?** 1. Irmin unikernels (90% completion) 2. Irmin high-level JSON API. (50% completion, the low-level API is there since 0.3.0) 3. Write a mirage Git server (50% completion, need to fill the server protocol logics). _1+3 == `git pull
Thanks for listening! Questions?
Contributions very welcome at [openmirage.org](http://openmirage.org)