Конфлікти в конвеєрних обчислювальних систем.
Конфлікти в конвеєрі (англ. pipelinehazards) — ситуації, які спричиняють неможливість повного завантаження конвеєра та ефективне його функціонування.
Розрізняють три класи таких конфліктів:
Структурні конфлікти (англ. structuralhazards) — виникають у випадках, коли неможливий розподіл апаратних ресурсів конвеєра між його окремими етапами для забезпечення повного його завантаження
Конфлікти даних (англ. datahazards) — виникають в випадках, коли існують залежності між даними в різних командах, які знаходяться в конвеєрі.
Конфлікти управління (англ. 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) таким чином, щоби на час запуску залежної інструкції необхідний результат уже було обчислено.
КОНФЛІКТИ УПРАВЛІННЯ (controlhazards) - різновид конфліктів в конвеєрі, спричинених особливостями конвеєрного виконання команд передачі управління.
Нехай i та j - дві машинні команди, і j в програмі є наступною за i. Кажуть, що j залежить по управлінню від i, коли рішення про необхідність виконання чи невиконання j приймається на основі результату, отриманого під час виконання i. Тобто, j залежить від i по управлінню, якщо i - команда передачі управління.
Проблематичність конвеєрного виконання таких фрагментів програмного коду полягає в тому, що зарані невідомо, виконання якої команди почнеться в результаті переходу (тобто відбудеться він чи ні). У випадку послідовного (неконвеєризованого) виконання, рішення про перехід отримується до того, як наступна команда буде завантажена в виконавчий пристрій. Але в конвеєрній моделі етапи виконання різних команд суміщаються в часі, тобто етап безпосереднього обчислення результату однієї команди суміщається з завантаженням наступної і т.д., і є неможливим дізнатись в процесі цього завантаження, чи потрібне воно взагалі, адже результат команди переходу ще не обчислений.
Ця ситуація зображена на малюнку. Для такого конвеєра виконання переходу означає зупинку конвеєра на три такти, щоби вивантажити непотрібні тепер команди і завантажити необхідні з іншої гілки програми. Очевидно, що чим більше стадій в конвеєрі, і чим віддаленіша від початку стадія обчислення адреси переходу, тим значнішими будуть втрати швидкодії.