aktorimalli

Aktorimalli (actor model) on rinnakkaisen laskennan matemaattinen malli, jossa laskennan perusyksiköiksi ovat aktorit. Kukin aktori vastaanottaa viestejä postilaatikkonsa kautta, voi luoda uusia aktoreita sekä muuttaa omaa käyttäytymistään vastaanottamiensa viestien perusteella. Viestit lähetetään asynkronisesti, eikä aktoreiden välistä tilaa jaeta. Jokainen aktori käsittelee viestit yksi kerrallaan, ja tilan hallinta tapahtuu sisäisesti.

Keskeisiä käsitteitä ovat aktorit, viestit, postilaatikko ja käyttäytymisen muutos. Aktori on eristetty yksikkö, jonka tila ei ole muiden käytettävissä suoraan. Aktorit voivat luoda uusia aktoreita, lähettää viestejä muiden aktoreiden postilaatikkoihin sekä muuttaa omaa käytösmalliaan vastaanotettujen viestien perusteella. Viestit voivat sisältää viitteitä toisiin aktoreihin, mutta tilat eivät jaa samaan aikaan eri aktoreiden kesken.

Aktorimallia sovelletaan erityisesti hajautetuissa ja korkean käytettävyyden järjestelmissä. Toteutukset ovat muun muassa Erlangin ja Elixir’n BEAM-ympäristö, Akka-tyyliset toteutukset Scala/Javalla, Pony sekä Orleans (C#) ja Cloud Haskell. Mallin etuja ovat helpompi rinnakkaisuuden hallinta, hyvä virheiden eristys ja luonnollinen tuki hajautetuille järjestelmille. Haasteita ovat viestinvälityksen latenssit ja epävarmuudet viestien käsittelyjärjestyksen suhteen, sekä arkkitehtuurin omaksuminen osana suurempaa järjestelmää ja virheiden debuggaukseen tarvittavat välineet.