Skip to content

💙 [25년 4월]

mint3382 edited this page Apr 7, 2025 · 3 revisions

⭐️ Protect mutable state with Swift actors - 20250407

액터의 재진입성

Swift Concurrency 통틀어서 제일 이해하기 어려운 개념이 액터의 재진입성임
액터가 벡터 내부에 있는 메서드를 호출하게 되면 벡터 컨텍스트 내부에서 모든 것이 실행되고 바깥 컨텍스트와 격리가 됨
어웨이트 키워드가 명시되어 있는 메서드를 호출되는 대로 제어권이 밖으로 넘어가면서 액터에 대한 격리가 일시적으로 잠금 해제됨
그 과정에서 액터 바깥에 다시 제어권이 양도되었다가 다시 액터로 돌아오는 과정에서 벡터 내부에 있는 내부 속성 값이 변경됨

캐시 URL에 이미지가 있는 경우

캐시 자체가 이미 채워져 있으면은 어웨이트 다 된 이후에도 캐시 URL에 이미지가 이미 있으면 전에 선행해서 진행되었던 작업에서 이미 모든 게 완료됐고 정상 흐름으로 다 실행됐다고 간주하고 현재 진행하고 있는 걸 폐기하거나 아니면은 애초에 덮어 씌워질 수 있다는 걸 염두에 두고 전체 액터를 설계하라는 걸로 이해했음

GCD의 단점

GCD는 스레드를 블록시키는 것을 하지 않고 그 시간 동안 다른 작업을 할 수 있도록 시스템을 양도함
그로 인해서 총 누적 소요 시간을 줄여서 효율적으로 비동기 작업들을 누적해서 실행시킬 수 있다는 것에 초점이 맞춰져 있음
재진입성으로 인한 문제가 발생할 수밖에 없었음
Actor에 대한 잠금이 해제될 수밖에 없게 되면서 스레드가 블록이 되는 게 아니라 단순히 호출 상태로 파악을 하기 때문에 생기는 문제임

시스템의 스케줄링

시스템이 각 테스크의 우선순위를 내부적으로 할당해서 스케줄링을 함
액터는 제어권을 양도받고 실행하고 다시 넘겨주는 역할이기 때문에 종속적인 관계라고 생각되지 않음

상호 배제의 보장

상호 배제는 보장을 하는데 데이터의 일관성이 문제였던 걸로 기억함
언론적인 사실 시프트 동시성 컨커런시 환경에서 어싱크 어웨이 동작하는 방식을 보통 제어권을 넘긴다라고 표현함
어싱크 어웨이를 사용하는 방식 제어권을 넘긴다는 게 구체적으로 어떻게 넘긴다는 건지 잘 이해가 가지 않음

Clone this wiki locally