PRINCIPLES · IMPLEMENTATION · OPERATIONS

기술 지식

기본 개념에서 구현과 운영 판단까지 이어지는 500개 지식노트입니다. 분야별 경로로 시작하거나 전체 트리에서 필요한 개념을 찾을 수 있습니다. 질문은 선택 연습이며, 노트의 구성 기준은 기술과 선행 지식입니다.

원리와 버전별 API 계약을 구분합니다. 자료 확인일이 있는 문서도 실제 실행 검증을 뜻하지 않으며, 대상 버전·가정·실행 범위는 각 문서의 참고 자료에서 확인할 수 있습니다.

분야별 학습 경로

각 경로는 시작 순서입니다. 모든 API를 한꺼번에 익힐 필요는 없으며, 실행 환경과 목적에 맞는 기술부터 선택할 수 있습니다.

서버 입출력10개 문서

소켓의 기본 동작에서 운영체제별 이벤트 루프와 버퍼 수명으로 이어집니다.

  1. 소켓 I/O 기초
  2. 서버 I/O 모델 선택과 이식
  3. Linux epoll 이벤트 루프
  4. BSD·macOS kqueue 이벤트 모델
  5. io_uring 제출과 완료
  6. io_uring 버퍼 수명과 종료
  7. IOCP 수신·완료 처리
  8. Windows RIO 등록 버퍼와 큐
  9. Linux epoll과 io_uring 경계 실습
  10. Windows IOCP·RIO 루프백 실습
객체 수명과 동기화8개 문서

소유 그래프와 공유 상태를 구분하고 안전한 참조 획득·종료를 설계합니다.

  1. 프로그래밍 언어 기초
  2. 객체 참조 카운팅과 소유권
  3. 동기화 기초와 도구 선택
  4. 동시 참조 획득과 안전한 회수
  5. 원자 플래그의 공개와 객체 수명
  6. Lock-free 노드의 ABA와 안전한 회수
  7. 비동기 작업의 수명과 취소
  8. C++ 소유권과 동기화 실습
트리와 길찾기8개 문서

트리 순회와 그래프 비용 모델을 익힌 뒤 실제 이동과 다중 에이전트로 확장합니다.

  1. 트리 구조와 순회 알고리즘
  2. 공간 트리와 BVH
  3. 길찾기 모델과 알고리즘 선택
  4. Dijkstra의 비음수 간선과 거리 확정
  5. A*의 허용성·일관성과 올바른 종료
  6. 실시간 길찾기 구현과 운영
  7. Flow Field와 다중 에이전트 이동
  8. 증분 경로 탐색 실습과 불변식
복셀 월드7개 문서

원본 저장·표면 생성·충돌·이동 공간의 서로 다른 책임을 연결합니다.

  1. 게임 서버 기초
  2. 복셀 저장·메시·충돌 파이프라인
  3. 복셀 점유·재질·동적 Overlay와 희소 저장
  4. Voxel DDA의 경계 시간과 Supercover
  5. 경로 공간·모서리 이동·Agent Clearance
  6. 청크 경계·Halo·파생 데이터의 Version Bundle
  7. 복셀 경계와 Recast Tile 수명 실습
인증과 권한 위임8개 문서

OAuth의 권한 위임과 OIDC의 인증을 나누고 제품 배치·갱신·회수를 다룹니다.

  1. 보안 기초
  2. OAuth 2.0 권한 위임
  3. OpenID Connect 인증
  4. OAuth·OIDC 실무 배치와 운영
  5. OAuth·OIDC 로그인 거래
  6. 갱신 토큰 회전의 원자성과 응답 유실
  7. 서명키·API 키의 중첩 교체와 긴급 회수
  8. OAuth·OIDC 방어 실습
서비스 아키텍처9개 문서

모듈 경계에서 출발해 분산 주문·중복 처리·배포와 장애 복구를 설계합니다.

  1. 소프트웨어 설계 기초
  2. REST와 반응형 처리의 기초
  3. 마이크로서비스 아키텍처 기초
  4. 마이크로서비스 주문 처리
  5. 트랜잭셔널 아웃박스
  6. 소비자 Inbox의 단일 효과와 사건 정체성
  7. 마이크로서비스 배포와 장애 운영
  8. 로컬 다중 프로세스 주문 사가 실습
  9. DNS와 프록시 분산의 경계 실습
Kafka와 Pulsar9개 문서

로그와 구독의 기본 모델을 이해하고 생산·소비 구현과 운영 보장을 비교합니다.

  1. 데이터 시스템 기초
  2. Kafka 아키텍처와 로그
  3. Kafka 생산자·소비자 구현
  4. Kafka 운영과 변경 관리
  5. Kafka 소비·파일 inbox 실습
  6. Pulsar 아키텍처와 구독
  7. Pulsar 전달·재처리 구현
  8. Pulsar 운영과 Kafka 비교
  9. Pulsar producer·consumer 실습
자료구조·데이터·언어 기반11개 문서

알고리즘 선택과 데이터 모델, Java의 자료구조·공개 경계를 연결합니다.

  1. 컴퓨터 과학 기초
  2. 기본 정렬 알고리즘과 선택
  3. 알고리즘 설계 전략과 증명
  4. 데이터 모델과 트랜잭션 기초
  5. 프로그래밍 언어 기초
  6. Java 컬렉션과 자료구조 선택
  7. Java 접근 제어와 타입 경계
  8. Java 접근 경계와 컬렉션 순회 실습
  9. 비교 정렬 다섯 가지의 계약과 추적
  10. 운영체제 스케줄링과 실행 상태 실습
  11. CPython GIL 빌드와 확장 참조 안전성
클라이언트와 모델 학습7개 문서

플랫폼 실행·호환성·저장과 데이터 기반 학습의 기본 흐름을 살펴봅니다.

  1. 웹·모바일 클라이언트 기초
  2. 웹 플랫폼·호환성·빌드 도구
  3. iOS 실행·소유권·저장소 기초
  4. 머신러닝·AI 에이전트 기초
  5. 선형회귀와 학습 과정
  6. 웹 플랫폼 렌더링 관찰 실습
  7. Swift 초기화·ARC와 Objective-C 소유권·레이아웃·저장소 실습
CPU와 커널13개 문서

명령 실행과 캐시에서 인터럽트·동기화·신호·파일시스템으로 이어집니다.

  1. CPU 명령어 파이프라인과 해저드
  2. 분기 예측과 추측 실행의 정확성
  3. CPU 캐시 계층의 연관도와 교체
  4. MESI 캐시 일관성과 메모리 일관성
  5. 인터럽트·softirq·지연 실행
  6. Linux futex의 빠른 경로와 느린 경로
  7. 우선순위 역전과 우선순위 상속
  8. 프로세스 신호 마스크와 async-signal-safety
  9. exec 환경과 디스크립터 상속
  10. ELF 정적·동적 링크와 relocation
  11. 파일시스템 inode·hard link·symbolic link
  12. 파일시스템 저널링과 데이터 모드
  13. Direct I/O 정렬과 buffered I/O 경계
네트워크 프로토콜13개 문서

링크와 주소 해석에서 전송 복구·경로 이동·웹 프로토콜로 이어집니다.

  1. Ethernet 스위칭의 MAC 학습과 VLAN 경계
  2. ARP 이웃 발견과 주소 해석
  3. IPv4 CIDR와 최장 접두사 라우팅
  4. IPv6 주소 범위와 Neighbor Discovery
  5. ICMP 오류 전파와 traceroute 해석
  6. DHCP 임대 갱신과 주소 충돌
  7. TCP RTT 추정과 재전송 타이머
  8. TCP SACK 복구와 재정렬
  9. TCP 혼잡 제어의 slow start와 AIMD
  10. QUIC Connection ID와 경로 이동 검증
  11. DNSSEC 신뢰 사슬과 검증 범위
  12. HTTP 콘텐츠 인코딩 협상
  13. WebSocket upgrade와 마스킹·fragmentation
문자열과 그래프13개 문서

접두 구조·연결 요소·최단 경로·매칭·유량을 상태 추적으로 학습합니다.

  1. KMP 접두 함수와 문자열 검색
  2. Z 함수와 접두 일치 구간
  3. Aho-Corasick 다중 패턴 자동자
  4. Suffix Array와 LCP 기반 부분 문자열 검색
  5. 롤링 해시와 충돌 검증
  6. 강한 연결 요소와 응축 DAG
  7. Bridge·Articulation Point와 Low-Link
  8. Bellman-Ford와 도달 가능한 음수 사이클
  9. Floyd-Warshall 전쌍 최단 경로 DP
  10. 이분 매칭과 증가 경로
  11. 최대 유량의 잔여 그래프와 최소 컷
  12. 가중 구간 스케줄링 DP
  13. Binary Lifting LCA
저장 엔진과 SQL13개 문서

로그 구조와 열 저장에서 SQL 연산·데이터 표현·복구로 이어집니다.

  1. LSM memtable·SSTable 읽기·쓰기 증폭
  2. Leveled·tiered compaction 선택
  3. 컬럼 저장 압축·벡터화 실행
  4. Nested loop·Hash·Merge Join 선택
  5. 재귀 CTE 종료·순환 처리
  6. Window ROWS·RANGE·GROUPS frame
  7. Decimal·부동소수점·금액 연산
  8. Collation sort key와 버전 변경
  9. PostgreSQL XID wraparound·freeze
  10. PostgreSQL TOAST 대형 값 저장
  11. SQLite 단일 writer·WAL checkpoint
  12. Object storage Erasure Coding 복구 비용
  13. Parquet Row Group·Page·Predicate Pushdown
언어 타입과 실행13개 문서

Rust·C++·Java·Python·Go·TypeScript의 타입·수명·초기화 경계를 비교합니다.

  1. Rust 소유권·Borrowing·Lifetime
  2. Rust Send·Sync 스레드 계약
  3. Rust Trait Object와 Generic Monomorphization
  4. Rust Future Polling과 Pinning
  5. C++ Concepts·제약·진단
  6. C++ span·string_view Borrowed View
  7. C++ Copy Elision과 Prvalue Materialization
  8. Java 클래스 초기화 순서와 실패 상태
  9. Java try-with-resources와 Suppressed Exception
  10. Python Descriptor와 Attribute Lookup 우선순위
  11. Python import Cache와 부분 초기화
  12. Go Panic·Recover와 Defer 경계
  13. TypeScript 구조적 타입·Narrowing·런타임 검증
플랫폼 격리와 제어13개 문서

컨테이너 격리와 Kubernetes 제어에서 인프라 변경·빌드 신뢰로 이어집니다.

  1. 컨테이너 네임스페이스의 프로세스·네트워크·마운트 격리
  2. Linux capabilities의 권한 분할과 실행 전파
  3. seccomp syscall 필터의 실행 경계
  4. OCI 이미지 레이어의 whiteout과 copy-on-write
  5. cgroup v2 계층 위임과 controller 경계
  6. Kubernetes CRD schema 변환과 storage version
  7. Kubernetes admission webhook의 실패와 멱등성
  8. Kubernetes watch의 resourceVersion·relist·bookmark
  9. Kubernetes scheduler의 taint·toleration·affinity 배치
  10. Kubernetes CronJob의 동시성·deadline·시간대
  11. Kubernetes EndpointSlice의 readiness·terminating·serving
  12. Terraform state·plan·apply와 drift·locking
  13. CI build provenance·SBOM·artifact 서명
암호와 신뢰 경계13개 문서

위협 모델·암호·키 계층에서 위임·로그아웃·행별 인가로 확장합니다.

  1. 자산·신뢰 경계·STRIDE 위협 모델링
  2. AEAD nonce·associated data 계약
  3. DEK·KEK 봉투 암호화와 회전
  4. HMAC 서명 canonicalization·키 분리
  5. 암호학적 난수·엔트로피·토큰
  6. Certificate Transparency·ACME 인증서 수명
  7. OAuth DPoP sender-constrained 토큰
  8. OAuth PAR·JAR 요청 무결성
  9. OAuth Token Exchange의 subject·actor 위임
  10. OIDC 로그아웃과 세션 상관관계 한계
  11. WebAuthn 등록·attestation 신뢰
  12. Trusted Types와 DOM XSS sink
  13. 멀티테넌트 Row-Level Security 정책
브라우저와 앱 수명13개 문서

브라우저 저장·캐시·레이아웃과 Swift 격리·화면 상태 수명을 연결합니다.

  1. IndexedDB 트랜잭션과 버전 업그레이드
  2. Service Worker 수명과 캐시 버전 배포
  3. Cache Storage와 HTTP 캐시의 경계
  4. bfcache 복원과 페이지 수명
  5. Passive 이벤트 리스너와 스크롤 기본 동작
  6. IntersectionObserver·ResizeObserver 전달 피드백
  7. CSS Grid의 intrinsic sizing과 minmax
  8. CSS Flexbox의 자동 최소 크기와 shrink
  9. 접근 가능한 모달의 포커스 복원
  10. Swift actor의 재진입과 격리
  11. Swift Sendable과 구조적 작업 전달
  12. iOS background URLSession 작업 복원
  13. SwiftUI identity와 상태 수명
