"디버거를 만들었는데 절반은 Nix가 다 짜줬습니다"

요약 개발자 파리드 자카리아(Farid Zakaria)가 결정론적 가상머신(VM) 디버거인 'Rewind VM'을 개발하며 겪은 경험을 공유했습니다. Rewind VM은 Nix 빌드의 모든 실행을 입력값과 스레드 스케줄까지 포함해 완벽하게 순수 함수처럼 재현하는 도구로, Nix 빌드 중 발생하는 각종 동시성 버그(경쟁 상태, Race Condition)를 찾아내고 해결하기 위해 제작되었습니다. 작성자는 디버거에 소스 패널, 스택 프레임, 북마크, 비교 탭, gdb 연동, 스레드 실행 추적 등 새로운 기능을 추가할 때마다 큰 작업이 될 것이라 예상했으나, 실제로는 가장 어려운 작업의 상당 부분을 Nix가 이미 해결해 두었다는 사실을 발견했습니다. 디버거가 제대로 작동하려면 실행에 들어간 정확한 입력값, 디버그 심볼, 소스 코드 및 종속 라이브러리의 소스가 필요하고 이를 다른 머신에서도 동일하게 가져올 수 있어야 하는데, 이것이 바로 Nix의 파생(derivation)이 기본적으로 제공하는 핵심 가치이기 때문입니다. 글에서는 두 스레드가 하나의 계좌에 동시 입금하며 잔액 오류가 발생하는 전형적인 은행 입금 예제를 소개합니다. 16코어 노트북에서는 1,000번 실행 중 396번 잔액 누락이 발생했지만, 단일 코어로 고정할 경우 스케줄 전환이 일어나지 않아 한 번도 버그가 재현되지 않았습니다. Rewind VM은 스케줄을 임의로 흔드는(perturb) 방식을 통해 단 11초 만에 3,237번째 스텝에서 스케줄 재조정이 일어나며 실행이 실패로 분기한다는 점을 정확히 짚어냈습니다. 이 과정에서 Nix 덕분에 두 가지를 공짜로 얻었다고 설명합니다. 첫째는 '입력값의 완전한 재현성'으로, 소스·컴파일러·라이브러리·커널 정보를 읽기 전용 erofs 이미지로 패키징해 동일 환경을 보장합니다. 둘째는 '모든 심볼과 소스 코드의 자동 연동'입니다. nixpkgs가 별도 디버그 정보(separateDebugInfo)를 빌드하고 캐시하므로 debuginfod를 통해 리눅스 커널을 포함한 모든 바이너리의 소스를 즉시 확인할 수 있습니다. 나아가 특정 스텝의 포크에서 원본 기록을 손상하지 않고 gdb를 붙여 변수를 추적하거나 필요한 패키지를 쉘로 띄워 점검할 수 있는 강력한 기능도 Nix의 클로저 덕분에 손쉽게 구현할 수 있었습니다.