얽힌 패턴이 형성되는 방식
두 개의 서브시스템이 처음에는 독립적인 모듈로 시작합니다. 시간이 지나면서 각 서브시스템은 공유 갓 오브젝트에 필드를 추가합니다: 전역 설정 구조체, 싱글턴 매니저, 정적 클래스 등입니다. 각각의 추가는 개별적으로는 올바르지만, 결합은 소규모 테스트에서는 보이지 않습니다.
이러한 현상이 굳어지는 세 가지 기반:
VLC 미디어 플레이어. 오디오, 비디오, 재생 목록이 전역 플레이어 상태를 보호하는 단일 잠금을 공유합니다. 타임스탬프로 건너뛰기 요청은 잠금을 획득하고 재생 위치를 수정한 후 오디오 버퍼를 플러시합니다. 동일한 잠금을 기다리던 비디오 서브시스템은 정지되고, 재생 목록 서브시스템도 대기하며 프리패치를 수행할 수 없습니다. 결과: 세 개의 독립적인 서브시스템이 단일 상태 객체를 통해 직렬화됩니다. 성능 비용: N개의 서브시스템 수에 비례하는 O(N) 잠금 경합으로, 모든 작업 지연 시간에 비례합니다.
Redis 이벤트 루프. AOF fsync(디스크 쓰기), 복제(네트워크 쓰기), 명령 실행(CPU)이 단일 스레드 이벤트 루프를 공유합니다. 각각은 개별적으로는 올바릅니다. 느린 fsync는 명령 실행을 지연시킵니다. 복제 지연은 쓰기 부하에서 누적됩니다. 결합 지점: 서로 다른 지연 특성을 가진 작업들이 공유하는 단일 실행 컨텍스트입니다.
LevelDB VersionSet. 쓰기 경로(memtable flush)와 백그라운드 컴팩션이 VersionSet 잠금을 공유합니다. 컴팩션 작업은 잠금을 수십 밀리초 동안 유지합니다. 쓰기 경로가 지연됩니다. 두 작업 모두 필요합니다. 결합: 타이밍이 아닌 구조적입니다.
핵심 구분
Intertangle은 구조적 결합이지 타이밍 문제가 아닙니다. 경쟁 조건: 두 스레드가 동기화 없이 공유 상태에 접근합니다. 해결: 뮤텍스를 추가합니다.
Intertangle: 두 하위 시스템이 설계상 상태를 공유합니다. 뮤텍스를 추가해도 결합은 해결되지 않고, 접근을 직렬화할 뿐입니다. 하위 시스템은 여전히 상태를 공유합니다. 병목은 더 심해집니다.
VLC Intertangle에 뮤텍스를 추가하면 상황이 악화됩니다: 이제 오디오, 비디오, 재생 목록 모두 단일 잠금을 기다려야 합니다. 구조적 해결: 각 하위 시스템에 독립적인 상태를 부여합니다. 단계 스냅샷: 단계 경계에서 공유 상태의 스냅샷을 고정하고, 각 하위 시스템이 스냅샷을 독립적으로 읽게 한 뒤, 마지막에 쓰기를 병합합니다.
구조적 vs 타이밍
Intertangle의 핵심 진단 질문: 뮤텍스를 추가하면 해결될까요, 아니면 상황이 악화될까요?
경쟁 상태: 뮤텍스를 추가하면 해결됩니다. 올바른 접근 순서는 데이터 손상을 제거합니다.
인터탱글: 뮤텍스를 추가하면 접근을 직렬화하지만 구조적 결합은 유지됩니다. 하위 시스템들은 여전히 상태를 공유합니다. 부하가 걸리면 서로를 여전히 차단합니다. 병목은 좁아집니다.
인터탱글 찾는 방법
세 가지 감지 신호:
1. 하위 시스템 간 공유되는 가변 필드. 하나 이상의 하위 시스템이 읽고 쓰는 필드를 가진 god-object. 한 하위 시스템의 필드 접근을 제거했을 때 다른 하위 시스템이 동작하지 않게 된다면, 그들은 상태를 공유하고 있는 것입니다.
2. 서로 관련 없는 작업을 보호하는 단일 뮤텍스. 오디오 플러시, 비디오 디코딩, 플레이리스트 가져오기 세 가지 작업을 하나의 락으로 보호하는 경우: 서로 다른 지연 특성을 가진 세 개의 하위 시스템이 서로를 기다리게 됩니다. 냄새: 같은 락 이름 아래에 관련 없는 작업들이 함께 있는 것.
3. 부하 증가 시 성능 저하. 작업 A와 B가 독립적으로 보이는데도, B가 동시에 실행될 때 A의 지연 시간이 증가한다면, 실제로는 독립적이지 않습니다. 그들은 상태를 공유하고 있습니다.
Phase-Snapshot 수정 방법
Phase snapshot 패턴:
# BEFORE: 하위 시스템들이 공유 상태를 직접 읽고 씀
class GameWorld:
position = {} # 공유되는 가변 객체
velocity = {} # 공유되는 가변 객체
def physics_tick(world):
for entity in world.entities:
world.position[entity] += world.velocity[entity] # 루프 중 공유 상태를 수정# AFTER: 스냅샷은 단계 이전에 고정됨; 쓰기는 next_state 버퍼로 이동
def physics_tick(world):
snapshot = world.freeze() # 불변 뷰
next_state = {}
for entity in snapshot.entities:
next_state[entity] = snapshot.position[entity] + snapshot.velocity[entity]
world.merge(next_state) # 단계 경계에서 원자적 병합모든 하위 시스템은 스냅샷을 읽습니다. 어떤 하위 시스템도 스냅샷에 쓰지 않습니다. 쓰기는 버퍼에 누적되었다가 단계 경계에서 원자적으로 병합됩니다. 이제 하위 시스템들은 독립적으로 실행됩니다: 잠금 경합 없음, 순서 의존성 없음, 숨겨진 결합 없음.
수정 적용
한 팀이 결함을 보고했습니다: 게임 엔진의 애니메이션 시스템과 충돌 시스템이 모두 공유 엔티티 변환 객체에 쓰고 있습니다. 둘 다 같은 틱에서 실행될 때 충돌 결과는 애니메이션이 먼저 실행되었는지에 따라 달라집니다. 뮤텍스를 추가해 순서를 고정했지만, 이제 충돌이 광범위 단계 스윕을 실행할 때마다 애니메이션이 지연됩니다.