You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Emery Hemingway 1743234f96 Version 0.2.1 4 years ago
doc Diagram 5 years ago
extras/picard_plugin Defer set commit 4 years ago
genode Tup refactor 4 years ago
src Split ingest to standalone utility 4 years ago
tests Use Tiger tree hashes 4 years ago
.gitignore Picard plugin 4 years ago
.underconstruction.gif README.md 4 years ago
README.md README.md 4 years ago
blobs.sy Add Tox-based Spry interpreter 4 years ago
blobsets.nimble Version 0.2.1 4 years ago
default.nix Use Tiger tree hashes 4 years ago

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.