Go to file
Emery Hemingway 1743234f96 Version 0.2.1 2019-10-16 19:41:15 +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 Tup refactor 2019-07-03 13:43:14 +02:00
src Split ingest to standalone utility 2019-06-22 20:10:09 +02:00
tests Use Tiger tree hashes 2019-06-17 09:26:25 +02:00
.gitignore Picard plugin 2019-02-16 23:07:59 +01:00
.underconstruction.gif README.md 2019-07-03 10:33:42 +02:00
README.md README.md 2019-07-03 10:33:42 +02:00
blobs.sy Add Tox-based Spry interpreter 2019-06-05 19:41:36 +02:00
blobsets.nimble Version 0.2.1 2019-10-16 19:41:15 +02:00
default.nix Use Tiger tree hashes 2019-06-17 09:26:25 +02:00

README.md

A post-UNIX storage layer

UNDER CONSTRUCTION

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.