suorituslogiikan
Suorituslogiikka on tietotekniikan käsite, joka kuvaa ohjelman tai järjestelmän suorituksen aikana tapahtuvaa toimintojen järjestyksen ja tilamuutosten logiikkaa. Se kattaa sekä ohjelmisto- että laitteisto-ympäristöt ja määrittelee, miten käskyt toimeenpannaan, miten tilat muuttuvat ja miten eri komponentit kommunikoivat.
Ohjelmiston kontekstissa suorituslogiikka viittaa ohjelmointikielten tulkin tai suoritusympäristön hallitsemaan evaluointiin ja kontrollivirrien toteutukseen. Se käsittelee esimerkiksi
Laite- tai suorituslogiikan kannalta kyse on ohjauslogiikasta ja datapolusta, jotka toteuttavat ohjeiden dekoodauksen, rekisterioperoinnit ja laskennan.
Suorituslogiikkaa tarkastellaan usein yhdessä suoritusmallin tai ohjelmointikielen semantiikan kanssa. Se auttaa selittämään, miten abstraktit ohjelmankuvaukset toteutuvat