2026년 7월 4일 분산 프로토콜은 단위 테스트할 수 없지만, 모델 검증은 할 수 있다 분산 버그는 배포 후 수정 비용이 많이 든다. 모델 검증을 사용하면 구현 코드를 한 줄도 작성하지 않은 상태에서 그 버그를 찾을 수 있다. 다음은 TLA+를 이용한 방법이다. model-checkingdistributed-systemstlaplusprotocol-design
2026년 6월 1일 웹 서비스에 그레이스풀 셧다운 경로가 있다. 그게 버그다. 크래시 온리 소프트웨어는 모든 실패를 크래시로, 모든 시작을 복구로 취급한다. 웹 서비스에 적용하면, 셧다운 로직을 삭제하고 kill -9를 견디는 상태를 설계하는 것을 의미한다. deep-divescrash-only-softwareresiliencedistributed-systems
