Programmazione logica e architetture parallele

Mario Cannataro, Giandomenico Spezzano, Domenico Talia

Programmazione logica e architetture parallele

Pagine: 224

ISBN: 9788820480417

Edizione: 1a edizione 1993

Codice editore: 272.10

Disponibilità: Discreta

Il testo descrive tecniche e metodologie per la implementazione e l'utilizzo del paradigma della programmazione logica su macchine parallele.

Dopo un'introduzione alle architetture parallele ed ai concetti di base della programmazione logica e di Prolog, il libro descrive le varie forme di parallelismo presenti nei programmi logici e i sistemi che utilizzano tali forme di parallelismo.

Come caso di studio, viene presentato il modello PALM per l'esecuzione parallela di programmi logici.

Sono discusse in dettaglio le tecniche, tipiche delle implementazioni di applicazioni parallele, utilizzate per l'implementazione del modello su un'architettura parallela a memoria distribuita.

Il testo è diretto a ricercatori, progettisti e studenti di corsi avanzati nelle aree delle architetture parallele, della programmazione logica e dei linguaggi di programmazione.

• Prefazione
• Introduzione
* Programmi logici e architetture parallele

• Architetture Parallele
* Una classificazione
* Architetture SIMD
* Architetture MIMD
* Sistemi a memoria condivisa
* Sistemi a memoria distribuita
* Macchine data-flow e a riduzione
* Modelli teorici di architetture parallele

• Programmazione Logica e Prolog
* Clausole di Horn
* Semantica e metodo di risoluzione
* Algoritmo di unificazione
* Prolog

• Parallelismo nei Programmi Logici
* Forme di parallelismo OR
* Parallelismo OR puro
* Parallelismo di ricerca
* Processi OR cooperanti
* Sistemi OR- paralleli
* Forme di parallelismo AND
* Parallelismo AND completo
* Parallelismo AND ristretto
* Sistemi AND- paralleli
* Parallelismo stream-AND
* Linguaggi logici concorrenti

• PALM: Un Modello per l'Esecuzione Parallela di Programmi Logici
* Modello astratto a processi
* Messaggi
* Processo OR
* Processo AND
* Processo AND parallelo
* Processo Gestore delle Clausole
* Implementazione su Multicomputer
* Architettura del sistema
* Livello di risoluzione
* Livello di controllo
* Livello delle comunicazione
* Gestione distribuita della memoria
* Tipi dei dati
* Ambienti di binding




* Strutture dati e organizzazione della memori
* Tecniche di implementazione
* Dinamicità e riusabilità dei processi
* Allocazione dei processi sui processori
* Controllo del grado di parallelismo
* Partizionamento delle clausole
* Terminazione distribuita
* Valutazione delle prestazioni

• Bibliografia
• Appendice
* Il linguaggio Occam
* Il Transputer



Collana: Crai