Les défis de la programmation parallèle

/medias/photo/seminaire-dit_1626769502506-jpg

Programmer les ordinateurs parallèles (c'est-à-dire, actuellement, tout ordinateur) est un travail difficile. Outre tous les bugs classiques, un programme parallèle peut souffir d'indéterminisme ou d'interblocages, et son comportement peut être non reproductible. La réalisation de compilateurs-vérifieurs spécialisés est l'une des approches permettant de répondre ces défis. Le but de cet exposé est de retrouver les enchainements qui m'ont conduit à m'intéresser à ces problèmes, de présenter les solutions (partielles) que j'y ai apporté, et d'esquisser les problèmes fascinants qui restent à résoudre.