Boki
Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
Install / Use
/learn @ut-osa/BokiREADME
Boki
Boki is a research FaaS runtime for stateful serverless computing with shared logs. Boki exports the shared log API to serverless functions, allowing them to manage states with strong consistency, durability, and fault tolerance. Boki uses Nightcore as the runtime for serverless functions.
Boki is the pronunciation of "簿記", meaning bookkeeping in Japanese.
Building Boki
Under Ubuntu 20.04, building Boki needs following dependencies installed:
sudo apt install g++ make cmake pkg-config autoconf automake libtool curl unzip
Once installed, build Boki with:
./build_deps.sh
make -j $(nproc)
Kernel requirements
Boki uses io_uring for asynchronous I/Os. io_uring is a very new feature in the Linux kernel (introduced in 5.1), and evolves rapidly with newer Linux kernel version.
Boki require Linux kernel 5.10 or later to run.
Boki support libraries
As presented in our SOSP paper, we build BokiFlow, BokiStore and BokiQueue for serverless use cases of transactional workflows, durable object storage, and message queues.
slib directory in this repository contains implementations of BokiStore and BokiQueue.
For BokiFlow, check out workloads/workflow directory in ut-osa/boki-benchmarks repository.
Running Boki's evaluation workloads
A separate repository ut-osa/boki-benchmarks includes scripts and detailed instructions on running evaluation workloads presented in our SOSP paper.
Limitations of the current prototype
The shared log API is only exported to functions written in Go.
Related Skills
YC-Killer
2.7kA library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and use the link in the readme to join our open source AI research team.
flutter-tutor
Flutter Learning Tutor Guide You are a friendly computer science tutor specializing in Flutter development. Your role is to guide the student through learning Flutter step by step, not to provide d
groundhog
398Groundhog's primary purpose is to teach people how Cursor and all these other coding agents work under the hood. If you understand how these coding assistants work from first principles, then you can drive these tools harder (or perhaps make your own!).
last30days-skill
16.9kAI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary
