Split View: Saga 패턴으로 구현하는 마이크로서비스 분산 트랜잭션: Choreography vs Orchestration
Saga 패턴으로 구현하는 마이크로서비스 분산 트랜잭션: Choreography vs Orchestration
- 들어가며
- 왜 2PC가 아닌 Saga인가?
- 주문 시나리오
- Choreography 방식 — 이벤트 기반
- Orchestration 방식 — 중앙 코디네이터
- Choreography vs Orchestration
- Semantic Lock 카운터 측정
- 멱등성 보장
- 정리
들어가며
마이크로서비스 아키텍처에서 가장 어려운 문제 중 하나가 분산 트랜잭션입니다. 모놀리스에서는 데이터베이스의 ACID 트랜잭션으로 해결했지만, 각 서비스가 자체 데이터베이스를 가진 마이크로서비스에서는 2PC(Two-Phase Commit)가 현실적이지 않습니다.
Saga 패턴은 긴 트랜잭션을 여러 로컬 트랜잭션으로 분해하고, 실패 시 보상 트랜잭션(Compensating Transaction)으로 일관성을 유지하는 패턴입니다.
왜 2PC가 아닌 Saga인가?
| 항목 | 2PC | Saga |
|---|---|---|
| 정합성 | 강한 정합성 | 결과적 정합성 |
| 가용성 | 낮음 (동기 잠금) | 높음 (비동기) |
| 지연시간 | 높음 | 낮음 |
| 확장성 | 제한적 | 우수 |
| 장애 격리 | 전체 롤백 | 부분 보상 |
주문 시나리오
온라인 쇼핑몰의 주문 처리를 예로 듭니다:
- 주문 서비스: 주문 생성
- 결제 서비스: 결제 처리
- 재고 서비스: 재고 차감
- 배송 서비스: 배송 생성
만약 3단계(재고 차감)에서 실패하면, 2단계(결제)를 환불하고 1단계(주문)를 취소해야 합니다.
Choreography 방식 — 이벤트 기반
각 서비스가 이벤트를 발행하고, 다른 서비스가 이벤트를 구독하여 자신의 로컬 트랜잭션을 실행합니다.
이벤트 정의
# events.py
from dataclasses import dataclass
from datetime import datetime
@dataclass
class OrderCreated:
order_id: str
customer_id: str
items: list
total_amount: float
timestamp: datetime
@dataclass
class PaymentProcessed:
order_id: str
payment_id: str
amount: float
@dataclass
class PaymentFailed:
order_id: str
reason: str
@dataclass
class InventoryReserved:
order_id: str
items: list
@dataclass
class InventoryInsufficient:
order_id: str
item_id: str
requested: int
available: int
@dataclass
class ShippingCreated:
order_id: str
tracking_number: str
# 보상 이벤트
@dataclass
class PaymentRefunded:
order_id: str
payment_id: str
amount: float
@dataclass
class InventoryReleased:
order_id: str
items: list
@dataclass
class OrderCancelled:
order_id: str
reason: str
주문 서비스
# order_service.py
import json
from kafka import KafkaProducer, KafkaConsumer
class OrderService:
def __init__(self):
self.producer = KafkaProducer(
bootstrap_servers='kafka:9092',
value_serializer=lambda v: json.dumps(v).encode()
)
self.db = OrderDB()
def create_order(self, customer_id, items, total_amount):
"""주문 생성 + OrderCreated 이벤트 발행"""
order = self.db.create(
customer_id=customer_id,
items=items,
total_amount=total_amount,
status="PENDING"
)
self.producer.send('order-events', {
'type': 'OrderCreated',
'order_id': order.id,
'customer_id': customer_id,
'items': items,
'total_amount': total_amount
})
return order
def handle_payment_failed(self, event):
"""결제 실패 시 주문 취소"""
self.db.update_status(event['order_id'], "CANCELLED")
self.producer.send('order-events', {
'type': 'OrderCancelled',
'order_id': event['order_id'],
'reason': event['reason']
})
def handle_inventory_insufficient(self, event):
"""재고 부족 시 환불 요청"""
self.db.update_status(event['order_id'], "CANCELLING")
# 결제 환불 이벤트 발행
self.producer.send('payment-events', {
'type': 'RefundRequested',
'order_id': event['order_id']
})
def handle_shipping_created(self, event):
"""배송 생성 완료 시 주문 확정"""
self.db.update_status(event['order_id'], "CONFIRMED")
결제 서비스
# payment_service.py
class PaymentService:
def __init__(self):
self.producer = KafkaProducer(
bootstrap_servers='kafka:9092',
value_serializer=lambda v: json.dumps(v).encode()
)
self.db = PaymentDB()
def handle_order_created(self, event):
"""주문 생성 이벤트 수신 -> 결제 처리"""
try:
payment = self.db.process_payment(
order_id=event['order_id'],
customer_id=event['customer_id'],
amount=event['total_amount']
)
self.producer.send('payment-events', {
'type': 'PaymentProcessed',
'order_id': event['order_id'],
'payment_id': payment.id,
'amount': event['total_amount']
})
except InsufficientFundsError as e:
self.producer.send('payment-events', {
'type': 'PaymentFailed',
'order_id': event['order_id'],
'reason': str(e)
})
def handle_refund_requested(self, event):
"""보상 트랜잭션: 환불 처리"""
payment = self.db.get_by_order(event['order_id'])
self.db.refund(payment.id)
self.producer.send('payment-events', {
'type': 'PaymentRefunded',
'order_id': event['order_id'],
'payment_id': payment.id,
'amount': payment.amount
})
Orchestration 방식 — 중앙 코디네이터
하나의 Orchestrator(Saga Coordinator)가 전체 트랜잭션 흐름을 관리합니다.
Temporal로 구현하는 Saga Orchestrator
# workflows.py
from temporalio import workflow
from temporalio.common import RetryPolicy
from datetime import timedelta
@workflow.defn
class OrderSagaWorkflow:
"""주문 Saga - Orchestration 방식"""
@workflow.run
async def run(self, order_request: dict) -> dict:
retry_policy = RetryPolicy(
maximum_attempts=3,
initial_interval=timedelta(seconds=1),
maximum_interval=timedelta(seconds=10),
)
order_id = None
payment_id = None
reservation_id = None
try:
# Step 1: 주문 생성
order_id = await workflow.execute_activity(
create_order,
order_request,
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Order created: {order_id}")
# Step 2: 결제 처리
payment_id = await workflow.execute_activity(
process_payment,
{"order_id": order_id, "amount": order_request["total_amount"]},
start_to_close_timeout=timedelta(seconds=60),
retry_policy=retry_policy,
)
workflow.logger.info(f"Payment processed: {payment_id}")
# Step 3: 재고 예약
reservation_id = await workflow.execute_activity(
reserve_inventory,
{"order_id": order_id, "items": order_request["items"]},
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Inventory reserved: {reservation_id}")
# Step 4: 배송 생성
tracking_number = await workflow.execute_activity(
create_shipment,
{"order_id": order_id, "address": order_request["address"]},
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Shipment created: {tracking_number}")
# Step 5: 주문 확정
await workflow.execute_activity(
confirm_order,
{"order_id": order_id},
start_to_close_timeout=timedelta(seconds=10),
)
return {
"status": "SUCCESS",
"order_id": order_id,
"tracking_number": tracking_number
}
except Exception as e:
workflow.logger.error(f"Saga failed: {e}")
# 보상 트랜잭션 실행 (역순)
if reservation_id:
await workflow.execute_activity(
release_inventory,
{"reservation_id": reservation_id},
start_to_close_timeout=timedelta(seconds=30),
)
if payment_id:
await workflow.execute_activity(
refund_payment,
{"payment_id": payment_id},
start_to_close_timeout=timedelta(seconds=60),
)
if order_id:
await workflow.execute_activity(
cancel_order,
{"order_id": order_id, "reason": str(e)},
start_to_close_timeout=timedelta(seconds=10),
)
return {"status": "FAILED", "reason": str(e)}
Activity 구현
# activities.py
from temporalio import activity
@activity.defn
async def create_order(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://order-service:8080/orders",
json=request
)
response.raise_for_status()
return response.json()["order_id"]
@activity.defn
async def process_payment(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://payment-service:8080/payments",
json=request
)
response.raise_for_status()
return response.json()["payment_id"]
@activity.defn
async def reserve_inventory(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://inventory-service:8080/reservations",
json=request
)
if response.status_code == 409:
raise InsufficientInventoryError(response.json()["message"])
response.raise_for_status()
return response.json()["reservation_id"]
# 보상 활동
@activity.defn
async def refund_payment(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://payment-service:8080/refunds",
json=request
)
response.raise_for_status()
@activity.defn
async def release_inventory(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.delete(
f"http://inventory-service:8080/reservations/{request['reservation_id']}"
)
response.raise_for_status()
@activity.defn
async def cancel_order(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.patch(
f"http://order-service:8080/orders/{request['order_id']}/cancel",
json={"reason": request["reason"]}
)
response.raise_for_status()
Temporal Worker 실행
# worker.py
import asyncio
from temporalio.client import Client
from temporalio.worker import Worker
async def main():
client = await Client.connect("temporal:7233")
worker = Worker(
client,
task_queue="order-saga",
workflows=[OrderSagaWorkflow],
activities=[
create_order,
process_payment,
reserve_inventory,
create_shipment,
confirm_order,
refund_payment,
release_inventory,
cancel_order,
],
)
await worker.run()
if __name__ == "__main__":
asyncio.run(main())
Choreography vs Orchestration
| 항목 | Choreography | Orchestration |
|---|---|---|
| 결합도 | 느슨함 | Orchestrator에 의존 |
| 복잡도 | 서비스 수 증가 시 급증 | 중앙에서 관리 |
| 가시성 | 이벤트 추적 어려움 | 워크플로 상태 명확 |
| 단일 장애점 | 없음 | Orchestrator |
| 적합한 경우 | 단순한 흐름 (3-4 단계) | 복잡한 흐름 (5+ 단계) |
| 테스트 | 어려움 | 상대적으로 쉬움 |
Semantic Lock 카운터 측정
Saga는 격리성이 없으므로, 동시 실행 시 데이터 이상이 발생할 수 있습니다.
# Semantic Lock 패턴
class OrderDB:
def create_with_lock(self, order_data):
"""주문 생성 시 상태를 PENDING으로 설정하여 다른 Saga가 간섭 못하게"""
order = Order(
**order_data,
status="PENDING", # Semantic Lock
saga_id=generate_saga_id()
)
self.session.add(order)
self.session.commit()
return order
def confirm_order(self, order_id, saga_id):
"""Saga 완료 시 락 해제"""
order = self.session.query(Order).filter_by(
id=order_id,
saga_id=saga_id,
status="PENDING"
).first()
if not order:
raise ConcurrencyError("Order already processed by another saga")
order.status = "CONFIRMED"
self.session.commit()
멱등성 보장
보상 트랜잭션이 여러 번 실행될 수 있으므로 멱등성이 필수입니다.
# 멱등성 키를 활용한 결제 처리
class PaymentService:
def process_payment(self, order_id, amount, idempotency_key):
# 이미 처리된 요청인지 확인
existing = self.db.find_by_idempotency_key(idempotency_key)
if existing:
return existing # 동일 결과 반환
payment = self.db.create_payment(
order_id=order_id,
amount=amount,
idempotency_key=idempotency_key
)
return payment
정리
Saga 패턴은 마이크로서비스에서 분산 트랜잭션을 처리하는 핵심 패턴입니다:
- Choreography: 단순한 흐름에 적합, 이벤트 기반으로 느슨한 결합
- Orchestration: 복잡한 흐름에 적합, Temporal 등으로 중앙 관리
- 보상 트랜잭션: 실패 시 역순으로 복구
- 멱등성: 재시도 안전성을 위해 필수
- Semantic Lock: 동시 Saga 간 간섭 방지
✅ 퀴즈: Saga 패턴 이해도 점검 (7문제)
Q1. 2PC 대신 Saga를 사용하는 주된 이유는?
2PC는 동기 잠금으로 가용성과 확장성이 제한되지만, Saga는 비동기로 높은 가용성과 확장성을 제공합니다.
Q2. 보상 트랜잭션(Compensating Transaction)이란?
Saga의 특정 단계가 실패했을 때, 이전 성공한 단계를 되돌리는 역순 트랜잭션입니다.
Q3. Choreography 방식의 단점은?
서비스 수가 증가하면 이벤트 흐름이 복잡해지고, 전체 Saga의 진행 상황을 파악하기 어렵습니다.
Q4. Temporal이 Saga Orchestration에 적합한 이유는?
워크플로 상태를 자동으로 영속화하고, 실패 시 재시도와 보상을 선언적으로 관리할 수 있습니다.
Q5. Semantic Lock 패턴의 목적은?
PENDING 상태로 다른 Saga가 같은 데이터를 동시에 수정하는 것을 방지합니다.
Q6. 보상 트랜잭션에서 멱등성이 중요한 이유는?
네트워크 오류 등으로 보상이 여러 번 실행될 수 있으므로, 같은 결과를 보장해야 합니다.
Q7. Choreography와 Orchestration 중 어떤 상황에서 Orchestration을 선택해야 하나요?
5단계 이상의 복잡한 흐름, 조건부 분기가 많은 경우, 전체 진행 상황의 가시성이 필요한 경우입니다.
Implementing Distributed Transactions in Microservices with the Saga Pattern: Choreography vs Orchestration
- Introduction
- Why Saga Instead of 2PC?
- Order Scenario
- Choreography Approach — Event-Driven
- Orchestration Approach — Central Coordinator
- Choreography vs Orchestration
- Semantic Lock Countermeasure
- Ensuring Idempotency
- Summary
- Quiz
Introduction
One of the hardest problems in microservices architecture is distributed transactions. In a monolith, we solved this with the database's ACID transactions, but in microservices where each service owns its own database, 2PC (Two-Phase Commit) is not practical.
The Saga pattern decomposes a long transaction into multiple local transactions and maintains consistency through compensating transactions when failures occur.
Why Saga Instead of 2PC?
| Aspect | 2PC | Saga |
|---|---|---|
| Consistency | Strong consistency | Eventual consistency |
| Availability | Low (synchronous locks) | High (asynchronous) |
| Latency | High | Low |
| Scalability | Limited | Excellent |
| Fault isolation | Full rollback | Partial compensation |
Order Scenario
Let us use an online shopping order process as an example:
- Order Service: Create the order
- Payment Service: Process payment
- Inventory Service: Deduct inventory
- Shipping Service: Create shipment
If step 3 (inventory deduction) fails, we must refund step 2 (payment) and cancel step 1 (order).
Choreography Approach — Event-Driven
Each service publishes events, and other services subscribe to those events to execute their own local transactions.
Event Definitions
# events.py
from dataclasses import dataclass
from datetime import datetime
@dataclass
class OrderCreated:
order_id: str
customer_id: str
items: list
total_amount: float
timestamp: datetime
@dataclass
class PaymentProcessed:
order_id: str
payment_id: str
amount: float
@dataclass
class PaymentFailed:
order_id: str
reason: str
@dataclass
class InventoryReserved:
order_id: str
items: list
@dataclass
class InventoryInsufficient:
order_id: str
item_id: str
requested: int
available: int
@dataclass
class ShippingCreated:
order_id: str
tracking_number: str
# Compensation events
@dataclass
class PaymentRefunded:
order_id: str
payment_id: str
amount: float
@dataclass
class InventoryReleased:
order_id: str
items: list
@dataclass
class OrderCancelled:
order_id: str
reason: str
Order Service
# order_service.py
import json
from kafka import KafkaProducer, KafkaConsumer
class OrderService:
def __init__(self):
self.producer = KafkaProducer(
bootstrap_servers='kafka:9092',
value_serializer=lambda v: json.dumps(v).encode()
)
self.db = OrderDB()
def create_order(self, customer_id, items, total_amount):
"""Create order + publish OrderCreated event"""
order = self.db.create(
customer_id=customer_id,
items=items,
total_amount=total_amount,
status="PENDING"
)
self.producer.send('order-events', {
'type': 'OrderCreated',
'order_id': order.id,
'customer_id': customer_id,
'items': items,
'total_amount': total_amount
})
return order
def handle_payment_failed(self, event):
"""Cancel order on payment failure"""
self.db.update_status(event['order_id'], "CANCELLED")
self.producer.send('order-events', {
'type': 'OrderCancelled',
'order_id': event['order_id'],
'reason': event['reason']
})
def handle_inventory_insufficient(self, event):
"""Request refund on insufficient inventory"""
self.db.update_status(event['order_id'], "CANCELLING")
# Publish payment refund event
self.producer.send('payment-events', {
'type': 'RefundRequested',
'order_id': event['order_id']
})
def handle_shipping_created(self, event):
"""Confirm order when shipping is created"""
self.db.update_status(event['order_id'], "CONFIRMED")
Payment Service
# payment_service.py
class PaymentService:
def __init__(self):
self.producer = KafkaProducer(
bootstrap_servers='kafka:9092',
value_serializer=lambda v: json.dumps(v).encode()
)
self.db = PaymentDB()
def handle_order_created(self, event):
"""Receive OrderCreated event -> process payment"""
try:
payment = self.db.process_payment(
order_id=event['order_id'],
customer_id=event['customer_id'],
amount=event['total_amount']
)
self.producer.send('payment-events', {
'type': 'PaymentProcessed',
'order_id': event['order_id'],
'payment_id': payment.id,
'amount': event['total_amount']
})
except InsufficientFundsError as e:
self.producer.send('payment-events', {
'type': 'PaymentFailed',
'order_id': event['order_id'],
'reason': str(e)
})
def handle_refund_requested(self, event):
"""Compensating transaction: process refund"""
payment = self.db.get_by_order(event['order_id'])
self.db.refund(payment.id)
self.producer.send('payment-events', {
'type': 'PaymentRefunded',
'order_id': event['order_id'],
'payment_id': payment.id,
'amount': payment.amount
})
Orchestration Approach — Central Coordinator
A single Orchestrator (Saga Coordinator) manages the entire transaction flow.
Saga Orchestrator with Temporal
# workflows.py
from temporalio import workflow
from temporalio.common import RetryPolicy
from datetime import timedelta
@workflow.defn
class OrderSagaWorkflow:
"""Order Saga - Orchestration approach"""
@workflow.run
async def run(self, order_request: dict) -> dict:
retry_policy = RetryPolicy(
maximum_attempts=3,
initial_interval=timedelta(seconds=1),
maximum_interval=timedelta(seconds=10),
)
order_id = None
payment_id = None
reservation_id = None
try:
# Step 1: Create order
order_id = await workflow.execute_activity(
create_order,
order_request,
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Order created: {order_id}")
# Step 2: Process payment
payment_id = await workflow.execute_activity(
process_payment,
{"order_id": order_id, "amount": order_request["total_amount"]},
start_to_close_timeout=timedelta(seconds=60),
retry_policy=retry_policy,
)
workflow.logger.info(f"Payment processed: {payment_id}")
# Step 3: Reserve inventory
reservation_id = await workflow.execute_activity(
reserve_inventory,
{"order_id": order_id, "items": order_request["items"]},
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Inventory reserved: {reservation_id}")
# Step 4: Create shipment
tracking_number = await workflow.execute_activity(
create_shipment,
{"order_id": order_id, "address": order_request["address"]},
start_to_close_timeout=timedelta(seconds=30),
retry_policy=retry_policy,
)
workflow.logger.info(f"Shipment created: {tracking_number}")
# Step 5: Confirm order
await workflow.execute_activity(
confirm_order,
{"order_id": order_id},
start_to_close_timeout=timedelta(seconds=10),
)
return {
"status": "SUCCESS",
"order_id": order_id,
"tracking_number": tracking_number
}
except Exception as e:
workflow.logger.error(f"Saga failed: {e}")
# Execute compensating transactions (reverse order)
if reservation_id:
await workflow.execute_activity(
release_inventory,
{"reservation_id": reservation_id},
start_to_close_timeout=timedelta(seconds=30),
)
if payment_id:
await workflow.execute_activity(
refund_payment,
{"payment_id": payment_id},
start_to_close_timeout=timedelta(seconds=60),
)
if order_id:
await workflow.execute_activity(
cancel_order,
{"order_id": order_id, "reason": str(e)},
start_to_close_timeout=timedelta(seconds=10),
)
return {"status": "FAILED", "reason": str(e)}
Activity Implementation
# activities.py
from temporalio import activity
@activity.defn
async def create_order(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://order-service:8080/orders",
json=request
)
response.raise_for_status()
return response.json()["order_id"]
@activity.defn
async def process_payment(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://payment-service:8080/payments",
json=request
)
response.raise_for_status()
return response.json()["payment_id"]
@activity.defn
async def reserve_inventory(request: dict) -> str:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://inventory-service:8080/reservations",
json=request
)
if response.status_code == 409:
raise InsufficientInventoryError(response.json()["message"])
response.raise_for_status()
return response.json()["reservation_id"]
# Compensation activities
@activity.defn
async def refund_payment(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.post(
"http://payment-service:8080/refunds",
json=request
)
response.raise_for_status()
@activity.defn
async def release_inventory(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.delete(
f"http://inventory-service:8080/reservations/{request['reservation_id']}"
)
response.raise_for_status()
@activity.defn
async def cancel_order(request: dict) -> None:
async with httpx.AsyncClient() as client:
response = await client.patch(
f"http://order-service:8080/orders/{request['order_id']}/cancel",
json={"reason": request["reason"]}
)
response.raise_for_status()
Running the Temporal Worker
# worker.py
import asyncio
from temporalio.client import Client
from temporalio.worker import Worker
async def main():
client = await Client.connect("temporal:7233")
worker = Worker(
client,
task_queue="order-saga",
workflows=[OrderSagaWorkflow],
activities=[
create_order,
process_payment,
reserve_inventory,
create_shipment,
confirm_order,
refund_payment,
release_inventory,
cancel_order,
],
)
await worker.run()
if __name__ == "__main__":
asyncio.run(main())
Choreography vs Orchestration
| Aspect | Choreography | Orchestration |
|---|---|---|
| Coupling | Loose | Depends on Orchestrator |
| Complexity | Surges as service count grows | Centrally managed |
| Visibility | Hard to trace events | Clear workflow state |
| Single point of failure | None | Orchestrator |
| Best for | Simple flows (3-4 steps) | Complex flows (5+ steps) |
| Testing | Difficult | Relatively easy |
Semantic Lock Countermeasure
Saga lacks isolation, so concurrent executions can cause data anomalies.
# Semantic Lock pattern
class OrderDB:
def create_with_lock(self, order_data):
"""Set status to PENDING on creation to prevent other Sagas from interfering"""
order = Order(
**order_data,
status="PENDING", # Semantic Lock
saga_id=generate_saga_id()
)
self.session.add(order)
self.session.commit()
return order
def confirm_order(self, order_id, saga_id):
"""Release the lock when the Saga completes"""
order = self.session.query(Order).filter_by(
id=order_id,
saga_id=saga_id,
status="PENDING"
).first()
if not order:
raise ConcurrencyError("Order already processed by another saga")
order.status = "CONFIRMED"
self.session.commit()
Ensuring Idempotency
Since compensating transactions may execute multiple times, idempotency is essential.
# Payment processing with idempotency keys
class PaymentService:
def process_payment(self, order_id, amount, idempotency_key):
# Check if request was already processed
existing = self.db.find_by_idempotency_key(idempotency_key)
if existing:
return existing # Return the same result
payment = self.db.create_payment(
order_id=order_id,
amount=amount,
idempotency_key=idempotency_key
)
return payment
Summary
The Saga pattern is the core pattern for handling distributed transactions in microservices:
- Choreography: Suited for simple flows, loosely coupled through events
- Orchestration: Suited for complex flows, centrally managed with tools like Temporal
- Compensating Transactions: Recover in reverse order on failure
- Idempotency: Essential for retry safety
- Semantic Lock: Prevents interference between concurrent Sagas
Quiz: Saga Pattern Comprehension Check (7 Questions)
Q1. What is the main reason for using Saga instead of 2PC?
2PC limits availability and scalability through synchronous locking, while Saga provides high availability and scalability through asynchronous processing.
Q2. What is a compensating transaction?
A reverse transaction that undoes previously completed steps when a specific step in the Saga fails.
Q3. What are the downsides of the Choreography approach?
As the number of services grows, event flows become complex and it becomes difficult to understand the overall Saga's progress.
Q4. Why is Temporal well-suited for Saga Orchestration?
It automatically persists workflow state and allows declarative management of retries and compensation on failure.
Q5. What is the purpose of the Semantic Lock pattern?
It prevents other Sagas from concurrently modifying the same data by using a PENDING status.
Q6. Why is idempotency important in compensating transactions?
Compensation may execute multiple times due to network errors and other issues, so it must guarantee the same result each time.
Q7. In what situations should you choose Orchestration over Choreography?
When you have complex flows with 5 or more steps, many conditional branches, or need visibility into overall progress.
Quiz
Q1: What is the main topic covered in "Implementing Distributed Transactions in Microservices
with the Saga Pattern: Choreography vs Orchestration"?
Implement distributed transactions in microservices using the Saga pattern. We cover the differences between Choreography and Orchestration, compensating transactions, and practical implementation with Temporal — all with code examples.
Q2: What is Order Scenario?
Let us use an online shopping order process as an example: Order Service: Create the order Payment
Service: Process payment Inventory Service: Deduct inventory Shipping Service: Create shipment If
step 3 (inventory deduction) fails, we must refund step 2 (payment) and cancel step...
Q3: Explain the core concept of Choreography Approach — Event-Driven.
Each service publishes events, and other services subscribe to those events to execute their own
local transactions. Event Definitions Order Service Payment Service
Q4: What are the key aspects of Orchestration Approach — Central Coordinator?
A
single Orchestrator (Saga Coordinator) manages the entire transaction flow. Saga Orchestrator with
Temporal Activity Implementation Running the Temporal Worker
Q5: How does Semantic Lock Countermeasure work?
Saga lacks isolation, so concurrent executions can cause data anomalies.