deadlocks1 교착 상태 (Deadlocks) 1. 교착 상태 특성 (1) 필요조건 (i) 상호 배제 (mutual exclusion) 최소한 하나의 자원이 비공유 모드로 점유되어야 한다. 비공유 모드에서는 한 번에 한 스레드만이 그 자원을 사용할 수 있다. mutex lock, semaphore 사용 시 비공유 모드 (ii) 점유하며 대기 (hold-and-wait) 스레드는 최소한 하나의 자원을 점유한 채, 현재 다른 스레드에 의해 점유된 자원을 추가로 얻기 위해 반드시 대기해야 한다. Example) A thread : mutex 1 점유, mutex 2 대기 B thread : mutex 1 대기, mutex 2 점유 (iii) 비선점 (no preemption) 자원들을 선점할 수 없어야 한다. 자원이 강제적으로 방출될 수 없고, 점유하고 .. 2021. 12. 9. 이전 1 다음 반응형
