#합의 알고리즘

하루에 2천 년을 사는 데이터베이스 — TigerBeetle과 결정론적 시뮬레이션 테스트

은행 잔액이 틀리는 버그를 어떻게 재현할까. TigerBeetle은 시간·디스크·네트워크를 전부 가짜로 만들고, 정수 하나로 우주 전체를 되살리는 길을 택했다. 1,024코어에서 24시간 돌아가는 비행 시뮬레이터, 함수당 정확히 2개의 단언, 그리고 시작 후 malloc을 부르지 않는 데이터베이스 — 15만 줄의 Zig 코드를 읽고 정리했다.