시뮬레이션과 복제13개 문서

ECS·회전·결정성에서 상태 복제·rollback·경로·매칭으로 이어집니다.

  1. ECS Archetype·Sparse Set 구조 변경
  2. Quaternion 회전 보간·정규화
  3. 부동소수점 결정적 시뮬레이션의 한계
  4. Snapshot 보간·Jitter Buffer
  5. Delta Compression 기준 Snapshot·ACK 복구
  6. Entity ID·Generation·Replication 수명
  7. Rollback Netcode·Input Delay·Replay
  8. 결정적 난수 스트림과 시뮬레이션 Replay
  9. NavMesh Funnel Corridor·Waypoint 추출
  10. ORCA Reciprocal Velocity Obstacle 회피
  11. Morton Code 공간 지역성과 범위 질의
  12. Matchmaking Rating 불확실성과 Queue 확장
  13. 게임 Inventory Item Identity·Stacking·Transaction
학습 모델과 검색13개 문서

분류·군집·확률 보정에서 임베딩·검색 결합·attention으로 이어집니다.

  1. 로지스틱 회귀의 로짓과 교차 엔트로피
  2. 결정 트리의 불순도·분할·가지치기
  3. 랜덤 포레스트의 배깅과 특성 부분공간
  4. 그래디언트 부스팅의 순차 잔차 적합
  5. 특징 스케일링과 표준화 통계 누출
  6. PCA의 공분산 고유벡터와 설명 분산
  7. K-means 초기화·거리·군집 품질
  8. 확률 보정의 신뢰도와 Brier 점수
  9. 임베딩의 코사인 유사도와 정규화
  10. HNSW 그래프 구성과 검색 재현율
  11. BM25의 용어·문서 통계와 길이 정규화
  12. 하이브리드 검색의 RRF와 재랭킹
  13. Transformer attention mask와 KV 캐시 추론

전체 지식 트리

문서 목록

AI 에이전트

AI 에이전트

원격 에이전트의 Task·산출물·위임 신뢰

MCP 기능 호출과 A2A 목표 위임을 비교하고 message/task/artifact·입력 대기·재구독·종결·취소와 Agent Card·재위임·데이터 최소화를 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

저장소 문맥과 브라우저 행동의 Grounding

호출 경로·사용자 변경·최소 diff·회귀를 확인하고 좌표/DOM/접근성 정보의 최신성·대상 식별·승인된 UI 값·실제 서버 결과를 검증합니다.

5개 섹션 · 그림 1개
AI 에이전트

실행을 이어가는 문맥·압축·장기 Harness

현재 결정에 필요한 입력을 선택하고 출처·권한·버전·미확정 상태를 압축에 보존하며 세션 시작 기준선과 요구별 검증 증거를 관리합니다.

5개 섹션 · 그림 1개
AI 에이전트

검증 가능한 위임과 동시 편집의 통합

의존 그래프·독립 증거·위임 범위/반환 계약·고정 인터페이스를 정하고 worktree·기준 버전·의미 충돌·최종 통합 검증을 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

에이전트 Outcome·채점기·평가 오염

과제·trial·trace·outcome과 안전한 성공을 구분하고 코드/모델/사람 채점·rubric 편향·격리·개발/최종 평가·운영 대표성을 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

에이전트의 관찰·계획·실행·종료 경계

고정 워크플로와 관찰 기반 선택을 나누고 호출 상관관계·완료 증거·부분 재계획·공유 예산·진전 조건을 실행기에 연결합니다.

5개 섹션 · 그림 1개
AI 에이전트

MCP 토큰의 대상·발급자·실행 권한

HTTP OAuth의 resource·audience·issuer·PKCE·요청별 token 전달과 scope·대상 소유권·step-up·STDIO 자격 경계를 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

MCP 역할·기본 요소·리비전별 실행 계약

host/client/server와 tools/resources/prompts를 구분하고 2026-07-28의 요청별 계약·discovery·MRTR·tasks 확장·연결 중단·혼합 버전 검증을 설명합니다.

6개 섹션 · 그림 1개
AI 에이전트

도구 검색·Skills·프로그램형 조합

후보 발견과 schema 로딩·실행을 나누고 Skills의 점진 로딩·선택 오류·스크립트 호환·대량 결과의 페이지/단위/부분 실패를 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

에이전트형 검색과 주장별 근거 검증

미해결 질문에 따른 검색·반례·원문 조회를 설계하고 인용 존재와 뒷받침·버전·분모·추정·독립 출처를 구분합니다.

5개 섹션 · 그림 1개
AI 에이전트

검색 근거의 인가와 외부 전송 경계

검색 후보·원문·재랭킹·파생 캐시의 ACL과 철회를 연결하고 읽기와 외부 전송 권한·목적지·최소화·간접 유출 경로를 구분합니다.

5개 섹션 · 그림 1개
AI 에이전트

모델 라우팅·캐시·성공당 전체 비용

과제별 모델 기능·검증 신호·fallback 권한을 정하고 prompt/response cache·critical path·모든 실패와 하위 사용량·관측 정보 최소화를 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

에이전트 Sandbox와 도구·지침 공급망

파일·네트워크·자격·커널·자원·작업 수명을 격리하고 코드뿐 아니라 설명·schema·스킬·캐시·진행 작업의 변경과 회수를 관리합니다.

4개 섹션 · 그림 1개
AI 에이전트

반복 신뢰도와 추가 추론의 한계 효용

pass@k·모든 시도 성공·과제별 집계·상관 오류와 선택기를 구분하고 후보 탐색·평가 수정·회귀 보존·동일 예산 비교를 설명합니다.

5개 섹션 · 그림 1개
AI 에이전트

AI 에이전트 실행 루프의 책임 분리

모델의 도구 호출 제안이 실제 실행과 검증을 거치는 과정을 따라가며 실행기의 상태·권한·종료 조건을 설계합니다.

8개 섹션 · 그림 1개

알고리즘

알고리즘

A*의 허용성·일관성과 올바른 종료

허용적 휴리스틱과 일관성의 차이를 재확장 사례로 추적하고 목표를 언제 최단 경로로 확정해도 되는지 설명합니다.

7개 섹션 · 그림 1개
알고리즘

이진 탐색과 경계 불변식

lower_bound와 upper_bound를 반열린 구간과 루프 불변식으로 구현하고 증명합니다.

7개 섹션 · 그림 1개
알고리즘

Dijkstra의 비음수 간선과 거리 확정

비음수 가중 그래프에서 완화와 우선순위 큐의 최소 후보 추출이 언제 최단 거리를 확정하는지 작은 그래프로 추적합니다.

6개 섹션 · 그림 1개
알고리즘

동적 계획법의 상태와 탐욕 반례

동전과 배낭의 반례에서 출발해 미래 선택에 충분한 상태, 점화식·역추적·갱신 방향과 의사 다항 비용을 설명합니다.

6개 섹션 · 그림 1개
알고리즘

Fenwick tree의 구간 합과 점 갱신

최하위 비트가 가리키는 저장 구간을 그려 보고 prefix 조회와 delta 갱신을 같은 배열에서 추적합니다.

7개 섹션 · 그림 1개
알고리즘

Fisher–Yates 셔플과 중복 없는 덱

남은 후보에서 마지막 자리를 확정하는 교환을 따라가며 균등 순열의 근거와 새로고침·주기 전환 정책을 구분합니다.

6개 섹션 · 그림 1개
알고리즘

BFS의 층별 탐색과 최단 거리

동일한 이동 비용에서 큐의 층 순서와 방문 시점이 최단 거리와 부모 복원을 어떻게 보장하는지 작은 그래프로 추적합니다.

7개 섹션 · 그림 1개
알고리즘

단조 스택과 다음 큰 원소

아직 답을 못 찾은 인덱스를 모아 한 번씩 제거하면서 첫 큰 값의 위치와 선형 전체 비용을 증명합니다.

6개 섹션 · 그림 1개
알고리즘

퀵소트의 분할과 최악 시간

피벗으로 구간을 분할하는 불변식부터 3-way partition, 재귀 종료, introsort까지 살펴봅니다.

9개 섹션 · 그림 1개
알고리즘

계수 정렬과 기수 정렬의 키 표현

안정적인 자리별 분배를 추적하고 값 범위·부호 비트·가변 길이 문자열의 종료 규칙과 메모리 비용을 설명합니다.

6개 섹션 · 그림 1개
알고리즘

길이를 모르는 스트림의 균등 표본

K개 슬롯만 유지하는 reservoir sampling의 교체 확률을 추적하고 포함 확률·중복 값·종료와 재현 조건을 구분합니다.

6개 섹션 · 그림 1개
알고리즘

단조 덱과 이동 구간 최댓값

만료된 앞 후보와 새 값에 밀린 뒤 후보를 따로 제거하며 길이 K의 구간 최댓값을 선형 시간에 유지합니다.

6개 섹션 · 그림 1개
알고리즘

위상 정렬과 순환 의존 진단

진입 차수 0인 작업을 제거하는 과정을 따라가며 유효 순서·순환에 막힌 노드·실제 작업 실행의 차이를 설명합니다.

6개 섹션 · 그림 1개
알고리즘

나머지 편향 없는 균등 정수 추출

8개 원천 값을 3개 후보로 매핑하는 반례에서 시작해 거절 추출의 경계와 정수 표현·실패 정책을 설명합니다.

6개 섹션 · 그림 1개
알고리즘

누적 가중치 표본 추출

정수 가중치를 구간 길이로 바꾸어 추출하고 복원·비복원·최근 노출 제한이 서로 다른 분포를 만드는 이유를 설명합니다.

6개 섹션 · 그림 1개
알고리즘

0-1 BFS의 덱 순서와 거리 갱신

비용 0인 간선을 앞에, 1인 간선을 뒤에 넣는 이유를 Dijkstra의 최소 후보 원리와 연결하고 첫 발견 방문 표시의 반례를 추적합니다.

5개 섹션 · 그림 1개
알고리즘

Aho-Corasick 다중 패턴 자동자

Trie와 실패 링크·출력 링크를 결합해 한 번의 텍스트 순회로 여러 패턴의 출현을 보고합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

Binary Lifting LCA

루트 트리의 2의 거듭제곱 조상 표와 입출입 시각으로 LCA 질의를 로그 시간에 처리합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

이분 매칭과 증가 경로

현재 매칭을 번갈아 뒤집는 증가 경로로 최대 카디널리티를 확인하고 방문 표식·분할 방향을 다룹니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

Bridge·Articulation Point와 Low-Link

DFS의 discovery time과 low-link로 연결을 끊는 간선·정점을 판정하고 루트·평행 간선 예외를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

Floyd-Warshall 전쌍 최단 경로 DP

허용 중간 정점 집합을 한 단계씩 늘리는 3중 루프와 음수 대각선 해석을 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

KMP 접두 함수와 문자열 검색

접두-접미 겹침을 재사용해 단일 패턴을 선형 시간에 찾는 구조와 스트리밍 경계를 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

최대 유량의 잔여 그래프와 최소 컷

잔여 용량·역간선·증가 경로의 반복이 최대 유량과 최소 컷 증명으로 이어지는 경계를 추적합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

롤링 해시와 충돌 검증

prefix hash로 부분 문자열 비교를 빠르게 만들되 충돌을 동일성 증명으로 오인하지 않는 검증 경계를 다룹니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

강한 연결 요소와 응축 DAG

서로 도달 가능한 정점 묶음을 축약해 순환 내부와 순환 사이의 DAG 의존성을 분리합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

가중 구간 스케줄링 DP

겹치지 않는 구간의 최대 가중 합을 predecessor와 선택·비선택 점화식으로 계산하고 복원합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

Z 함수와 접두 일치 구간

각 위치에서 시작하는 접두 일치 길이와 [l,r) 구간 재사용으로 선형 문자열 검색을 구성합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
알고리즘

알고리즘 설계 전략과 증명

문제의 상태와 불변식을 먼저 정하고 동적 계획법·탐욕법·분할 정복을 구분하며 정렬·탐색 알고리즘의 정확성과 비용을 증명하는 흐름을 설명합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
알고리즘

길찾기 모델과 알고리즘 선택

이동 공간을 상태와 비용으로 정확히 모델링하고 Grid·NavMesh·Voxel에서 BFS·Dijkstra·A*를 선택하는 기준을 작은 예제로 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
알고리즘

증분 경로 탐색 실습과 불변식

의존성 없는 Python 실습으로 BFS·Dijkstra·A*의 기준 결과와 LPA*·D* Lite의 g·rhs·km 갱신을 비교하고 동적 간선 변경과 양수 비용 경로 복원 안전성을 검증합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-18
알고리즘

기본 정렬 알고리즘과 선택

