Nix 기반 결정론적 디버거로 경쟁 조건 추적

핵심 요약

• Rewind VM은 Nix 빌드의 모든 실행을 입력의 순수 함수로 만드는 결정론적 가상머신으로, 스레드 스케줄까지 동일하게 재현된다.
• 은행 계좌 입금 예시처럼 두 개 스레드가 경합할 때 발생하는 경쟁 조건을 찾아내기 위해 여러 스케줄 조합을 자동으로 시뮬레이션한다.
• 16코어 노트북에서는 1,000회 중 396회가 실패했지만, 단일 코어로 고정하면 1,000회 모두 성공하는 것으로 확인돼, 스케줄 변경의 중요성을 입증한다.
• rewind check 명령으로 정확히 어느 스텝에서 경쟁 조건이 발생하는지 이분탐색 방식으로 찾아낼 수 있고, 은행 예제는 11초 내에 문제 스텝(3237~3238)을 특정했다.
• Nix 파생물의 소스·컴파일러·라이브러리·커널이 모두 입력으로 기록되어 빌드의 완전한 재현성을 보장하며, 해시 기반 실행 ID로 관리된다.
• debuginfod 프로토콜을 통해 cache.nixos.org에서 디버그 정보와 소스를 자동 다운로드하므로 Linux 커널을 포함한 모든 바이너리의 소스 코드를 표시할 수 있다.
• rewind gdb 명령으로 기록된 실행의 특정 스텝에서 GDB를 포크하면 중단점·감시점 설정, 메모리·레지스터 검사 등이 가능하고 원본 기록은 변하지 않는다.
• rewind compare 도구로 두 실행을 비교하면 마지막 공유 이벤트와 첫 차이점이 명확히 드러나며, 측면 레이아웃으로 어느 값이 어떻게 달라졌는지 한눈에 볼 수 있다.
• 스레드 레인(thread lane) 표시로 각 스텝마다 정확히 어떤 스레드가 CPU를 점유했는지 추적할 수 있으며, 기록 재생으로 게스트 커널에 질의하기 때문에 추가 기록 오버헤드가 없다.
• 'Check from here' 기능으로 특정 스텝부터 시작해 여러 스케줄 분기를 생성하고 얼마나 많은 분기에서 결과가 달라지는지 통계를 낸다.
• 북마크 기능으로 타임라인의 특정 스텝에 노트를 남길 수 있고, 내보낸 .rwd 파일에 저장되어 다른 사람과 공유할 때 주석이 유지된다.
• 철학자 문제·데드락·신호 경쟁 조건·동시 파일 변경 등 다양한 경쟁 조건 사례가 플레이크 파생물로 제공된다.
• Nix 파생물의 입력·소스·디버그 심볼·라이브러리가 모두 자동 관리되므로, 결정론적 환경 위에서 디버거의 핵심 기능이 기본으로 구현되는 것이 Rewind의 강점이다.