fos-blog/study
01 / 홈02 / 카테고리03 / 시리즈
01 / 홈02 / 카테고리03 / 시리즈

카테고리

  • AI 페이지로 이동
    • RAG 페이지로 이동
    • agent 페이지로 이동
    • claude-code 페이지로 이동
    • harness 페이지로 이동
    • llm 페이지로 이동
    • ops 페이지로 이동
    • practice 페이지로 이동
  • algorithm 페이지로 이동
    • Alias Method: 가중치 랜덤 선택을 전처리 O(n), 추출 O(1)로 바꾸기
    • Welford's Online Algorithm: 값을 저장하지 않고 평균과 분산 계산하기
  • architecture 페이지로 이동
    • distributed-systems 페이지로 이동
    • domain 페이지로 이동
    • evolution 페이지로 이동
    • patterns 페이지로 이동
  • database 페이지로 이동
    • milvus 페이지로 이동
    • mysql 페이지로 이동
    • opensearch 페이지로 이동
    • postgresql 페이지로 이동
    • qdrant 페이지로 이동
    • redis 페이지로 이동
    • vespa 페이지로 이동
    • DB Connection Pool Saturation과 Thread Pool 격리
    • 커넥션 풀 크기는 얼마나 조정해야 할까?
    • gaps and islands: SQL 창 함수로 이어진 구간 찾기
    • MyBatis 기본기 — XML Mapper, resultMap, 동적 SQL, 운영 패턴 정리
    • MyBatis와 JPA/Hibernate 트레이드오프 — 레거시 백엔드를 다루는 시니어 관점
    • 한국어 형태소 분석기 Nori vs Lindera — OpenSearch에서 Milvus로 갈 때 어휘 검색은 유지되나
    • 정규화와 역정규화: 무결성과 조회 비용 사이의 선택
    • 벡터 DB 5종, 아키텍처는 어떻게 다른가
    • 벡터 DB 5종을 실제로 벤치마크했다 — 같은 recall에서 QPS는 얼마나 갈리나
    • 벡터 DB 어떻게 고를까 — OpenSearch · Milvus · Qdrant · Vespa · pgvector 비교
    • 벡터 DB를 실제로 도입한 사례 — 빅테크 프로덕션
  • devops 페이지로 이동
    • docker 페이지로 이동
    • k8s 페이지로 이동
    • Envoy Proxy
    • Graceful Shutdown
    • 종료 신호는 어디서 멈추는가
  • http 페이지로 이동
    • HTTP Connection Pool
    • HTTPS와 TLS: 핸드셰이크, 인증서, 종료 지점
  • java 페이지로 이동
    • concurrency 페이지로 이동
    • jdbc 페이지로 이동
    • spring 페이지로 이동
    • spring-batch 페이지로 이동
    • testing 페이지로 이동
    • Alpine 이미지의 Java 에서 링크 바꿔치기(TOCTOU)를 막지 못하는 이유
    • Java 동시성 락 정리 — 커머스 메뉴/프로모션 정책 캐시 갱신 관점
    • JVM 튜닝 실전: 메모리 구조부터 Virtual Threads, GC 튜닝, 프로파일링까지
    • 로그에 traceId 남기기 — MDC 부터 OpenTelemetry 까지
    • Java StampedLock — 읽기 폭주에도 쓰기가 밀리지 않는 락
    • Virtual Thread와 Project Loom
  • javascript 페이지로 이동
    • typescript 페이지로 이동
    • AbortController
    • Async Iterator와 제너레이터
    • CommonJS와 ECMAScript Modules
    • 제너레이터(Generator)
    • Http Client
    • Node 백엔드 운영 패턴 — Streams 백프레셔, pipe/pipeline, 멱등성 vs 분산 락
    • Node.js
    • `setImmediate()`
  • kafka 페이지로 이동
    • Kafka 클러스터 아키텍처: Broker, KRaft Controller와 복제
    • Kafka 기본 개념: Topic, Partition, Offset과 Segment
    • Kafka 실전 설계: 파티션 전략, 컨슈머 그룹, 전달 보장, 재시도, 순서 보장 트레이드오프
    • Kafka 파티션·리밸런스·컨슈머 지연 운영
    • Kafka를 로그로 이해하기: 복제, 재처리, 상태와 데이터 통합
    • Spring Kafka 컨슈머 오프셋 커밋과 트랜잭션 정렬: AckMode, manual ack, 멱등 처리
  • linux 페이지로 이동
    • fsync — 리눅스 파일 동기화 시스템 콜
    • SSH forced command 로 배포 키가 실행할 수 있는 명령 제한하기
  • mlops 페이지로 이동
    • llm-serving 페이지로 이동
    • model-router 페이지로 이동
    • Python CUDA 버전 생태계 — nvidia-smi, nvcc, pip, conda가 다 다른 버전을 말하는 이유
    • GPU 컨테이너의 CUDA 버전 호환성 — nvidia-smi부터 이미지 다이어트까지
    • Kubernetes GPU 노드에서 /run tmpfs가 꽉 차서 Pod가 안 뜰 때
    • GPU·CUDA·MPS 기초 — 자바 백엔드 개발자가 처음 만나는 그림
    • Multi-process GPU 워크로드 — 자바 ThreadPool 사용자가 만나는 모델 차이
    • ML 서비스 성능 분석 워크플로 — 자바 백엔드 트러블슈팅과 다른 점
    • 한 GPU 를 여러 프로세스가 나눠 쓰기 — Time-Slicing 과 MPS
  • network 페이지로 이동
    • Connection reset by peer는 누가 보낸 걸까 — 리버스 프록시 홉마다 TCP 연결은 따로 논다
    • L2(스위치)와 L3(라우터)의 역할 차이
    • L4와 VIP(Virtual IP Address)
    • IP Subnet
  • observability 페이지로 이동
    • Observability 입문: 시니어 백엔드가 장애를 탐지하고 대응하는 방식
    • K8s 위 Spring Boot 앱의 메트릭 수집
  • python 페이지로 이동
    • Python async/await — CompletableFuture·Reactor 와 다른 점, 그리고 blocking I/O 함정
    • Python 의존성 관리 — Java Maven/Gradle 사용자가 만나는 첫 충격
    • FastAPI 기초 — Spring Boot 사용자가 빠르게 익히는 법
    • Java 개발자를 위한 Python 심화 — OOP·데코레이터·컨텍스트 매니저
    • PyTorch 기초 — 텐서, 디바이스, 그리고 모델 로딩이 무거운 이유
    • Java 개발자를 위한 Python 문법 핵심
    • ThreadLocal 에서 contextvars 로 — Python 의 요청 컨텍스트 전파
    • OCR 동작 원리 — Layout · Text · Post-process 3단계
    • Python 서버의 RSS가 줄지 않는 이유: CPython, gc.collect(), malloc_trim
  • rabbitmq 페이지로 이동
    • RabbitMQ Basics — 실전 백엔드 관점에서 정리하는 메시지 브로커 기본기
    • RabbitMQ vs Kafka — 백엔드 메시징 선택 기준과 실전 운영 관점
  • resume 페이지로 이동
    • 경험 및 경력기술서
    • 김병태 경력기술서
    • 김병태 포트폴리오
  • task 페이지로 이동
    • ai-service-team 페이지로 이동
    • nsc-slot 페이지로 이동
    • personal-projects 페이지로 이동
    • sb-dev-team 페이지로 이동
    • the-future-company 페이지로 이동
  • thinking 페이지로 이동
    • 자기주도 학습: 질문에서 시작해 글로 검증하기
    • 좋은 일을 넘어 중요한 일을 하는 법