정렬의 결과 계약과 데이터 형태를 먼저 고정한 뒤 기본 비교 정렬과 키 기반 정렬을 workload에 맞게 선택하고 운영 중 검증하는 방법을 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-17
알고리즘

비교 정렬 다섯 가지의 계약과 추적

병합·힙·삽입·선택·버블 정렬을 같은 비교 계약과 trace로 구현하고 안정성·다중집합·최악 입력을 실행 가능한 테스트로 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-18

동시성

동시성

동시 실행·대기열 제한

처리량이 포화된 DB 앞에서 실행 허가·대기 개수·바이트·기한을 따로 제한하고 거절 뒤 재시도까지 제어합니다.

7개 섹션 · 그림 1개
동시성

비동기 대기와 계정별 직렬 실행

future·코루틴·Go park의 대기 자원을 구분하고 콜백 직렬화와 작업 전체 원자성, 두 계정 조정의 차이를 설명합니다.

6개 섹션 · 그림 1개
동시성

원자 플래그의 공개와 객체 수명

release·acquire가 연결되는 값을 추적하고 C++20 release sequence·refcount·복합 상태·재사용 버퍼의 별도 조건을 설명합니다.

6개 섹션 · 그림 1개
동시성

비동기 작업의 수명과 취소

응답 종료·취소 요청·실제 종료를 구분하고 자식 작업·허가·버퍼를 한 수명으로 관리합니다.

8개 섹션 · 그림 1개
동시성

조건 변수와 공유 큐

알림을 받고도 큐가 비는 실행 순서에서 출발해 조건식·잠금·대기 진입·종료 수명을 하나의 규칙으로 연결합니다.

7개 섹션 · 그림 1개
동시성

교착 상태와 대기 그래프

두 계정 잠금과 실행기 고갈의 대기 고리를 그려 보고, 잠금 순서·타임아웃·재시도가 각각 해결하는 범위를 구분합니다.

6개 섹션 · 그림 1개
동시성

Lock-free 노드의 ABA와 안전한 회수

링크 제거·주소 재사용·역참조를 분리하고 hazard 게시 재검사·epoch 지연·진행 보장의 범위를 설명합니다.

6개 섹션 · 그림 1개
동시성

세마포어 허가의 획득·취소·반환

상호 배제와 동시 실행 제한을 나누고 acquire 전후 취소 경쟁·단일 반환·실제 작업 종료와 대기 상한을 설명합니다.

5개 섹션 · 그림 1개
동시성

우선순위 역전과 우선순위 상속

낮은 우선순위 보유자가 중간 우선순위 작업에 선점되어 높은 우선순위 작업을 막는 상황과 PI 전파·해제를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
동시성

동시 참조 획득과 안전한 회수

유효한 소유 참조의 원자 증감과 raw pointer 승격을 분리하고 hazard·epoch 회수와 lock-free 진행성의 실제 경계를 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
동시성

C++ 소유권과 동기화 실습

C++17에서 shared·weak 순환, 종료 가능한 bounded queue, 결정적 대기 순서, 참조 카운트 상태와 ABA의 경계를 직접 실행합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-18
동시성

객체 참조 카운팅과 소유권

strong·weak 소유 그래프와 shared·intrusive 구현을 따라가며 순환 참조, 마지막 해제, 객체 회수의 경계를 설명합니다.

8개 섹션 · 그림 2개 · 자료 대조 2026-09-17
동시성

동기화 기초와 도구 선택

mutex·condition variable·semaphore·read/write lock의 상태 계약을 비교하고 공유 큐와 종료 흐름에서 올바른 선택을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-17

자료구조

자료구조

검색 트리의 회전과 색 균형 복구

BST의 순서와 높이를 분리하고 회전의 중위 순서 보존, AVL·Red-Black의 차이와 검정 삭제 복구를 설명합니다.

6개 섹션 · 그림 1개
자료구조

블룸 필터의 부재 판단과 갱신 경계

작은 비트 배열에서 거짓 양성을 만들고 용량·삭제·재구축의 전제를 통해 DB 조회를 안전하게 생략하는 조건을 설명합니다.

7개 섹션 · 그림 1개
자료구조

캐시 입장·퇴거·만료 정책

순차 스캔이 LRU를 오염시키는 과정을 따라가며 LFU 감쇠, 크기·비용 기반 입장과 샤드 용량 편중을 설명합니다.

7개 섹션 · 그림 1개
자료구조

이진 힙과 우선순위 큐

부분 순서, push·pop·heapify, 동점·갱신·취소 정책을 실제 배열 표현으로 익힙니다.

7개 섹션 · 그림 1개
자료구조

배열·리스트의 위치 탐색과 변경 비용

중간 삽입의 위치를 찾는 비용과 실제 이동·링크 변경을 나누고 포인터 배열·deque·순서 통계 트리의 선택 기준을 설명합니다.

6개 섹션 · 그림 1개
자료구조

스택·원형 큐와 실행 순서의 경계

undo·redo의 분기와 원형 큐의 head·tail·count를 추적하고 자료구조 인출 순서가 실제 완료를 보장하지 않는 이유를 설명합니다.

5개 섹션 · 그림 1개
자료구조

타이밍 휠의 슬롯·회전 수·실행 예산

만료 시각을 슬롯에 배치하고 절대 기한을 다시 확인하는 과정을 추적하며 계층형 cascade·취소·만료 집중의 비용을 설명합니다.

6개 섹션 · 그림 1개
자료구조

상위 K와 전역 순위의 서로 다른 상태

크기 K 힙과 샤드 후보 병합의 근거를 설명하고 사용자 중복·동점·점수 감소·Redis 정밀도·보상 확정의 경계를 구분합니다.

6개 섹션 · 그림 1개
자료구조

Trie의 접두 경로와 메모리 비용

공통 접두 경로와 키 종료를 구분하며 검색·삭제·압축 경로·결과 제한과 문자열 정규화의 계약을 설명합니다.

6개 섹션 · 그림 1개
자료구조

Union-Find의 대표자와 되돌리기

크기 기반 병합과 경로 압축을 부모 배열로 추적하고 연결 경로·삭제·rollback이 별도 계약인 이유를 설명합니다.

6개 섹션 · 그림 1개
자료구조

공간 트리와 BVH

공간을 분할하는 옥트리와 객체 경계를 묶는 BVH를 구별하고 보수 후보 질의, 큰 객체, refit·rebuild, 동시 전환과 수명 계약을 설명합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17
자료구조

트리 구조와 순회 알고리즘

트리의 관계 어휘와 높이 불변식을 고정한 뒤 네 가지 순회의 사건 순서, 상태 추적, 오류 반환, 독자 수명을 하나의 예제로 설명합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17

데이터베이스

데이터베이스

파일 저장의 거래 책임과 DB 권위 전환

파일 잠금·원자 교체·복구 로그와 DBMS 책임을 나누고 snapshot·증분 변경·삭제·키 매핑·전환 장벽·역전환 손실을 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

함수 종속·후보키·기간별 식별의 설계

샘플 유일성과 영속 제약을 구분하고 속성 폐포·최소 후보키·테넌트·이메일 이력·collation·NULL의 엔진별 검증을 설명합니다.

5개 섹션 · 그림 1개
데이터베이스

BCNF 분해의 무손실성과 종속성 보존

공통 속성 폐포와 가짜 조인 행을 검산하고 3NF·BCNF 강도, 강사 예제의 잃은 제약과 동시 삽입 보호를 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

MVCC의 읽기 시점과 버전 보존

두 번의 조회 사이에 다른 거래가 커밋하는 예로 문장·트랜잭션 스냅샷을 비교하고 긴 독자가 버전 정리를 막는 이유를 설명합니다.

7개 섹션 · 그림 1개
데이터베이스

DB 파티션 제거와 전역 유일성의 범위

pruning과 파티션 내부 인덱스를 나누고 날짜 경계·지연 입력·metadata 비용·로컬 UNIQUE·전역 registry와 보관 삭제를 설명합니다.

5개 섹션 · 그림 1개
데이터베이스

PostgreSQL Vacuum과 CDC의 보존 경계

튜플 재사용·파일 축소·visibility·freeze와 WAL 보존을 구분하고 긴 snapshot·slot·CDC 재개·디스크 잔여 시간·재구축을 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

읽기 모델의 원본·Delta·재구축·Refresh

현재 복사본과 역사 사실을 구분하고 snapshot·증분 이벤트의 버전 규칙·선택 재구축·삭제·계산 버전·materialized view 신선도를 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

Redis 조건부 갱신의 원자 범위

재고 한 칸을 안전하게 줄이는 상황을 따라가며 pipeline·MULTI/EXEC·WATCH·Lua가 판단과 실패를 어디까지 묶는지 비교합니다.

8개 섹션 · 그림 1개
데이터베이스

Redis 비동기 복제와 승격의 확인 경계

한 쓰기가 주 노드·복제본·WAIT·Sentinel 장애 전환을 통과하는 순서를 따라가며 복제 확인과 실제 보존을 분리합니다.

8개 섹션 · 그림 1개
데이터베이스

Redis Cluster 슬롯·Hash Tag·장애 라우팅

Sentinel과 Cluster를 구분하고 hash tag 파싱·최소 원자 단위·hot slot·MOVED/ASK·계정 간 이체·응답 유실을 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

컬럼·JSON 스키마 전환

단계별 원본 권위·구버전 쓰기·조건부 백필·충돌 집합·checkpoint·읽기 fallback·옛 표현 종료와 JSON schema의 책임을 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

Elasticsearch 검색 가시성과 Reindex 전환

색인 ACK·ID GET·refresh·flush를 나누고 wait_for·segment 비용·동시 재색인·삭제·원자 alias·역전환의 한계를 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

SQL 값 바인딩과 동적 구조의 허용 경계

파라미터와 식별자·LIKE 패턴·IN 목록을 구분하고 서버 준비·드라이버 에뮬레이션·계획 재사용·행 인가·로그를 설명합니다.

5개 섹션 · 그림 1개
데이터베이스

SQL Server RCSI·Snapshot·잠금 읽기의 시점

문장과 거래 snapshot·설정·첫 접근을 구분하고 두 연결 SQL 순서·업데이트 충돌·UPDLOCK·버전 저장소 비용을 설명합니다.

5개 섹션 · 그림 1개
데이터베이스

동시 갱신과 덮어쓰기 방지

재고 두 번 차감이 한 번으로 사라지는 과정을 따라가며 조건부 UPDATE·버전 검사·잠금 읽기의 차이를 이해합니다.

7개 섹션 · 그림 1개
데이터베이스

고유 이름의 경쟁·UPSERT·복구·전역 예약

사전 조회와 최종 UNIQUE를 나누고 충돌의 인가 의미·누적 UPSERT·소프트 삭제 복구·다중 지역 예약과 계정 생성의 수명을 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

WAL 커밋·Group Commit·시점 복구의 내구 경계

로그와 데이터 페이지 기록 순서·flush 계약·checkpoint 비용을 나누고 기준 백업·연속 로그·복원 시 외부 효과 격리와 RPO·RTO를 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

다른 행의 갱신이 만드는 쓰기 편향

당직자 두 명이 서로의 존재를 보고 퇴근하는 예에서 스냅샷 읽기·공통 갱신 지점·직렬화 재시도의 차이를 추적합니다.

6개 섹션 · 그림 1개
데이터베이스

컬럼 저장 압축·벡터화 실행

열 단위 저장과 dictionary·run-length·bit packing 계열 인코딩이 선택적 읽기와 벡터 단위 실행에 어떤 경로로 연결되는지 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Collation sort key와 버전 변경

문자열 byte 순서·언어별 정렬·비교키와 인덱스 정렬의 관계를 설명하고 collation provider/version 변경 뒤 재검증 범위를 정합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Leveled·tiered compaction 선택

leveled와 tiered/universal compaction의 파일 겹침, 쓰기·읽기·공간 증폭과 지연 변동을 workload 조건으로 선택합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

LSM memtable·SSTable 읽기·쓰기 증폭

메모리의 정렬 버퍼와 디스크 SSTable, WAL, flush·compaction을 한 경로로 추적하고 읽기·쓰기 증폭과 tombstone 정리 비용을 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Parquet Row Group·Page·Predicate Pushdown

파일·row group·column chunk·page 메타데이터의 계층과 통계 기반 predicate pushdown, 압축·페이지 크기 trade-off를 연결합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

PostgreSQL TOAST 대형 값 저장

고정 페이지에 담기 어려운 큰 attribute의 압축·외부 저장·chunking과 행 접근·update 비용을 추적합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

PostgreSQL XID wraparound·freeze

transaction ID의 유한 공간, 오래된 tuple과 freeze, autovacuum 지연을 연결하고 wraparound 방지와 일반 bloat 정리를 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Decimal·부동소수점·금액 연산

표시 반올림과 저장 정밀도, exact numeric과 binary floating point의 합산 오차를 금액 단위·scale·overflow 사례로 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Nested loop·Hash·Merge Join 선택

