모델 백테스트가 통과했어도 시세버스가 재시작 순서를 틀리면 자동집행은 안전할까? Jane Street는 강한 순서·신뢰성 보장을 가진 내부 저지연 공유 메시지버스 Aria에 unit, simulated network, Quickcheck, version skew, fuzz, nightly lab, staging chaos test를 겹쳐 쓴다. 특히 모의 network는 packet delay·drop과 시간을 결정론적으로 조작해 모든 build에서 edge case를 재현한다.
그 위에 Antithesis가 whole system을 결정론적 hypervisor 안에서 실행하고 scheduling·network 장애를 탐색한다. 첫 실행은 알려지지 않은 버그 두 개를 찾았고, 매일 최신 revision의 test run을 돌린다. 실패하면 직전 상태로 rewind해 다른 입력을 주거나 실제 tcpdump를 실행하며, snapshot 뒤 아직 차지 않은 ring buffer에서 과거 offset을 요청하는 세 조건의 결합을 찾아냈다.
이는 특정 거래모형의 알파나 kill switch 성과를 공개한 자료가 아니다. 그래도 AI 신호→위험 gate→주문 gateway 사이의 드문 순서오류를 검증하는 방법은 직접적이다. 국내 채권시스템은 service restart, packet loss, clock skew, stale snapshot과 version skew를 자동주입하고 오류 재현률·중복주문·halt 시간과 false halt를 regression 원장으로 남겨야 한다.
SCOPEJane Street 내부 메시지버스와 외부 testing service에 대한 회사 공식 사례다. 거래모형, 실주문 규모, 장애빈도, 지연수치나 P&L은 공개하지 않았고 첫 실행의 버그발견을 일반화할 수 없다.
Evidence & verification ↓Sources & evidence
Original passages appear only when checked against the publication. Earlier briefing records are identified separately.
Getting from tested to battle-tested3 primary · 0 archived +
Aria는 저지연 공유 메시지버스이며 여러 계층의 testing을 사용한다.
ORIGINAL PASSAGEa low-latency shared message busJane Street, Getting from tested to battle-tested, introduction and Testing everything you can think of, 3 December 2025, accessed 2026-10-27결정론적 whole-system 시험의 첫 실행에서 알려지지 않은 버그 2개가 발견됐다.
ORIGINAL PASSAGEsurfaced two previously unknown bugsJane Street, Getting from tested to battle-tested, Testing everything you did not think of, 3 December 2025, accessed 2026-10-27팀은 매일 최신 코드 revision으로 test run을 시작한다.
ORIGINAL PASSAGEeach night with the most recent revisionJane Street, Getting from tested to battle-tested, A real bug, 3 December 2025, accessed 2026-10-27Show the original briefing text
구분: Jane Street 공식 기술 글·저지연 분산시스템의 결정론적 chaos 검증
발표일: 2025년 12월 3일
선정 이유: 최신성보다 모델·에이전트가 의존하는 production 메시지 경로의 검증기법 때문에 선정했다. 채용공고가 아니다.
핵심 요약
Jane Street 원문은 강한 순서·신뢰성 보장을 가진 내부 저지연 메시지버스 Aria를 unit, simulated network, Quickcheck, version skew, fuzz, nightly lab, chaos test로 검증한다고 설명한다. 결정론적 hypervisor에서 scheduling·network 장애를 탐색하는 Antithesis 첫 실행은 알려지지 않은 버그 2개를 찾았고, 매일 최신 revision을 whole-system으로 시험해 실패 직전 상태를 rewind·replay한다. 거래모델이나 손익이 아니라 production 인프라 검증 사례다.
실무 시사점
AI fair-value나 자동집행의 kill switch는 모델 검증만으로 충분하지 않다. 시세버스 재시작, 지연·유실 패킷, 버전차이, 오래된 snapshot과 ring buffer 경계를 결정론적으로 주입해야 드문 순서오류를 재현할 수 있다. 같은 오류경로를 replay할 수 있어야 원인분석과 수정 전후 비교가 가능하다.
한국 시장 복제 아이디어
국채선물·현물 시세와 주문 gateway의 container snapshot을 구성하고 packet drop, clock skew, service restart, stale snapshot, version skew를 자동 주입한다. nightly 시나리오에서 invariant 위반, 중복·누락주문, kill-switch 시간, 재현률과 false halt를 측정하고 발견사례를 regression corpus에 추가한다.