FOS-BLOG · FOOTERall systems normal·v0.1 · 2026.04.27·seoul, kr
Ffos-blog/study

개발 학습 기록을 정리하는 블로그입니다. 공부하면서 기록하고, 기록하면서 다시 배웁니다.

visitors
01site
  • Home↗
  • Posts↗
  • Categories↗
  • Glossary↗
  • About↗
02policy
  • 소개/about
  • 개인정보처리방침/privacy
  • 연락처/contact
03categories
  • AI↗
  • Algorithm↗
  • DB↗
  • DevOps↗
  • Java/Spring↗
  • JS/TS↗
  • React↗
  • Next.js↗
  • System↗
04connect
  • GitHub@jon890↗
  • Source repositoryjon890/fos-study↗
  • RSS feed/rss.xml↗
  • Newsletter매주 1 회 · 한 편의 글→
© 2026 FOS Study. All posts MIT-licensed.
built with·Next.js·Tailwind v4·Geist·Pretendard·oklch
fos-blog/architecture/분산 트랜잭션
architecture

분산 트랜잭션

분산 트랜잭션은 두 개 이상의 네트워크로 연결된 시스템(데이터베이스, 메시지 큐 등)에 걸쳐 있는 트랜잭션을 의미한다. 핵심은 원자성을 보장하는 것이다. 즉, 모든 서비스의 작업이 성공하거나, 하나라도 실패하면 모두 이전 상태로 되돌려야 한다. 가장 전통적인 방법으로, 트랜잭션 조정자(Coordinator)가 모든 참여 서비스에 '준비'를 시키고, 모두 O...

2026.09.03·4 min read·73 views

분산 트랜잭션은 두 개 이상의 네트워크로 연결된 시스템(데이터베이스, 메시지 큐 등)에 걸쳐 있는 트랜잭션을 의미한다.
핵심은 원자성을 보장하는 것이다. 즉, 모든 서비스의 작업이 성공하거나, 하나라도 실패하면 모두 이전 상태로 되돌려야 한다.

MSA에서 분산 트랜잭션을 달성하는 방법론

2PC (Two-Phase Commit)

  • 가장 전통적인 방법으로, 트랜잭션 조정자(Coordinator)가 모든 참여 서비스에 '준비'를 시키고, 모두 OK 사인을 보내면 '커밋'을 수행한다.
    • 장점 : 강력한 일관성을 보장한다.
    • 단점 : 모든 노드가 응답할 떄까지 리소스를 점유하므로 성능 저하가 심하고, 장애 시 단일 실패 지점이 될 수 있어 현대적인 MSA에서는 잘 사용하지 않는다.

Saga 패턴 (가장 권장되는 방식)

  • 각 서비스의 로컬 트랜잭션을 순차적으로 실행하며, 실패 시 이전에 성공한 작업들을 취소하는 보상 트랜잭션(Compensating Transaction)을 실행하는 방식이다.
    • Choreography 기반 : 중앙 제어자 없이 각 서비스가 이벤트를 주고받으며 다음 단계를 진행한다.
      • 간단한 구조에 유리
    • Orchestration 기반 : 별도의 오케스트레이터가 전체 흐름을 제어한한다.
      • 복잡한 비즈니스 로직 관리에 유리ㅌ

TCC (Try-Confirm-Cancel)

  • Saga와 비슷하지만, 비즈니스 로직을 '시도-확정-취소'의 3단계로 명확히 나눈다.
    • Try : 자원을 가선점 (예: 포인트 차감 전 예약 상태로 변경)
    • Confim : 모든 서비스의 Try가 성공하면 확정
    • Cancel : 하나라도 실패하면 가선점된 자원을 해제

예시 : 유저 서버 <-> 슬롯 서버 트랜잭션 관리 전략

추천 전략 : Saga 패턴 (Orchestration 방식)

  • 유저의 돈이 걸린 문제이므로 최종 일관성(Eventual Consistency)를 유지하는 Saga 패턴이 가장 적합하다.
  1. 유저 서버 (시작) ; 유저의 보유 금액을 차감(또는 점유)하고 BettingStarted 이벤트를 발행한다.
  2. 슬롯 서버 : 이벤트를 수신해 게임 로직을 처리한 뒤, GameResultCalculated 이벤트를 발행한다.
  3. 유저 서버 (마무리) : 게임 결과에 따라 당첨금을 지급하거나 차감 상태를 확정한다.
  4. 에러 처리 (보상) : 슬롯 서버에서 오류가 발생하면 유저 서버로 BettingFaild 이벤트를 보내 차감했던 금액을 다시 복구(보상 트랜잭션)한다.

Tip: Kafka나 RabbitMQ와 같은 메시지 브로커를 활용하고, Transactional Outbox 패턴을 적용해 "DB 업데이트와 메시지 발행"이 원자적으로 일어나도록 설계하는 것이 정석이다.

우리가 했던 방식 - 동기식 요청 기반의 의사 분산 트랜잭션

  • 슬롯 서버에서 스핀 요청을 받아, 유저 정보를 유저 서버를 통해 조회
  • 그리고 유저의 보유 금액이 충분하다면 스핀 로직을 수행하고, 결과를 바탕으로 다시 유저 서버에 베팅 완료 요청을 보냄
  • 유저 서버에서 에러를 전달한다면 슬롯 서버에서도 롤백처리

분산 시스템의 핵심인 결합도 분리와 장애 전파 차단관점에서 위험 요소를 안고 있다.

데이터 저합성의 불일치 (가장 큰 문제)

  • 가장 위험한 시나리오는 네트워크 타임아웃
    • 상황 : 슬롯 서버가 유저 서버에 betting 요청을 보냈는데, 유저 서버는 처리를 완료했지만 네트워크 이슈로 응답만 슬롯 서버에 전달되지 못한 경우
    • 결과 : 유저 서버는 베팅을 완료로 처리함
      • 슬롯 서버 : 응답을 못 받았으므로 에러로 판단하여 자신의 트랜잭션을 롤백
      • 현상 : 유저는 돈만 날리고 게임 결과는 기록되지 않는 대형 사고 발생

가용성 저하 (장애 전파)

  • 두 서버가 동기(Synchronous) HTTP 호출로 묶여 있기 때문에 런타임 의존성이 매우 강하다
    • 유저 서버가 점검 중이거나 장애가 나면 슬롯 서버의 핵심 기능잉ㄴ '스핀' 자체가 불가능해진다.
    • 유저 서버의 응답이 지연 되면 슬롯 서버의 워커 스레드들이 응답을 기다리며 점유되어, 슬롯 서버까지 함께 느려지는 계단식 장애가 발생한다.

성능 병목

  • 유저가 스핀을 한 번 할 때마다 유저 조회(GET) + 베팅 처리(POST)라는 최소 두 번의 네트워크 왕복이 발생한다
    • 단일 DB 트랜잭션에 비해 응답 속도가 현저히 느려지며, 동시 접속자가 몰릴 경우 네트워크 I/O 비용이 서비스의 전체 처리량을 깎아 먹게된다.

1차적으로 우리가 방어한 것 : Resilience4j를 통해 장애 전파 차단, 멱등성 처리


관련 문서

  • 분산 트랜잭션과 Outbox 패턴 — 2PC를 피하고 대신 쓸 방법
  • Resilience 패턴 — Timeout, Retry, Circuit Breaker, Bulkhead 상세
  • MSA 서비스 간 통신 — Cache-Aside × Kafka 이벤트 하이브리드
on this page
  • 01MSA에서 분산 트랜잭션을 달성하는 방법론
  • 2PC (Two-Phase Commit)
  • Saga 패턴 (가장 권장되는 방식)
  • TCC (Try-Confirm-Cancel)
  • 02예시 : 유저 서버 <-> 슬롯 서버 트랜잭션 관리 전략
  • 추천 전략 : Saga 패턴 (Orchestration 방식)
  • 03우리가 했던 방식 - 동기식 요청 기반의 의사 분산 트랜잭션
  • 데이터 저합성의 불일치 (가장 큰 문제)
  • 가용성 저하 (장애 전파)
  • 성능 병목
  • 041차적으로 우리가 방어한 것 : Resilience4j를 통해 장애 전파 차단, 멱등성 처리
  • 05관련 문서
tags
#study

이런 글도

  • architecture

    코드 제거 작업의 grep 통과 조건과 문서 부패

    2026.10.02
  • architecture

    캐시 설계 전략 총정리

    2026.09.03
  • architecture

    분산 트랜잭션과 Outbox 패턴 — 왜 2PC를 피하고 어떻게 대신할 것인가

    2026.09.03
  • architecture

    Event Sourcing과 CQRS — 상태가 아니라 변화를 저장한다는 발상

    2026.09.03

댓글 (0)