* [Caml-list] verrou distribué en ocaml
@ 2002-05-23 9:00 Malika Boulkenafed
2002-05-27 8:12 ` [Caml-list] " Xavier Leroy
0 siblings, 1 reply; 2+ messages in thread
From: Malika Boulkenafed @ 2002-05-23 9:00 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] Re: [Caml-list] verrou distribué en ocaml
2002-05-23 9:00 [Caml-list] verrou distribué en ocaml Malika Boulkenafed
@ 2002-05-27 8:12 ` Xavier Leroy
0 siblings, 0 replies; 2+ messages in thread
From: Xavier Leroy @ 2002-05-27 8:12 UTC (permalink / raw)
To: Malika Boulkenafed; +Cc: caml-list
> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2002-05-27 8:12 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-05-23 9:00 [Caml-list] verrou distribué en ocaml Malika Boulkenafed
2002-05-27 8:12 ` [Caml-list] " Xavier Leroy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).