Project Loom англійською: Virtual Threads Vocabulary

Introduction

Project Loom є однією з найзначніших змін в платформі Java за останні десятиліття, що принесло віртуальні потоки і структуровану одночасність до основного потоку розробки Java. Якщо ваша команда оновила версію Java до версії 21 або пізнішої, ви, ймовірно, вже обговорюєте ці можливості — і ця дискусія відбувається англійською мовою з використанням певного словника. Знання точних термінів, які використовують інженери, допоможе вам стежити за дискусіями щодо архітектури, брати участь у перегляді коду і писати більш чітку документацію щодо вашої моделі потоків.

Платформа потоків проти віртуальних потоків

Основна відмінність у Project Loom полягає у розрізненні між платформними потоками і віртуальними потоками. До Loom, кожен потік Java був платформним потоком — тонким оболонкою навколо потоку ОС. Створення тисяч потоків платформи було дорогим у пам’яті і плануванні.

Віртуальні потоки легкі, керуються JVM, а не ОС. Інженери описують їх такими фразами:

• «Виробництво віртуальних потоків дешеве» — ви можете мати мільйони без виснаження пам’яті
• «Ми монтуємо віртуальну нитку на нитку-носіїв» — JVM планує віртуальні нитки на пул платформних ниток, які називаються нитками-носіїв
• «Віртуальна нитка відмонтується, коли вона блокується» — коли віртуальна нитка чекає на вхід/вихід, вона віддає носійну нитку іншій роботі
• «Ми більше не потребуємо потокових пулів для роботи з вхідно-вихідними даними» — поширений архітектурний висновок після прийняття віртуальних потоків

Слово mount і unmount є специфічними для словника Loom. Ви побачите їх у журналах JVM і звітах про вади. Коли віртуальна нитка активно працює, вона «монтується» на носії. Коли він блокується, він «демонтується»

Критика: Критика

** Прикріплення ** є найбільш обговорюваною проблемою у прийнятті Project Loom. Віртуальну нитку приштовхують, якщо її неможливо відмонтувати від носія, коли вона заблокована. Це знищує мету віртуальних потоків, оскільки потоки- переносники зараз застрягають.

Інженери обговорюють прикріплення такими фразами:

• «Цей synchronized блок викликає прикріплення — замініть його на ReentrantLock»
• «Ми виявили прикріплення через JVM-флаги при запуску»
• «Відкриття вірусу знищить цю гіпотезу»
• Перевірте звіт про прикріплення перед переходом до віртуальних потоків

Для виявлення прикріплення, інженери додають -Djdk.tracePinnedThreads=full до аргументів запуску JVM. У перегляді коду, виявлення synchronized блоку всередині гарячого шляху часто викликає коментар: «Це буде прикріплено під Loom — чи повинні ми перефрактурувати, щоб використовувати неблокуючий замок?»

Структурована одночасність

** Структуроване одночасне виконання ** — це додаткова функція віртуальних потоків, яка надає вам змогу керувати групами пов’ язаних завдань. Словник:

• ** StructuredTaskScope ** — клас, який групує одночасні підзавдання з визначеним часом існування
• ** fork ** — розпочинає підзадачу у межах обсягу; « ми розділимо три завдання і приєднаємо їх до меж обсягу »
• ** join ** — чекати завершення виконання всіх підзадач у області
• ** ShutdownOnFailure ** — правило області дії, яке скасує решту завдань, якщо якесь з підзадач зазнає невдачі
• ** ShutdownOnSuccess ** — правило області дії, яке скасує решту завдань, якщо перше підзадача буде виконано успішно

Інженери кажуть щось на зразок: « Ми використовуємо структуровану одночасність, щоб переконатися, що якщо отримання даних про запаси зазнає невдачі, то завдання з розрахунку цін також буде скасовано — немає осиротілих завдань ». Фраза « немає осиротілих завдань » має важливе значення: структурована одночасність гарантує, що дочірні завдання не переживуть батьківську область.

Міграційні процеси

Коли команди переходять від традиційних пулів гілок до віртуальних гілок, у документах проектування з’ являються певні англійські фрази:

• «Заміна за допомогою вставлення» — віртуальні потоки працюють з існуючим блокуючим кодом вводу/виводу без змін
• «Модель потоку на запит» — кожен вхідний HTTP запит отримує свій власний віртуальний потік
• « Ми відблокували пул потоків » — вилучено обмеження розміру потоку, тому що віртуальні потоки дешеві
• «Повніша продуктивність» — вимірюваний прибуток від обробки більш одночасних запитів

Поширене архітектурне твердження: «Ми замінили виконавця фіксованого потокового пулу на виконавця віртуального потоку і спостерігали значне поліпшення пропускної здатності під високою одночасністю без зміни жодної лінії бізнес-логіки»

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

Term	Definition
virtual thread	A lightweight JVM-managed thread, not backed by an OS thread
platform thread	A traditional Java thread backed by an OS thread
carrier thread	A platform thread that runs virtual threads
mount	Scheduling a virtual thread onto a carrier thread for execution
unmount	Releasing the carrier thread when a virtual thread blocks
pinning	A virtual thread that cannot unmount, blocking the carrier thread
structured concurrency	A model where subtasks are scoped to a parent task’s lifetime
fork	Starting a concurrent subtask within a structured scope
StructuredTaskScope	The API class for managing a group of structured concurrent tasks
ShutdownOnFailure	A scope policy that cancels all tasks when any task fails

