panoramix

Le problème classique du producteur-consommateur, version Astérix : les villageois boivent dans une marmite de potion magique partagée pendant que le druide la remplit, et personne ne doit boire dans une marmite vide ni remplir une marmite pleine. Résolu avec des threads, un mutex et des sémaphores, et testé sur de nombreuses configurations pour écarter tout interblocage.