Bulk Synchronous Parallel ML avec exceptions

National audienceBulk Synchronous Parallel ML est un langage de programmation parallèle basé sur Objective Caml et sur le modèle BSP. Ce langage est étendu de plus en plus afin d'offrir toutes les fonctionnalités des langages modernes. La gestion des exceptions est une de ces caractéristiques très souhaitables, mais elle pose des problèmes spécifiques quand on a affaire à une machine multi-processeurs. Cet article offre une méthode de gestion des exceptions en BSML, et présente son implantation ainsi qu'un exemple concret d'utilisation dans un algorithme parallèle