[Caml-list] verrou distribué en ocaml

[Caml-list] verrou distribué en ocaml

[Malika Boulkenafed]

supposons qu'un processus p1 execute 
Condition.wait token.cond token.mutex

et un deuxieme processus p2 exécute :
Condition.signal token.cond 

sachant que nous somme dans un contexte distribué, p1 et p2 ne
s'executent pas sur la même machine.
la question est: est ce que Condition.signal exécuté par p2 peut
réveiller p1 sachant que la variable token joue le rôle d'un jeton
transmis entre p1 et p2.
ou plus généralement est ce qu'il y des liens ou je pourrai trouver plus
de détails sur les modules Condition et Mutex.

Merci
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Re: [Caml-list] verrou distribué en ocaml

[Xavier Leroy]

> supposons qu'un processus p1 execute 
> Condition.wait token.cond token.mutex
> 
> et un deuxieme processus p2 exécute :
> Condition.signal token.cond 
> 
> sachant que nous somme dans un contexte distribué, p1 et p2 ne
> s'executent pas sur la même machine.
> la question est: est ce que Condition.signal exécuté par p2 peut
> réveiller p1 sachant que la variable token joue le rôle d'un jeton
> transmis entre p1 et p2.

Non, ça ne marchera pas: les "condition variables" et les mutexes ne
fonctionnent qu'entre les threads d'un même processus, et sont
inutilisables dans un contexte distribué.

Pour synchroniser un programme distribué, il faut des modèles
différents, p.ex. à base d'envois de messages.  Un excellent exemple
est JoCaml: http://pauillac.inria.fr/jocaml/

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners