From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15666; Mon, 27 May 2002 10:12:05 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA15732 for ; Mon, 27 May 2002 10:12:04 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4R8C0f08179; Mon, 27 May 2002 10:12:00 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15803; Mon, 27 May 2002 10:12:00 +0200 (MET DST) Date: Mon, 27 May 2002 10:12:00 +0200 From: Xavier Leroy To: Malika Boulkenafed Cc: caml-list@inria.fr Subject: [Caml-list] Re: =?iso-8859-1?Q?=5BCaml-list=5D_verrou_distribu=E9_en_ocaml?= Message-ID: <20020527101200.B15615@pauillac.inria.fr> References: <3CECAFAD.A2FAF3FB@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i In-Reply-To: <3CECAFAD.A2FAF3FB@inria.fr>; from Malika.Boulkenafed@inria.fr on Thu, May 23, 2002 at 11:00:29AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > 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