Deux tâches concourantes travaillent chacune, via des points d'appel du type entry*(T : in out array…), sur un tableau passé en mode in out.
Si chacune des tâches est sollicitée avec le même tableau en paramètre d'entrée/sortie et si par construction des deux tâches on est sûr que leurs opérations de lecture-écriture sont faites sur des parties disjointes du même tableau, est-ce que la norme d' Ada 2005 garantie qu'à terminaison des deux tâches, le tableau retourné comprendra bien les modifications apportées par les deux tâches sans interférence de l'une sur la partie modifiée par l'autre ou bien cela dépend-il de l'implémentation du langage ?
Partager