#tree #immutability #persistent #tree-structure #database

bin+lib ax_banyan_utils

Utilities to work with banyan trees

1 unstable release

0.11.1 Dec 18, 2023

#2361 in Data structures


Used in ax

MIT/Apache

240KB
5.5K SLoC

Banyan   Build Status Latest Version Docs Badge

banyan tree

Banyan trees are the trees with the widest canopy. They also sprout new roots, which after some time can become indistinguishable from the original root. Seems appropriate.

License

Apache2 or MIT

Design goals

  • fat leafs, containing as much data as possible and being roughly the same size
  • low depth, fat branches
  • quick traversal, filtering and random access
  • cheap append (possible, but would require more complex interaction with block store)
  • no insert/splice
  • possibility for removal

Tree structure

The tree should have a structure that is fully determined by the content, unlike e.g. a balanced tree which has a memory of its history.

It should support append and bulk append.

Node structure

A node is split into two parts. An index part that lives in the parent for quick access, and a value part that is linked from the parent.

Leaf builder

Leafs are the biggest things. The builder incrementally encodes and compresses data. The state of a builder should at any time be able to be persisted. The storage format should be also incremental (adding stuff at the end does not require changes at the start)

Branch builder

Whereas leafs are always appended to, branches are most of the time updated at their last index. Branches are stored as valid IPLD so they can be traversed by ipfs. The non-link data is zstd compressed cbor.

Dependencies

~38–55MB
~1M SLoC