Les caractéristiques d'un langage parallèle

Contrairement à un programme séquentiel qui spécifie une liste ordonnée d'instructions, et qui est déterministe (Sorties = fonction(Entrées)) :

• un programme parallèle est découpé en processus (tâches).
• les processus possèdent des relations de coopération.
• un programme parallèle spécifie l'exécution concurrente de cet ensemble de processus.
• un programme parallèle n'est pas nécessairement déterministe.

Les caractéristiques essentielles d'un langage :

1. l'expression du parallèlisme,
2. les modes de communication,
3. les modes de synchronisation,
4. l'expression du non-déterminisme,
5. éventuellement l'expression du temps.