Len funkcijski programski jezik brez čistilca pomnilnika

magistrsko delo

Anton Turk (Avtor), Boštjan Slivnik (Mentor)

Povzetek

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.

Ključne besede

interpreter;navidezni stroj;funkcijsko programiranje;leni izračun;upravljanje s pomnilnikom;čistilec pomnilnika;štetje referenc;lastništvo;izposoja;puščanje pomnilnika;magisteriji;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2022
Tipologija:	2.09 - Magistrsko delo
Organizacija:	UL FRI - Fakulteta za računalništvo in informatiko
Založnik:	[T. K. Turk]
UDK:	004.451.33:004.434(043.2)
COBISS:	136461571
Št. ogledov:	915
Št. prenosov:	23
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Lazy functional programming language without garbage collector
Sekundarni povzetek:	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.
Sekundarne ključne besede:	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;
Vrsta dela (COBISS):	Magistrsko delo/naloga
Študijski program:	1000471
Konec prepovedi (OpenAIRE):	1970-01-01
Komentar na gradivo:	Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani:	102 str.
ID:	17361089