Конфлікти в конвеєрі (англ. pipeline hazards) — ситуації, які спричиняють неможливість повного завантаження конвеєра та ефективне його функціонування.

Розрізняють три класи таких конфліктів:

• Структурні конфлікти (англ. structural hazards) — виникають у випадках, коли неможливий розподіл апаратних ресурсів конвеєра між його окремими етапами для забезпечення повного його завантаження
• Конфлікти даних (англ. data hazards) — виникають в випадках, коли існують залежності між даними в різних командах, які знаходяться в конвеєрі.
• Конфлікти керування (англ. control hazards або англ. branching hazards) — виникають як наслідок конвеєризації команди переходу, які змінюють значення лічильника команд.

Структурні конфлікти (англ. structural hazards) в конвеєрі виникають частіше за все там, де функціональні пристрої, які відповідають безпосередньо за обчислення, конвеєризовані не повністю, або кількість їх недостатня для виконання довільної комбінації завантажених в конвеєр машинних команд.

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

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

Для того, щоби уникнути такої зупинки, в склад процесора може бути введений додатковий пристрій множення, або конвеєризований наявний чи прискорена його швидкодія (доведена до тривалості одного циклу конвеєра).

Конфлікти даних (англ. data hazards) — конфлікти, які виникають в випадках, коли існують залежності між даними в різних командах, які знаходяться в конвеєрі.

Є три варіанти залежності:

• читання після запису, англ. read after write (RAW), справжня залежність
• запис після читання, англ. write after read (WAR)
• запис після запису, англ. write after write (WAW)

Приклад

i1. R2 <- R1 + R3
i2. R4 <- R2 + R3

Способи вирішення

• затримка виконання залежної інструкції у конвеєрі;
• перенаправлення (forwarding) результату обчислення із однієї стадії конвеєра до іншої;
• планування виконання інструкцій із використанням позачергово виконання (англ. Out-of-order execution) таким чином, щоби на час запуску залежної інструкції необхідний результат уже було обчислено.

Конфлікти керування (англ. control hazards) — різновид конфліктів в конвеєрі, спричинених особливостями конвеєрного виконання команд переходу.

Нехай i та j — дві машинні команди, і j в програмі є наступною за i. Кажуть^{[джерело?]}, що j залежить за переходом від i, коли рішення про необхідність виконання чи невиконання j приймається на основі результату, отриманого під час виконання i. Тобто, j залежить від i за переходом, якщо i — команда переходу.

Проблематичність конвеєрного виконання таких фрагментів програмного коду полягає в тому, що заздалегідь невідомо, виконання якої команди почнеться в результаті переходу (тобто відбудеться він чи ні). У випадку послідовного (неконвеєризованого) виконання, рішення про перехід отримується до того, як наступна команда буде завантажена в виконавчий пристрій. Але в конвеєрній моделі етапи виконання різних команд суміщаються в часі, тобто етап безпосереднього обчислення результату однієї команди суміщається з завантаженням наступної і т. д., і є неможливим дізнатись в процесі цього завантаження, чи потрібне воно взагалі, адже результат команди переходу ще не обчислений.

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

• Перейменування регістрів
• Залежність даних
• Спекулятивне виконання
• Модуль передбачення переходів
• Стан гонитви

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні (авторитетні) джерела. Матеріал без джерел може бути піддано сумніву та вилучено. (квітень 2017)

В іншому мовному розділі є повніша стаття Hazard (computer architecture)(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою перекладу з англійської. Дивитись автоперекладену версію статті з мови «англійська». Перекладач повинен розуміти, що відповідальність за кінцевий вміст статті у Вікіпедії несе саме автор редагувань. Онлайн-переклад надається лише як корисний інструмент перегляду вмісту зрозумілою мовою. Не використовуйте невичитаний і невідкоригований машинний переклад у статтях української Вікіпедії! Машинний переклад Google є корисною відправною точкою для перекладу, але перекладачам необхідно виправляти помилки та підтверджувати точність перекладу, а не просто скопіювати машинний переклад до української Вікіпедії. Не перекладайте текст, який видається недостовірним або неякісним. Якщо можливо, перевірте текст за посиланнями, поданими в іншомовній статті. Докладні рекомендації: див. Вікіпедія:Переклад.