Konekieli

**Konekieli** on tietokoneen suorittimen ymmärtämä formaali kieli, joka koostuu sarjasta konekielisiä käskyjä (**käskysarja** tai **käskykanta**, ). Konekieli on sarja binäärisiä bittejä eli ykkösiä ja nollia, joita tietokone tulkitsee käskyiksi ja operandeiksi.

Kaikki, mitä tietokone lopulta tekee, muodostuu konekielisistä käskyistä. Konekieli, kuten kaikki mitä tietokone perimmiltään tekee, koostuu biteistä eli ykkösistä ja nollista. Konekieli on esitystapa tietokoneohjelmalle, joka on lähinnä bittitasoa.

Suorittimen käyttämä konekieli riippuu sen arkkitehtuurista, esimerkiksi x86-arkkitehtuurin suorittimella varustettu kone ajaa x86-konekieltä ja PowerPC-suorittimella PowerPC-konekieltä.

## Historia

Ensimmäiset tietokoneet 1940-luvulla ohjelmoitiin konekielellä: ennen tallennetun ohjelman tietokonetta ohjelmointi tehtiin fyysisesti laitetta muuttamalla.
Myöhemmin kehitettiin ihmiselle havainnollisempia tapoja esittää konekieliset käskyt. Esimerkiksi symbolinen komento `ADD` voidaan tulkita konekieliseksi komennoksi `10110111`. Syntyi symbolinen konekieli eli assembly. Havainnollisemmat ohjelmat oli sitten käännettävä erityisellä ohjelmalla, kääntäjällä, konekieliseksi koodiksi, joka voitiin syöttää tietokoneeseen sen ymmärtämässä muodossa, eli bitteinä.

Kullakin konekielellä on oma symbolinen vastineensa, esimerkiksi x86-arkkitehtuurin konekieltä vastaa x86-assembly.

Symbolisenkin konekielen käyttö on vaivalloista, joten yleensä ohjelmoinnissa käytetään korkean tason ohjelmointikieliä, esimerkiksi C:tä, joka käännetään konekieleksi tai tulkataan konekielisellä ohjelmalla. Korkean tason ohjelmointikielet mahdollistavat myös saman ohjelman käytön eri konekieltä käyttävissä tietokoneissa.

## Konekieliset käskyt

Konekielinen käsky on bittikuvio, jolla on suorittimelle erityismerkitys. Suoritin hakee konekieliset käskyt yksi kerrallaan keskusmuistista ja toimii niiden ohjeiden perusteella. Konekielisen käskyn tulkinta riippuu suorittimen laitteistosta (elektroniikka) ja suorittimen sisäisestä ohjelmasta (mikrokoodi).

Konekielinen käsky koostuu kahdesta osasta:
* **operaatiokoodi** (*opcode*) kertoo mitä tulee tehdä (esimerkiksi yhteenlasku)
* **osoitusmuoto**, joka ilmoittaa, mille muistiosoitteille tai suorittimen sisäisille rekistereille operaatio tulee tehdä

Esimerkiksi konekielinen käsky 10110100 10110111 voi merkitä käskynä suorittimelle, että se laskee kahden sisäisen rekisterin sisällöt yhteen ja siirtää tuloksen kolmannen rekisterin osoittamaan muistipaikkaan. Symbolisella konekielellä käsky olisi esimerkiksi `ADD A,B,@C`

Lisäksi käskyissä voi olla etuliitteitä ja valinnaisia osia.

## Käskykanta-arkkitehtuuri
Käskykanta-arkkitehtuuri (, ISA) sisältää osoittamismoodit, konekieliset käskyt, tietotyypit, rekisterit, muistiarkkitehtuurin, keskeytykset ja poikkeuskäsittelyn. Arkkitehtuuri voidaan toteuttaa myös erityislaatuisella mikrokoodilla, jolloin suoritin voidaan osioida aliosiin.

## Käskykantalaajennus

Käskykantalaajennuksella tarkoitetaan suorittimen konekielen lisätoimintoja, jotka ovat valinnaisia suorittimen toteutuksessa tai muutoin eivät kuulu osana normaalia käskykantaa.

Yleisiä esimerkkitapauksia ovat SIMD-tyyppiset laajennukset kuten SSE tyypillisten suorittimien käskykantaan.

## Katso myös

* Muistiarkkitehtuuri
* Mikro-ohjelma
* RISC
* CISC
* VLIW

## Lähteet