magistrsko delo
Abstract
Moderni programski jeziki omogočajo dodeljevanje in sproščanje pomnilnika med izvajanjem programov. Ustrezno upravljanje s pomnilnikom je zato ključno. Razvili smo funkcijski programski jezik, ki je len in ne uporablja čistilca pomnilnika, kot je to običajno v praksi (Haskell, OCaml). Namesto čistilca predlagamo statično analizo, v osrčju katere sta princip enojnega lastništva in izposoja. Čiščenje pomnilnika v razvitem jeziku je v celoti deterministično, dodatnemu delu v času izvajanja se skoraj povsem izognemo, statična analiza pa zagotovi, da ne prihaja do smetenja in izvisenih kazalcev. Za programski jezik smo razvili tudi prototipni prevajalnik, s katerim dokažemo uspešnost statične analize in pokažemo, da upravljanje s pomnilnikom že v prototipni implementaciji deluje zelo dobro.
Keywords
interpreter;navidezni stroj;funkcijsko programiranje;leni izračun;upravljanje s pomnilnikom;čistilec pomnilnika;štetje referenc;lastništvo;izposoja;puščanje pomnilnika;magisteriji;
Data
Language: |
Slovenian |
Year of publishing: |
2022 |
Typology: |
2.09 - Master's Thesis |
Organization: |
UL FRI - Faculty of Computer and Information Science |
Publisher: |
[T. K. Turk] |
UDC: |
004.451.33:004.434(043.2) |
COBISS: |
136461571
|
Views: |
915 |
Downloads: |
23 |
Average score: |
0 (0 votes) |
Metadata: |
|
Other data
Secondary language: |
English |
Secondary title: |
Lazy functional programming language without garbage collector |
Secondary abstract: |
Modern programming languages allow for a dynamic memory allocation during program execution. Proper memory management is, consequently, vital. We developed a functional programming language that is lazy and does not rely on a garbage collector, which is the traditional technique for memory management in this domain (Haskell, OCaml). Instead of a collector, we propose a static analysis at the heart of which are the principle of single ownership and borrowing. As a result, memory management in the developed language is entirely deterministic, the overhead during runtime execution is minimal, and the static analysis ensures that there can be no garbage and dangling pointers. Additionally, we developed a compiler to demonstrate that the static analysis is functioning and to show that memory management works well even in the prototypical implementation. |
Secondary keywords: |
compiler;interpreter;virtual machine;programming language;functional programming;lazy evaluation;memory management;garbage collector;reference counting;ownership;borrowing;memory leaking;computer science;computer and information science;master's degree;Prevajalniki (programska oprema);Programski jeziki;Pomnilniki;Računalništvo;Univerzitetna in visokošolska dela; |
Type (COBISS): |
Master's thesis/paper |
Study programme: |
1000471 |
Embargo end date (OpenAIRE): |
1970-01-01 |
Thesis comment: |
Univ. v Ljubljani, Fak. za računalništvo in informatiko |
Pages: |
102 str. |
ID: |
17361089 |