Перегляд вихідного коду сторінки Архітектура системи команд

{{Без джерел|дата=липень 2013}}

[[Файл:Operation.PNG|thumb|right|330px|Типова триадресна команда. Такий формат мають команди RISC-процесорів, які безпосередньо оперують з регістрами.]]
'''Архітекту́ра систе́ми кома́нд''' ({{lang-en|instruction set architecture, ISA}}; також '''системна архітектура''') електронної обчислювальної машини&nbsp;— складова частина [[архітектура електронних обчислювальних машин|архітектури ЕОМ]], що має наступні характеристики:
* набір [[машинна команда|машинних команд]] (''або набір інструкцій, система команд'')&nbsp;— перелік та [[семантика]] операцій, які здатна виконувати обчислювальна машина;
* доступні [[регістр процесора|регістри]]&nbsp;— внутрішні комірки пам'яті [[центральний процесор|центрального процесора]] (пристрою, який виконує обробку інформації), їх функціональне призначення, розрядність, кількість тощо;
* розрядність та формати [[операнд]]ів&nbsp;— об'єктів, над якими виконуються операції;
* способи [[адресація пам'яті|адресації пам'яті]]&nbsp;— методи доступу до операндів, які зберігаються в пам'яті;
* особливості [[обробка винятків|обробки виняткових ситуацій]];
* обробка [[переривання|переривань]].

== Еволюція архітектур системи команд ==

=== Перші акумуляторні архітектури ===

