В чем суть оптимизации copy on write

Copy-on-Write (COW) — это механизм оптимизации, при котором несколько переменных могут ссылаться на одну и ту же область памяти до тех пор, пока одна из них не попытается изменить данные. В этот момент создается новая копия данных для изменяющей переменной, а остальные продолжают использовать исходную. Это позволяет избежать лишних копирований при чтении и повышает производительность, особенно при работе с большими структурами данных.

В Swift COW реализован для коллекций, таких как Array, Dictionary и Set. Благодаря этому присваивание одной переменной другой не приводит к немедленному копированию всех элементов — обе переменные разделяют один и тот же буфер памяти. Копирование происходит только при изменении одной из переменных.

Как это работает

Когда вы присваиваете массив другой переменной, Swift не копирует элементы сразу. Вместо этого обе переменные указывают на один и тот же буфер. При попытке изменить одну из переменных (например, добавить элемент) Swift проверяет, является ли буфер уникальным (то есть на него ссылается только одна переменная). Если буфер разделяется, создается новая копия, и изменение применяется к ней. Это называется "копирование при записи".

Пример на Swift

func currentAddress(_ v: UnsafeRawPointer) {
    print(Int(bitPattern: v))
}

var arr: [Any] = [1, 3, 5, "Anna"]
var secondArr = arr

currentAddress(arr) // 5519730800
currentAddress(secondArr) // 5519730800

secondArr.append(23)

currentAddress(arr) // 5388678352
currentAddress(secondArr) // 5388689776

В примере видно, что до изменения secondArr обе переменные имеют одинаковый адрес памяти. После добавления элемента адреса становятся разными — это означает, что для secondArr была создана новая копия, а arr остался неизменным.

Подводные камни

• COW работает только для структур, которые реализуют этот механизм. Пользовательские структуры не получают COW автоматически, если не используют внутри себя ссылочные типы с подсчетом ссылок.
• При работе с многопоточностью COW может вызывать гонки данных, если не использовать синхронизацию.
• Иногда COW может привести к неожиданному поведению, если вы полагаетесь на идентичность объектов (например, при сравнении указателей).

Когда использовать

COW — это встроенная оптимизация, и вам не нужно вызывать ее явно. Однако понимание COW полезно при проектировании структур данных и при оптимизации производительности. Например, если вы создаете собственную структуру, которая хранит большой объем данных, вы можете реализовать COW, используя ссылочный тип внутри структуры и подсчет ссылок.

Коротко

• COW откладывает копирование до момента изменения данных.
• В Swift COW применяется к Array, Dictionary, Set и другим коллекциям.
• При присваивании коллекции копия не создается, пока не произойдет изменение.
• COW улучшает производительность, избегая ненужных копирований при чтении.