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

Povzetek

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.

Ključne besede

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

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.11 - Diplomsko delo
Organizacija: UL FRI - Fakulteta za računalništvo in informatiko
Založnik: [M. Gazvoda de Reggi]
UDK: 004.42(043.2)
COBISS: 209716995 Povezava se bo odprla v novem oknu
Št. ogledov: 133
Št. prenosov: 27
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Tuple Space-Based Parallel Programming in OCaml
Sekundarni povzetek: 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.
Sekundarne ključne besede: Linda model;OCaml;parallelism;tuple space;computer and information science;diploma;Računalniško programiranje;Računalništvo;Univerzitetna in visokošolska dela;
Vrsta dela (COBISS): Diplomsko delo/naloga
Študijski program: 1000468
Konec prepovedi (OpenAIRE): 1970-01-01
Komentar na gradivo: Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani: 1 spletni vir (1 datoteka PDF (57 str.))
ID: 24920791