입력 크기·정렬 상태·메모리·등가 조건과 인덱스 유무를 넣어 세 join 알고리즘의 반복 읽기·build/probe·정렬 비용을 비교합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

재귀 CTE 종료·순환 처리

재귀 CTE의 anchor·recursive term·중복 제거와 방문 경로를 구분하고 순환 그래프에서 종료·경로·depth 제한을 설계합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

Window ROWS·RANGE·GROUPS frame

동점과 frame 경계가 누적합·이동집계 결과를 어떻게 바꾸는지 ROWS·RANGE·GROUPS와 EXCLUDE 조건으로 계산합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

SQLite 단일 writer·WAL checkpoint

SQLite WAL의 reader/writer 동시성, 단일 writer, checkpoint가 오래된 reader와 busy 상태에서 멈추는 경계를 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
데이터베이스

데이터 시스템 기초

파일 저장에서 테이블, 인덱스, 트랜잭션, 복제와 메시징으로 확장되는 이유를 주문 예제로 설명합니다.

6개 섹션 · 그림 1개
데이터베이스

데이터 모델과 트랜잭션 기초

업무 사실의 수명과 질의를 데이터 모델로 표현하고 인덱스·트랜잭션·동시성·복구 경계를 하나의 주문 흐름으로 연결합니다.

11개 섹션 · 그림 2개 · 자료 대조 2026-09-17

설계

설계

행동 치환·상속·조합의 실제 계약

사전/사후조건·예외·외부 효과와 타입 variance를 구분하고 직사각형 반례·독립 변화 축·생성 중 언어별 virtual dispatch를 설명합니다.

5개 섹션 · 그림 1개
설계

달력의 다음 날과 24시간 뒤의 차이

현지 달력·UTC instant·단조 경과를 구분하고 DST의 존재하지 않는/중복 시각·timezone ID·반복 규칙·tzdata·월말 정책을 설명합니다.

5개 섹션 · 그림 1개
설계

Lockfile과 재현 가능한 설치의 경계

버전 범위와 직접/전이 해결 그래프를 구분하고 잠금 설치·manager version·native/optional/postinstall·clean cache·업데이트 검증을 설명합니다.

4개 섹션 · 그림 1개
설계

Feature Flag·Strangler의 쓰기 권위와 Rollback

안정 cohort·실제 노출·조직 공유 데이터를 고려하고 shadow 효과 격리·단일 쓰기 owner·증분 cutover·늦은 event·호환 복구·레거시 제거를 설명합니다.

6개 섹션 · 그림 1개
설계

Git Merge·Rebase·복구와 의도 보존

부모 이력·새 commit ID·fast-forward를 구분하고 양 부모 diff·range-diff·reflog·보존 참조·공유 이력과 외부 효과 복구의 한계를 설명합니다.

5개 섹션 · 그림 1개
설계

Unicode 비교 키와 UUID·ULID의 식별 계약

표시 원문·정규화·casefold·grapheme·DB unique 의미와 시각적 유사성을 나누고 ID 충돌·시간 정렬·인가·논리 멱등성을 구분합니다.

4개 섹션 · 그림 1개
설계

객체 불변식·Aggregate·MVC의 책임 경계

setter 대신 의미 있는 명령으로 상태를 보호하고 복원·동시 저장·여러 객체의 원자 범위·HTTP/consumer adapter·오류와 뷰 모델을 분리합니다.

5개 섹션 · 그림 1개
설계

진단 로그의 예산과 Transactional Audit

최소 구조화 필드·외부 상관 ID·비활성 로그 비용·상세 sampling과 전체 빈도·bounded queue·감사 원자 기록·전송 dedup을 설명합니다.

6개 섹션 · 그림 1개
설계

서비스 불변식·CQRS·Event Sourcing의 원본

모듈과 process 경계를 구분하고 데이터 write owner·중간 상태·command/query 모델·projection 지연·역사 사실·snapshot replay·외부 효과 격리를 설명합니다.

5개 섹션 · 그림 1개
설계

Rate·Burst·가중 비용·동시성 제한

고정/슬라이딩 window와 token bucket의 시간 범위를 비교하고 원자 충전·가중 차감·큰 작업·분산 총량·재시작·장애 정책을 설명합니다.

5개 섹션 · 그림 1개
설계

RPO·RTO·서비스 간 복구 Cut과 격리 훈련

백업 생성과 실제 복원을 구분하고 유효 복구 지점·전체 복구 시간·키/권한 장애·서비스 원장 대사·옛 outbox 격리·핵심 흐름 검증을 설명합니다.

5개 섹션 · 그림 1개
설계

요청 Deadline·취소·Fan-out의 실제 종료

응답과 실행 수명을 나누고 남은 예산·필수/선택 결과·단일 응답 전이·다중 오류·잔존 자식 소유·독립 내구 job을 설명합니다.

6개 섹션 · 그림 1개
설계

종료 Admission·Drain·장기 스트림의 재개

신규 수락과 작업 등록을 원자 관리하고 HTTP/consumer/scheduler 유입·기존 연결·스트림 cursor·커밋/Ack·공유 자원·강제 종료 복구 순서를 설명합니다.

5개 섹션 · 그림 1개
설계

틱 예산·시간 적분·Timer 위상 분산

틱 CPU/대기와 집중 전투 비용을 분해하고 fixed/variable dt·catch-up 상한·비핵심 지연·snapshot 세대·타이머 만료/실행 예산을 설명합니다.

5개 섹션 · 그림 1개
설계

싱글턴 초기화·공개·수명

유일한 인스턴스와 전역 가변 상태를 구분하고 언어별 lazy 실패·재진입·안전 공개·이후 동기화·조립 수명·프로세스 범위를 설명합니다.

4개 섹션 · 그림 1개
설계

사용자 SLO·Burn Rate·완화와 사후 검증

사용자 여정과 정상 거절·분모·오류 예산을 정하고 다중 창 경보·완화 가설·호환 rollback/전진 복구·데이터 대사·담당자별 재현 기준을 설명합니다.

5개 섹션 · 그림 1개
설계

깊은 불변 Snapshot·경로 복사·독자 수명

읽기 전용 뷰와 깊은 불변을 구분하고 루트 일회 획득·안전 공개·동시 writer CAS·트리 경로 복사·옛 reader 회수와 메모리 상한을 설명합니다.

5개 섹션 · 그림 1개
설계

상태 전이 Guard·불확정 효과·정정 원장

enum·version·논리 작업 ID를 나누고 조건부 전이·외부 호출 의도·lease 세대·늦은 완료·종결 뒤 새 정정과 운영자 감사 경로를 설명합니다.

5개 섹션 · 그림 1개
설계

TDD·속성 검사·변이 검사

의도한 assertion 실패와 환경 실패를 나누고 경계 예제·생성 불변식·shrinking·메타모픽 관계·생존/동등 변이·독립 oracle을 설명합니다.

4개 섹션 · 그림 1개
설계

소프트웨어 설계 기초

요구사항, 불변식, 책임과 경계를 주문 취소 기능의 구현 과정으로 설명합니다.

5개 섹션 · 그림 1개
설계

마이크로서비스 아키텍처 기초

업무 경계와 데이터 불변식을 기준으로 모듈러 모놀리스와 마이크로서비스를 비교하고 분리 여부를 실제 주문 흐름으로 판단합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-17
설계

로컬 다중 프로세스 주문 사가 실습

서비스별 SQLite 원장과 안정적인 명령·효과 ID를 사용해 주문·재고·모의 결제·배송 사가의 응답 유실, 재시작 대사와 보상을 재현합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-18
설계

마이크로서비스 주문 처리

주문·재고·결제·배송을 서비스별 로컬 확정과 사가 상태로 연결하고 중복·응답 유실·보상 실패를 실제 순서로 다룹니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-17
설계

마이크로서비스 배포와 장애 운영

혼합 버전 배포와 점진적 스키마 전환을 연결하고 관측·재시도·격리·대사로 부분 장애를 운영합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-17

분산 시스템

분산 시스템

캐시 지연 갱신과 버전 역전

DB 갱신 뒤 캐시를 삭제해도 생기는 지연 채우기를 재현하고 버전 장벽·원자 게시·세대 복구의 조건을 구분합니다.

6개 섹션 · 그림 1개
분산 시스템

소비자 Inbox의 단일 효과와 사건 정체성

DB commit 뒤 ACK 유실을 추적하고 unique inbox·소비 목적·업무 effect key·payload 충돌·기록 보관·다른 정상 이벤트의 동시성을 설명합니다.

6개 섹션 · 그림 1개
분산 시스템

CRDT 카운터의 성분별 병합과 권리 제약

전체 합계 재가산의 중복을 반례로 보고 G-counter max merge·PN-counter·대수 성질·참여자 재사용·내구 상태·잔액 하한의 한계를 설명합니다.

6개 섹션 · 그림 1개
분산 시스템

2PC의 In-doubt와 Saga의 의미적 보상

prepare·내구 결정·복구 대기를 설명하고 별도 로컬 commit·보상 실패·조정 방식·예약 만료와 늦은 결제의 원자 전이를 비교합니다.

6개 섹션 · 그림 1개
분산 시스템

이벤트 적용 순서·Schema 진화·DLQ 복구

전달·완료·효과 순서를 구분하고 키별 직렬화·bounded gap·snapshot/delta·과거 payload 호환·DLQ 보류와 재생 책임을 설명합니다.

5개 섹션 · 그림 1개
분산 시스템

펜싱과 이전 작업자 차단

임대가 끝난 작업자가 다시 실행되는 순서를 따라가며 단조 토큰·저장소의 원자 검사·중복 요청의 별도 책임을 설명합니다.

6개 섹션 · 그림 1개
분산 시스템

멱등성 키와 중복 요청

응답을 받지 못한 주문 요청을 같은 논리 작업으로 다시 처리하기 위해 키의 범위, 요청 fingerprint, DB 트랜잭션, 결과 재현, 만료를 하나의 저장 규칙으로 연결합니다.

7개 섹션 · 그림 1개
분산 시스템

Kafka 소비 offset과 완료 경계

poll로 받은 위치, 애플리케이션 처리 완료, 소비자 그룹 offset commit을 분리하고 병렬 처리와 rebalance에서 안전한 완료 경계를 계산합니다.

9개 섹션 · 그림 2개
분산 시스템

Kafka 키 순서와 파티션 증설의 경계

같은 키의 레코드가 파티션(partition)과 offset에서 어떤 순서로 보이는지 추적하고, 파티션 증설 뒤 순서 보장을 다시 설계하는 방법을 설명합니다.

6개 섹션 · 그림 2개
분산 시스템

Kafka 복제 ACK와 기록 보존 경계

복제 계수(RF)와 ISR을 구분하고 acks와 min.insync.replicas가 어떤 복제 성공을 확인하는지, 리더 장애 때 기록이 어디까지 보존되는지 추적합니다.

8개 섹션 · 그림 1개
분산 시스템

벽시계·Lamport·Vector·HLC의 순서 의미

표시·경과·인과를 나누고 Lamport 수신·벡터 비교·참여자 퇴역·HLC 증가·LWW 손실·감사와 lease 시간의 경계를 설명합니다.

7개 섹션 · 그림 1개
분산 시스템

NATS Subject·Queue Group·Request Inbox의 수명

서비스별 fan-out과 내부 분배·wildcard 범위를 설명하고 no responders·timeout·첫 응답·늦은 inbox·내구 작업의 차이를 구분합니다.

6개 섹션 · 그림 1개
분산 시스템

Paxos Prepare·Accept와 Multi-Paxos 로그 계승

내구 promise·최고 accepted ballot의 값 계승을 추적하고 competing proposer·stable leader·빈 슬롯 no-op·chosen·learned·apply를 설명합니다.

6개 섹션 · 그림 1개
분산 시스템

Raft Commit·Apply·ReadIndex와 요청 결과

로그 복제와 현재 term commit·결정적 apply를 분리하고 응답 유실 dedup·외부 outbox·고립 leader 읽기·follower 적용 대기를 설명합니다.

7개 섹션 · 그림 1개
분산 시스템

Raft Snapshot의 적용 위치와 내구 게시

applied·commit·lastIncludedTerm의 차이와 일관 view·dedup·구성 보존, manifest 전환 뒤 로그 정리·follower 설치·전송 예산을 설명합니다.

6개 섹션 · 그림 1개
분산 시스템

재시도 예산·Jitter·서킷의 회복 검사

계층별 호출 증폭·deadline·오류 분류와 closed/open/half-open 전이를 설명하고 대표 시험·늦은 완료 세대·공유 상태 장애를 구분합니다.

7개 섹션 · 그림 1개
분산 시스템

Singleflight 중복 조회 병합

한 키의 동시 miss를 공유 조회로 합치면서 대기자 취소·실패 재시도·프로세스 범위와 원본 예산을 분리합니다.

