Як пояснити deadlock вашій команді англійською мовою

Застосовувати застопорювання важко навіть у вашій рідній мові, оскільки вада не є одним неправильним рядком коду — це * стан *, який виникає з часу і порядку ресурсів. В англійській мові це означає, що вам часто доводиться розповідати про послідовність подій, а не вказувати на одну причину. Цей посібник містить словниковий запас і шаблони речень, які допоможуть вам чітко пояснити ситуацію, що призвела до застою, незалежно від того, пишете ви звіт про інцидент або пояснюєте його під час телефонної розмови.

Ключовий словник

** Застопорення ** — ситуація, коли дві або більше потоків або процесів чекають на ресурс, що належить іншому потоку або процесу, отже жоден з них не може продовжити роботу. “Ми потрапили у глухий кут між потоком обробки замовлень і потоком оновлення запасів — кожен з них очікував на блокування, яке тримав інший.”

** Mutex (блокування взаємного виключення) ** — блокування, яке забезпечує доступ до ресурсу лише одній потоці одночасно.

• “Потік А отримав mutex у таблиці замовлень, а потім спробував отримати mutex у таблиці запасів, яку потік B вже мав.” *

** Упорядкування блоків ** — послідовність, у якій частина коду отримує декілька блоків; непослідовне упорядкування блоків у різних шляхах коду є поширеною причиною застою. “Головною причиною було непослідовне блокування порядку — один шлях коду блокував замовлення, а потім запаси, а інший блокував запаси, а потім замовлення.”

** Contention ** — суперництво між потоками або процесами за один і той же ресурс, яке може спричинити уповільнення навіть без повного застою.

• “Навіть після того, як ми виправили затор, ми все ще бачили конфлікт замку під високою нагрузкою, який ми вирішили окремо, звужуючи критичну секцію.” *

** Кільцеподібне очікування ** — стан, коли кожен процес у циклі очікує на ресурс, який утримує наступний процес у циклі, що є необхідною умовою для застою. “Це як у підручнику: A чекає на B, B чекає на C, і C чекає на A.”

Звичайні фрази

• «Нітка A тримає замок X і чекає на замок Y, в той час як ниткою B тримається Y і чекає на X»
• Це класичний затор, викликаний непослідовним порядком блокування
• «Ми розірвали цикл, завжди отримуючи замки в тому ж порядку.»
• «Система не зламалася — вона просто зависла, що є типовим для застою, а не винятком»
• Ми зменшили критичну секцію, щоб замок тримався менше часу

Приклади висловлювань

Розповідь про послідовність у звіті про подію:

• “О 14: 02, працівник каси отримав замок на рядку orders і спробував отримати замок на inventory. В той же час, працівник поповнення вже отримав замок inventory і чекав на orders. Жоден не міг продовжити, і обидва завершилися через 30 секунд. ”*

Пояснення різниці між застоєм і аварією:

• “Ніщо не викликало винятку — запити просто перестали відповідати. Це зазвичай ознака застою, а не помилки, яка не вдається гучно.»*

Пропозиція виправлення у PR: “Ця PR виправляє затор, вимагаючи послідовного порядку блокування: будь-який шлях коду, який потребує обох блокувань, тепер отримує orders перед inventory, що виключає циклічне очікування.”

Поясню для тих, хто не так добре володіє технічними термінами: “Уявіть двох людей, які чекають один одного, щоб вийти з вузького коридору - жоден не може пройти, і жоден не повернеться назад. Це те, що сталося між двома частинами нашої системи, і саме тому деякі запити зависали замість того, щоб зазнавати невдачі.”

Професійні поради

