SQLite에서 배운 신뢰성의 교훈 - Richard Hipp [유튜브]

장애가 잦던 Informix 서버를 우회해 디스크 데이터에 직접 접근하려는 필요에서 출발한 SQLite는 현재 1조 개 이상의 데이터베이스가 사용되는 것으로 추산되는 내장형 SQL 엔진으로 성장함 높은 신뢰성의 중심에는 기계어 수준의 모든 분기를 양방향으로 검증하는 100% MCDC 테스트, 의도적 오류 주입, 소스뿐 아니라 실제 배포 객체 코드까지 검사하는 원칙이 있음 대체 VFS·메모리 할당자·오류 시뮬레이션을 이용해 malloc 실패, I/O 오류, 스레드 생성 실패, 전원 차단을 재현하며 제품 자체를 처음부터 테스트 가능하게 설계함 TH3가 2009년 100% MCDC를 달성한 뒤 Android 등에서 들어오던 버그가 크게 줄었고, 세 명의 커미터만으로 대규모 리팩터링을 수행하면서 2009년 대비 성능을 3배 이상 높일 수 있었음 MCDC만으로는 퍼징·의미론적 오류·AI가 만든 병적 입력을 모두 찾을 수 없으므로 테스트 체계도 계속 진화해야 하며, 테스트 코드가 제품보다 10배 크거나 소스의 10~20%가 테스트 전용이어도 불필요한 비용으로 봐서는 안 됨 Informix 장애에서 시작된 SQLite 1990년대 Informix 데이터베이스를 사용하는 고객용 프로그램을 개발하면서, 서버가 중단될 때마다 애플리케이션이 데이터에 접근하지 못하고 사용자에게 오류 대화상자를 표시해야 했음 장애 원인은 나중에 시스템 관리자의 구성 문제로 추적됐지만, 사용자는 애플리케이션 개발자에게 버그를 보고함 서버를 거치지 않고 디스크의 데이터를 직접 읽자는 발상이 SQLite의 출발점이 됨 직접 데이터베이스 엔진을 만드는 일은 예상보다 어려웠지만, SQLite는 작동하지 않는 소프트웨어로 인한 문제를 없애려는 목적으로 발전함 SQLite의 구조와 확산 SQLite는 완전한 SQL 구현, ACID 트랜잭션, 전원 장애 안전성을 제공하는 C 라이브러리임 별도 서버 시스템이 아니라 애플리케이션에 포함되는 라이브러리임 데이터베이스 전체가 하나의 디스크 파일이며 복사하거나 이메일로 전달할 수 있음 파일 형식이 명확히 정의돼 있고 하위 호환성을 유지함 미국 의회도서관은 SQLite 데이터베이스 파일을 바이너리 데이터의 장기 보존에 적합한 선호 저장 매체로 지정함 모든 코드는 퍼블릭 도메인으로 공개되며, 현재 커미터는 Richard Hipp을 포함해 세 명임 배포 코드는 25만 줄이 넘는 단일 C 파일로 만들어짐 실제 개발은 여러 소스 파...