Research on Implementation of Concurrent Models in Scala Language in Context of Functional Programming

Graduate papers

Search graduate papers

Description of the graduate paper

Form of studies	Master
Title of the study programm	Computer Systems
Title in original language	Laiksakritīgo modeļu implementēšanas izpēte Scala valodā funkcionālās programmēšanas kontekstā
Title in English	Research on Implementation of Concurrent Models in Scala Language in Context of Functional Programming
Department	12300 Institute of Applied Computer Systems
Scientific advisor	P.Rusakovs
Reviewer	Dr.sc.ing., doc. G. Alksnis
Abstract	Maģistra darbā veikts pētījums par laiksakritīgo modeļu implementāciju salīdzinošo analīzi Scala valodā funkcionālās programmēšanas kontekstā, ar uzsvaru uz laiksakritības modeļiem, kas ir ieguvuši izplatību Scala valodas programmsaskarnē un ekosistēmā. Darba ietvaros ir izpētītas galvenās ar laiksakritīgo programmu izveidi saistītās problēmas, ir veikts dažu matemātisko laiksakritības modeļu apskats, ir izvirzīti kritēriji šo modeļu implementāciju Scala valodā salīdzināšanai un modeļi ir analizēti atbilstoši noteiktajām laiksakritības problēmām un izvirzītajiem kritērijiem. Darbā ir atlasīti 3 laiksakritīgie skaitļošanas modeļi un to implementācijas Scala valodā: aktoru modelis, programmatūras transakcionālā atmiņa un laiksakritīgā augstāka līmeņa funkcionālā programmēšana ar monādēm. Ar apskatītajiem modeļiem Scala valodā ir izstrādāti prototipi izvirzīto problēmu risināšanai un ir veikti eksperimenti ar šiem prototipiem modeļu efektivitātes un stabilitātes noteikšanai atbilstoši izvirzītajiem kritērijiem. Ar mērķi uzlabot programmatūras transakcionālās atmiņas izmantošanas efektivitāti biežu rakstījuma konfliktu gadījumā ir piedāvāti uzlabojumi, kas balstās uz laiksakritīgo transakciju boķēšanu rakstīšanas reģionos. Eksperimentāli tiek noteikta piedāvātā uzlabojuma efektivitāte attiecībā pret iepriekšējām pieejām. Darbā noteiktas piedāvātās pieejas izmantošanas iespējas eksistējošajās Scala valodas un satvaru programmsaskarnēs, kā arī potenciālie turpmākie modeļa uzlabojumu virzieni. Dokumentā ir 58 lappuses, 26 attēli, 1 tabula, 1 pielikums un 36 informācijas avoti.
Keywords	Scala, laiksakritība, modelis, aktori, monādes, STM
Keywords in English	Scala, concurrency, model, actors, monads, STM
Language	lv
Year	2017
Date and time of uploading	01.06.2017 16:50:15