Лекция 3. Воспроизвести и локализовать сбой

Мы знаем, что искать надо причину, а не симптом. Но где она прячется? Система большая, мест много — с чего начать? С двух базовых приёмов, которые превращают расплывчатое «что-то сломалось» в конкретное «поломка вот здесь». Первый — воспроизвести сбой: научиться вызывать его по своему желанию, а не ждать, пока случится сам. Второй — локализовать: сузить зону, где живёт причина, отсечь всё исправное. Вместе они — фундамент всей практической диагностики: пока сбой не пойман и не загнан в угол, чинить нечего. Сегодня разберём оба приёма: почему без воспроизведения нельзя чинить, как ловить капризные, плавающие сбои и как быстро сужать место поиска.

1. Сначала поймать

Есть железное правило диагностики: чего не можешь воспроизвести, того не починишь уверенно. Пока сбой появляется когда вздумается и пропадает сам, вы бессильны: не разглядеть, что именно происходит, не проверить догадку, не убедиться, что ремонт помог. Поэтому первый шаг — не искать причину, а поймать сам сбой: добиться, чтобы он возникал по вашей команде, стабильно и предсказуемо.

Звучит очевидно, но именно этот шаг чаще всего проскакивают. Человеку не терпится сразу чинить — и он начинает лечить сбой, который толком даже не наблюдал. А потом гадает, помогло или нет. Диагност поступает наоборот: сначала тратит время на то, чтобы уверенно вызывать сбой, и лишь потом переходит к поиску причины. Это вложение, которое окупается сторицей. Пойманный, повторяемый сбой — это и подтверждение, что проблема реальна, а не померещилась, и полигон, на котором можно спокойно ставить опыты, и, главное, надёжный способ узнать, что вы победили: сбой перестал воспроизводиться. Как охотник сначала выслеживает и загоняет зверя и лишь потом стреляет, так диагност сначала ловит сбой и лишь потом чинит. Разберёмся, зачем это так важно и как этого добиваться.

2. Зачем воспроизведение

Разложим, что именно даёт устойчивое воспроизведение, — на схеме показан путь от неуловимого сбоя к послушному. Первое: воспроизведение подтверждает, что проблема реальна и вы понимаете, в чём она. Часто уже попытка воспроизвести сбой уточняет саму жалобу: «не работает» превращается в «не включается, если сначала сделать вот так». Второе, и главное: только воспроизводимый сбой позволяет проверить ремонт. Представьте, что сбой случается раз в неделю. Вы что-то поправили — и как узнать, помогло ли? Придётся ждать неделю, а то и больше, и всё равно не будет уверенности: может, просто повезло. А если сбой вызывается по команде, вы чините и тут же проверяете: воспроизводится? Значит, не помогло, чиним дальше. Не воспроизводится? Похоже, победа.

Третье: воспроизведение сужает условия и уже этим подсказывает причину. Нащупывая, при каких обстоятельствах сбой возникает, а при каких нет, вы очерчиваете его портрет — и портрет часто указывает пальцем на виновника. «Зависает только при печати больших файлов» — и вот уже понятно, что копать в сторону памяти или обработки объёма, а не в сотне других мест. Именно поэтому диагносты так носятся с воспроизведением: это не бюрократическая формальность, а самый мощный ранний инструмент. Пойманный сбой наполовину разгадан. Отсюда практическое следствие: не спешите чинить непойманное. Сначала добейтесь, чтобы сбой стал повторяемым, — а как это сделать, разберём дальше.

3. Рецепт воспроизведения

Как поймать сбой? Нужно найти его спусковой крючок — набор условий и действий, при которых он неизбежно возникает. Иначе говоря, составить «рецепт»: сделай то-то и то-то — и получишь сбой. Ищут рецепт систематическим перебором обстоятельств. Задавайте вопросы: когда сбой случается — в какое время, на каком шаге? После чего — что вы делали прямо перед ним? При каких условиях — при большой нагрузке, определённых данных, на холоде, на конкретном устройстве? Что должно совпасть, чтобы он проявился? Меняя эти обстоятельства по одному и глядя, появляется сбой или нет, вы нащупываете точный рецепт.

