[mmmphyun]

개요

CloudShield 프로젝트 4편 블로그 포스트를 작성했습니다.

• 포스트 대상: docs/posts/proj-aleph-project-04-dynamodb-quorum-sliding-window.md
• 카테고리: 프로젝트/CloudShield 서버리스 보안 오케스트레이션
• 핵심 주제: 분산 상태 보존과 정족수 일관성 — CloudWatch 배치 분할 극복과 DynamoDB 3-버킷 슬라이딩 윈도우

주요 반영 사항

1. 5단 ADR 거버넌스 규격 준수:

   • 1. 개요 및 프로젝트 배경
   • 2. 전체 산출물 구조 및 진단/파이프라인 체계 (sequenceDiagram으로 3-AZ 쿼럼 및 Nitro 하이퍼바이저 격리 흐름 시각화)
   • 3. 기존 체계의 한계와 도전 과제 (무상태 룰 엔진의 배치 분할 누락과 분산 동시성 경합)
   • 4. 엔지니어링 의사결정 및 리팩터링 (4.1~4.4 서브섹션 넘버링 공식화 및 AST 슬라이싱 코드 발췌)
   • 5. 검증 및 회고 (Moto 단위 테스트 13종 전원 통과 실증 및 기술적 결론)

2. 핵심 엔지니어링 의사결정:

   • 4.1. 네트워크 세션 실측(176ms)과 사후 L4 원자적 격리의 현실적 타협: 실시간 패킷 드롭 불가를 인정하고, 수 초 내 수렴하여 후속 6번째 연결을 차단하는 사후 격리 채택 및 하이퍼바이저 레벨 Drop을 통한 FinOps DoS 선순환 방어.
   • 4.2. 대수의 법칙 한계 극복 (가중 추정 폐기와 락 프리 시간 버킷 파티셔닝): 저빈도 버스트 공격에서 오차가 발생하는 Cloudflare 가중 카운터 기각, epoch // 300 버킷 파티셔닝 기반 락 프리 원자적 Upsert로 쓰기 충돌률 0% 달성.
   • 4.3. 분산 복제 쿼럼(R + W > N)과 Paxos LSN 기반 1:1 동점 해소 메커니즘: 최종 일관성 읽기($R=1$) 시 발생하는 Stale Read 방어를 위한 ConsistentRead=True($R=2$) 강제 및 1:1 동점 상황에서 정족수(그물망)와 LSN(판별 기준)의 역할 분담 규명.
   • 4.4. 분산 큐 순서 역전 극복과 양방향 닫힌 구간 3-버킷 필터링: Lambda 콜드 스타트로 인한 지연 도착 대응을 위한 3-버킷($curr \pm 1$) 일괄 조회 및 598초 분산 오탐 방지를 위한 양방향 닫힌 구간($[ref - 300, ref]$) 평가.

검증 결과

• pipeline/harness.py: 모든 거버넌스 및 무결성 검사 통과 (이모지 배제, 실존 코드 경로 정밀 발췌, 불필요한 괄호 내 영어 병기 전면 제거)
• humanize-korean v2.3-agy: Light 경로 조기 수렴 완료 (P3 Golden Check PASS, 서법 보존 100%)
• 미작성 대기 목록(--scan-pending): 타겟 해소 완료