Nuova architettura parallela per l’esecuzione di Programmi Logici mediante General Purpose Graphic Processing Unit (GPGPU)
Responsabile: Alessandro Dal Palù
Abstract
Scopo del progetto è’ studiare le potenzialità delle architetture di calcolo parallelo offerte dalle moderne GPGPU e di identificare parti dei motori Prolog e risolutori CLP(FD) e ASP che si prestano ad una parallelizzazione su tali architetture. Si pongono tre obiettivi principali:
- offrire una versione di Prolog o ASP che utilizzi in modo trasparente e nativo le caratteristiche parallele di schede grafiche
- studiare e re-implementare gli algoritmi alla base dei sistemi Prolog, CLP e ASP, basando il modello di calcolo sulla presenza di una architettura di tipo CUDA o OpenCL
- studio di scenari applicativi concreti e di dimensioni realistiche: la predizione di struttura tridimensionale di proteine mediante CLP(FD), linguaggi per il planning riconducibili ad ASP e CLP.