Move Decks

Raw English armor

이건 하나의 25개 암기장이 아니다. System 15와 Algorithm 10을 따로 박고, 필요한 문제에 맞는 덱으로 생각한다.

0/15

system today

Daily loop

덱을 고른다. 한 수를 고른다. raw English를 세 번 말한다. 실제 문제 하나에 붙여 다시 설명한다.

System은 대가와 측정값까지 말한다. Algorithm은 복잡도, 상태, 증명까지 말한다. 섞지 말고 따로 박는다.

System move

진실은 한 곳에

Single source of truth

Seed

같은 사실을 두 곳이 따로 들고 있게 하지 않는다.

Raw English - say 3 times

The truth must live in one place.

Then explain

If two systems own the same fact independently, they will drift. I need one source of truth and constraints as the last defense.

Expression guide

직역이 아니라 실제로 어떻게 받아들여야 하는지 보는 표현 해석집.

전체 보기

drift

원래 같아야 하는 두 상태가 시간이 지나며 달라지는 현상.

term

직역: 표류/어긋남

뉘앙스: data drift, model drift, ledger drift 모두에 쓴다.

The two ledgers can drift if one event is missed.

last line of defense

앞단 코드가 새도 최종적으로 막아주는 방어 장치.

phrase

직역: 마지막 방어선

뉘앙스: DB constraint, approval gate, type system 같은 것을 설명할 때 쓴다.

The unique index is the last line of defense.

partition

데이터나 작업을 기준에 따라 나눈 단위.

term

직역: 파티션/분할

뉘앙스: DB partition, Kafka partition, network partition 모두 문맥에 따라 다르다.

The partition key decides where the data lives.

source of truth

어떤 사실을 최종적으로 믿을 한 곳.

term

직역: 진실의 출처

뉘앙스: cache, UI, replica는 파생값이고 진짜 소유자가 따로 있다는 뜻으로 쓴다.

The database is the source of truth for payment state.

stale

원본보다 뒤처진 데이터.

term

직역: 오래된/낡은

뉘앙스: cache와 replica의 고정 대가.

Caching buys speed but can serve stale data.

Self attack

Where is the source of truth?
What can drift?
What constraint protects it?

Where it applies (tools) · 어디에 적용되나

Postgres UNIQUE / partial index — The DB enforces the truth as the last line of defense — even if the code leaks, the constraints block it — 진실을 DB가 마지막 방어선으로 강제 — 코드가 새도 제약이 막는다
Single-leader replication (Postgres primary, Kafka partition leader) — Accept writes only on a single leader so the replicas can't each claim the truth on their own — 쓰기를 한 리더에만 받아 사본들이 따로 진실을 주장하지 못하게 함
Offer FSM의 status 컬럼 (서비스 메모리 캐시 아님) — The source of truth for the offer state lives in a single row; the screen and the cache are merely derived values. — 오퍼 상태의 진실은 행 하나에만 있고 화면·캐시는 파생값일 뿐
DNS / 단일 권위 레지스트리 — Designate a single source of truth for the name→address mapping to eliminate conflicts at the root. — 이름→주소 매핑의 진실 출처를 한 곳으로 정해 충돌을 원천 차단

Real trade-offs · 실제 트레이드오프

• A single source of truth is a single bottleneck and a single point of failure — if that one place goes down or slows, the whole thing stalls.단일 진실은 단일 병목·단일 장애점 — 그 한 곳이 죽거나 느려지면 전체가 멈춘다.
• Constraints (like UNIQUE) reject after the fact, so when concurrency conflicts are frequent, even legitimate requests fail often (409/violation), which forces you to design for retries.제약(UNIQUE 등)은 사후 거부라 동시성 충돌이 잦으면 정상 요청까지 자주 실패(409/violation)해 재시도 설계가 강제된다.
• The moment you try to geographically distribute the 'single place,' you cross over into consensus (Paxos/Raft) costs and the simplicity is gone.'한 곳'을 지리적으로 분산하려는 순간 합의(수 15) 비용으로 넘어가 단순함이 사라진다.

실제 사례 — say it

In our Offer service, the truth of a home's status lives in exactly one Postgres row, never in the web cache. We had a partial unique index that allowed only one offer per home in an active state, so even when two agents raced to send an offer at the same time, the database rejected the second write instead of letting the app's stale read create a duplicate. The code was the first defense, but that constraint was the last one that actually couldn't be bypassed.

Code · sql

-- 한 집에 활성 오퍼는 단 하나. 진실을 코드가 아니라 DB가 강제한다.
CREATE TABLE offer (
  id          bigint PRIMARY KEY,
  home_id     bigint NOT NULL,
  status      text   NOT NULL
                CHECK (status IN ('CREATED','SENT','ACCEPTED','CLOSED','CANCELLED','EXPIRED')),
  created_at  timestamptz NOT NULL DEFAULT now()
);

-- 부분 유니크 인덱스: 활성 상태(active)일 때만 home_id 중복 금지.
CREATE UNIQUE INDEX one_active_offer_per_home
  ON offer (home_id)
  WHERE status IN ('CREATED','SENT','ACCEPTED');