GCD 메인 큐에서 sync를 사용하면 왜 데드락이 발생하나요?

[kelly-chui]

• Serial Queue와 Concurrency Queue의 차이를 중심으로 설명해주세요.

[green-yoon87]

메인 큐는 serial queue입니다. Serial Queue는 한 번에 하나의 작업만 순차적으로 처리할 수 있고 이전 작업이 완료되고 반환되기 전까지 다음 작업은 실행되지 않습니다.

이미 Serial Queue가 작업 중인 상태에서 동일한 큐에 sync 방식으로 작업을 전달한다면 해당 쓰레드는 Block 상태가 되므로 진행하고 있는 테스크를 진행할 수 없고 진행되었던 테스크가 완료되지 않으므로 Sync Task도 시작될 수 없게 됩니다. 서로를 기다리는 상황이 되고 어떤 것도 실행되지 못하는 데드락 상황이 발생하게 됩니다.

[soletree]

여러 작업을 동시에 수행하는 Concurrency Queue와 달리
메인 큐는 SerialQueue로 현재 수행중인 작업이 완료될때까지 다른 작업을 실행하지 않습니다. 메인큐에서 수행되는 작업이 있는 상태에서 sync로 다른 작업을 메인 큐에 요청하면 스레드는 blocking 됩니다.
현재 실행되고 있는 작업은 sync로 요청된 작업이 완료될 때까지 대기해야 하고 sync로 요청된 작업도 현재 실행 중인 작업이 완료되어야 실행될 수 있습니다. 따라서 두 작업이 서로를 기다려 무한 대기 상태에 빠지게 됩니다.

[kelly-chui]

메인 큐는 시리얼 큐 이므로, 큐에 있는 작업을 순차적으로 처리합니다.
sync로 작업을 추가한 경우에는 스레드가 차단되는데, 시리얼 큐는 하나의 작업을 순차적으로 처리하므로, 스레드가 차단된 상태에서는 sync로 전달된 작업을 처리할 수 없게 됩니다.

[pearhyunjin]

메인큐는 시리얼 큐이기 때문에 순차 동작을 수행합니다. sync는 요청된 스레드의 작업이 끝날때까지 실행되고 있던 작업이 대기해야합니다. 따라서 현재 실행중인 코드는 클로저 실행을 기다리고, 클로저는 현재 코드가 끝나기를 기다리게됩니다. 그로인해 데드락이 발생하게됩니다.