Facebook은 반복 가능한 프로그램 실행을 위한 툴킷인 Hermit을 출시했습니다.

Facebook(러시아 연방에서는 금지됨)은 프로그램의 결정론적 실행을 위한 환경을 생성하는 Hermit 툴킷용 코드를 공개하여 여러 실행에서 동일한 결과를 얻고 동일한 입력 데이터를 사용하여 실행을 반복할 수 있도록 합니다. 프로젝트 코드는 Rust로 작성되었으며 BSD 라이센스에 따라 배포됩니다.

정상적인 실행 중에 결과는 현재 시간, 스레드 스케줄링, 가상 메모리 주소, 의사 난수 생성기의 데이터 및 다양한 고유 식별자와 같은 다양한 외부 요인의 영향을 받습니다. Hermit을 사용하면 이러한 요소가 후속 실행에서 일정하게 유지되는 컨테이너에서 프로그램을 실행할 수 있습니다. 환경의 비지속적 매개변수를 완전히 재현하는 반복 실행은 오류 진단, 반복 실행을 통한 다단계 디버깅, 회귀 테스트를 위한 고정 환경 생성, 스트레스 테스트, 멀티스레딩 문제 식별 및 반복 가능 환경에 사용할 수 있습니다. 시스템을 구축하세요.

재현 가능한 환경은 시스템 호출을 가로채서 생성되며, 그 중 일부는 영구적인 결과를 생성하는 자체 핸들러로 대체되고 일부는 커널로 리디렉션된 후 결과에서 비영구 데이터가 지워집니다. 시스템 호출을 가로채기 위해 Reverie 프레임워크가 사용되며 그 코드는 Facebook에서도 게시됩니다. 파일 시스템 변경 및 네트워크 요청이 실행 진행에 영향을 미치지 않도록 하기 위해 고정된 FS 이미지를 사용하고 외부 네트워크에 대한 액세스가 비활성화된 상태로 실행이 수행됩니다. 의사 난수 생성기에 액세스할 때 Hermit은 실행될 때마다 반복되는 미리 정의된 시퀀스를 생성합니다.

실행 진행에 영향을 미치는 가장 복잡한 변수 중 하나는 스레드 스케줄러입니다. 스레드 스케줄러의 동작은 CPU 코어 수, 다른 실행 스레드의 존재 여부 등 다양한 외부 요인에 따라 달라집니다. 스케줄러의 반복 가능한 동작을 보장하기 위해 모든 스레드는 단 하나의 CPU 코어와 연결되어 직렬로 실행되고 제어가 스레드로 전송되는 순서를 유지합니다. 각 스레드는 고정된 수의 명령을 실행할 수 있으며, 그 후에는 실행이 중지되고 다른 스레드로 전송됩니다(지정된 수의 조건 분기 후에 실행을 중지하는 CPU PMU(성능 모니터링 장치)를 제한하기 위해).

경쟁 조건으로 인한 스레드 문제를 진단하기 위해 Hermit에는 실행 순서가 잘못되어 비정상 종료를 초래한 작업을 식별하는 모드가 있습니다. 이러한 문제를 파악하기 위해 올바른 동작과 비정상적인 실행 종료를 기록한 상태를 비교합니다.

출처 : opennet.ru