TigerBeetle is an open source distributed financial accounting database designed for mission critical safety and performance to track financial transactions at scale. TigerBeetle is coded to NASA’s Power of Ten Rules for Safety Critical Code. All memory is statically allocated at startup for predictable and efficient resource usage. Function arguments and return values are verified at runtime by over three thousand assertions. Deterministic Simulation Testing accelerates the maturation process of TigerBeetle’s VSR consensus protocol and LSM storage engine, through fault injection of network faults as well as storage faults such as misdirected or corrupt reads and writes. TigerBeetle is being designed to process a million journal entries per second on commodity hardware, using io_uring for high performance I/O, and Direct I/O and fixed-size cache line aligned data structures for zero-copy and zero-deserialization. TigerBeetle is written in Andrew Kelley’s Zig.

This talk is part of the ¡Databases! – A Database Seminar Series.

Bio:
Joran Dirk Greef is the founder and CEO of TigerBeetle. His interests are in storage, speed, and safety, and he loves databases so much he lives next to Table Mountain. Joran has a secret plan for a systems conference in Feb '23 involving kitesurfing, and he has already arranged for Andy to film his next database lecture while suspended from a 40 foot kite.

More Info: https://db.cs.cmu.edu/seminar2022#db10