• Пояснення застою найкраще працюватимуть як часова шкала, а не як резюме — проходьте крізь те, що робила кожна нитка і коли, у порядку.
• Використовуйте **« завис » або « затримка » ** для опису симптому, а не « зламався » або « викликав помилку » — зазвичай, застої не викликають винятку, а використання неправильного дієслова вводить читачів у оману.
• Назвіть конкретний механізм виправлення: « послідовне впорядкування блокування », « зменшення критичної секції » або « заміна блокування безблоковою структурою » — всі ці слова переконливіші, ніж « ми виправили проблему одночасності »
• Аналогія коридору або дверей є надійним способом пояснити затори для нетехнічних зацікавлених сторін без надмірного спрощення технічного запису для інженерів.
• Якщо затор з’являється тільки під навантаженням, скажіть так явно - “відтворюваний тільки під одночасним навантаженням” є важливою деталлю, яку хочуть рецензенти.

Практичні вправи

1. Напишіть два речення, у яких описується, яка гілка має який замок і на який замок вона чекає.
2. Написати короткий абзац звіту про подію, у якому буде описано затримку у вигляді хронології.
3. Поясніть той же тупик нетехнічним учасникам за допомогою аналогії, в трьох реченнях або менше.

В практиці: підвищення рівня вашого словника для складних питань

Заткнення. Саме слово може викликати каскад тривоги, особливо коли ви намагаєтеся пояснити його своїй команді. Легко впасти в технічний жаргон - “циклічна залежність”, “ресурсна суперечка”, “інверсія пріоритетів” - і негайно відчужувати тих, хто не глибоко в реалізації ядра потоків. Ключовою частиною ефективного технічного спілкування є адаптація мови до аудиторії, і це особливо важливо, коли справа доходить до складних концепцій, таких як застої, особливо для розробників, чия професійна англійська ще не повністю сформована. Метою є не просто сказати що сталося, а передати вплив і вказати на рішення.

Розглянемо такий сценарій: Сара переглядає запит на збирання, надісланий Девідом, щодо нової можливості, що передбачає асинхронну обробку даних. Девід пише в описі PR, “Фіксований стан раси з mutexes.” Хоча технічно точний, це неймовірно неочевидно. Ефективніший підхід, використовуючи лексику, яка легко зрозуміла і уникаючи жаргону, був би щось на зразок: «Я розглядав потенційні конфлікти, де дві нитки одночасно намагалися отримати доступ до тих же даних. Це могло призвести до ситуації, коли одна ниточка була б заблокована на неопределённый час — ми називаємо це « заблокуванням » — чекаючи, поки інша ниточка звільнить потрібний ресурс. Зауважте, як у цій фразі не використовується негайно слово « заблокування », а замість цього описується * наслідок * проблеми. Він малює картину того, що могло б статися, не покладаючись на термін, який може не бути повністю зрозумілим для всіх.

Інший приклад: уявіть, що ви пишете звіт про інцидент після переривання роботи сервісу. Замість того, щоб сказати: « У потоці 3 сталася серйозна подія, що призвела до застою », спробуйте сказати щось на зразок: « Ми спостерігали значні затримки у обробці запитів через численні потоки, які конкурують за доступ до спільних ресурсів. Це призвело до того, що одна з потоків заблокувалася і не могла продовжувати роботу, що призвело до зупинки операції. Щоб прояснити, це була ситуація, коли дві або більше потоків чекали один на одного, щоб випустити необхідні дані. ” Ця фраза менш залякала, зосереджується на * спостережуваних * симптомах – затримках – і обрамляє проблему як конкуренцію за ресурси, а не складну теоретичну концепцію. Використання фраз на кшталт «блокований» і «неможливо продовжити» є універсально зрозумілими.

Нарешті, обговорюючи це з колегами в Slack, ви можете сказати: «Я бачу високу суперечку нитками навколо бази даних. Можливо, ми маємо ситуацію, коли потоки чекають один на одного, щоб звільнити з’ єднання, що може призвести до застою, якщо не ретельно керувати. “Знову ж таки, це опис * спостереження * і натяки на потенційну проблему без негайного звернення до технічної термінології, яка може бути заплутаною. Розвиток вашого словника за допомогою таких слів, як « очікування », « конкуренція » і « випуск » значно поліпшить вашу здатність ефективно спілкуватися під час сеансів зневадження або відповідей на інциденти.