Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] verrou distribué en ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <xavier.leroy@i...>
Subject: [Caml-list] Re: [Caml-list]_verrou_distribué_en_ocaml
> 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