Deadlock데드락

프로세스 A: R1 보유 → R2 요청 (대기)
프로세스 B: R2 보유 → R1 요청 (대기)

A ──점유──> R1 <──요청── B
A ──요청──> R2 <──점유── B

→ 원형 대기 → 데드락!

가용 자원: A=3, B=2, C=2

            최대 요구  현재 보유  추가 필요
프로세스 0:  7 5 3    0 1 0    7 4 3
프로세스 1:  3 2 2    2 0 0    1 2 2
프로세스 2:  9 0 2    3 0 2    6 0 0

안전 순서: P1 → P3 → P4 → P2 → P0 존재?
→ 존재하면 안전 상태 → 자원 할당 허용

-- 트랜잭션 A
BEGIN;
UPDATE accounts SET balance = balance - 100 WHERE id = 1; -- row 1 잠금
UPDATE accounts SET balance = balance + 100 WHERE id = 2; -- row 2 대기

-- 트랜잭션 B (동시 실행)
BEGIN;
UPDATE accounts SET balance = balance - 100 WHERE id = 2; -- row 2 잠금
UPDATE accounts SET balance = balance + 100 WHERE id = 1; -- row 1 대기
-- → 데드락!

트랜잭션 A: UPDATE account SET balance=balance-100 WHERE id=1 (id=1 락)
            UPDATE account SET balance=balance+100 WHERE id=2 (id=2 기다림)

트랜잭션 B: UPDATE account SET balance=balance-50  WHERE id=2 (id=2 락)
            UPDATE account SET balance=balance+50  WHERE id=1 (id=1 기다림)

// 위험한 패턴: 두 스레드가 반대 순서로 락 획득
Thread A: synchronized(lock1) { synchronized(lock2) { ... } }
Thread B: synchronized(lock2) { synchronized(lock1) { ... } }

// 해결: 항상 같은 순서로 락 획득
Thread A: synchronized(lock1) { synchronized(lock2) { ... } }
Thread B: synchronized(lock1) { synchronized(lock2) { ... } }