Практичні поради

1. ** Прочитайте документи JEP (JDK Enhancement Proposal). ** У документах JEP 425, 428 і 444 описано віртуальні потоки і структуровану одночасність формальною, але зрозумілою англійською мовою. Вправляйтеся у читанні цих документів, щоб зрозуміти офіційну технічну мову Java.

2. ** Увімкніть журналювання прикріплення у вашому середовищі розробки. ** Якщо у журналах з’ явиться попередження про прикріплення, вправтеся у написанні пояснення у одному абзаці, у якому буде описано, чому це відбувається і як виправити ситуацію — англійською мовою.

3. ** Обговоріть компроміси при переході англійською мовою. ** З колегою, вправляйтеся у поясненні: « Віртуальні потоки надають нам модель потоків на запит без витрат пам’ яті потоків платформи, але ми повинні перевірити наші блоки synchronized, щоб уникнути прикріплення »

4. ** Використовуйте словник « модель потоку на запит » у документації з архітектури. ** Ця фраза коротко описує одну з найбільших переваг архітектури і є широко відомою інженерам Java.

Conclusion

Project Loom вводить точний словник — монтування, демонтування, стикування, ниткові передачі, структурована одночасність — який інженери використовують щодня, коли обговорюють одночасність Java. Вивчення цих термінів англійською мовою допоможе вам повноцінно брати участь у обговоренні перенесення і написати чітку документацію щодо моделі потоків вашої системи. Оскільки віртуальні потоки стають стандартом у програмах Java, цей словник буде лише ставати важливішим.

Розвиток мови: словник для студентів

Основні концепції Project Loom - особливо * віртуальні нитки * і * прикріплені нитки * - є неймовірно потужними. Однак, ефективне обговорення їх в рамках професійного середовища розвитку вимагає набагато більше, ніж просто розуміння технічних деталей. Це про чітке, точне і спільне спілкування з вашою командою. Для розробників, чия перша мова не є англійською, це може здатися пригнічуючим. Нітками фразування, очікуваннями навколо документації, і навіть простими запитами на зворотній зв’ язок може бути складно керувати. Розглянемо звичайний сценарій: ви працюєте над новою можливістю, яка використовує віртуальні потоки для поліпшення одночасності виконання завдань у службі, що обробляє розпізнавання користувача. Ви надіслали запит на звантаження з докладним описом ваших змін.

Друг команди відповідає коментарем: «Це хороша робота, але я все ще не розумію, як ці віртуальні потоки прикріплюються до процесора. Чи можете ви розглянути потенціал для суперечок і які стратегії зменшення ми обговорювали?» Слово «прикріплення» само по собі може бути заплутаним; з коду не відразу очевидно, що ниткою явно прив’язано до ядра. Більш загально, такі фрази як «стратегії зменшення» є поширеними в дискусіях навколо продуктивності і одночасності. Це корисно, щоб зрозуміти основні наміри за цими термінами - вони не просто модні слова. Аналогічно, коли ви описуєте свою роботу у описі PR, ви можете використовувати такі фрази, як « зменшення блокуючих операцій » замість простого вказівок « використання віртуальних потоків ». Використання точної мови уникає двозначності і забезпечує, що всі знаходяться на одній сторінці, що є ключовим для ефективного перегляду коду і спільного вирішення проблем. Це також допомагає збудувати довіру у ваше розуміння і демонструє повагу до досвіду ваших колег.

Інша ситуація може виникнути під час розмови у Slack щодо зневадження проблеми одночасності. Ви пояснюєте, що ви використовували структуровану одночасність - по суті, створюючи явні обсяги з try...finally блоками, щоб забезпечити, що ресурси завжди будуть звільнені - щоб запобігти випадковим витокам. Друг команди відповідає: «Чи можете ви показати мені визначення обсягу? Я хочу переконатися, що ми не вводимо жодної нової складності.” Словник навколо структурованого одночасності - “обсяг”, “передупреждение витоку”, “складність” - потрібно розуміти в контексті надійного обробки помилок і управління ресурсами в одночасних системах. Це продемонструвати прихильність до написання надійного, підтримуваного коду.

Нарешті, розглянемо простий приклад зневадження за допомогою командного рядка:

jstack -f <process_id> | grep "VirtualThread"

Ця команда, за допомогою jstack (частина Java Development Kit), допомагає визначити потоки, які виконуються у віртуальному середовищі потоків Loom. Знання цього типу команди і її виводу є ключовою навикою під час розв’ язання проблем з одночасністю. Це не просто про те, щоб знати * як * використовувати його; це про те, щоб описати, що означає вивід - наприклад, “Команда jstack виявила, що декілька віртуальних потоків заблоковані на операціях вводу / виводу, що вказує на потенційне вузьке місце”

Сфокусувавшись на цих конкретних фразах і їх потенційних значень, не рідні англомовні розробники можуть впевнено брати участь у технічних обговореннях і ефективно вносити внесок у спільні проекти з використанням Project Loom.