Отдельно ценно искать минимальный рецепт — самый короткий набор условий, всё ещё вызывающий сбой. Начните с длинной последовательности, в которой он точно возникает, и по одному убирайте лишние шаги: без этого действия сбой ещё есть? Значит, действие лишнее, выбрасываем. Так вы отсекаете всё несущественное, пока не останется голый минимум — те самые условия, без которых сбоя не будет. Этот минимум бесценен вдвойне: во-первых, воспроизводить его быстро и удобно; во-вторых, он сам по себе почти показывает причину — ведь в нём не осталось ничего, кроме того, что впрямую связано с поломкой. Программисты называют это «минимальным воспроизводимым примером» и знают: часто, пока ужимаешь пример до минимума, причина и вскрывается сама собой. Правило: не довольствуйтесь тем, что сбой хоть как-то повторяется, — ужмите условия до самых необходимых.

4. Плавающие сбои

Самый трудный и раздражающий случай — плавающий, перемежающийся сбой: он то есть, то нет, и рецепт никак не находится. Такие сбои выматывают больше всего, но и с ними есть что делать. Главное — не сдаваться и не считать их «случайными»: у плавающего сбоя тоже есть причина и свой рецепт, просто спусковой крючок хитрее и зависит от чего-то, что вы пока не замечаете.

Тактика с плавающими сбоями такая. Во-первых, повышайте наблюдаемость: раз сбой редкий, надо не пропустить его, когда случится, — включите запись, ведите журнал, фиксируйте каждую деталь обстановки в момент сбоя (об инструментах наблюдения будет отдельная лекция). Во-вторых, ищите скрытый фактор: раз явные условия не объясняют, значит, дело в чём-то менее очевидном — температуре, времени с момента включения, редком сочетании данных, влиянии соседней системы, случайном порядке событий. Собирайте статистику: когда сбой был, а когда нет, и чем эти моменты отличались. В-третьих, попробуйте усилить подозреваемый фактор: думаете, дело в нагрузке — нагрузите сильнее, думаете, в перегреве — прогрейте; если сбой участится, вы на верном пути. Плавающий сбой — это не «нет рецепта», а «рецепт с редким или скрытым ингредиентом». Найдёте ингредиент — и капризный сбой станет послушным. Это самая кропотливая часть диагностики, но и она поддаётся терпению и методу.

5. Локализация: сузить зону

Сбой пойман — переходим ко второму приёму: локализации. Её задача — сузить зону поиска, определить, в какой части системы сидит причина, чтобы не перебирать всё подряд. Ведь система обычно состоит из многих узлов, и причина где-то в одном из них; найти этот узел — половина дела.

Идея локализации — делить и проверять, как показано на схеме. Представьте систему как цепочку узлов, по которой что-то течёт от входа к выходу: сигнал, данные, вода, ток, усилие. На входе всё хорошо, на выходе — плохо; значит, где-то по пути хорошее превратилось в плохое. Задача — найти это место. Для этого проверяют на границах между узлами: что на выходе из первого узла — ещё хорошо или уже плохо? А из второго? Двигаясь по цепочке, вы находите границу, за которой начинается «плохо»: узел, в который входит правильное, а выходит неправильное, и есть виновник. Всё, что до него, исправно и из поиска исключается; всё, что после, проверять незачем. Так огромная система в несколько шагов сжимается до одного подозрительного узла. А если узел сам большой, приём повторяют внутри него: снова делят на части и ищут границу поломки. Это разбиение системы на узлы и проверка потоков на их стыках — самый общий и мощный приём локализации, годный и для электроники, и для водопровода, и для программы, и для любого процесса.

6. Проверка на границах

Ключевой момент локализации — уметь проверять, «хорошо» или «плохо» в промежуточной точке, не доходя до конца. Это называют проверкой на границах, и на ней держится вся локализация. В технике это буквально измерение: есть ли ток в этой точке провода, доходит ли вода до этого крана, правильный ли сигнал на выходе из этого блока. В программе — посмотреть, какие данные приходят в середину обработки: ещё верные или уже испорченные. В процессе — проверить промежуточный результат на этапе: до этого шага заготовка годная, а после — брак.

