메모리 관리

Q. 메모리 릭에 대해 설명해주세요.

A.

메모리 릭(누수)란 사용되지 않는 인스턴스가 메모리에서 해제되지 않아 메모리 공간이 낭비되는 현상입니다.

 

Q. 순환 참조(Reference Cycle)에 대해 설명해주세요

A.

1. 두 가지 객체가 서로에 대한 강한참조 상태를 가질 때 순환 참조라고 합니다.

2. 순환참조가 발생하면 메모리 누수 현상이 발생하기 때문에 약한 참조를 통해 이를 해소시켜줘야 합니다.

 

Q. Retain Count 방식에 대해 설명해주세요

A.

1. ARC에서 사용하는 메모리 관리방식을 Retain Count 방식이라고 합니다.

2. 메모리에서 reference count를 증가시키는 것을 retain, 감소시키는 것을 release라고 합니다.

 

Q. weak과 unowned를 비교 설명해주세요

A.

1.
weak는 참조대상이 메모리에서 해제되었을 때 nil이 설정되는 optional이지만,
unowned는 참조대상이 메모리에서 해제되었을 때 nil이 되지 않고 에러를 발생시킵니다.

2.
weak은 sidetable을 거쳐서 객체를 가리키지만
unowned는 객체를 직접 가리킵니다.

3.
그렇기 때문에 unowned키워드를 사용할 경우, strong reference count가 0이 되버리면 dangling pointer가 되어 오류가 발생하기 때문에 인스턴스 해제시점을 예민하게 고려해줘야 합니다.

4. 
weak는 weak reference를 증가시키고, unowned는 unowned reference를 증가시킵니다.

 

Q. side table이 무엇이고, reference count 종류에 대해 자세히 설명해주세요

A.

1.
side table은 Heap Object에서 weak rc를 관리하기 위해 별도로 생성된 자료구조입니다.
weak 참조를 하게되면 자동으로 side table이 생성됩니다.

2.
side table은 Swift4 이전의 좀비 오브젝트 문제를 해결하기 위해 도입되었습니다.

3.
reference count에는 strong, unowned, weak로 3가지 종류가 있습니다.
HeapObject, struct 내부에서는 이 3가지에 대한 rc들을 모두 counting합니다.

4.
strong rc가 0이되면 인스턴스가 deinit 상태가 됩니다.
이는 메모리가 dealloc된 상태는 아닙니다.

5.
unowned rc가 0이되면 dealloc 상태가 되어 완전히 메모리에서 해제됩니다.

6.
dealloc이 되었어도 weak rc가 0이라면 side table이 이 메모리에 남아있습니다.
이를 freed 상태라고 합니다.

7. 
weak rc이 0이되면 비로소 객체는 완전히 죽어 DEAD 상태가 됩니다.

 

Q. 좀비 오브젝트에 대해 설명해주세요.

1.
좀비 오브젝트는 strong rc가 0이지만 weak rc가 0보다 클 경우 메모리에서 완전한 해제가 일어나지 않은 오브젝트를 말합니다.

2.
런타임에 weak reference를 통해서 좀비 오브젝트가 해제될 수 있지만 비효율적입니다.

 

Q. 메모리를 힙과 스택으로 나누는 이유는 무엇일까요?

1.
메모리에서 힙과 스택은 각자 역할이 다릅니다.
힙 영역은 프로그램 실행 중 동적으로 메모리를 할당하는 공간이고,
스택 영역은 함수 매개변수나 지역변수 등 실행 중이 아닌 정적으로 메모리를 할당하는 공간입니다.

2.
힙 영역 메모리 공간의 할당과 해제는 개발자가 직접 관리해주어야하고,
스택 영역 메모리 공간의 할당과 해제는 append와 pop을 반복하며 자동으로 관리됩니다.

3.
상황별로 처리해줘야하는 메모리의 역할과 종류가 다르기 때문에
힙 영역과 스택영역을 나누어 설계함으로써 효율적인 메모리 관리를 할 수 있게 한 것입니다.

 

---

Ref

https://velog.io/@heyksw/iOS-%EB%A9%B4%EC%A0%91-%EC%A4%80%EB%B9%84-ksl8uxwf