Watchpoint — что это, разновидности и настройка точек наблюдения в Xcode

Что такое watchpoint и принцип работы

Watchpoint — это механизм отладчика, который приостанавливает выполнение программы, когда значение по указанному адресу памяти изменяется. Если breakpoint реагирует на достижение определённой строки кода, то watchpoint реагирует на запись в определённую ячейку памяти — вне зависимости от того, какой именно участок кода эту запись выполнил. Это делает его незаменимым при поиске неожиданных модификаций переменных, особенно в многопоточных приложениях.

Принцип работы основан на аппаратной поддержке процессора. Современные ARM-чипы (Apple Silicon, Qualcomm Snapdragon) предоставляют от 4 до 8 аппаратных watchpoint-регистров. Когда процессор выполняет инструкцию записи по адресу, совпадающему с watchpoint, возникает аппаратное прерывание, которое перехватывает отладчик. Если аппаратные регистры закончились, LLDB переключается в программный режим — он пошагово проверяет каждую инструкцию записи, что замедляет выполнение в десятки раз.

По данным ARM Architecture Reference Manual, аппаратные watchpoints работают на уровне Data Watchpoint and Trace (DWT) модуля и не требуют модификации исполняемого кода. Время реакции на срабатывание составляет единицы наносекунд, что позволяет отслеживать даже высокочастотные изменения переменных в циклах обработки данных, таких как буферы аудио или видеокадров.

Когда watchpoint эффективнее breakpoint

Watchpoint незаменим, когда вы знаете какая переменная меняется, но не знаете откуда. Типовые сценарии: значение свойства frame у UIView меняется без видимой причины; счётчик в фоновом потоке сбрасывается непредсказуемо; флаг isLoading переключается раньше, чем завершился сетевой запрос. В каждом из этих случаев установка breakpoint на все места, где может происходить запись, — непрактична. Watchpoint решает проблему одной командой.

Типы watchpoints и способы установки

Xcode и LLDB поддерживают три типа watchpoints: watchpoint set variable — для наблюдения за локальной переменной; watchpoint set expression — для наблюдения за выражением, возвращающим адрес; watchpoint set — для наблюдения за сырым адресом памяти. Каждый тип имеет свою область применения.

Установка через GUI Xcode

В Xcode watchpoint можно установить через Debug Area: остановитесь на breakpoint, найдите нужную переменную в панели Variables View, кликните правой кнопкой и выберите Watch Variable. Xcode автоматически выполнит команду watchpoint set variable с правильным именем переменной и контекстом. После этого отладчик будет останавливаться при каждом изменении значения — удобно для быстрой отладки без переключения в консоль. Однако этот метод работает только пока переменная находится в области видимости текущего фрейма.

func processItems(_ items: [String]) {
    var index = 0
    // Установите watchpoint на index через GUI:
    // остановитесь здесь, клик правой кнопкой → Watch Variable
    for item in items {
        index += 1
        print("Item \(index): \(item)")
    }
}

Управление watchpoints через LLDB

LLDB предоставляет полный набор команд для управления watchpoints из консоли. Это даёт больший контроль, чем GUI: можно задавать размер области наблюдения, устанавливать условие срабатывания, создавать watchpoints на адреса, полученные из вычисленных выражений, и автоматически выполнять действия при срабатывании. Командный интерфейс особенно полезен при отладке сложных сценариев, где требуется быстро менять параметры наблюдения.

Основные команды watchpoint

Команда watchpoint set variable принимает имя переменной с учётом области видимости: для self-свойств Objective-C используйте self->_property, для Swift — self.property. Параметр -w write задаёт отслеживание записи, -w read — чтения (режим, доступный только на некоторых архитектурах), -s size — размер области в байтах. После установки watchpoint можно просмотреть список командой watchpoint list.

(lldb) watchpoint set variable -w write -s 8 self.balance
Watchpoint 1: addr = 0x600000c4b80 size = 8 state = enabled  type = w
    watchpoint spec: 'self.balance'
(lldb) watchpoint set expression -w write -- self->items._storage
Watchpoint 2: addr = 0x600003a4c00 size = 8
(lldb) watchpoint list
1: location = 0x600000c4b80, type = write, variable = '_balance'
2: location = 0x600003a4c00, type = write, expression = 'self->items._storage'

Условные watchpoints

