magistrsko delo
Anton Turk (Author), Boštjan Slivnik (Mentor)

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:
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 Link will open in a new window
Views: 915
Downloads: 23
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

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