286. 순환 대기 (Circular Wait) - 대기 그래프가 사이클(Cycle)을 형성

핵심 인사이트 (3줄 요약)

본질: 순환 대기 (Circular Wait)는 교착 상태 발생 4조건 중 대미를 장식하는 상태로, 프로세스와 자원들의 대기 관계가 수학 그래프의 완전한 폐쇄 회로(Cycle) 고리 구조(P1→R2→P2→R3→P3→R1→P1)를 형성하여 누구도 진행하지 못하는 구조적 함정이다.

가치: 상호 배제나 비선점처럼 시스템 특성상 부정(Prevention)하기 어려운 조건들과 달리, 자원에 선형적 순서(Hierarchy)를 부여하는 규약만으로도 오름차순 접근이 가능해 순환 형성 자체를 절반의 비용으로 완전히 깰 수 있다.

융합: 자원 할당 그래프(Resource-Allocation Graph)나 뱅커스(Banker's) 대기 탐색 그래프의 방향성 사이클 검사기, 혹은 DB 엔진의 위상 정렬(Topological Sort) 분석과 융합하여 교착 상태 유무를 가장 시각적, 알고리즘적으로 확정 트리거하는 증거물로 쓰인다.

Ⅰ. 개요 및 필요성

자원 두 개가 있다고 가정하자. 스레드 A가 자원 1을 점유하고 자원 2를 요청한다. 여기까지는 '1자형 라인'이다. 그런데 스레드 B가 동시에 자원 2를 점유하고 자원 1을 요청하는 순간, 두 스레드의 화살표가 **원을 그려 닫히는 고리(Cycle)**를 형성한다. 이 사이클이 바로 **순환 대기(Circular Wait)**다.

직선 대기라면 끝에 있는 스레드가 작업 후 하나씩 풀면 연쇄적으로 해소되겠지만, 닫힌 원 위에서는 누구도 시작점이자 끝점이 될 수 없어 무한 멈춤이 발생한다.

💡 비유: 길게 늘어선 도로 정체 구간. 일직선 정체는 맨 앞차가 빠지면 결국 해소된다. 하지만 차량들이 교차로 네 방향에서 꼬리를 물고 들어가 완벽한 □(정사각형) 링 모양으로 멈추면(Gridlock), 아무리 기다려도 어느 한 차도 먼저 나갈 수 없는 순환 대기에 빠진다.

┌──────────────────────────────────────────────────────────────┐
│         순환 대기 조건의 무한 루프 형성 구조                 │
├──────────────────────────────────────────────────────────────┤
│                                                              │
│        [점유]                               [요청]           │
│  P1 ──────────▶ R1 ──┐              P1 ───▶ R2 (B점유)       │
│   ▲                  │               │                       │
│   │                  │               │                       │
│   └──────────────────┘               └───────────────────▼   │
│  (사이클 형성: P1 → R2 → P2 → R1 → P1)                       │
│                                                              │
│  대기 선형(직선) 모델 (데드락 ❌)                            │
│  P1 → R1 → P2 → R2 (마지막 P2는 요청할 다른 목표가 없음)     │
│  → 언젠가 P2가 R2 완료 시 반납, 그 뒤 선형 연결 풀림.        │
│                                                              │
│  위상 기하학적 의미: 사이클 차수가 1이상 존재.               │
└──────────────────────────────────────────────────────────────┘

📢 섹션 요약 비유: 순환 대기는 우물 속에 빠진 세 사람 — 1번이 2번 발목을 잡고, 2번은 3번 발목을 잡고, 3번이 다시 1번 목말을 타고 있는 황당한 고리 구조. 아무도 혼자 손을 못 푸는 영원한 늪입니다.

Ⅱ. 아키텍처 및 핵심 원리

순환 대기 부정 (Prevention: 자원 순서화)

4조건을 찢어버릴 전략들 중에 가장 소프트웨어적으로 현실성 있는 전략이 바로 "순환 대기를 파괴하는 것"이다. 이는 자원에 넘버링 위계(Hierarchy Ordering)를 가해서 강제적인 오름차순(Ascending order) 요청만 허락하면 된다.

┌───────────────────────────────────────────────────────────────┐
│         Lock Hierarchy (락 순서화)를 통한 억제 구조           │
├───────────────────────────────────────────────────────────────┤
│                                                               │
│  1. 모든 글로벌 자원에 고유 ID (오름차순) 발급                │
│     R1(ID:10), R2(ID:20), R3(ID:30)                           │
│                                                               │
│  2. 프로세스의 획득 룰:                                       │
│     "항상 번호표가 낮은 자원부터 먼저 요청해라"               │
│     "내가 번호 20을 잡았으면, 절대로 10을 요청할 수 없다"     │
│                                                               │
│  시나리오 우회 도출:                                          │
│  스레드 A: 10 잡고 20 요청 (✅ 합법)                          │
│  스레드 B: 20 잡고 10 요청 (❌ 불법 접근, OS 레벨 코드 거절)  │
│  → B는 반드시 10을 먼저 쥐어야 20에 접근 가능하게끔 강제화    │
│  → 원형 형성 가능성 = 0% 완전히 깨짐!                         │
└───────────────────────────────────────────────────────────────┘

[다이어그램 해설] Lock Order 제약은 다중 락을 디자인할 때의 불문율이다. 무작위 요청 시 터지던 P1(1잡고 2기다림)과 P2(2잡고 1기다림)가 사라지고, 둘 다 (1부터 잡고 2잡음)로 통일되니, 처음부터 1번을 선점한 녀석이 스무스하게 끝내고 반납할 수 있다.

📢 섹션 요약 비유: 은행 서류 창구 순서 — 1번 창구(대출)→2번 창구(승인) 순으로만 가야 하고 역방향 진행은 안 된다고 룰을 정하면 서로 부딪혀 동선이 멈추는 일이 절대 없습니다.

Ⅲ. 비교 및 연결

순환 대기 부정 모델의 트레이드오프:

기법 적용	오버헤드	설계자 부담	실행 병목
자원 획득 무질서 개방	매우 낮음	자유로움 (마음대로 코딩)	데드락 폭발의 잠재성
정적 오름차순 부여	약간의 리스트 추적비용	모든 락 주소를 파악해야 함	나중 자원을 미리 잡아야할 때 비효율 유도
동적 주소 해시 체인	CPU Hash 연산 추가	컴포넌트 객체 참조 자동 정렬	자연스러운 데드락 프리(Free) 달성

📢 섹션 요약 비유: 순서를 박아두면 편하지만, 가끔은 뒤에 쓸 자원을 앞에 미리 대기번호 뽑아두느라, 정작 필요한 사람의 자리가 막히는 비효율이 조금 생기는 대가가 따릅니다.

Ⅳ. 실무 적용 및 기술사 판단

실무 시나리오:

커널 C코드 개발 가이드라인: Linux 커널에 VFS 등 파일시스템 커밋 시 서로 다른 두 i-node 락을 걸 일이 생긴다면, 룰 매뉴얼에는 "항상 더 낮은 메모리 주소를 가진 i-node 객체를 먼저 잠그고(Lock), 높은 쪽을 잠가라"라고 적혀있다. (이 동적 락 순서화 기법이 순환 대기 박멸의 기본 전술)
이체 시스템(Deadlock 자유 동기화): Java로 Account A -> B 이체 코드를 짤 때 A의 락, B락을 연달아 걸면 교착 상태로 사망한다(B -> A 역이체 시). 해결법: System.identityHashCode 로 해시값을 뽑아 값이 더 작은 계좌번호 락부터 획득. 완벽히 사이클을 파괴함.

안티패턴:

블랙박스형 서드파티 의존 락: 외부 라이브러리 객체를 동기화할 때, 그 객체 내부에서 자기가 어떤 락을 어떤 내부 순서로 부를지 모르는 상태로 내가 호출을 감싼다(Wrapping Lock). 내부가 내 락 주소와 엇갈리게 락을 시전 시(Reentrant 거부) 보이지 않는 순환 대기 형성. 서브시스템 간 경계를 넘어가는 동기화는 최소화해야 함.

📢 섹션 요약 비유: 계좌 A와 B의 돈 교환은 "언제나 더 작은 잔고 계좌나 번호가 빠른 사람부터 도장 먼저 찍고 가라"고 정해버리면 양쪽 창구가 서로 노려보며 마비되는 일 100% 차단!

Ⅴ. 기대효과 및 결론

기준	순환 대기 형성(허용)	순환 대기 원천 차단
프로그래밍 패러다임	락 사용 자유 방임주의	엄격한 락 순서 획득 의무(Lock Hierarchy)
데드락 안정성	탐지 툴/Timeout 없으면 서버 사망	수학적으로 데드락 0% 증명 가능
도입 현실성	레거시나 무질서한 DB 구조에 만연	가장 프로그래머가 개입할 여지가 뛰어난 방어법

교착 상태 4대 근원 중 유일하게 "소프트웨어 설계자의 코드 라인 순서" 만으로 박살 낼 수 있는 가장 취약한 악의 조건이다. 상호 배제나 비선점처럼 OS나 하드웨어 물성에 종속되는 것도 아니고, 점유 대기처럼 극악의 효율 저하를 겪지도 않으니 실무 엔지니어의 데드락 해결 키스톤(Keystone)과 같은 기술이다.

📢 섹션 요약 비유: 도구의 장점만 외우는 것이 아니라 어디까지 믿고 어디서 보완해야 하는지 기억하는 정리 노트와 같다.

📌 관련 개념 맵

개념	연결 포인트
점유하며 대기 (Hold-and-Wait)	현재 개념으로 들어오기 전에 함께 이해하면 경계가 선명해지는 기반 개념이다.
비선점 (No Preemption)	현재 개념이 등장하게 만든 직접적인 선행 흐름이다.
자원 할당 그래프 (Resource-Allocation Graph)	현재 개념이 구현·세분화될 때 바로 연결되는 후속 개념이다.
단일 인스턴스 자원 환경	확장 학습이나 심화 비교로 이어지는 다음 단계의 키워드다.

📈 관련 키워드 및 발전 흐름도

[비선점 (No Preemption)]
    │
    ▼
[순환 대기 (Circular Wait)]
    │
    ├──▶ [자원 할당 그래프 (Resource-Allocation Graph)]
    └──▶ [단일 인스턴스 자원 환경]

이 흐름도는 선행 개념에서 현재 개념으로 넘어온 뒤, 구현 세분화와 후속 확장으로 이어지는 학습 순서를 압축해 보여준다.

👶 어린이를 위한 3줄 비유 설명

순환 대기는 강강술래 원 모양 꼬리물기 — 서로 바로 앞사람 등에 달린 이름표를 잡고 놔주지 않으면 결코 원형 춤이 끝나지 않습니다.
해결하는 방법은 의외로 쉬워요. "항상 1번부터 차근차근 점차 큰 번호표 이름의 등만 쳐라"고 룰을 주면 아무도 원을 그릴 수 없고 1자형 뱀 꼬리가 돼요.
원형이 깨져 1자가 되면 결국 맨 끝사람은 도망갈 수 있고 스르륵 모두 다 풀려나 무한 대기가 끝나는 마법의 방법이랍니다!