diplomsko delo
Marin Gazvoda de Reggi (Author), Boštjan Slivnik (Mentor)

Abstract

V diplomskem delu je obravnavana implementacija modela Linda za vzporedno programiranje v funkcijskem programskem jeziku OCaml. Model Linda omogoča elegantno koordinacijo vzporednih procesov preko skupnega prostora terk. Naš pristop vključuje razvoj knjižnice, ki implementira osnovne operacije modela Linda, pri čemer smo izkoristili nove zmožnosti za vzporedno programiranje v OCamlu 5.0. Ključni prispevek je učinkovita implementacija prostora terk z uporabo drevesne podatkovne strukture in večnivojskega zaklepanja, kar nudi boljšo skalabilnost in višjo stopnjo sočasnosti v primerjavi z naivno implementacijo. Eksperimentalni rezultati kažejo, da naša implementacija dosega dobro učinkovitost in skalabilnost, zlasti pri večjem številu vzporednih procesov in kompleksnejših vzorcih uporabe.

Keywords

model Linda;OCaml;vzporednost;prostor terk;univerzitetni študij;diplomske naloge;

Data

Language: Slovenian
Year of publishing:
Typology: 2.11 - Undergraduate Thesis
Organization: UL FRI - Faculty of Computer and Information Science
Publisher: [M. Gazvoda de Reggi]
UDC: 004.42(043.2)
COBISS: 209716995 Link will open in a new window
Views: 133
Downloads: 27
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: Tuple Space-Based Parallel Programming in OCaml
Secondary abstract: This thesis presents an implementation of the Linda model for parallel programming in the functional language OCaml. Linda offers an elegant approach to coordinating parallel processes through a shared tuple space. We have developed a library that implements Linda's core operations, leveraging the enhanced parallel programming capabilities introduced in OCaml 5.0. The primary contribution of this work is an efficient tuple space implementation utilizing a tree-based data structure and multi-level locking mechanism. This approach significantly improves scalability and concurrency compared to naive implementations. Our experimental results demonstrate the implementation's effectiveness and scalability, particularly when dealing with a large number of parallel processes and complex usage scenarios.
Secondary keywords: Linda model;OCaml;parallelism;tuple space;computer and information science;diploma;Računalniško programiranje;Računalništvo;Univerzitetna in visokošolska dela;
Type (COBISS): Bachelor thesis/paper
Study programme: 1000468
Embargo end date (OpenAIRE): 1970-01-01
Thesis comment: Univ. v Ljubljani, Fak. za računalništvo in informatiko
Pages: 1 spletni vir (1 datoteka PDF (57 str.))
ID: 24920791