7개 섹션 · 그림 1개
분산 시스템

Snowflake형 ID의 시간·노드·순번 수명

비트 필드 결합·단위 시간 포화·시계 역행·노드 ID 중복·재시작을 설명하고 정렬·commit·요청 멱등성과 JSON 정밀도를 구분합니다.

6개 섹션 · 그림 1개
분산 시스템

트랜잭셔널 아웃박스

주문 상태 변경과 이벤트 발행 의도를 같은 DB 트랜잭션에 기록해 이중 쓰기 사이의 유실을 없애고, Relay 재발행은 별도 중복으로 다룹니다.

7개 섹션 · 그림 2개
분산 시스템

Kafka 생산자·소비자 구현

Java client의 생산·소비·commit·transaction 경계를 실제 API 계약과 실패 순서로 연결하고, 외부 효과의 중복과 누락을 별도로 다룹니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
분산 시스템

Kafka 아키텍처와 로그

Kafka의 토픽, 파티션, 오프셋, 복제, 소비자 그룹, KRaft 메타데이터를 하나의 상태 흐름으로 연결하고 각 보장의 경계를 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-17
분산 시스템

Kafka 소비·파일 inbox 실습

단일 broker track과 3-broker KRaft RF3/minISR2 track을 나누어 producer·consumer·재전달·inbox·연속 offset·ISR·broker 복구 증거를 분리합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-18
분산 시스템

Kafka 운영과 변경 관리

Kafka 소비 지연, 복제 장애, 보존·재생, 파티션 변경을 관측값과 중단 조건으로 연결해 운영 판단과 복구 순서를 세웁니다.

12개 섹션 · 그림 2개 · 자료 대조 2026-09-17
분산 시스템

Pulsar 전달·재처리 구현

Pulsar의 producer·consumer 완료 경계와 ACK·재전달·retry topic·DLQ를 외부 효과의 멱등 처리와 복구 순서로 연결합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17
분산 시스템

Pulsar 아키텍처와 구독

Pulsar의 broker·metadata store·BookKeeper·managed ledger와 subscription cursor를 하나의 발행·소비 상태 전이로 추적합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-17
분산 시스템

Pulsar 운영과 Kafka 비교

Pulsar의 backlog·retention·compaction·offload·geo failover를 Kafka의 저장·복제·소비 진행과 같은 질문으로 비교하되 보장 범위를 섞지 않습니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
분산 시스템

Pulsar producer·consumer 실습

Pulsar 4.2.4의 생산 확인·구독 cursor·업무 효과·ACK를 분리하고, 파일 원장과 다중 broker·bookie 구성의 장애 검증 경계를 추적합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-18

웹

웹

접근 가능한 모달의 포커스 복원

모달의 포커스 진입·트랩, inert 배경, Escape와 호출자 복원을 하나의 계약으로 묶습니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
웹

bfcache 복원과 페이지 수명

뒤로 가기·앞으로 가기의 bfcache 복원과 일반 재탐색을 pageshow·pagehide persisted로 구분합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
웹

웹 플랫폼 렌더링 관찰 실습

작은 접근 가능한 아코디언으로 DOM·CSSOM·computed style·레이아웃 기하·CSS 방법론·프레임 측정의 책임과 실패 경계를 직접 추적합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-18
웹

웹 플랫폼·호환성·빌드 도구

브라우저 표준과 구현, 지원 범위와 기능 감지, 번들·문법 변환·폴리필의 책임을 하나의 배포 흐름으로 연결합니다.

9개 섹션 · 그림 2개 · 자료 대조 2026-09-17
웹

CORS preflight와 API 보호의 경계

교차 출처 JSON 요청의 OPTIONS·실제 요청·응답 노출을 추적하고 credentials·캐시·CSRF·인가를 구분합니다.

6개 섹션 · 그림 1개
웹

CSS 선언의 승자와 상속 경계

출처·중요도·레이어·명시도의 순서를 예제로 비교하고 where·is·initial·inherit·unset의 차이를 설명합니다.

6개 섹션 · 그림 1개
웹

레이아웃 계산과 화면 이동

DOM 쓰기와 기하 읽기의 교차를 분리하고 containment·content-visibility·이미지 공간 예약이 바꾸는 비용을 설명합니다.

6개 섹션 · 그림 1개

보안

보안

AEAD nonce·associated data 계약

AEAD의 기밀성·무결성, nonce 유일성, associated data의 인증 범위와 실패 처리를 분리합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

Trusted Types와 DOM XSS sink

Trusted Types policy·CSP enforcement와 innerHTML 등 injection sink의 타입 경계를 출력 인코딩·정화와 구분합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

암호학적 난수·엔트로피·토큰

예측 불가능한 토큰과 재현 가능한 PRNG를 구분하고 엔트로피·편향·재시드·실패를 점검합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

DEK·KEK 봉투 암호화와 회전

데이터키와 키암호화키를 분리해 저장·복호화·회전하는 봉투 암호화 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

HMAC 서명 canonicalization·키 분리

서명할 바이트의 canonicalization과 HMAC 키 용도 분리를 통해 검증자 간 의미 차이를 줄입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

Linux capabilities의 권한 분할과 실행 전파

root 하나로 묶인 권한을 capability set·user namespace·execve 전파 규칙으로 분해하고, capability가 곧 대상 자원 인가 전체를 뜻하지 않는 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

seccomp syscall 필터의 실행 경계

seccomp-BPF가 syscall 번호·인자에 따라 허용·거부·추적 동작을 선택하는 방식과 namespace·capability를 대신하지 못하는 이유를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

멀티테넌트 Row-Level Security 정책

DB 세션 문맥과 RLS 정책으로 tenant 행 범위를 강제하고 connection pool·우회 경로·관리자 정책을 검증합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

OAuth DPoP sender-constrained 토큰

DPoP 키쌍·proof·접근 토큰 결합으로 bearer 토큰 탈취 재사용 범위를 줄이는 조건을 다룹니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

OAuth PAR·JAR 요청 무결성

브라우저 전면 요청을 백채널 PAR와 서명된 JAR로 묶어 authorization request 변조·노출을 제한합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

OAuth Token Exchange의 subject·actor 위임

RFC 8693의 subject token과 actor token을 구분해 대행 호출의 권한·audience·위임 범위를 설계합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

자산·신뢰 경계·STRIDE 위협 모델링

자산과 trust boundary를 먼저 고정하고 STRIDE를 경계별 위협·완화·검증 항목으로 바꾸는 방법입니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

WebAuthn 등록·attestation 신뢰

credential 생성 시 challenge·RP·attestation 형식과 AAGUID 신뢰 정책을 로그인 assertion 검증과 분리합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
보안

보안 기초

자산과 신뢰 경계, 인증과 인가, 입력 검증과 자격 수명을 문서 조회 요청으로 설명합니다.

6개 섹션 · 그림 1개
보안

OAuth·OIDC 방어 실습

로컬 loopback mock issuer와 client로 Authorization Code·S256 PKCE·state·nonce·필수 claim 검증·일회성 code·client-bound refresh rotation·응답 유실·JWKS 교체를 실패 주입까지 실행합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-18
보안

OAuth·OIDC 실무 배치와 운영

브라우저·모바일·기기·서비스 배치에서 토큰 경계를 정하고 갱신·회수·키 교체를 실제 장애 순서로 운영하는 방법을 설명합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17
보안

OAuth 2.0 권한 위임

OAuth 2.0의 행위자와 메시지 경계를 따라 권한 위임 거래와 토큰별 책임을 실제 요청 순서로 설명합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
보안

OpenID Connect 인증

OpenID Connect의 ID Token과 Discovery 정보를 OAuth 거래와 분리하고, issuer·subject·audience·nonce로 신원을 연결하는 순서를 설명합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
보안

외부 신원과 계정 연결

이메일 일치와 소유권 증명을 나누고 issuer·subject 유일성, 시작 세션 바인딩, 연결 이후 세션 재평가를 설명합니다.

5개 섹션 · 그림 1개
보안

인증된 요청의 자원별 권한 검사

로그인한 사용자가 다른 사람의 주문 ID를 보냈을 때를 따라가며 신원 확인과 자원별 인가, 변경 시점의 조건 검사를 분리합니다.

6개 섹션 · 그림 1개
보안

TLS·QUIC 0-RTT의 재생과 업무 멱등성

빠른 전송 시작과 한 번의 상태 변경을 구분하고 다중 서버 anti-replay 범위·안전한 endpoint·거절 후 재시도를 설명합니다.

5개 섹션 · 그림 1개
보안

OAuth·OIDC 로그인 거래

브라우저의 시작 세션에서 코드 교환과 ID token 검증까지 따라가며 PKCE·state·nonce·issuer의 서로 다른 결합 대상을 설명합니다.

5개 섹션 · 그림 1개
보안

NATS Subject 권한과 Account 간 신뢰

subject 명명과 broker 인가를 분리하고 wildcard·publish/subscribe·inbox·import/export·기존 연결 회수를 설명합니다.

6개 섹션 · 그림 1개
보안

비밀번호 해시의 비용과 정책 전환

salt·계산 비용·메모리·pepper의 역할을 나누고 인증 서버 예산에 맞춘 튜닝과 로그인 시 재해시·장기 미접속 계정 전환을 설명합니다.

7개 섹션 · 그림 1개
보안

TLS 상대 신원·mTLS 인가·Pinning 복구

체인·접속 이름·용도 검증과 서비스 인가를 구분하고 인증서 교체·기존 연결·세션 재개·오래된 앱의 pin 복구를 설명합니다.

6개 섹션 · 그림 1개

머신러닝 검색

머신러닝 검색

BM25의 용어·문서 통계와 길이 정규화

TF saturation·IDF·document length normalization이 lexical score를 만드는 과정과 analyzer·k1·b의 경계를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝 검색

HNSW 그래프 구성과 검색 재현율

계층적 근접 이웃 그래프의 삽입·탐색에서 M·efConstruction·efSearch가 메모리·지연·recall을 교환합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝 검색

하이브리드 검색의 RRF와 재랭킹

lexical·dense 결과의 score scale이 다를 때 rank fusion으로 합치고 cross-encoder 후보 비용을 배분합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19

시스템

시스템

분기 예측과 추측 실행의 정확성

분기 예측이 틀렸을 때 건축적으로 보이는 결과를 보존하면서 추측 경로의 작업을 폐기하는 원리를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
시스템

CPU 캐시 계층의 연관도와 교체

set·way·tag로 주소를 배치하고 conflict miss와 capacity miss를 구분하며 교체 정책을 접근 패턴에 맞춰 판단합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
시스템

CPU 명령어 파이프라인과 해저드

명령어를 여러 단계로 겹쳐 실행할 때 데이터·제어·구조적 해저드가 stall, forwarding, flush로 어떻게 처리되는지 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
시스템

Linux futex의 빠른 경로와 느린 경로

경합이 없을 때 사용자 공간 원자 연산으로 끝내고 경합 시 값 검증과 커널 대기를 결합하는 futex 계약을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
시스템

인터럽트·softirq·지연 실행

하드 IRQ에서 즉시 처리할 일과 softirq·workqueue로 미룰 일을 실행 문맥과 sleep 가능성으로 나눕니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
시스템

MESI 캐시 일관성과 메모리 일관성

캐시 라인의 소유·무효화 상태를 관리하는 coherence와 프로그램 관찰 순서를 정하는 memory consistency를 분리합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19

운영체제

운영체제

cgroup v2 계층 위임과 controller 경계

cgroup v2의 단일 계층·subtree controller·no internal process 규칙과 delegation의 소유권을 자원 제한·관측 관점에서 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

Direct I/O 정렬과 buffered I/O 경계

O_DIRECT의 buffer·length·offset 정렬, page cache와의 혼용, O_SYNC와 fork 수명 조건을 분리해 판단합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

ELF 정적·동적 링크와 relocation

오브젝트의 section·symbol·relocation을 정적 link editor와 실행 시 dynamic linker가 어떻게 이어 붙이는지 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

exec 환경과 디스크립터 상속

exec가 프로세스 이미지를 교체하면서 어떤 신호 상태·환경·파일 디스크립터가 남는지와 FD_CLOEXEC 경계를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

파일시스템 저널링과 데이터 모드

ext4 metadata journaling의 ordered·writeback·journal 모드와 commit record 기반 replay를 DB WAL과 구분합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

파일시스템 inode·hard link·symbolic link

디렉터리 이름과 inode를 분리하고 hard link·symbolic link·unlink·열린 파일 수명의 차이를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

프로세스 신호 마스크와 async-signal-safety

pending signal·thread/process mask·handler 재진입을 구분하고 신호 처리기에서 호출 가능한 제한된 함수 집합을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
운영체제

운영체제 스케줄링과 실행 상태 실습

PCB·문맥 전환·Ready와 Blocked·페이징과 swapping·스케줄링 정책·임계 구역 진행성을 하나의 재현 가능한 Python 모형과 Linux 문서 경계로 연결합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-18
운영체제

