Что хранит Side Table?

Что хранит Side Table?

Side Table (также известна как Side Table Buckets или просто Side Table Data) — это важнейшая низкоуровневая структура данных в Swift Runtime, которая хранит дополнительную информацию о жизненном цикле объекта, не размещаемую непосредственно в заголовке объекта.

Основная функция Side Table — обеспечение тонкого управления счетчиками ссылок (reference counts) для объектов, участвующих в механизме Automatic Reference Counting (ARC), особенно в сложных сценариях.

Ключевые данные, хранящиеся в Side Table

Структура SideTable (ее псевдоним в исходниках Swift — HeapObjectSideTableEntry) содержит следующие поля:

1. Счетчик сильных ссылок (Strong Reference Count)

• Основной счетчик, определяющий, сколько сильных (strong) ссылок существует на объект.
• Объект деаллоцируется, когда этот счетчик достигает нуля.
• В отличие от «чистого» счетчика в заголовке объекта, здесь он может хранить дополнительные биты состояния.

2. Счетчик слабых ссылок (Weak Reference Count)

• Отслеживает количество слабых (weak) ссылок на объект.
• Важно: сам по себе weak не увеличивает сильный счетчик, но требует отслеживания объекта, пока он жив.
• Этот счетчик управляет записью в Weak Reference Side Table.

3. Счетчик ссылок на unowned (Unowned Reference Count)

• Отслеживает ссылки unowned.
• Unowned ссылки не увеличивают сильный счетчик, но предполагают, что объект будет существовать дольше, чем ссылка на него. При обращении к unowned ссылке после деаллокации объекта происходит аварийное завершение (trap).

4. Указатель на сам объект (HeapObject Pointer)

• Указатель на исходный объект HeapObject. Это необходимо, потому что Side Table может пережить сам объект (например, когда остались только weak ссылки).

Когда создается Side Table?

Side Table создается лениво (lazily), только при необходимости, для оптимизации памяти. Основные триггеры:

• При первой слабой (weak) ссылке на объект.
• Когда сильный счетчик ссылок переполняет битовое поле в заголовке объекта (переходит в состояние «side table reference count»).
• При использовании unowned ссылок с определенными флагами.

Практический пример и код

Рассмотрим ситуацию с weak ссылкой:

class MyClass {
    let name: String
    init(name: String) { self.name = name }
}

var strongObject: MyClass? = MyClass(name: "Example") // Strong count = 1
weak var weakReference = strongObject                 // Создается Side Table, Weak count = 1

print(strongObject?.name) // "Example"

strongObject = nil        // Strong count становится 0, объект деаллоцируется.
                          // Side Table сохраняется, Weak count = 1, но указатель на объект обнуляется.

print(weakReference)      // nil. Side Table позволяет безопасно вернуть nil.

Внутреннее представление (упрощенно)

Вот как примерно выглядит структура (на основе открытого кода Swift Runtime):

struct HeapObjectSideTableEntry {
    std::atomic<size_t> refCounts; // Комбинированное поле со счетчиками
    HeapObject *object;            // Указатель на исходный объект (может быть null)

    // Внутри refCounts биты распределены под:
    // - Strong ref count
    // - Weak ref count
    // - Unowned ref count
    // - Флаги состояния (isDeiniting, etc.)
};

Почему это важно для разработчика?

1. Понимание накладных расходов: Создание Side Table добавляет небольшие overheads по памяти и производительности. Избегание ненужных weak ссылок может оптимизировать код.
2. Отладка сложных сценариев: Знание о Side Table помогает понимать поведение счетчиков ссылок в инструментах (например, в Memory Graph Debugger).
3. Объяснение поведения weak: Понимание, что weak ссылка не предотвращает деаллокацию, но требует дополнительных структур для отслеживания.
4. Безопасность unowned: Side Table участвует в механизме, который приводит к крашу при обращении к unowned ссылке на деаллоцированный объект, что является сознательным дизайн-решением Swift.

Итог

Side Table — это вспомогательная структура Swift Runtime, хранящая расширенные счетчики ссылок (strong, weak, unowned) и указатель на объект. Она включается лениво для поддержки weak и unowned ссылок и управления переполнением основного счетчика. Глубокое понимание Side Table позволяет iOS-разработчику более осознанно работать с памятью, ARC и избегать тонких багов, связанных с жизненным циклом объектов.