Len funkcijski programski jezik brez čistilca pomnilnika

Kocjan Turk, Toni (avtor), Slivnik, Boštjan (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: prevajalnik, interpreter, navidezni stroj, programski jezik, funkcijsko programiranje, leni izračun, upravljanje s pomnilnikom, čistilec pomnilnika, štetje referenc, lastništvo, izposoja, puščanje pomnilnika
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FRI - Fakulteta za računalništvo in informatiko
• Leto izida: 2022
• PID: 20.500.12556/RUL-143251
• COBISS.SI-ID: 136461571
• Datum objave v RUL: 09.12.2022

KOCJAN TURK, Toni, 2022, Len funkcijski programski jezik brez čistilca pomnilnika [na spletu]. Magistrsko delo. [Dostopano 21 april 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=143251

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Lazy functional programming language without garbage collector

Izvleček

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.

• Ključne besede: compiler, interpreter, virtual machine, programming language, functional programming, lazy evaluation, memory management, garbage collector, reference counting, ownership, borrowing, memory leaking