Go to file
2019-04-03 21:29:13 +02:00
doc Diagram 2018-09-11 11:17:49 +02:00
extras/picard_plugin Defer set commit 2019-02-18 23:39:57 +01:00
genode fixup! Build system cleanup 2019-04-03 21:29:13 +02:00
src HTTP server for legacy OSes 2019-04-03 21:00:00 +02:00
tests More futures 2019-03-18 22:50:00 +01:00
.gitignore Picard plugin 2019-02-16 23:07:59 +01:00
blobsets.nimble HTTP server for legacy OSes 2019-04-03 21:00:00 +02:00
README.md Update README 2019-03-19 11:59:32 +01:00

A post-UNIX storage layer

This repository hosts a proof-of-concept storage system and synthetic file- system frontend for the Genode OS framework. The concept of the file has been replaced with the blob, a finite and linear stream of bytes. Blobs are identified by 256 bit hash digests using BLAKE2B in tree mode.

A blobset is flat map of key hashes to blob hashes. Key hashes are 64 bits so the practical limit to the number of set members is 2^32. Sets are implemented as lazy-loaded hash array mapped tries with a 64 node fan-out. A store contains both data blobs and blobs of set metadata and is the public API to both blobs and sets.

Two stores are provided, one that stores blobs to a UNIX file-system backend and the other as a HTTP client. A primitive HTTP server is provided to serve the UNIX backend to the client. A Lisp-like REPL is provided to build and explore sets and a Genode file-system server is provided to serve sets as file-systems.

Exposing a set as a UNIX file-system is trivial because set keys are hash digests of arbitrary byte-strings, so names containing the / character may be mapped in the set.

Storing music

A plugin for the Picard tagger is available at extras/picard_plugin. This plugin ingests audio files into a rolling set and indexes them by MusicBrainz recording UUID. A simple playlist generator for playing these files may be found at https://github.com/ehmry/musicbrainz_playlist_generator.