페이지·세그먼트와 주소 공간 태그

논리 구간 보호와 물리 페이지 배치를 나누고 결합 변환·ASID/PCID·대형 페이지의 이득과 무효화 비용을 설명합니다.

6개 섹션 · 그림 1개
운영체제

CPU 스케줄링의 응답성과 실행 예산

FCFS·SJF·Round Robin을 같은 작업으로 계산하고 예측 오류·aging·배치·runnable 수가 대기 보장에 미치는 영향을 설명합니다.

7개 섹션 · 그림 1개
운영체제

프로세스·스레드·커널 진입의 경계

주소 공간과 실행 상태를 구분하고 syscall·vDSO·Ready/Blocked·문맥 전환·공유 메모리 소유자 사망의 책임을 설명합니다.

6개 섹션 · 그림 1개
운영체제

TLB와 페이지 폴트

가상 주소가 실제 바이트에 닿는 경로에서 변환 캐시·페이지 테이블·운영체제 개입을 나누고 첫 접근과 메모리 압박을 비교합니다.

7개 섹션 · 그림 1개

플랫폼

플랫폼

CI build provenance·SBOM·artifact 서명

빌드 provenance, SBOM, artifact 서명이 각각 무엇을 증명하고 무엇을 증명하지 않는지 분리해 CI 산출물 검증 체계를 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
플랫폼

Kubernetes CronJob의 동시성·deadline·시간대

CronJob의 schedule 해석, timezone, missed run, startingDeadlineSeconds와 concurrencyPolicy를 실제 작업 중복·지연 정책으로 연결합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
플랫폼

Terraform state·plan·apply와 drift·locking

Terraform state가 실제 리소스와 구성의 연결을 보존하는 방식, plan의 stale 전제, apply·state lock·drift의 운영 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19

웹·클라이언트

웹·클라이언트

Cache Storage와 HTTP 캐시의 경계

스크립트 관리 Cache Storage와 HTTP 캐시의 freshness·validation 경로를 분리합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
웹·클라이언트

Service Worker 수명과 캐시 버전 배포

installing·waiting·activating 수명과 캐시 버전 전환, skipWaiting·clients.claim의 적용 범위를 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19

언어·런타임

언어·런타임

C++ Concepts·제약·진단

C++20 constraints와 requires 표현식의 후보 제거, atomic constraint 정규화, short-circuit와 의미적 요구사항의 경계를 실제 호출로 추적합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

C++ Copy Elision과 Prvalue Materialization

C++17의 prvalue 직접 구성, 선택적인 NRVO, temporary materialization과 수명 연장의 경계를 코드 흐름으로 추적합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

C++ span·string_view Borrowed View

non-owning view의 주소·길이·수명 계약과 string_view의 C 문자열 경계, span의 const·extent 선택을 실제 저장소 상태로 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Go Panic·Recover와 Defer 경계

panic의 stack unwinding, recover의 직접 deferred 호출 조건, 고루틴별 경계를 named return과 취소 설계까지 연결합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Java 클래스 초기화 순서와 실패 상태

Java의 active use, 상수 변수 인라인, 텍스트 순서, 초기화 잠금과 erroneous 상태를 실제 접근 trace로 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Java try-with-resources와 Suppressed Exception

try-with-resources의 역순 close, 본문·정리 예외의 주 예외 선택, Java 9 자원 변수와 effectively final 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Python Descriptor와 Attribute Lookup 우선순위

클래스 사전의 descriptor와 인스턴스 사전이 충돌할 때 데이터 descriptor·비데이터 descriptor·__getattribute__가 어떤 순서로 관여하는지, 바인딩과 이름 등록까지 추적합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Python import Cache와 부분 초기화

import 이름이 sys.modules에 캐시되는 시점, 순환 import의 부분 모듈, reload와 실패 cleanup을 모듈 객체·외부 참조의 수명으로 추적합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Rust Future Polling과 Pinning

Future의 지연 실행, poll과 Waker의 진행 계약, Pin이 보장하는 대상 주소 안정성을 상태 전이와 취소 경계로 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Rust 소유권·Borrowing·Lifetime

Rust 소유권·Borrowing·Lifetime의 핵심 메커니즘·실패 조건·적용 경계를 다루는 지식 장입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Rust Send·Sync 스레드 계약

Rust Send·Sync 스레드 계약의 핵심 메커니즘·실패 조건·적용 경계를 다루는 지식 장입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

Rust Trait Object와 Generic Monomorphization

Rust Trait Object와 Generic Monomorphization의 핵심 메커니즘·실패 조건·적용 경계를 다루는 지식 장입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

TypeScript 구조적 타입·Narrowing·런타임 검증

TypeScript의 구조적 호환과 control-flow narrowing이 컴파일 시 계약임을 설명하고, JSON 경계의 unknown 검증과 excess property 검사의 범위를 추적합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
언어·런타임

프로그래밍 언어 기초

값과 변수, 객체의 공유, 함수 호출, 타입과 런타임을 작은 실행 예제로 설명합니다.

5개 섹션 · 그림 1개
언어·런타임

Java 접근 경계와 컬렉션 순회 실습

Java의 접근 제어·모듈 공개·final 상속 제한과 레거시·동시 컬렉션의 순회 계약을 작은 컴파일·실행 실습으로 연결합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-18
언어·런타임

Java 접근 제어와 타입 경계

Java의 접근 제어와 타입 경계를 컴파일 시점의 이름 해석·상속·모듈 공개와 API 변경 운영으로 연결합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
언어·런타임

Java 컬렉션과 자료구조 선택

Java 컬렉션의 의미와 구현 비용을 작업 부하·순서·변경·동시성 계약으로 연결해 선택하고 운영하는 방법을 설명합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
언어·런타임

CPython GIL 빌드와 확장 참조 안전성

CPython의 GIL 활성·free-threaded 빌드 차이와 복합 상태 동기화, C API 참조 소유권, 확장 호환성의 확인 경계를 실행 가능한 실습으로 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-18
언어·런타임

REST와 반응형 처리의 기초

REST의 자원·표현·무상태 제약과 반응형 스트림의 수요·취소·완료 경계를 주문 진행 API에 적용합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-17
언어·런타임

Celery 실행·ACK·재전달과 업무 멱등성

예약·task state·DB 효과·ACK를 나누고 late ACK·worker lost·visibility·동일 task ID 재시도·원자 원장·재처리 상한을 설명합니다.

5개 섹션 · 그림 1개
언어·런타임

C++ 코루틴 프레임의 소유와 최종 파괴

프레임·빌린 버퍼·클로저 수명을 나누고 await 등록 직후 완료·취소 drain·final_suspend·executor별 소멸 책임을 설명합니다.

7개 섹션 · 그림 1개
언어·런타임

C++ RAII 정리와 강한 예외 보장의 차이

자원 해제와 상태 원복을 구분하고 임시 상태 구성·무예외 교체·생성 중 실패·명시 commit·외부 내구성의 경계를 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

C++ 값 범주와 실제 이동 비용

std::move·forward·const의 오버로드 선택을 추적하고 noexcept 재할당·allocator 전파·이동 후 원본·복사 생략을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Shared Pointer의 수명·필드·논리 세대

제어 블록·포인터 변수·대상 필드의 동기화를 분리하고 weak 관찰·순환·불변 snapshot·다중 writer·소멸 위치를 설명합니다.

7개 섹션 · 그림 1개
언어·런타임

Go Interface의 Typed Nil과 비교 가능성

동적 타입·값의 쌍으로 nil을 구분하고 오류 반환 경계·nil receiver·타입 assertion·비교 불가능한 값과 map 키를 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Go 요청의 Context·Errgroup·Defer 수명

필수 의존성과 요청 문맥을 나누고 errgroup 취소·활성 상한·Wait 완료·defer의 함수 범위·정리 오류를 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Go Slice의 기반 배열과 보관 수명

헤더 복사·append 용량·full slice expression·중첩 참조·작은 view의 큰 배열 보유와 비동기 버퍼 소유권을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Java 호출 선택과 제네릭 타입 소거

정적 overload·동적 override·필드 hiding을 예제로 추적하고 erased signature·bridge·reifiable 배열·외부 원소 검증을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Java 값 동등성·불변 키·방어적 복사

equals·hashCode와 상속의 대칭성·추이성을 설명하고 final·수정 불가 view·copyOf·원소 가변성·초기화 공개를 구분합니다.

6개 섹션 · 그림 1개
언어·런타임

Java 래퍼 숫자·Unboxing·부재 표현

참조 비교와 숫자 승격을 구분하고 null·Integer 캐시·다른 래퍼 equals·Optional 지연 기본값과 외부 부재 의미를 설명합니다.

5개 섹션 · 그림 1개
언어·런타임

JavaScript 바인딩의 초기화와 클로저

var·let·const·함수의 초기화 시점, shadowing·TDZ·반복별 바인딩·ESM 순환과 private 상태의 외부 계약을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Promise 체인의 상태 전파와 결과 집계

executor·then의 실행 시점, catch 복구·finally 대체·누락된 return과 all·any·race의 성공 조건·동시 실행 상한을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

JavaScript This와 콜백 함수의 정체성

일반 호출·메서드·화살표의 this 결정과 bind 부분 적용·rest·prototype 공유·등록 해제 수명을 예제로 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

JavaScript 작업 큐와 렌더링 양보·Worker

동기 실행·microtask·timer와 Node 문맥 차이를 나누고 시간 예산·Worker clone·transfer·공유 메모리·종료 수명을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

화면 수명의 Listener·Fetch·취소된 결과

등록·해제의 함수 정체성과 요청 세대를 연결하고 AbortSignal 공유·헤더와 본문 완료·서버 커밋·부분 결과의 차이를 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

JVM JIT 예열·가정·Deoptimization 관측

바이트코드 의미와 실행 구현을 나누고 계층형 컴파일·OSR·타입 프로파일·guard 실패·cold와 steady 측정의 차이를 설명합니다.

5개 섹션 · 그림 1개
언어·런타임

PyPy Trace JIT의 예열과 실행 경계

hot loop·guard·side exit·bridge와 객체 실체화 비용을 설명하고 CPython 대비 cold·steady·C 확장·전체 병목 비율의 검증을 나눕니다.

5개 섹션 · 그림 1개
언어·런타임

Asyncio 실행 양보·TaskGroup·ContextVar 수명

async 선언과 실제 중단을 구분하고 to_thread의 잔여 실행·TaskGroup 예외 집계·취소 협력·task별 문맥과 가변 값 공유를 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Python 안정 정렬·키 비용·결정적 출력

sort와 sorted·동점 입력 순서·적응형 run·원소별 key 평가를 나누고 set·hash seed·dict 삽입 순서·안정 해시 계약을 설명합니다.

6개 섹션 · 그림 1개
언어·런타임

Python 행동 Protocol과 C3 메서드 탐색

구조적 타입 검사와 런타임 의미 계약을 분리하고 property·분산·C3 병합 추적·super 협력·모순된 상속을 설명합니다.

5개 섹션 · 그림 1개

머신러닝

머신러닝

결정 트리의 불순도·분할·가지치기

분할 후보의 불순도 감소를 비교하고 깊이·잎 크기·cost-complexity pruning으로 일반화를 제어합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

임베딩의 코사인 유사도와 정규화

벡터 방향과 크기를 분리해 cosine·dot·L2 normalization의 순위 계약과 zero vector·dimension·hubness 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

특징 스케일링과 표준화 통계 누출

평균·표준편차 기반 변환이 거리·경사·정규화에 미치는 효과와 train-only fit 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

그래디언트 부스팅의 순차 잔차 적합

앞선 모델의 loss gradient를 다음 약한 학습기의 목표로 삼고 shrinkage·tree 수·subsampling으로 조절합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

K-means 초기화·거리·군집 품질

할당과 중심 재계산을 반복하는 K-means에서 초기화, inertia, silhouette, empty cluster, 스케일과 seed를 검증합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

PCA의 공분산 고유벡터와 설명 분산

중심화 데이터의 공분산 구조에서 주성분을 선택하고 explained variance·whitening·분할 경계를 해석합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

확률 보정의 신뢰도와 Brier 점수

순위와 실제 빈도 일치를 분리하고 reliability diagram·Brier·sigmoid/isotonic 보정의 검증 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

랜덤 포레스트의 배깅과 특성 부분공간

bootstrap 표본과 노드별 특성 부분집합으로 상관된 트리의 분산을 줄이는 원리와 OOB 평가의 한계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

Transformer attention mask와 KV 캐시 추론

scaled dot-product attention의 causal·padding mask와 autoregressive decoding의 과거 K/V 재사용이 만드는 비용·메모리 계약을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
머신러닝

선형회귀와 학습 과정

y=Wx+b 모델의 오차를 평균 제곱 오차로 계산하고 기울기·학습률·데이터 분할·일반화를 한 학습 흐름으로 연결합니다.

