модель обчислень

Модель обчислень (computing model. Computational model. Model of computation): модель обчислювального обладнання, здатного виконувати програму (алгоритм). Моделі такого роду характеризуються ступенем подробиці і ступенем абстрагування (абстрагованості) опису від реального обладнання і використовуються для розробки і дослідження програм і алгоритмів. [1]. [2]

послідовні обчислення

паралельні обчислення

Модель машини

Модель машини (machine model): модель найнижчого рівня абстрактності (абстрактності). Розглядає обчислювальний обладнання як власне обладнання сукупно з операційною системою. [2]

Наприклад, програмування на асемблері можна вважати використовують цей рівень моделей обчислень. [2]

модель архітектури

Модель архітектури (architectural model): модель наступного рівня абстрактності; описує узагальнені характеристики (конкретних екземплярів) обладнання і операційної системи. [2]

Наприклад, для послідовних ЕОМ (з одним виконуючим пристроєм) архітектура описується моделлю фон Неймана. Для паралельного обчислювального обладнання (ПарВМ) описується топологія внутрішньої мережі, але не її апаратне здійснення, синхронність ПарВМ, відповідність одному з класів Флінна, загальна організація робочої пам'яті (загальна чи розподілена). [2]

модель розрахунку

Модель розрахунку (по-англійськи, як і моделі обчислень взагалі, називається computational model або model of computation): модель наступного рівня абстрактності; описує узагальнені характеристики цілого класу обчислювального обладнання, що розглядається по його моделі архітектури. [2]

Наприклад, в разі послідовного розрахунку модель РАМ [1] це широко поширена модель для дослідження алгоритмів; має в своїй основі модель архітектури фон Неймана. [2]

Оскільки модель розрахунку використовується зазвичай в теоретичній роботі, модель такого рівня також називають абстрактною або формальною моделлю - маючи на увазі, що обладнання в ній не описується навіть настільки узагальнено, як в моделі архітектури. Відповідно, щодо послідовних обчислень моделі розрахунку і архітектури можуть і не відрізнятися, або відрізнятися лише за наявністю на рівні моделі розрахунку додаткових характеристик на кшталт вартості дії. Однак, наприклад, модель паралельного розрахунку ПРАМ вже не може бути втілена в реальному архітектурі паралельного обчислювального обладнання, і на реальному обладнанні її робота лише імітується. [2]

модель програмування

Модель програмування (programming model): модель наступного рівня абстрактності; описує обчислювальний обладнання в поняттях семантики конкретної мови програмування. [2]

Одне з ключових відмінностей з моделлю розрахунку: модель розрахунку розглядає пам'ять як послідовність осередків, а модель програмування - як структуру даних (визначених у мові програмування), можливо складну. [2]