[WWDC 2021] ARC in Swift: Basics and beyond (ARC 최적화)

영상 :

https://developer.apple.com/videos/play/wwdc2021/10216/

ARC in Swift: Basics and beyond - WWDC21 - Videos - Apple Developer

 

Object lifetimes and ARC

traveler1의 마지막 사용 후에 release operation을 수행 traveler1의 Retain operation은 수행되지 않는데 왜냐하면 초기화시 reference count가 1로 설정되었기 때문

 

Traveler2 에 대해선 retain과 release가 붙음

그리고 traveler2의 마지막 destination 후에 바로 deallocated됨

하지만 weak, unowned 사용에 따라 object의 lifetime을 관찰(observable)하는 것이 어려울 수도 있음
만약 관찰된 객체의 lifetime의 끝을 보장하기보다 객체의 lifetime 흐름에 의존하는 프로그램을 작성하는 경우, 문제가 발생할  수도 있다.
객체의 lifetime 흐름에 의존하면서 생기는 문제는 개발동안에는 발견되지 않을지도 모르고 숨겨지거나 아주 나중에 발생할 확률이 높다. (compiler가 최적화되어 업데이트 될때, 관련 없는 소스코드가 변경될때)

 

Observable Object lifetime

weak와 unowned는 reference cycle을 없애는데 효과적

account객체가 생성시 traveler의 ref_count가 2로 증가된다.
traveler.account 시 account의 ref_count도 1 증가하여 2가 되고 release에 의해 다시 1로 감소한다.

Traveler.printSummary()실행시 ref_count가 감소한다.

모든 코드의 사용이 끝났음에도 ref_count가 1로 자동으로 deallocate되지 않고 메모리 누수가 발생한다.

 

하지만

weak로 선언시 account객체가 생성시 traveler의 ref_count가 증가되지 않으므로 account.printSummary() 실행 후 0이 되어 dealloc될 수 있다.

하지만 보장된 객체 수명이 종료된 동안 weak 참조를 사용하여 객체에 접근하고 객체를 사용 가능하게 하기 위해 Observable 객체 lifetime에 의존하는 경우, Observable 객체 lifetime이 관련 없는 객체에 대해 변경될 때 미래에 버그로 끝날 수 있다.

Traveler의 account가 끝나고 Traveler 가 dealloc될때 account객체의 traveler는 Nil이 될 것이다.

후에 account.printSummary()가 실행시 강제로 unwrapping한 변수에 대해 crash가 발생할것이다. 

이때 옵셔널 바인딩을 할 수 있는데 더 최악의 결과를 가져온다. 아무런 조치가 나지 않아 slient bug가 될 것이다. 

이를 해결하기 위한 방법을 제시한다.

withExtendLifetime()

객체에 대한 수명을 명시적으로 증가시킨다.
또는 아래와 같이 작성할 수 있다.

하지만 매우 연약하다 !
코드 사용하는 사용자의 책임에 의존적이기 때문 
리디자인 결과

또는 트리 구조의 다른 struct를 만들어 순환참조를 피할 수도 있다. 

deinitializer는 deallocate 전에 호출되는데 이것에 대해 부작용으로 외부 프로그램에 영향을 줄 수 있다. 또는 숨겨진 버그가 발생할 수 있으며, 이는 관련 없는 이유로 관찰된 객체 수명이 변경된 경우에만 발견됩니다.

deinitializer는 globa한 부작용(콘솔 출력)을 가진다.

현재의 deinitializer는 “Done traveling”출력 후 실행되지만 ARC 최적화에 따라 destination이 release된 후 deinit된다. 

deinit시 metrics의 publish가 호출된다. 

Traveler.updateDestination()을 실행 후 dealloc되기 전 deinit이 호출되는데 
아래 computeTravel을 계산하기 전에 deinit되므로 
publish() 호출시 category값이 nil로 남게 되는 문제점이 있다.

 

이를 해결하기 위해 -> withExtendLifetime

private으로 숨김 -> test()함수에서 사용 할 수 없게끔, then -> deinit시에 computeTravel, publish 수행

또는 defer를 사용해 publish, deinit은 확인만 수행하도록 구현

 

 

 

on시 즉시 dealloc될것 즉 강력한 수명 단축 ARC최적화를 가능하게 함 기능 추가