APICe » Theses » Class » aniello2pmultithreading

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.


Enrico Denti (Supervisor)
Giulio Piancastelli (Co-supervisors)