10개 섹션 · 그림 2개 · 자료 대조 2026-09-17
머신러닝

학습 데이터 분할과 선택 정보의 누출

훈련·검증·테스트의 역할을 예측 시점과 사용자 단위로 나누고 전처리 fit·rolling validation·접기 상관의 경계를 설명합니다.

6개 섹션 · 그림 1개
머신러닝

과적합 곡선과 일반화 개선의 근거

훈련·검증 곡선을 원인 증거와 구분하고 데이터 품질·용량·정규화·조기 종료·라벨 보존 증강의 조건을 설명합니다.

6개 섹션 · 그림 1개
머신러닝

경사하강법의 보폭과 학습 예산

한 변수의 제곱 손실을 직접 갱신하며 학습률·특징 스케일·배치·warmup·decay와 수치 오류의 차이를 설명합니다.

6개 섹션 · 그림 1개
머신러닝

학습 손실과 운영 지표의 불일치

예측 손실·전체 목적 함수·판정 지표를 나누고 가중 손실과 임계값이 정밀도·재현율·검토 비용에 미치는 영향을 설명합니다.

6개 섹션 · 그림 1개

게임 서버

게임 서버

Delta Compression 기준 Snapshot·ACK 복구

전체 snapshot 대신 확인된 baseline과 현재 상태의 차이를 보내고, ACK 유실·순서 역전·baseline 부재 시 full snapshot으로 복구하는 지식 장입니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

결정적 난수 스트림과 시뮬레이션 Replay

게임 시스템별 난수 스트림을 분리하고 seed·상태·소비 순서를 기록해 rollback과 replay에서 같은 난수를 재현하는 지식 장입니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

ECS Archetype·Sparse Set 구조 변경

ECS에서 컴포넌트 조합별 archetype과 sparse set의 저장·조회 특성을 비교하고, 런타임 add/remove가 엔티티 이동·참조 무효화·구조 변경 비용으로 이어지는 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Entity ID·Generation·Replication 수명

재사용 가능한 entity ID와 generation을 조합해 spawn·despawn·replication·늦은 패킷이 새 객체를 오염시키지 않도록 하는 지식 장입니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

부동소수점 결정적 시뮬레이션의 한계

같은 입력이라도 플랫폼·컴파일러·실행 순서·수학 라이브러리 차이로 게임 상태가 갈라질 수 있는 지점을 고정 tick, 연산 순서, 정수화, 검증 로그로 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

게임 Inventory Item Identity·Stacking·Transaction

item definition과 개별 instance identity를 분리하고, stack 병합·분할·소비·거래를 원자 전이와 멱등 요청으로 처리합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Matchmaking Rating 불확실성과 Queue 확장

rating 평균뿐 아니라 불확실성을 함께 갱신하고, 대기 시간이 늘어날 때 탐색 범위를 단계적으로 확장해 품질과 starvation을 함께 관리합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

NavMesh Funnel Corridor·Waypoint 추출

NavMesh polygon corridor의 portal 양쪽을 누적해 string-pulling으로 불필요한 waypoint를 줄이되 agent profile과 portal 유효성을 보존하는 지식 장입니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

ORCA Reciprocal Velocity Obstacle 회피

여러 agent가 서로 양보할 책임을 나누고 속도 공간의 선형 제약을 풀어 local avoidance를 계산하는 ORCA의 가정·실행·실패 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Quaternion 회전 보간·정규화

Quaternion의 단위 제약, shortest-arc 선택, SLERP와 정규화 시점을 게임 회전 보간에 적용하는 지식 장입니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Rollback Netcode·Input Delay·Replay

늦게 도착한 입력으로 과거 상태를 복원하고 입력을 재실행해 현재를 보정하는 rollback netcode의 저장·예측·효과 경계를 설명하는 지식 장입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Snapshot 보간·Jitter Buffer

권위 서버 snapshot을 즉시 표시하지 않고 지연 버퍼에서 두 시점 사이를 보간해 네트워크 jitter와 late packet을 다루는 지식 장입니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

Morton Code 공간 지역성과 범위 질의

다차원 좌표를 비트 interleave한 Morton/Z-order code로 공간 객체를 정렬·분할하고, 범위 질의가 여러 code interval로 분해되는 비용을 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
게임 서버

게임 서버 기초

입력, 월드 상태, 틱, 충돌과 네트워크 전달을 캐릭터 이동의 흐름으로 설명합니다.

6개 섹션 · 그림 1개
게임 서버

AOI 공개 정책·증분 경계·Snapshot 순서

공간 후보와 필드/이벤트 공개를 나누고 큰 형상 반경·같은 cell 내 거리/시야 변화·hysteresis·생성/증분/삭제 세대·재동기화·송신 budget을 설명합니다.

6개 섹션 · 그림 1개
게임 서버

A*의 하한·재오픈·후보와 경로 복원

허용성과 일관성·이동 비용 하한·목표 종료·Weighted bound를 구분하고 g/parent 갱신·stale heap·재구축·방향 압축·탐색 세대를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

연속 충돌·TOI·수치 여유와 관통 순서

endpoint tunneling·점/부피 sweep·상대 운동·보수 broad phase를 설명하고 최초 접촉·남은 시간·동점·시작 내부·반복 상한·사건 dedup을 구분합니다.

5개 섹션 · 그림 1개
게임 서버

Voxel DDA의 경계 시간과 Supercover

step/tMax/tDelta의 실제 trace·0/음수 방향·정규화 거리·동점 cell 집합·면 위 ray·시작 경계·unloaded·부피 sweep과 방문 상한을 설명합니다.

5개 섹션 · 그림 1개
게임 서버

서버 입력 권위·Sequence Gap·예측 재적용

입력 의도와 확정 위치/피해를 구분하고 세션/엔티티 세대·형식/빈도/규칙 검증·명령과 최신 상태 gap·서버 Ack 이후 replay·시각 보정을 설명합니다.

5개 섹션 · 그림 1개
게임 서버

JPS 대칭 제거와 JPS+ 전처리의 유효성

자연/강제 이웃·대각 직교 검사·목표 중간 정지·가중 비용 fallback을 설명하고 방향 표·역의존·청크 version·sentinel·압축 비용을 구분합니다.

6개 섹션 · 그림 1개
게임 서버

경로 공간·모서리 이동·Agent Clearance

NavMesh/격자/복셀의 표면·셀·부피를 비교하고 해상도 손실·대각 corner·장애물 팽창·profile별 cache·clearance의 기하 전제와 포털을 설명합니다.

5개 섹션 · 그림 1개
게임 서버

경로의 동적 재검증·Smoothing·목표 세대

map/목표/profile version·영향 footprint·재탐색 주기를 구분하고 point visibility와 실행 가능한 shortcut·funnel·가중 비용·늦은 결과·budget을 설명합니다.

5개 섹션 · 그림 1개
게임 서버

랭킹 Cutoff·봉인 Snapshot·보상 정정 원장

발생/수신 시각·허용 지연·샤드 watermark·규칙 version·잠정/확정 순위를 나누고 안정 권리 key·지급 응답 유실·별도 adjustment·사용 후 회수를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

Rewind 판정의 시각·Hitbox 이력·공정성

서버 관측 입력 시각과 rewind 상한·tick/보간 상태·장애물 시간 일치·history 압축 오차·현재 효과 한 번 적용·공격자/피격자 trade-off를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

시간·공간 예약의 원자성·Horizon·공정성

셀/간선/footprint 충돌과 조건부 예약을 설명하고 제한된 미래 계획·안전 대기·교착의 기하 조건·결정적 aging·lease/세대/실행 재검증을 구분합니다.

5개 섹션 · 그림 1개
게임 서버

고정 Tick의 Catch-up·과부하·교차 사건 순서

순간 정지와 지속 과부하·simulation/wall time을 구분하고 catch-up 상한·권위 규칙/저빈도 AI·기록된 과부하 mode·cross-server tick/sequence를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

복셀 점유·재질·동적 Overlay와 희소 저장

고체와 agent 이동성을 분리하고 정적 벽/문/객체의 독립 의미·profile cache·dense/hash chunk/octree·palette/bitmap 갱신·압축 수명을 설명합니다.

5개 섹션 · 그림 1개
게임 서버

청크 경계·Halo·파생 데이터의 Version Bundle

음수 좌표·unloaded/empty·질의 폭·이웃 무효화·halo sourceVersion을 관리하고 안전 overlay·호환 조합·원자 게시·stale job·reader 수명과 지연 SLO를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

공간 Handoff의 권위 전환과 경계 전투

상태 복사·입력 drain·최종 delta·내구 cutover·router cache를 나누고 저장 지점 epoch·실패 복구·보류 입력·교차 전투 snapshot/단일 효과 owner를 설명합니다.

5개 섹션 · 그림 1개
게임 서버

Flow Field와 다중 에이전트 이동

공통 목표를 향하는 여러 에이전트가 하나의 역방향 거리장과 방향장을 공유하는 원리, 갱신 경계, 예약과 회피의 역할을 설명합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17
게임 서버

실시간 길찾기 구현과 운영

동적 맵과 이동 목표를 스냅샷·세대·재검증으로 관리하고, NavMesh·Grid 탐색을 틱 예산과 비동기 실행 안에서 운영하는 방법을 설명합니다.

13개 섹션 · 그림 1개 · 자료 대조 2026-09-17
게임 서버

복셀 경계와 Recast Tile 수명 실습

엔진 없는 복셀 reference와 고정 Recast Navigation tile-cache harness로 좌표·면·halo·충돌·generation·nav query·tile memory 수명을 분리해 검증합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-18
게임 서버

복셀 저장·메시·충돌 파이프라인

복셀 청크를 의미가 보존되는 원본으로 저장하고 메시·LOD·충돌·내비게이션 파생물을 버전과 독자 수명에 맞게 게시하는 흐름을 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17

모바일

모바일

iOS background URLSession 작업 복원

시스템 소유 background URLSession 전송과 앱 재실행 이벤트를 화면 수명과 분리합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
모바일

Swift actor의 재진입과 격리

Actor 격리와 await suspension을 나누고 재개 후 상태 재검증을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
모바일

SwiftUI identity와 상태 수명

View identity와 diffing이 @State, ForEach ID, 조건부 branch의 수명에 미치는 영향을 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
모바일

iOS 실행·소유권·저장소 기초

scene과 화면의 수명, 비동기 작업의 소유, 좌표·초기화 경계, 저장소 선택을 중단과 복구의 순서로 설명합니다.

9개 섹션 · 그림 2개 · 자료 대조 2026-09-17
모바일

iOS 콜백·방송과 현재 상태 구독

delegate·완료 클로저·Notification의 관계를 나누고 구독 수명·재진입·등록과 snapshot 사이의 사건 누락을 설명합니다.

7개 섹션 · 그림 1개
모바일

멀티 씬 문서의 저장과 충돌 복구

종료 콜백에 의존하지 않는 저장, 씬별 UI와 공용 문서 소유, 중복 저장·역순 완료·동시 편집의 버전 계약을 설명합니다.

6개 섹션 · 그림 1개
모바일

UIView 좌표계와 변환된 경계 계산

frame·bounds·center의 기준을 나누고 스크롤·회전·중첩 변환에서 convert와 축 정렬 경계를 사용하는 방법을 설명합니다.

7개 섹션 · 그림 1개
모바일

iOS 화면 재등장과 작업 수명

뷰 로드·appearance·해제를 구분하고 반복 갱신·관찰자·비동기 요청 세대와 화면 밖 작업 정책을 설명합니다.

6개 섹션 · 그림 1개

인프라

인프라

Kubernetes admission webhook의 실패와 멱등성

mutating·validating admission의 동기 호출 경로에서 timeout·failurePolicy·reinvocation·sideEffects와 멱등 mutation의 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
인프라

OCI 이미지 레이어의 whiteout과 copy-on-write

OCI layer tar의 변경 집합·whiteout·opaque whiteout과 컨테이너 실행 중 copy-up을 이미지 재현성·쓰기 비용과 분리해 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
인프라

인프라·운영 기초

프로그램 배포, 트래픽 수락, 자원 용량과 장애 복구를 서비스 실행의 흐름으로 설명합니다.

6개 섹션 · 그림 1개
인프라

ConfigMap 전달과 앱 설정의 원자적 적용

API 객체·환경 변수·파일·앱 캐시의 다른 버전을 추적하고 subPath·재시작·전체 묶음 검증·마지막 정상값·drift 관측을 설명합니다.

5개 섹션 · 그림 1개
인프라

Argo CD Prune·Cascade와 데이터 복원 경계

파일 삭제·객체 식별자 변경·추적 리소스 prune·Application cascade를 구분하고 PVC 참조·reclaim·검증된 백업·복구 승인을 설명합니다.

6개 섹션 · 그림 1개
인프라

Argo CD의 Drift·Sync·Health와 필드 책임

