Celld의 결정론적 시뮬레이션 테스트, 숨은 버그를 찾아내다
Deterministic Simulation Testing in Celld
Celld는 Cloudflare Workers와 Durable Objects를 자체 머신에서 실행하는 런타임으로, S3 호환 오브젝트 스토리지만 외부 의존성으로 사용한다. 분산 시스템의 버그는 특정 메시지 지연, 쓰기 실패, 노드 재시작 순서에 따라 발생해 재현이 어렵다. Celld는 결정론적 시뮬레이션 테스트(DST)를 도입해 동일한 시드로 실행 순서를 재현하고, 불변 조건을 검사해 알람 레이스 같은 미지의 버그를 찾아 수정했다. 시뮬레이터는 아직 개발 중이지만 이미 실제 버그를 잡아냈다.
시뮬레이터는 아직 개발 중이며 celld의 공개 저장소에는 포함되어 있지 않지만, 이미 이전에 알려지지 않은 버그를 찾아냈다.