Набір операцій перших ЕОМ з програмою, яка зберігається в пам'яті, складався з одного-двох десятків команд. Всі операції з інформацією зазвичай виконувались в одному спеціальному [[Регістр процесора|регістрі]]&nbsp;— [[акумуляторна архітектура|акумуляторі]], а для завантаження операндів необхідно було явно вказувати адресу відповідної комірки пам'яті. Таким був набір команд обчислювальної машини Baby (1948), розробленої в Манчестерському університеті, яка вважається першою ЕОМ, в якій достатньо повно був реалізований принцип [[Архітектура фон Неймана|збереження програми в пам'яті]]. Цей набір складався з наступних команд (тут <code>А</code>&nbsp;— регістр акумулятора, <code>S</code>&nbsp;— комірка пам'яті, представлена своєю адресою):

 [000]JMP S : CI = S 
 [010]LDN S : A = -S 
 [011]SUB S : A = A - S 
 [011]CMP   : If A < 0, CI = CI + 1 
 [100]JMP S : CI = CI+S 
 [110]STO S : S = A
 [111]HLT   : Закінчити програму

Звичайна програма складання двох чисел в акумуляторі в цій архітектурі системи команд виглядала так:
 LDN X1 ; A = -x1	
 SUB X2 ; A = A-y = -x-y = -(x+y) 
 STO Y  ; Y = -(x+y)
 LDN Y  ; A = -(-(x+y)) = x+y

Майже в той самий час ([[1948]]) під Києвом групою інженерів під керівництвом академіка [[Лебедєв Сергій Олексійович|С.&nbsp;О.&nbsp;Лебедєва]] почались роботи зі створення першої вітчизняної ЕОМ [[Мала електронна лічильна машина|МЕСМ]], система команд якої була схожою на наведену вище.

В архітектурі Baby використовувалась, як би ми зараз сказали, непряма адресація безумовних переходів&nbsp;— адреса команди, на яку потрібно було передати керування командою <code>JMP</code>(від {{lang-en|jump}}&nbsp;— стрибати), кодувалась не в самій команді переходу, а зберігалась в комірці запам'ятовуючого пристрою. Це було викликано головним чином необхідністю економії пам'яті, хоча згодом практика програмування показала, що пряма (безпосередня) адресація переходів використовується набагато частіше.

=== Архітектури з індексними регістрами ===

У наступниці принципів Baby, одній з перших комерційних ЕОМ [[Ferranti#Ferranti Mark I|Ferranti Mark-1]] ([[1952]]) з цією метою були вперше застосовані так звані '''індексні регістри'''. Можна було налаштувати цю машину так, що перед виконанням команди, інформація одного з таких регістрів сумувалась безпосередньо з самою командою, або деякими її складовими, тобто був реалізований принцип програми, яка самомодифікується в процесі виконання. Таким чином, для організації прямої адресації переходів, достатньо було завантажити в один з індексних регістрів потрібну адресу, залишивши відповідне поле команди JMP нульовим.

=== Архітектури з регістрами загального призначення ===

Наступним значним вдосконаленням стало введення такого поняття, як регістри загального призначення (РЗП). Вперше вони з'явилися в машині [[Ferranti#Ferranti Pegasus|Pegasus]] (1956) тої ж фірми Ferranti. Кожний з таких РЗП за функціональністю був ідентичний акумулятору перших машин, і це істотно полегшувало процес програмування й прискорювало швидкодію, адже тепер не потрібно було зберігати проміжні результати в повільній пам'яті й увесь час підзавантажувати звідти потрібні змінні. Їх можна було розміщувати в регістрах.

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

=== CISC ===
{{Детальніше|CISC}}
З прогресом в області електронних технології й збільшенням швидкодії, стали більше думати й про програміста. В середині 60-х років з'явився клас універсальних машин, разом з ним&nbsp;— поняття про архітектуру. Зворотним наслідком такої турботи стало те, що деякі системи команд того часу нараховували більше десятка способів адресації, не менша кількість регістрів різної функціональності й більше сотні операцій на всі випадки життя, включаючи найекзотичніші, тому згодом такі архітектури системи команд одержали назву повних (complete instruction set computer, [[CISC]]). В деяких ЕОМ система команд нагадувала мови високого рівня.

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

Однак мало хто утрудняв себе вивченням і використанням всіх цих численних можливостей, тому «повні» системи команд виявлялися вкрай надлишковими.

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

=== RISC ===
{{Детальніше|RISC (процесор)}}
Але до середини 70-х, зі здешевленням пам'яті й розвитком високорівневих мов та компіляторів, акценти знову змінились. На машинних мовах переставали писати&nbsp;— результати роботи [[Оптимізувальний компілятор|оптимізувальних компіляторів]] стали цілком прийнятними, а писати на мовах високого рівня куди легше й швидше ніж в машинних командах. Стало актуальним питання сумісності та [[Багатоплатформність|міжплатформної сумісності]] [[Програмне забезпечення|програмного забезпечення]]. До того ж, складні набори команд, реалізовані за допомогою повільних [[Мікропрограма|мікропрограм]], обмежували можливості для подальшого росту [[Швидкодія ЕОМ|швидкодії]] за рахунок мікроархітектурних оптимізацій.

Так ера складних наборів команд закінчилася, поступившись місцем новим архітектурам із скороченим набором (reduced instruction set computer, RISC), які створювалися із прицілом на максимальну реалізацію можливостей сучасних компіляторів і заздалегідь проектувалися з урахуванням можливої оптимізації процесу обчислень на рівні мікроархітектури.

RISC характеризується такий набір команд порівняно невеликою кількістю (40&nbsp;— 1024 для різних архітектур), але головними ознаками є фіксований розмір команди, за винятком команд переходу, які можуть міститися в 2—3 командних словах (містять адресу). Також ключовою характеристикою є фіксований час виконання команд&nbsp;— кожна команда виконується, наприклад за 1 машинний такт (AVR до 20Мгц) чи за 4 машинних такти (PIC до 80Мгц). Продуктивність програм сильно залежить від якості компілятора (при використанні асемблера та машинних команд більше залежить від програміста).

=== VLIW ===
Однак зараз перед проектувальниками у весь зріст постала нова проблема&nbsp;— складність сучасних процесорів стає просто шаленою. Мікроархітектурні методи динамічного планування, які перевпорядковують команди та виявляють прихований паралелізм, дають істотний приріст в продуктивності, але вимагають створення винятково складних апаратних структур, які надто складно проектувати й втілювати. Тому зараз на перший план виходять системи з довгим командним словом (very long instruction word, VLIW), в яких більша частина механізму сполучення операцій виконується на програмному рівні, а процесору дається вже готовий «план дій». Апаратурна структура виходить простішою, що робить такі системи досить перспективними, незважаючи на безліч складностей, пов'язаних з їхнім використанням.

Рішення, які приймаються на рівні архітектури системи команд, мають істотний вплив на основні характеристики майбутньої ЕОМ, її внутрішню організацію. Тому і спостерігається певний «процесороцентризм» в популярних оглядах сучасних комп'ютерних архітектур, хоча це й не дуже коректно, тому що архітектура ЕОМ має в собі масу інших складових.

VLIW характеризується записом команд в пам'ять фіксованими «пачками» по, наприклад 4 команди, які виконуватимуться одночасно на різних [[Арифметико-логічний пристрій|арифметико-логічних пристроях]]. Характерне марнування програмної пам'яті для низок команд, які компілятору розпаралелити не вдалося.

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

=== Стекові архітектури ===
[[Файл:Stack_arch.PNG|thumb|150px|right|Стекова архітектура]]
У стекових архітектурах набір регістрів (або відповідна область пам'яті, де відбувається безпосередня обробка даних) організований у [[стек]] (stack) або магазин. Принцип дії цієї структури дійсно нагадує магазин автомата, в якому можна послідовно завантажувати патрони, причому при завантаженні кожного наступного, попередні опускаються на позицію долілиць.
Діставати патрони доведеться в зворотному порядку: перший із завантажених буде вийнятий останнім.

Аналогічно, для керування регістровим стеком вводяться дві спеціальні команди: <code>PUSH</code> і <code>POP</code> («заштовхнути» і «виштовхнути»). З їхньою допомогою організується взаємодія з основною пам'яттю: команда <code>PUSH</code> кладе операнд на вершину стека, команда <code>POP</code> вертає значення c вершини та кладе на вершину наступний елемент. Як поточні операнди в стековій машині завжди маються на увазі дві верхніх позиції стека, тому в обчислювальних командах навіть немає необхідності вказувати адреси операндів (говорять, що система команд стекових машин&nbsp;— нульадресна). Результат операції записується знову в вершину стека на місце першого операнда, а на місце другого піднімається наступний і так до спустошення стека.

Стекові архітектури прості в реалізації, тому багато перших ЕОМ були побудовані саме в такий спосіб. Стековими, до речі, були й перші [[калькулятор]]и. Однак продуктивність таких архітектур по сьогоднішніх мірках невисока, та й підвищувати її можна хіба що за рахунок зменшення часу циклу. Однак є галузі, де продуктивність&nbsp;— не головний показник, і сьогодні стекові архітектури є досить перспективними для застосування в промислових системах керування та широкому класі [[Вбудована система|вбудованих систем]], де важливі простота й дешевина реалізації разом з прийнятною швидкістю обробки. Краще інших пристосовані стекові машини для забезпеченням режиму реального часу реакції на переривання, що має першорядну важливість у системах керування.

=== Акумуляторні архітектури ===
[[Файл:Acc_arch.PNG|thumb|150px|left|Акумуляторна архітектура]]
В акумуляторних архітектурах «уявним» залишається тільки один операнд, що перебуває в спеціальному регістрі- акумуляторі. Другий операнд береться безпосередньо з пам'яті або з тимчасового сховища, в яке завантажується попередньо. Розвитком цього принципу можна вважати архітектури з наборами спеціалізованих регістрів, в яких деякі регістри були закріплені за певними операціями, або існували якісь інші обмеження на їхнє використання.

Акумуляторні архітектури були досить популярні в перших ЕОМ через свою простоту. Спеціалізовані регістри були популярними в архітектурах 70-х років, зокрема, застосовувалися в IBM S/360 і в мікропроцесорах серії x86, а сьогодні одержали свій розвиток в архітектурах цифрових сигнальних процесорів (digital signal processor, DSP).

=== Архітектури «регістр-пам'ять» і «регістр-регістр» ===
У командах архітектур типу «регістр-пам'ять» допускається в команді вказувати як місцезнаходження одного з операндів комірки пам'яті. В архітектурах «регістр-регістр» завантаження операндів з пам'яті й збереження результатів виконуються спеціальними командами, і безпосередньо в обчисленнях допускається використання тільки операндів, які знаходяться в регістрах процесора. Останній підхід покладений в основу архітектур зі скороченим набором команд (RISC).

[[Файл:Reg-mem-reg_arch.PNG|thumb|300px|right|Архітектура «регістр-пам'ять» (а) та «регістр-регістр» (б)]]
Архітектури «регістр-пам'ять» і «регістр-регістр» відносяться до розряду регістрових архітектур. В них як основне сховище операндів використовується набір регістрів загального призначення або спеціалізованих регістрів. Використання регістрів веде до істотного підвищення продуктивності: по-перше регістрова пам'ять швидше оперативної, по-друге набір регістрів дає більше можливостей програмісту й компілятору для організації складних обчислень (на відміну, наприклад, від стекових архітектур, де порядок обчислення визначається однозначно й не може бути змінений), полегшує реалізацію мікроархітектурних методів підвищення продуктивності обчислень, таких як [[Конвеєр команд|конвеєризація]] або сполучення операцій.

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

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

=== Архітектури «пам'ять-пам'ять» ===
Ще один клас архітектур, що залишився без уваги&nbsp;— «пам'ять-пам'ять», де дозволяється робота безпосередньо з оперативною пам'яттю, але він давно вичерпав резерв розвитку й зараз знайти втілення цієї архітектури можна хіба що в музеях (як приклад можна навести досить розповсюджену в 70-і роки серію [[VAX]] фірми [[Digital Equipment Corporation]])

== Адресність команд ==
[[Файл:Op_operandness.PNG|thumb|right|350px|Адресність команд]]
Стекова архітектура може зватися нульадресною або нульоперандною, в ній і вхідні операнди, і адреса для запису результата визначені за замовчуванням, тому в команді нічого вказувати не потрібно.

Акумуляторні архітектури є однооперандними.

Архітектури типу регістр-пам'ять часто мають двооперандний формат&nbsp;— в команді вказується місценаходження обох джерел операції, а результат за замовчуванням записується на місце першого, яке при необхідності повторного використання доведеться заново завантажувати.

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

== Класифікація команд ==
Всю номенклатуру операцій, реалізованих в сучасних ЕОМ, можна розбити на наступні функціональні групи:
* арифметичні й логічні&nbsp;— для [[Ціле число (тип даних)|цілочисельних]] арифметичних і логічних обчислень (додавання, віднімання, множення, зсуви й логічні операції, порівнювання тощо);
* пересилання даних&nbsp;— команди завантаження/збереження в RISC-процесорах, команди переміщення даних (типу mov) в архітектурах, що допускають пряму роботу з пам'яттю;
* управління&nbsp;— для умовної або безумовної зміни ходу виконання програми, обробки виняткових ситуацій;
* системної або привілейовані&nbsp;— команди управління [[Віртуальна пам'ять|віртуальною пам'яттю]], переключенням контексту, привілейовані команди [[Операційна система|операційної системи]];
* арифметичні з [[Число з рухомою комою|рухомою комою]]&nbsp;— для арифметичних операції із числами у форматі рухомої коми;
* команди десяткової арифметики;
* робота з [[Рядок (програмування)|рядками]] (strings)&nbsp;— пошук в рядку, пересилання рядка, порівняння рядків;
* графічні&nbsp;— векторні операції, що прискорюють обробку графічних сцен.

== Див. також ==
* [[Симулятор набору команд]]

{{Hardware-stub}}
{{Без джерел|дата=жовтень 2017}}
{{Технології CPU}}
{{ВП-портали|Програмування|Інформаційні технології}}
[[Категорія:Архітектура комп'ютера]]
[[Категорія:Технології процесорів]]
[[Категорія:Процесори]]
[[Категорія:Обробка команд]]