L'exclusion mutuelle c'est l'existence d'une ressource qui ne peut pas être partagée. Un seul process à la fois peut y avoir accès. Le fait d'avoir 3 boules ne change rien à l'existence ou non de cette ressource. Il y a toujours l'exclusion mutuelle.
Je crois que je vois ce que tu veux dire.
Mais c'est un cas un peu bizarre ici, non? Il n'y a pas d'exclusion mutuelle pour deux boules en parallèles.
J'aurais dû mal à démontrer que c'est suffisant, je ne vois même pas dans quel formalisme se placer. Mais intuitivement, oui ça l'est.
Oh je crois que j'étais passé à côté du truc...
Je voyais ça comme: s'il est possible que C1, C2, C3, C4 alors il y aura deadlock un jour.
J'avais mal interprété le simultané.
Oui du coup peu importe le scheduler. Si on entre dans un états où les 3 conditions sont remplies alors on n'en sortira jamais.
Merci pour les explications. Ta démonstration m'a bien aidée.
[^] # Re: Mon interprétation
Posté par j_m . En réponse au message Deadlock. Conditions de Coffman. Évalué à 3.
Je crois que je vois ce que tu veux dire.
Mais c'est un cas un peu bizarre ici, non? Il n'y a pas d'exclusion mutuelle pour deux boules en parallèles.
Oh je crois que j'étais passé à côté du truc...
Je voyais ça comme: s'il est possible que C1, C2, C3, C4 alors il y aura deadlock un jour.
J'avais mal interprété le simultané.
Oui du coup peu importe le scheduler. Si on entre dans un états où les 3 conditions sont remplies alors on n'en sortira jamais.
Merci pour les explications. Ta démonstration m'a bien aidée.