20.500.12556/RUL-162493 Lastništvo objektov namesto avtomatskega čistilca pomnilnika med lenim izračunom Ownership model instead of garbage collection during lazy evaluation Pomnilnik je kljub uvedbi pomnilniške hierarhije še vedno najpočasnejši del računalniške arhitekture, zato je upravljanje z njim ključnega pomena pri hitrosti izvajanja programov. V zadnjih letih se predvsem na področju sistemskega programiranja vedno bolj uveljavlja programski jezik Rust, ki za čiščenje pomnilnika uporablja princip lastništva in izposoje, s katerima zna med prevajanjem zagotoviti predvidljivo in učinkovito sproščanje pomnilnika. V obsegu magistrskega dela nas zanima, ali je mogoče princip lastništva implementirati v len funkcijski programski jezik STG, ki se uporablja pri prevajanju jezika Haskell. V magistrskem delu implementiramo simulator STG stroja, v katerega dodamo analizo lastništva. Pri tem se izkaže, da s tem zelo omejimo delovanje jezika, saj onemogočimo deljenje objektov. Predstavimo dve rešitvi: globoko kloniranje objektov, za katerega se izkaže, da je zelo časovno in prostorsko potratno, in model lastništva, ki zahteva analizo premikov in izposoj. A izkaže se, da analize izposoj ni mogoče implementirati brez uvedbe bodisi dodatnih informacij o izračunanosti objektov bodisi neke oblike neučakanosti v len programski jezik. Despite the introduction of memory hierarchy, memory still remains the slowest part of computer architecture, making its management crucial for program execution speed. In recent years, the Rust programming language has been gaining prominence, particularly in the field of systems programming, due to its use of ownership and borrowing models in memory management. This master thesis explores whether the ownership model can be implemented in the lazy functional programming language STG, which is used in the compilation of Haskell. We implement a simulator for the STG machine with ownership analysis. However, we find that this approach severely restricts the language’s functionality, as it prevents object sharing. We investigate two solutions: deep cloning of objects and a borrowing model. The former has previously been proven to be very time- and space-consuming, while the latter, as we demonstrate, cannot be implemented without additional information about object evaluation or introducing some form of eager evaluation. prevajalnik nestroga semantika len izračun upravljanje s pomnilnikom avtomatični čistilec pomnilnika lastništvo objektov compiler non-strict semantics lazy evaluation memory management garbage collection ownership model true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2024-09-24 12:00:00 2024-09-24 12:00:07 2024-10-07 06:32:19 0000-00-00 00:00:00 2024 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 37027 210384387 Bizjak_Niki_-_Lastnistvo_objektov_namesto_avtomatskega_cistilca_pomnilnika_med_lenim_izracunom.pdf Bizjak_Niki_-_Lastnistvo_objektov_namesto_avtomatskega_cistilca_pomnilnika_med_lenim_izracunom.pdf 1 0C58DBBB2694A7D42DE3C4C43CB656B8 b4febc3f9f7046cab9adad68ebd305e1686fc59edc139113c3b525dd9e404e26 a8a0ebb2-7a5b-11ef-b232-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=191836 Fakulteta za računalništvo in informatiko 0 0 0