Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog


Robertino Aniello

Questa tesi mira a estendere l'interprete tuProlog al fine di dotarlo di multi-threading.
A tal fine si studia dapprima l'attuale stato dell'arte, analizzando il modello in uso in altri interpreti Prolog dotati di multi-threading, individuando nell?interprete SWI-Prolog un paradigma significativo da assumere come riferimento critico per definire un modello appropriato alle peculiarità di tuProlog.
Tramite un processo a spirale, vengono progettati e implementati prototipi via via dotati di maggiori funzionalità, partendo da un modello capace solo della basilare funzione di creazione di nuovi thread, passando per un modello sincronizzato nel quale i thread possono attendere l?uno l?esecuzione dell?altro, fino ai modelli più avanzati dotati di strumenti di comunicazione, semafori e controllo degli accessi.

Thesis

Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog

— author

Robertino Aniello

Supervision

— supervisor

Enrico Denti

— co-supervisor

Giulio Piancastelli

Sort

— cycle

second-cycle thesis

— status

completed thesis

— language

wit.gif

Dates

— available since

17/03/2010

— activity started

08/01/2007

— degree date

20/06/2007

Files

PDF

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY