Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog
| |
|
|
@mastersthesis{aniello2pmultithreading,
abstract = {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\`{a} di tuProlog. Tramite un processo a spirale, vengono progettati e implementati prototipi via via dotati di maggiori funzionalit\`{a}, 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\`{u} avanzati dotati di strumenti di comunicazione, semafori e controllo degli accessi.},
author = {Robertino Aniello},
available = {2010-03-17},
contact = {Denti, Enrico},
cosupervisor = {Piancastelli, Giulio},
cycle = {LM},
language = {it},
month = jun,
start = {2007-01-08},
supervisor = {Denti, Enrico},
title = {Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog},
type = {Master's thesis},
year = 2007
}
abstract = {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\`{a} di tuProlog. Tramite un processo a spirale, vengono progettati e implementati prototipi via via dotati di maggiori funzionalit\`{a}, 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\`{u} avanzati dotati di strumenti di comunicazione, semafori e controllo degli accessi.},
author = {Robertino Aniello},
available = {2010-03-17},
contact = {Denti, Enrico},
cosupervisor = {Piancastelli, Giulio},
cycle = {LM},
language = {it},
month = jun,
start = {2007-01-08},
supervisor = {Denti, Enrico},
title = {Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog},
type = {Master's thesis},
year = 2007
}