Modelli e Linguaggi Innovativi
Recenti approcci alla programmazione parallela che presentano proprietà interessanti sebbene non siano ancora molto diffusi nella comunità degli utenti del calcolo parallelo.
- livello di astrazione più alto;
- semantica più forte per facilitare la costruzione e la correttezza del software parallelo.
-
Due classi principali.
- linguaggi che permettono di scrivere i programmi tramite un insieme di strutture predefinite (forme computazionali ristrette);
- linguaggi che usano un approccio composizionale, secondo il quale un programma parallelo complesso può essere costruito componendo programmi paralleli più semplici e mantenendo le proprietà dei programmi originali.