<aside> 📌 목차

First-Half

• Allocation
• Reference Counting
• Method Dispatch

Second-Half

• Protocol Types
  • V-Table 없이 어떻게 Dynamic dispatch 할까?
  • The Protocol Witness Table(PWT)
  • Array 에서 element 에 어떻게 접근할 수 있을까?
  • The Existential Container
  • The Value Witness Table (VWT)
  • 지역변수의 생명주기 관찰하며 VWT 의 동작을 살펴보기
    • VWT 의 동작
    • Existential Container 의 구성
  • 프로토콜 타입 argument 를 가진 함수에 값타입을 전달하여 호출했을 때 벌어지는 일
• Protocol Type Stored Properties
  • 힙 할당을 일으키는 값타입 인스턴스의 카피동작은 비싸다.
  • Line 을 Class 타입으로 했다면?
• Copy on Write 을 활용하기
  • Indirect Storage with Copy-on-Write
• Performance of Protocol Types
  • Small Value
  • Large Value
  • Indirect Storage
• Summary
• Generic Code
  • 기존 코드
  • Generic 을 적용한 코드
  • What is difference?
• Implementation of Generic Methods
• Storage of Local Variables
• Specialization of Generics
• When Does Specialization Happen
• Whole Module Optimization
• Generic Stored Properties
• Performance of Generic Code
• Summary </aside>

요약

• 이제 개발할 때 스스로에게 질문해보자.
  • 이 인스턴스는 stack 에 할당될 까? 아니면 heap 에 할당 될까?
  • 내가 이 인스턴스를 copy할 때, 얼마나 많은 reference overhead 를 일으킬까?
  • 내가 이 인스턴스의 메서드를 호출할 때, 이것은 statically dispatch 될까? 아니면 dynamically dispatch 될까?
• 우리에게 필요하지 않은 dynamism 을 위해 오버헤드를 감당하는 것은 우리 성능에 큰 해가 될 것이다.

Dimension of performance

• Allocation : Stack or Heap
• Reference Counting : Less or More
• Method Dispatch : Static or Dynamic

Allocation

Swift 는 알아서 메모리 관리를 해준다.

Allocation = 할당, 메모리에 사용할 공간을 확보하는 것.

소주제

• Stack
• Heap
• 코드 예시 - struct
• 코드 예시 - class