Смысл всегда один: не гадать, где поломка, а замерить в промежуточной точке и разделить систему на «до» (исправно) и «после» (сбоит). Каждая такая проверка вдвое, а то и больше, сокращает зону поиска. Тут действует уже знакомое правило из первой лекции: меняйте и проверяйте что-то одно за раз, иначе запутаетесь, где граница. И ещё важный принцип — проверяйте от начала к концу или методично сужайте, а не тыкайте в случайные точки. Случайные замеры дают случайную информацию; систематическая проверка границ гарантированно загоняет причину в угол. В следующей лекции мы увидим, что проверять границы можно ещё умнее — не подряд, а начиная с середины, и это резко ускоряет поиск. А пока запомните сам приём: локализация — это серия проверок на границах, отделяющих исправную часть от сбойной, пока не останется один узел.

7. Как применять

Соберём в практику. Столкнувшись со сбоем, действуйте в два такта. Такт первый — поймать: не бросайтесь чинить, а сначала добейтесь, чтобы сбой воспроизводился по вашей команде. Найдите рецепт (когда, после чего, при каких условиях), ужмите его до минимума, а если сбой плавающий — повышайте наблюдаемость и охотьтесь за скрытым фактором. Убедитесь, что можете вызвать сбой, когда захотите. Такт второй — локализовать: мысленно разбейте систему на узлы и проверяйте на границах, где хорошее становится плохим, сужая зону до одного подозрительного узла. Только теперь, зная точное место, имеет смысл искать и устранять конкретную причину.

И эти приёмы, как всё в курсе, работают шире техники. Воспроизведение — это по сути умение чётко очертить проблему, поймать её в конкретных условиях вместо расплывчатых жалоб. «Мы вечно ссоримся» — а когда именно, при каких обстоятельствах, после чего? Найдёте рецепт — уже полдела. Локализация — это привычка сужать, а не хвататься за всё сразу: где именно в процессе теряется время, на каком этапе разговор сворачивает не туда, в каком звене цепочки прячется сбой. Разбивай на части, проверяй на стыках, отсекай исправное — так распутывается почти любая сложная проблема, не только техническая. В следующей лекции возьмём приём локализации и доведём его до мастерского уровня — познакомимся с методом половинного деления, который находит поломку в системе из тысячи узлов всего за десяток проверок.

Итоги

• Два базовых приёма диагностики: воспроизвести сбой (вызывать по своей команде) и локализовать (сузить зону, где сидит причина). Пока сбой не пойман и не загнан в угол, чинить нечего.
• Чего не можешь воспроизвести, того не починишь уверенно: только повторяемый сбой позволяет изучить его, проверить ремонт и понять, что победил. Не спеши чинить непойманное.
• Рецепт воспроизведения ищут перебором условий (когда, после чего, при чём) и ужимают до минимума — минимальный рецепт удобен и часто сам вскрывает причину.
• Плавающий сбой — не «случайность», а рецепт с редким или скрытым ингредиентом: повышай наблюдаемость, ищи скрытый фактор, усиливай подозреваемое, собирай статистику.
• Локализация — «дели и проверяй»: разбей систему на узлы, по которым что-то течёт, и проверяй на границах, где хорошее стало плохим; виновник — узел между последней «✓» и первой «✗».
• Проверка на границах замеряет промежуточную точку и делит систему на исправное «до» и сбойное «после»; проверяй методично и по одному, а не тыкай наугад.

Вопросы для самопроверки

1. Почему воспроизведение сбоя важнее, чем кажется? Что оно даёт для проверки ремонта?
2. Как ищут «рецепт» воспроизведения и зачем ужимать его до минимума?
3. Что делать с плавающим, перемежающимся сбоем? Назовите три тактики.
4. В чём суть локализации методом «дели и проверяй»? Где сидит причина относительно «✓» и «✗»?
5. Возьмите знакомую проблему и опишите, как бы вы её воспроизвели и локализовали.

Литература

• Дэвид Аганс. «Отладка. 9 незыблемых правил» — правила «сделай так, чтобы сбой повторялся» и «разделяй и властвуй».
• Эндрю Хант, Дэвид Томас. «Программист-прагматик» — воспроизведение и локализация ошибок.
• Стив Макконнелл. «Совершенный код» — систематический поиск и сужение места дефекта.

Это третья лекция курса «Траблшутинг». В следующей доведём локализацию до мастерства — разберём метод половинного деления, который находит поломку в огромной системе всего за считаные проверки. А поймать и локализовать свой сбой всегда можно вместе с Фреди.