System-Design(시스템설계)
5 posts
[Programming] TLA+ 형식 검증 — 코드를 짜기 전에 버그부터 찾는 법
[Computer Terms] Write-Through와 Write-Back
[Computer Terms] 멀티레벨 캐싱 (Multi-Level Caching)
[Computer Terms] 제로 트러스트 보안 모델 (Zero Trust)
[Computer Terms] CAP 정리와 합의 알고리즘 (CAP Theorem, Consensus)
Home