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
Author Aleksejs Spuris
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