Как и breakpoints, watchpoints поддерживают условное срабатывание. Параметр -c задаёт условие на Swift или Objective-C. Например, watchpoint с условием newValue > 1000 остановится только когда записываемое значение превышает тысячу. Это критически важно при отладке циклов или датчиков, генерирующих тысячи изменений в секунду, — иначе отладчик будет останавливаться на каждом изменении, делая работу невозможной.

(lldb) watchpoint set variable -w write self.temperature -c "(int)$newValue > 100"
Watchpoint 3: addr = 0x600000e4a20, condition = '(int)$newValue > 100'
(lldb) watchpoint modify 3 -C "po self.temperature" -G true
// Автоматически логировать значение и продолжать выполнение

Watchpoints для свойств объектов и коллекций

Особенность watchpoints для Objective-C и Swift свойств объектов — watchpoint устанавливается не на имя свойства, а на адрес поля ivar (instance variable) в памяти объекта. Это означает, что при каждом новом выделении объекта (например, при пересоздании ViewController) watchpoint становится недействительным, поскольку адрес памяти изменился. Для постоянного наблюдения за свойством через рестарты требуется переустанавливать watchpoint в момент инициализации объекта.

Watchpoint на элементы коллекций

Наблюдение за элементами массивов и словарей требует вычисления адреса конкретного элемента. Например, для наблюдения за третьим элементом массива используйте watchpoint set expression -- &array[2]. Если массив перераспределит внутренний буфер (при добавлении элементов сверх capacity), watchpoint станет недействительным — LLDB сообщит об ошибке Watchpoint 1 has an invalid address. В таких случаях нужно переустанавливать watchpoint после изменения размера коллекции.

(lldb) expr var $arr = [10, 20, 30, 40, 50]
(lldb) watchpoint set expression -w write -- &$arr[2]
Watchpoint 4: addr = 0x1000a4b20, size = 8
(lldb) expr $arr[2] = 99
Watchpoint 4 hit: old value: 30, new value: 99

Отслеживание retain count через watchpoint

В Objective-C можно отслеживать retain count объекта, установив watchpoint на поле retainCount в структуре objc_object. LLDB выполняет это через watchpoint set expression -w write -- (int*)[object retainCount]. Однако для Swift-объектов с ARC (Automatic Reference Counting) retain count напрямую не доступен — вместо этого используйте Instruments или Memory Graph Debugger для анализа утечек. По данным Apple, watchpoints на retain count работают только в Debug-сборках с отключённой оптимизацией ARC.

Ограничения и производительность watchpoints

Watchpoints имеют ряд ограничений, которые важно учитывать. Главное — количество аппаратных watchpoints ограничено 4–8 регистрами на архитектуре ARM и до 4 на x86. Когда все аппаратные регистры заняты, LLDB переключается в режим программного watchpoint: модифицирует каждую инструкцию записи в отслеживаемом диапазоне для генерации исключения. Это замедляет исполнение в 10–50 раз, поэтому на практике рекомендуется использовать не более 2–3 активных watchpoints одновременно.

Второе ограничение — недействительность watchpoints при перераспределении памяти. При срабатывании сборщика мусора или ARC, когда объект перемещается в памяти (в языках с компактизацией кучи), адрес watchpoint становится некорректным. В Swift и Objective-C ARC не перемещает объекты, но reallocation массивов и строк приводит к тому же эффекту. LLDB предупреждает об этом сообщением Watchpoint N address (0x...) doesn't contain a valid allocation.

Третье ограничение — видимость переменных. Watchpoint на локальную переменную работает только пока эта переменная находится в области видимости текущего фрейма стека. Как только функция завершается, watchpoint автоматически удаляется. Для наблюдения за глобальными переменными или полями долгоживущих объектов watchpoint сохраняется до явного удаления через watchpoint delete или до завершения процесса.

(lldb) watchpoint delete 1
1 watchpoints deleted.
(lldb) watchpoint delete               # Удалить все watchpoints
2 watchpoints deleted.
(lldb) watchpoint disable 1             # Временно отключить
(lldb) watchpoint enable 1              # Включить снова

По данным ARM, watchpoints на Apple Silicon (M1–M4) поддерживают размер отслеживаемой области от 1 до 8 байт. Для наблюдения за структурами размером более 8 байт требуется устанавливать несколько watchpoints на каждое поле. Это важно при отладке сложных структур данных, таких как CGRect (16 байт) или UIEdgeInsets (16 байт).