교착 상태는 작업 A가 잠금 1을 가진 채 잠금 2를 기다리고, B가 잠금 2를 가진 채 잠금 1을 기다리는 식으로 생깁니다. 서로가 풀어야만 다음 단계로 갈 수 있습니다.
모든 작업이 같은 순서로 잠금을 얻도록 하면 이 순환 대기를 막을 수 있습니다. 타임아웃만 추가하면 정지 상태를 감지할 수는 있어도 상태 복구까지 자동으로 해결되지는 않습니다.
언제 쓰나
둘 이상의 잠금을 얻는 코드와 트랜잭션을 설계할 때 확인합니다.
교착 상태
Deadlock
작업들이 서로 가진 자원을 기다려 아무도 진행하지 못합니다.
···
<div class="v"><header><b>DEADLOCK CYCLE</b><span id="state"></span></header><main><div class="cycle"><b>A</b><span id="ab"></span><b>B</b><span id="ba"></span></div><div class="note" id="note"></div></main><footer>order locks consistently</footer></div>.v{width:min(92vw,660px);height:min(86vh,310px);box-sizing:border-box;padding:clamp(9px,2.5vmin,18px);border:1px solid var(--line);border-radius:14px;background:var(--surface);display:flex;flex-direction:column;gap:7px;color:var(--fg);font:500 clamp(15px,3.2vmin,17px)/1.25 var(--font-sans, sans-serif)}.v header,.v footer{display:flex;justify-content:space-between;align-items:center;gap:8px;white-space:nowrap}.v header b{color:var(--accent);font-size:.9em}.v header span,.v footer{color:var(--muted);font-size:.82em}.v main{flex:1;min-height:0;position:relative;overflow:hidden}.v .mono{font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.v .active{background:var(--accent)!important;color:var(--bg)!important;border-color:var(--accent)!important}.v .muted{opacity:.28} .cycle{height:62%;display:flex;align-items:center;justify-content:space-around;gap:5px}.cycle b{padding:12px;border:1px solid var(--line);border-radius:50%;font:700 1em ui-monospace,monospace}.cycle span{color:var(--accent);font-size:.85em}.note{text-align:center;color:var(--accent);font:600 .85em ui-monospace,monospace}let n=0;function draw(){document.getElementById("ab").textContent=n?"holds L1 → waits L2":"acquire L1";document.getElementById("ba").textContent=n?"holds L2 → waits L1":"acquire L2";document.getElementById("note").textContent=n?"cycle closed: no progress":"opposite lock order";document.getElementById("state").textContent=n?"blocked":"running";n=1-n}draw();setInterval(draw,1400)