Git 조회·비교·self-heal·실제 준비를 분리하고 HPA replicas 제외·sync 적용·긴급 변경의 만료와 감사 경계를 설명합니다.

5개 섹션 · 그림 1개
인프라

Spot·Job 중단의 Checkpoint와 단일 효과

통지 기회와 알림 없는 손실을 나누고 Job 재실행·논리 키·원자 checkpoint·재작업 예산·세션 복구·on-demand 최소 용량을 설명합니다.

7개 섹션 · 그림 1개
인프라

Kubernetes Probe의 상태와 복구 행동

startup·readiness·liveness의 실패 효과와 시간 예산을 구분하고 의존 DB 검사 증폭·HTTP·gRPC 지원·종료 연결을 설명합니다.

6개 섹션 · 그림 1개

Kubernetes

Kubernetes

Kubernetes CRD schema 변환과 storage version

CRD의 served·storage version, structural schema, conversion webhook과 storage version migration을 API 호환·저장 형식의 문제로 구분합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19

네트워크

네트워크

ARP 이웃 발견과 주소 해석

라우팅으로 선택한 다음 홉의 IPv4 주소를 Ethernet 하드웨어 주소로 바꾸는 요청·응답·캐시 갱신과 충돌 경계를 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

DHCP 임대 갱신과 주소 충돌

DHCP 초기 할당의 DORA와 T1·T2 갱신·재결합, 릴레이 경계, DECLINE으로 보고하는 주소 충돌을 상태 전이로 설명합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

DNSSEC 신뢰 사슬과 검증 범위

DNSSEC RRset 서명과 RRSIG, trust anchor에서 DS·DNSKEY를 거쳐 자식 zone으로 이어지는 검증, NSEC의 authenticated denial과 비밀성의 한계를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

Ethernet 스위칭의 MAC 학습과 VLAN 경계

스위치가 출발지 MAC을 학습하고 목적지 MAC을 전달·플러딩하는 과정과 VLAN이 브로드캐스트 도메인 및 태그 경계를 나누는 방식을 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

HTTP 콘텐츠 인코딩 협상

Content-Encoding이 표현에 적용한 변환, Accept-Encoding 협상과 Transfer-Encoding의 분리, Vary·ETag를 이용한 압축 variant 캐시를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

ICMP 오류 전파와 traceroute 해석

IPv4·IPv6의 Destination Unreachable, Time Exceeded, Packet Too Big을 원래 패킷의 실패 지점과 traceroute 관찰로 해석합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

IPv4 CIDR와 최장 접두사 라우팅

CIDR 접두사로 주소 블록을 나누고 겹치는 경로에서는 가장 구체적인 접두사를 선택하며 요약 경로의 누락·루프 경계를 설명합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

IPv6 주소 범위와 Neighbor Discovery

IPv6의 unicast·multicast·link-local 범위와 Router/Neighbor Solicitation·Advertisement를 주소 해석·중복 검사·도달성 상태와 연결합니다.

10개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

QUIC Connection ID와 경로 이동 검증

QUIC v1에서 Connection ID가 주소·포트와 별도로 연결을 식별하는 방식, client migration과 NAT rebinding의 차이, 경로 검증 및 load balancer 라우팅 조건을 설명합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

TCP 혼잡 제어의 slow start와 AIMD

cwnd·ssthresh·FlightSize를 기준으로 slow start, additive increase, duplicate ACK fast retransmit, timeout 반응을 구분합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

TCP RTT 추정과 재전송 타이머

SRTT·RTTVAR로 RTO를 계산하고 재전송 측정의 모호성을 피하며 timeout backoff와 clock granularity가 타이머에 미치는 영향을 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

TCP SACK 복구와 재정렬

SACK 허용 협상과 선택적 블록 범위를 추적하고 재정렬·복수 손실에서 이미 받은 데이터의 재전송을 줄이는 경계를 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

WebSocket upgrade와 마스킹·fragmentation

WebSocket opening handshake의 수락 검증, client frame masking, fragmented message와 continuation, control frame의 삽입·크기 제한을 연결해 설명합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-19
네트워크

DNS와 프록시 분산의 경계 실습

DNS RR·가중 RR·least connections를 캐시·연결 재사용·HTTP/2 stream과 함께 결정적 시뮬레이터로 추적하고 DNS 주소 응답과 health-aware proxy routing을 구분합니다.

9개 섹션 · 그림 1개 · 자료 대조 2026-09-18
네트워크

Linux epoll 이벤트 루프

논블로킹 소켓의 준비 상태를 epoll에 등록하고 LT·ET·EPOLLONESHOT의 진행, 재무장, 종료 경계를 하나의 실행 흐름으로 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

서버 I/O 모델 선택과 이식

준비 통지·완료 통지·등록 I/O의 계약을 같은 상태 머신으로 비교하고, workload와 운영 제약에 맞는 선택 및 단계적 이식 방법을 설명합니다.

12개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

io_uring 제출과 완료

공유 제출·완료 링의 head와 tail, SQE·CQE·user_data의 역할과 배압·종료 순서를 실제 수신 흐름으로 연결합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

io_uring 버퍼 수명과 종료

일반·등록·제공 버퍼의 수명과 CQE 기반 재사용을 구분하고, 취소·다중 완료·종료 드레인을 안전한 상태 전이로 설계합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

BSD·macOS kqueue 이벤트 모델

kqueue의 필터 평가와 이벤트 집계를 출발점으로 EVFILT_READ·WRITE, EV_CLEAR, EOF·오류, close와 디스크립터 수명을 하나의 이벤트 루프로 연결합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

Linux epoll과 io_uring 경계 실습

loopback echo 서버를 직접 따라가며 epoll의 ET·ONESHOT 준비 통지와 io_uring의 one-shot CQE 수명, partial I/O, 기능 탐색과 종료 경계를 작은 코드로 확인합니다.

7개 섹션 · 그림 1개 · 자료 대조 2026-09-18
네트워크

Windows RIO 등록 버퍼와 큐

Winsock RIO의 런타임 함수 탐색부터 등록 버퍼·요청 큐·완료 큐·알림 재무장·결과 회수와 수명 종료까지 하나의 소유권 모델로 설명합니다.

11개 섹션 · 그림 1개 · 자료 대조 2026-09-17
네트워크

Windows IOCP·RIO 루프백 실습

overlapped IOCP의 안정적인 operation 소유권, 완전한 TCP framing, bounded sender, CancelIoEx drain, RIO IOCP notification과 registered memory 수명을 분리해 검증하는 교정 노트입니다.

6개 섹션 · 그림 1개 · 자료 대조 2026-09-18
네트워크

AcceptEx 접속 수락

수락 소켓과 주소 버퍼를 준비한 뒤, 새 연결을 받아 첫 수신으로 이어가는 과정을 설명합니다.

8개 섹션 · 그림 1개
네트워크

DNS 변경과 기존 연결의 전환 시점

권한 응답·resolver·앱 캐시·연결 풀을 나누고 TTL 사전 조정·음성 캐시·연결 수명·제한된 후보 경쟁을 설명합니다.

7개 섹션 · 그림 1개
네트워크

SSE·WebSocket의 재연결과 상태 복구

채널 선택·하트비트·커서·중복 적용·snapshot 전환을 나누고 프록시 버퍼링과 느린 소비자의 상한을 설명합니다.

7개 섹션 · 그림 1개
네트워크

HTTP 다중화와 공유 연결의 지연

HTTP/2의 TCP 선두 지연과 두 흐름 제어 창을 설명하고 QUIC 스트림 분리 이후에도 남는 혼잡·CPU·공정성 비용을 비교합니다.

6개 섹션 · 그림 1개
네트워크

HTTP 조건부 변경과 이어받기

If-Match의 낡은 쓰기 방지와 If-Range의 동일 표현 확인을 구분하고 412·206·200·416 이후의 안전한 처리 순서를 설명합니다.

6개 섹션 · 그림 1개
네트워크

IOCP 수신·완료 처리

소켓을 완료 포트에 연결하고 WSARecv의 반환값과 완료 패킷을 처리하는 과정을 C++ 코드로 따라갑니다.

9개 섹션 · 그림 1개
네트워크

소켓 I/O 기초

데이터가 아직 없을 때 스레드가 무엇을 하는지부터 출발해, 버퍼를 맡기는 비동기 I/O와 완료 포트가 필요한 이유를 설명합니다.

7개 섹션 · 그림 1개
네트워크

IOCP 워커 구성

워커 스레드를 직접 구성하고, 연결별 처리 순서와 오래 걸리는 작업을 어디에서 관리할지 살펴봅니다.

7개 섹션 · 그림 1개
네트워크

IOCP 비동기 송신

여러 곳에서 만든 응답을 연결별 큐에 모아 보내고, 송신 완료 뒤 버퍼를 정리하는 과정을 따라갑니다.

7개 섹션 · 그림 1개
네트워크

IOCP 종료 처리

새 요청을 막고 남은 I/O를 회수한 다음 워커와 포트를 닫는 순서를, 취소 API와 함께 설명합니다.

8개 섹션 · 그림 1개
네트워크

TCP 소량 쓰기 지연

앱 배치·TLS 레코드·Nagle·지연 ACK·NIC 전송을 분리하고 NODELAY의 지연 이득과 비용을 비교합니다.

5개 섹션 · 그림 1개
네트워크

TCP 반닫기와 종료 후 자원 진단

한 방향 FIN부터 CLOSE_WAIT·TIME_WAIT를 추적하고 애플리케이션 FD·임시 포트·NAT 자원과 요청 성공을 구분합니다.

7개 섹션 · 그림 1개
네트워크

TCP 연결 수립의 순서 번호와 재전송

SYN·ACK의 독립 순서 공간을 표로 추적하고 마지막 ACK 유실·동시 오픈·반쯤 열린 상태와 상위 성공의 경계를 설명합니다.

6개 섹션 · 그림 1개
네트워크

TCP 수신 창과 경로 혼잡의 분리 진단

수신 앱과 네트워크 경로의 다른 병목을 창·RTT·in-flight·앱 큐로 나누고 대역폭 지연 곱과 버퍼의 절충을 설명합니다.

6개 섹션 · 그림 1개
네트워크

TCP 메시지 프레이밍

길이 헤더가 쪼개지거나 여러 메시지가 한 번에 도착하는 예를 따라가며 증분 파서와 버퍼 수명을 설계합니다.

7개 섹션 · 그림 2개
네트워크

메모리 객체와 전송 바이트의 분리

정수 엔디언·padding·길이·문자열·버전의 전송 계약을 정하고 객체 캐스팅과 안전한 디코딩의 차이를 설명합니다.

6개 섹션 · 그림 1개

저장소

저장소

Object storage Erasure Coding 복구 비용

k 데이터 조각과 m parity 조각의 저장 절감·장애 허용·부분 읽기·degraded read와 repair traffic의 trade-off를 계산합니다.

8개 섹션 · 그림 1개 · 자료 대조 2026-09-19

웹·모바일

웹·모바일

웹·모바일 클라이언트 기초

데이터와 화면 상태, 좌표와 배치, 이벤트와 비동기 수명을 화면 검색 예제로 연결합니다.

6개 섹션 · 그림 1개

컴퓨터 과학

컴퓨터 과학

컴퓨터 과학 기초

프로그램 실행, 메모리, 운영체제, 자료구조와 알고리즘을 하나의 검색 프로그램으로 연결합니다.

5개 섹션 · 그림 1개

머신러닝·AI

머신러닝·AI

머신러닝·AI 에이전트 기초

데이터에서 규칙을 학습하는 모델과 도구를 실행하는 에이전트를 스팸 분류와 메일 처리 예제로 구분합니다.

6개 섹션 · 그림 1개

성능

성능

Kafka Lag와 업무 효과의 완료 지점

log end·fetch position·committed offset·연속 업무 완료를 나누고 partition별 hot spot·유입률·배수 시간·retention·재처리 상태를 설명합니다.

5개 섹션 · 그림 1개
성능

부재 캐시와 Stale 응답의 유효 기간

없는 값과 조회 실패를 구분하고 negative cache·생성 무효화·fresh/stale 경계·재검증 합치기·늦은 갱신의 역전을 설명합니다.

5개 섹션 · 그림 1개
성능

Cache Line 공유·AoS·SoA의 접근 비용

true/false sharing·읽기 공유·coherence를 구분하고 주소·padding 대조·local aggregation·AoS/SoA의 필드 사용·ID 수명을 설명합니다.

6개 섹션 · 그림 1개
성능

분산 Trace와 On·Off CPU의 대기 근거

critical path·pool·실행·lock wait/hold를 분해하고 batch trace link·clock skew·head/tail sampling·전체 지표와 프로파일의 역할을 설명합니다.

7개 섹션 · 그림 1개
선택 연습 자료

기존 질문과 학습 노트의 연결 검토 →

이 목록은 질문별 설명 연결을 확인하는 보조 자료이며, 전체 기술 지식의 완성도를 뜻하지 않습니다.