V언어로 만든 현대적 운영체제 Vinix, 결정적 동작 추구
Key Point
메모리 관리 방식과 시스템 설계를 통해 실행 결과의 재현성과 예측성을 보장하려는 OS의 철학을 이해할 필요가 있다.
핵심 요약
- Vinix는 V언어로 작성된 운영체제로, 실시간 OS는 아니지만 예측 가능한 동작을 목표로 설계했다.
- 커널에 가비지 컬렉터가 없고 수동 메모리 관리를 사용해 시스템 호출이나 인터럽트 핸들러가 중단되지 않으며, 메모리 사용량이 일정하게 유지된다.
- 한 배포판, 한 데스크톱, 한 init 시스템으로 통일해 같은 이미지를 부팅한 두 기계는 동일한 서비스를 같은 순서로 시작한다.
- 커널 서브시스템은 실제 난수가 아닌 시드된 의사난수로 테스트해, 페이지 캐시와 스토리지·키보드 드라이버 동작이 재현성 있게 실행된다.