Lähdekoodi sivulle Assembly (ohjelmointikieli)

{{Tämä artikkeli|käsittelee tietokoneohjelmointia. Katso [[Assembly]] sanan muista merkityksistä.}}
[[Tiedosto:Motorola 6800 Assembly Language.png|thumb|250px|[[Motorola 6800]] 8-bittisen [[mikroprosessori|suorittime]]n assembly-kielellä kirjoitetun koodin käännöslistausta.]]
'''Assembly''' (usein virheellisesti ''assembler'') on [[tietokone]]en [[ohjelmointikieli]], joka koostuu symbolisesta vastineesta tietylle [[konekieli|konekielelle]].<ref name="eb">{{Verkkoviite | osoite = https://www.britannica.com/technology/assembly-language | nimeke = Assembly language | viitattu = 12.9.2020 | kieli = {{en}} }}</ref> Toinen nimitys assembly-kielelle on ''symbolinen konekieli''.<ref name="ch" /> Eri [[suoritin]]tyyppejä käyttäville tietokoneille tarvitaan eri assembly-kieli.<ref name="eb" />

Assembly on [[matalan tason ohjelmointikieli|matalan tason kieli]], jota sanotaan myös toisen sukupolven ohjelmointikieleksi.<ref name="rccsg">{{Verkkoviite | osoite = http://www.rogerclarke.com/SOS/SwareGenns.html | nimeke = A Contingency Approach to the Application Software Generations | tekijä = Roger Clarke | ajankohta = 1991 | viitattu = 4.2.2020 | kieli = {{en}} }}</ref> Kieli on isomorfinen ja vastaa läheisesti konekieltä: kielen ominaisuudet ovat yksi-yhteen tai yksi-moneen suhteessa käskykannan ominaisuuksiin.<ref name="rccsg" /> Ylemmän tason kielet käyttävät ei-isomorfista muunnosta.<ref name="rccsg" />

Konekieli on suorittimen tai vastaavan laitteen ymmärtämä kieli. Konekielen käskyt ovat lukujonoja, ja siksi vaikeita muistaa sekä hahmottaa koodia kirjoitettaessa. Siksi konekielen kirjoittamisen sijaan käytetään yleensä assemblyä. Assembly-ohjelma muutetaan konekieliseksi [[assembler]]-kääntäjällä.

Assembly-ohjelma koostuu käskyistä ({{k-en|mnemonics}}) ja niihin liittyvät operandeista, jotka vastaavat konekielen käskyjä. Lisäksi assembly-kielisessä ohjelmassa on muistiosoitteiden nimiä ja muita apusanoja.

Assemblyn käytön varjopuolia verrattuna [[C (ohjelmointikieli)|C]]:n tyyppisiin korkean tason kieliin ovat muun muassa ohjelmoinnin vaikeus, hitaus ja virhealttius. Assemblyn käyttö vaatii taitoa ja erityistä tarkkuutta.

Assembly-kieli on huonosti [[Siirtäminen (ohjelmointi)|siirrettävä]] kieli eri suorittimien välillä. Eri suoritintyypeille on erilaiset assembly-ohjelmat.

== Historia ==
[[Small-Scale Experimental Machine]] (SSEM) oli ensimmäinen [[tallennetun ohjelman tietokone]], jossa [[tietokoneohjelma|ohjelma]] voitiin tallettaa tietokoneen [[Muisti (tietokone)|muistiin]] ja ohjelma voitiin ladata ilman fyysisiä muutoksia laitteeseen.<ref name="ssem">{{Verkkoviite | osoite = http://curation.cs.manchester.ac.uk/computer50/www.computer50.org/mark1/new.baby.html | nimeke = The Manchester Small Scale Experimental Machine -- "The Baby" | viitattu = 25.8.2017}}</ref><ref name="chm">{{Verkkoviite | osoite = https://computerhistory.org/blog/about-the-computer-history-museums-ibm-1401-machines/ | nimeke = About the Computer History Museum’s IBM 1401 Machines | tekijä = Guy Fedorkow | ajankohta = 19.2.2015 | viitattu = 28.1.2020 | kieli = {{en}} }}</ref> 
Konekieli oli koneelle tehokasta käsitellä, mutta ei ihmisille: aluksi tämä ei ollut ongelma koska ohjelmoijat olivat samoja henkilöitä jotka suunnittelivat koneen mutta uusien ohjelmoijien tarpeen kasvaessa laitteiston yksityiskohtien kuvaileminen tuli ongelmaksi.<ref name="ipicd">{{Verkkoviite | osoite = https://www.i-programmer.info/history/57-computer-languages/471-the-classical-decade.html | nimeke = History of Computer Languages - The Classical Decade, 1950s | tekijä = Harry Fairhead | viitattu = 13.9.2020 | kieli = {{en}} }}</ref> Lisäämällä muistisääntöjä ({{k-en|mnemonics}}) ohjelmoijan työtä helpotettiin.<ref name="ipicd" /> Muistisääntöjen muuttaminen konekielisiin oli alkuun käsityötä ennen assembler-ohjelman kehittämistä.<ref name="ipicd" /> 
Varhaisen assembly-kielen kehitti [[Kathleen Booth]] [[Automatic Relay Calculator]]ille.<ref>{{Verkkoviite | osoite = https://www.theregister.com/2022/10/29/kathleen_booth_obit/ | nimeke = 
RIP: Kathleen Booth, the inventor of assembly language | tekijä = Liam Proven | ajankohta = 29.10.2022 | viitattu = 30.10.2022 | kieli = {{en}} }}</ref>
Termin ''assembler'' yleistymiseen liitetään Wilkesin, Wheelerin ja Gillin kirja ''The preparation of programs for a digital computer'' (1951).<ref name="ipicd" />
Ennen vuotta 1954 lähes kaikki ohjelmointi tehtiin matalan tason ohjelmointikielillä kuten konekielellä tai assemblyllä.<ref name="spoforjb">{{Verkkoviite | osoite = http://www.softwarepreservation.org/projects/FORTRAN/paper/p25-backus.pdf | nimeke = FORTRAN Session | tiedostomuoto = PDF | julkaisija = Computer History Musem | tekijä = John Backus | viitattu = 10.2.2020 | kieli = {{en}} }}</ref>

== Assembly, symbolinen konekieli==

[[Kuva:Apple II Monitor.png|thumb|Apple II:n konekieltä ja assembleria. Ensimmäinen sarake: muistiosoitteita. Seuraava sarakeryhmä: konekieltä heksadesimaalina.
Viimeiset kaksi saraketta: Assembly-kieltä. 3. sarake: käsky, 4. sarake: operandit.]]

Assembly on [[ohjelmointikieli|ohjelmointikielten]] alaluokka ja tarkoittaa symbolisia [[konekieli]]ä. [[Tietokone]]iden ymmärtämät konekielet koostuvat yleensä [[binäärijärjestelmä|binäärimuotoisista]] käskyistä, jotka voidaan esittää esimerkiksi 1- ja 0-merkkien sarjoina.

Eräs [[Intel]]in [[8086]] suorittimen konekielen käsky siirtää luvun 97 rekisteriin AL:
<pre>
 10110000 01100001
</pre>

Monesti tämä esitetään [[Heksadesimaalijärjestelmä|heksadesimaalilukuna]] lyhyemmän esitysmuodon vuoksi:
<pre>
 B0 61
</pre>

Assemblyllä käsky näyttää vielä selkeämmältä:
<syntaxhighlight lang="asm">
MOV AL, 61h       ; Kommentti: Siirrä AL-rekisteriin luku 97 , mikä on heksadesimaalilukuna 61 h (61 hex)
</syntaxhighlight>

Esimerkissä "MOV" on käsky ja 61h [[operandi]]. Kyseistä syntaksia käytetään esimerkiksi [[MASM]]:issa, jossa operandit ovat järjestyksessä ''kohde, lähde'' eli "al, 61h"

[[GNU Assembler]]issa (GAS) käytetyllä [[AT&T-syntaksi|AT&T:n syntaksilla]] operandit ovat järjestyksessä ''lähde, kohde''.<ref>{{Verkkoviite | osoite = https://www.ibm.com/developerworks/library/l-gas-nasm/index.html | nimeke = Linux assemblers: A comparison of GAS and NASM | julkaisija = IBM | julkaistu = 17.10.2007 | viitattu = 8.10.2017}}</ref>
<syntaxhighlight lang="asm">
 movb    $0x61, %al
</syntaxhighlight>

Symbolinen konekieli on konekielen havainnollisempi ja ihmisläheisempi esitysmuoto, joka määrittelee konekielen käskyille kirjoitetun kielen kaltaisen ulkoasun. Assembly-kielessä on siten lähes sama rakenne ja komennot kuin varsinaisessa konekielessä, mutta tekstimuotoisuus helpottaa ohjelman kirjoittamista ja ymmärtämistä. Lisäksi eri muistiosoitteisiin viitataan assemblyssa usein nimin ja itse muistiosoite voidaan antaa assemblerin määriteltäväksi. Konekieli ja siis myös assembly ovat sidonnaisia tiettyyn suoritinperheeseen.

Assembly-kielinen ohjelma muutetaan konekielelle [[assembler]]iksi nimetyllä [[ohjelmointikielen kääntäjä|kääntäjä]]llä. Samaa laiteympäristöä varten voi olla useita eri [[syntaksi|syntakseja]] riippuen käytetystä assembler-ohjelmasta (esimerkiksi MASM, GAS). Muilla suorittimilla on omat eronsa ja ohjelmansa.

Esimerkiksi 32-bittisen kokonaisluvun, jonka arvo on "5" siirtäminen datarekisteriin <code>d0</code> [[Motorola 68000 -sarja]]n suorittimella:
<pre>
 move.l    #5, d0
</pre>

== Inline-assembly ==
Assembleria on käytetty monesti [[Korkean tason ohjelmointikieli|korkean tason kielten]] ohella nopeuttamaan ohjelman ajoa joissain kohdissa.

Korkean tason kielen kääntäjät, esimerkiksi [[GCC]], osaavat kääntää ns. inline-assemblyä, joka on korkeamman tason kielen joukossa olevia assembly-käskyjä.<ref>{{Verkkoviite | osoite = https://gcc.gnu.org/onlinedocs/gcc/Using-Assembly-Language-with-C.html | nimeke = 6.47 How to Use Inline Assembly Language in C Code | viitattu = 12.9.2020 | kieli = {{en}} }}</ref>

Esimerkki C-kielen joukossa <code>asm</code>-lausekkeella:<ref>{{Verkkoviite | osoite = https://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html | nimeke = 6.47.2 Extended Asm - Assembler Instructions with C Expression Operands | viitattu = 12.9.2020 | kieli = {{en}} }}</ref> 
 
<syntaxhighlight lang="C">
int src = 1;
int dst;   

asm ("mov %1, %0\n\t"
    "add $1, %0"
    : "=r" (dst) 
    : "r" (src));

printf("%d\n", dst);
</syntaxhighlight>

Eri kääntäjien tuki inline-assemblylle vaihtelee mutta muun muassa [[LLVM|LLVM/Clang]] on pitkälti yhteensopiva GCC:n kanssa.<ref>{{Verkkoviite | osoite = https://clang.llvm.org/compatibility.html#inline-asm | nimeke = Inline assembly | viitattu = 12.9.2020 | kieli = {{en}} }}</ref>

==Assemblyn käyttökohteet==
Assembly antaa ohjelmoijalle täyden määräysvallan [[suoritin|suorittimelle]] syötettävän komentosarjan suhteen, ja siksi sitä käyttämällä voidaan hyödyntää tietokoneen resurssit tehokkaasti. Assemblyä käytettiin [[kotitietokone|kotimikrojen]] alkuaikoina melko yleisesti. Esimerkiksi [[MS-DOS]]-käyttöjärjestelmä, taulukkolaskentaohjelma [[Lotus 1-2-3]] ja useimmat 16-bittisen sukupolven tietokoneiden [[videopeli|pelit]] ohjelmoitiin assemblyllä. Varsinaisen assembly-kielen käyttö 8-bittisillä tietokoneilla (kuten [[Commodore 64]], [[MSX]], [[ZX Spectrum]]) on useimmiten liian raskasta. Sen sijaan joko käytettiin konekielimonitoreja tai hyödynnettiin ristiinkääntämistä kirjoittamalla assemblyä ensin PC:llä tai UNIX-työasemalla ja ristiinkääntämällä se lopulliselle kohteelleen.

Puhtaan assembly-kielen käyttöä on perinteisesti puoltanut ohjelmakoodin tiiviys verrattuna kääntäjien tuottamaan konekieleen. Etenkin varhaisten tietokoneiden [[Muisti (tietokone)|muistit]] ovat olleet verrattain pieniä ja asettaneet tiukan rajan suoritettavan ohjelman koolle. Assembly-kielellä toteutettuun ohjelmaan voitiin koodata vain sovelluksen tarvitsemat toiminnot, kun taas esimerkiksi [[FORTRAN]]- tai [[ALGOL]]-kielellä toteutetut ohjelmat toivat aina mukanaan ylimääräistä koodia; tyypillisesti suoraan assemblyllä toteutettu ohjelma oli kooltaan vain 1/10 korkean tason kielellä tuotetusta ohjelmasta. Kokoedun takia esimerkiksi [[kiintolevy]]n alussa oleva käynnistyskoodi kirjoitetaan nykyäänkin assemblyllä.

Sovellusohjelmien osalta tällainen optimointi ei kuitenkaan yleensä enää ole mielekästä, eikä assemblyä juurikaan käytetä nykyaikaisten [[henkilökohtainen tietokone|henkilökohtaisten tietokoneiden]] kaltaisten koneiden eikä myöskään [[älypuhelin|älypuhelimien]] sovellusohjelmoinnissa. Sovellusohjelmat ovat niin isoja, ettei niitä voi mielekkäästi hallita assembly-tasolla. Suorittimet ovat myös niin tehokkaita, että koodin nopeutuksella saatava hyöty ei yleensä ole vaivan arvoista. Pullonkaulat ovat yleensä muualla, kuten [[siirräntä|I/O-operaatioiden]] ja sivutuksen aiheuttamassa viiveessä. Korkean tason ohjelmointikielten kääntäjät ovat myös kehittyneet, ja samalla suorittimet sisäiseltä toiminnaltaan monimutkaistuneet niin, että kääntäjä tuottaa useimmiten tehokkaampaa koodia kuin mitä käsin ohjelmoimalla voisi saada aikaan, varsinkaan kohtuullisella työmäärällä. Lisäksi esimerkiksi tehokkaiden [[algoritmi]]en ja [[tietorakenne|tietorakenteiden]] valinta saattaa suurempia kokonaisuuksia assemblyllä koodattaessa jäädä pahasti taka-alalle, koska niiden toteuttaminen voi olla konekielellä liian työlästä.

[[Sulautettu järjestelmä|Sulautettujen järjestelmien]] ohjelmoinnissa on assemblyllä jonkin verran vahvempi asema kuin ohjelmoinnissa henkilökohtaisille tietokoneille. Kokonaisia ohjelmia ei silti näillekään järjestelmille ole mielekästä ohjelmoida pelkällä assemblyllä.

Erityistilanteissa assemblyllä on kuitenkin vielä tärkeä asema. Sitä voi tarvita laitteistoläheistä ohjelmointia vaativissa tehtävissä, kuten [[laiteohjain]]ten kehityksessä. Vielä toisinaan assemblyllä on käyttöä myös tehokkuutta vaativissa sovelluksissa, kuten [[salaus|salauksessa]] tai [[koodekki|videon koodauksessa]], kun ohjelman osia [[optimointi|optimoidaan]]. Näissäkin tapauksissa assemblyllä koodataan mahdollisimman pieni osa. Kääntäjän tuottamaa assembly-koodia analysoimalla voidaan löytää keinoja korjata korkeamman tason koodia ja kääntäjälle annettavia ohjeita, kunnes tulos on haluttu. Koodin ymmärtäminen assembly-tasolla on joskus tärkeää myös [[debuggaus|vianetsinnässä]].

==Assembly-esimerkkejä==

===Tekstin tulostaminen MS-DOS -käyttöjärjestelmällä===
Alla on esimerkki Assembly-kielisestä ohjelmasta Intelin x86-suvun arkkitehtuureille. Ohjelmakoodissa on käytetty Intelin x86-merkintätapaa. Ohjelma on [[MS-DOS]]-käyttöjärjestelmässä suoritettava COM-tyyppinen ohjelma.

 1  org 100h
 2  section .text
 3
 4         mov ah,9h
 5         mov dx,offset teksti
 6         int 21h
 7         ret
 8
 9 teksti: db 'Hei maailma!$'

Ohjelma kutsuu MS-DOS -käyttöjärjestelmän [[järjestelmäkutsu]]a, joka tulostaa annetussa muistiosoitteessa olevan tekstin "Hei maailma!".
Rivien toiminta:
* Rivi 1 määrittelee ohjelman alkuosoitteen segmenttinsä sisällä. Com-tyyppisissä ohjelmissa alkuosoite on aina 100h.
* Rivi 2 ilmoittaa kääntäjälle, minkä tyyppistä aineistoa tässä kappaleessa on.
* Rivi 4: heksaluku 9 siirretään rekisteriin AH.
* Rivi 5: rekisteriin DX siirretään muistipaikan ''teksti'' osoite.
* Rivi 6: Tulostamiseen käytetään PC:n DOS-käyttöjärjestelmien ohjelmistokeskeytystä 21h (h tarkoittaa heksalukua, luku on desimaalisena 33), jolle halutun toiminnon numero (9) annetaan rekisterissä AH. Rekisterissä DX on muistiosoite, josta haluttu $-merkkiin loppuva teksti alkaa datasegmentin ds sisällä.
* Rivi 7: Rutiinin suorittamisen jälkeen palataan pääohjelmaan, mikä onnistuu com-tyyppisessä ohjelmassa pelkällä ret-käskyllä . Muuntyyppisessä ohjelmassa voi olla tarpeen käyttää ohjelmistokeskeytyksen 21h alaista toimintoa 4Ch.
* Rivi 9: Tekstiin kuuluvat tavut on määritelty rivillä 9, joten ne alkavat heti ohjelmakoodin viimeisen tavun jälkeen. Tekstin alkuosoitteelle on annettu nimi (osoite) ''teksti''. Lopussa oleva dollarin merkki päättää tulostuksen.

Yllä olevaa ohjelmaa vastaava ohjelma ylemmän tason kielellä, tässä [[Pascal (ohjelmointikieli)|Pascal]]-ohjelma on

<syntaxhighlight lang="pascal">
program Hello;
begin
  writeln( 'Hello World' );
end.
</syntaxhighlight>

===Fibonaccin lukujen laskeminen===
Seuraava esimerkki on Fibonaccin lukujen laskija [[Motorola 68000 -sarja]]n suorittimille. Lasketaan <math>n</math>:s Fibonaccin luku antamalla <math>n</math> rekisterissä d0. Fibonaccin <math>n:s</math> luku <math>f_n</math> lasketaan silmukassa kaavalla: <math>f_{n} = f_{n - 1} + f_{n - 2}</math>, ja <math>f_0 = 1</math> ja <math>f_1 = 1</math>.

  1  '''fibonacci''':      cmp.l #1,d0
  2                  bgt.b '''overone'''
  3                  moveq #1,d0
  4                  rts
  5  '''overone''':        moveq #1,d1
  6                  moveq #1,d2
  7                  moveq #1,d3
  8  '''loop''':           move.l d2,d4
  9                  add.l  d3,d4
 10                  move.l d3,d2
 11                  move.l d4,d3
 12                  addq.l #1,d1
 13                  cmp.l  d0,d1
 14                  bne.b  '''loop'''
 15                  move.l d4,d0
 16                  rts

Riveillä 1-4 tarkistetaan, onko d0 <math>\leq</math> 1, ja jos se on, lopetetaan aliohjelma ja palautetaan tuloksena 1. Rivillä 5 asetetaan silmukkalaskuri rekisterissä d1 arvoon 1. Riveillä 6 ja 7 asetetaan rekisterit d2 ja d3 arvoihin <math>f_0</math> ja <math>f_1</math>. Rivillä 8 alkaa silmukka. Rivit 8 ja 9 laskevat seuraavan Fibonaccin luvun rekisteriin d4 summaamalla kaksi edellistä lukua rekistereistä d2 ja d3. Riveillä 10 ja 11 tallennetaan muistiin 2 uusinta Fibonaccin lukua rekistereihin d2 ja d3 seuraavaa kierrosta varten. Rivillä 12 kasvatetaan silmukkalaskuria yhdellä. Riveillä 13 ja 14 vertaillaan silmukkalaskuria ja <math>n</math>:ää. Mikäli <math>n</math> on saavutettu, lopetetaan silmukka. Muuten hypätään takaisin riville 8. Rivillä 15 siirretään tulos rekisteristä d4 rekisteriin d0, ja rivillä 16 poistutaan aliohjelmasta.

=== Esimerkeistä ===

Esimerkit antavat hyvän kuvan, miksi sovelluksia kehittäessä aikaa kuluu erittäin kauan ja työskentely puhtaalla assemblyllä on hankalaa. Korkeamman tason ohjelmointikielet on luotu helpottamaan tätä työtä, ja kääntäjiä käytetään muuntamaan selkeämpi kieli konekielimuotoon. Konekielet ovat kuitenkin yleensä hyvin suoraviivaisia, ja käskyjen suorittamat toiminnot ovat yksinkertaisia. Tämän vuoksi assembly-ohjelmointi on helppo opetella.

== Katso myös ==
* [[Luettelo assembler-ohjelmista]]

==Lähteet==
{{Viitteet|viitteet=
<ref name="ch">{{Verkkoviite | Osoite = https://www.computerhope.com/jargon/a/al.htm | Nimeke = www.computerhope.com | Tekijä = | Tiedostomuoto = | Selite = | Julkaisu = | Ajankohta = | Julkaisupaikka = | Julkaisija = | Viitattu = 26.7.2017 | Kieli = {{en}}}}</ref>
}}

== Aiheesta muualla ==
{{commonscat-rivi}}

=== Kirjallisuutta ===
*{{Kirjaviite
| Tekijä    = Jorgensen, Ed | Nimeke    = x86-64 Assembly Language Programming with Ubuntu| Vuosi     = 2020| Tiedostomuoto = PDF|Julkaisija=Ed Jorgensen|Kieli={{en}}| www       = http://www.egr.unlv.edu/~ed/assembly64.pdf}}
* Dennis Yurichev: [https://yurichev.com/writings/UAL-EN.pdf ''Understanding Assembly Language''] (PDF) {{en}}
* Randall Hyde: [http://www.plantation-productions.com/Webster/www.artofasm.com/index.html ''The Art of Assembly Language''] - eri versioita saatavilla {{en}}

====Suomeksi====
* {{Kirjaviite|Tekijä=Link, Wolfgang|Nimeke=Assembler-ohjelmointi|Vuosi=1997|Julkaisupaikka=Vantaa|Julkaisija=Pagina|Isbn=951-644-108-4| Finna =helka.9910346093506253|Suomentaja=Reijo Lundahl}}
* {{Kirjaviite|Tekijä=Maljugin, Vitaly; Izrailevich, Jacov; Lavin, Semyon; Sopin, Aleksandr|Nimeke=Inside assembler: ohjelmoijan käsikirja|Vuosi=1999|Selite=Toimituksellinen neuvonantaja: Ivor Horton. Suomennetun laitoksen oikolukenut T. Eklin|Julkaisupaikka=Helsinki|Julkaisija=IT Press|Isbn=951-826-006-0||Finna =helmet.1039076}}

{{Ohjelmointikielet}}
{{Auktoriteettitunnisteet}}
[[Luokka:Ohjelmointikielet]]
[[Luokka:Seulonnan keskeiset artikkelit]]

[[pl:Asembler#Język asemblera]]