En Ada, la programmation concurrente ne se résume pas qu’à lancer des tâches.
On doit aussi veiller à ce que ces dernières collaborent et communiquent correctement tout en respectant leurs échéances.
Le langage Ada propose un modèle de tasking où les tâches peuvent se synchroniser et communiquer efficacement et de façon contrôlée grâce aux mécanismes rendez-vous et ses différents raffinements.
Au travers d’exemples simples, cet article montre comment fonctionne ce mécanisme.