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 RAA21695; Tue, 30 Sep 2003 17:07:46 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA20345 for ; Tue, 30 Sep 2003 17:07:45 +0200 (MET DST) Received: from lion.seas.upenn.edu (LION-S12.SEAS.UPENN.EDU [158.130.12.194]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h8UF7i508786 for ; Tue, 30 Sep 2003 17:07:44 +0200 (MET DST) Received: from katelaptop (dhcp1693.hrs.resnet.group.upenn.edu [165.123.183.81]) by lion.seas.upenn.edu (8.12.10/8.12.8) with SMTP id h8UF7hbI028395 for ; Tue, 30 Sep 2003 11:07:43 -0400 Message-ID: <004501c38764$a1aacab0$51b77ba5@katelaptop> From: "Katherine Moore" To: Subject: [Caml-list] Distributed messaging in Ocaml Date: Tue, 30 Sep 2003 11:07:57 -0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0042_01C38743.1A7C7AF0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; scalable:01 passing:01 scalable:01 passing:01 ocaml:01 ocaml:01 algorithm:03 algorithm:03 data:03 data:03 kfm:95 arial:95 arial:95 implement:05 implement:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0042_01C38743.1A7C7AF0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi! My name is Kate Moore, and I am doing a senior design project at = the University of Pennsylvania. I am working with Benjamin Pierce and = Alan Schmitt. =20 I am trying to implement a scalable, peer-to-peer data sharing system = based on a Unison-like algorithm, and I am looking for tools to help = with distributed message passing. Any suggestions about what is = available for use with Ocaml would be extremely helpful. =20 Thanks very much,=20 Kate :) ------=_NextPart_000_0042_01C38743.1A7C7AF0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Hi! My name is Kate Moore, and I = am doing a=20 senior design project at the University of Pennsylvania. I am = working with=20 Benjamin Pierce and Alan Schmitt.

I am trying to implement a scalable, = peer-to-peer=20 data sharing system based on a Unison-like algorithm, and I am looking = for tools=20 to help with distributed message passing. Any suggestions about = what is=20 available for use with Ocaml would be extremely helpful. =

Thanks very much,

Kate

------=_NextPart_000_0042_01C38743.1A7C7AF0-- ------------------- 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 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 TAA23573; Tue, 30 Sep 2003 19:31:28 +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 TAA03817 for ; Tue, 30 Sep 2003 19:31:27 +0200 (MET DST) Received: from smarthost1.mail.easynet.fr (smarthost1.mail.easynet.fr [212.180.1.68]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8UHVRH06402 for ; Tue, 30 Sep 2003 19:31:27 +0200 (MET DST) Received: from [212.180.39.62] (helo=gros) by smarthost1.mail.easynet.fr with esmtp (Exim 3.35 #1 (Debian)) id 1A4OLM-0003Kc-00; Tue, 30 Sep 2003 19:31:24 +0200 Received: from [192.168.0.14] (helo=grand.gallu.homelinux.org) by gros with smtp (Exim 3.36 #1 (Debian)) id 1A4OLM-0001BV-00; Tue, 30 Sep 2003 19:31:24 +0200 Received: by grand.gallu.homelinux.org (sSMTP sendmail emulation); Tue, 30 Sep 2003 19:31:24 +0200 From: "Sylvain LE GALL" Date: Tue, 30 Sep 2003 19:31:24 +0200 To: Katherine Moore Cc: caml-list@inria.fr Subject: Re: [Caml-list] Distributed messaging in Ocaml Message-ID: <20030930173124.GB946@grand> References: <004501c38764$a1aacab0$51b77ba5@katelaptop> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <004501c38764$a1aacab0$51b77ba5@katelaptop> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; gall:01 le-gall:01 caml-list:01 0400,:01 scalable:01 passing:01 ocaml-soap:01 gall:01 mldonkey:01 ocaml:01 ocaml:01 sep:01 wrote:03 algorithm:03 ensemble:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Sep 30, 2003 at 11:07:57AM -0400, Katherine Moore wrote: > Hi! My name is Kate Moore, and I am doing a senior design project at the University of Pennsylvania. I am working with Benjamin Pierce and Alan Schmitt. > > I am trying to implement a scalable, peer-to-peer data sharing system based on a Unison-like algorithm, and I am looking for tools to help with distributed message passing. Any suggestions about what is available for use with Ocaml would be extremely helpful. > > Thanks very much, > > Kate > :) Hello, I think you should take a look at ensemble. It seems to be a great tool to do what you are describing. Another option, but i don't know it very well, is to have a look to ocaml-soap, xml-rpc et al. I think it should also work. All this link are in the humps. Regard Sylvain LE GALL ps : take a look at mldonkey for a p2p application in ocaml. pps : i will be very intersted in the result ------------------- 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 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 SAA32146; Wed, 1 Oct 2003 18:24:49 +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 SAA27271 for ; Wed, 1 Oct 2003 18:24:48 +0200 (MET DST) Received: from grisu.bik-gmbh.de (grisu.bik-gmbh.de [217.110.154.194]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h91GOlH14544 for ; Wed, 1 Oct 2003 18:24:47 +0200 (MET DST) Received: from bik-gmbh.de ([192.168.125.193]) by grisu.bik-gmbh.de (8.12.6p2/8.12.6) with ESMTP id h91GOghL039603; Wed, 1 Oct 2003 18:24:42 +0200 (CEST) (envelope-from hars@bik-gmbh.de) Message-ID: <3F7AFFC5.5040405@bik-gmbh.de> Date: Wed, 01 Oct 2003 18:24:37 +0200 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20030925 X-Accept-Language: en-us, de-de, en MIME-Version: 1.0 To: Sylvain LE GALL CC: Katherine Moore , caml-list@inria.fr Subject: Re: [Caml-list] Distributed messaging in Ocaml References: <004501c38764$a1aacab0$51b77ba5@katelaptop> <20030930173124.GB946@grand> In-Reply-To: <20030930173124.GB946@grand> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, hits=-2.6 required=5.0 tests=EMAIL_ATTRIBUTION,IN_REP_TO,QUOTED_EMAIL_TEXT,REFERENCES, REPLY_WITH_QUOTES,USER_AGENT_MOZILLA_UA,X_ACCEPT_LANG version=2.55 X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; florian:01 hars:01 hars:01 bik-gmbh:01 caml-list:01 gall:01 0400,:01 scalable:01 stuffs:01 marshalling:01 florian:01 ocaml:01 sep:01 marshal:01 nodes:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sylvain LE GALL wrote: > On Tue, Sep 30, 2003 at 11:07:57AM -0400, Katherine Moore wrote: >>I am trying to implement a scalable, peer-to-peer data sharing system > > I think you should take a look at ensemble. It seems to be a great tool > to do what you are describing. No, last time I looked at it, I came to the conclusion that in its current form ensemble is completely unusable in a P2P environment, since the protocol requires that you can trust the intergity of the clients connecting to the network. It just stuffs the bytes received from the net into Marshal.from_something (which explains part of its speed). You would have to implement a typesafe marshalling layer that does integrity checks on the received messages. Another possible problem: frequent joins and leaves (as you might expect in a successful P2P environment) might keep the nodes busy syncronizing views and electing new leaders and leave no time for actual data exchange. Yours, Florian. ------------------- 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 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 AAA13229; Thu, 2 Oct 2003 00:54:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA16615 for ; Thu, 2 Oct 2003 00:54:46 +0200 (MET DST) Received: from rabelais.socialtools.net (rabelais.socialtools.net [81.2.94.243]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h91Msk520223 for ; Thu, 2 Oct 2003 00:54:46 +0200 (MET DST) Received: by rabelais.socialtools.net (Postfix, from userid 108) id 3CA69232DF; Wed, 1 Oct 2003 23:54:45 +0100 (BST) Received: from socialtools.net (chaucer.socialtools.net [81.2.94.242]) by rabelais.socialtools.net (Postfix) with ESMTP id B7FA2232DA; Wed, 1 Oct 2003 23:54:12 +0100 (BST) Message-ID: <3F7B5B13.3050602@socialtools.net> Date: Wed, 01 Oct 2003 23:54:11 +0100 From: Benjamin Geer User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 X-Accept-Language: en-gb, en, fr, it MIME-Version: 1.0 To: Florian Hars Cc: Sylvain LE GALL , Katherine Moore , caml-list@inria.fr Subject: Re: [Caml-list] Distributed messaging in Ocaml References: <004501c38764$a1aacab0$51b77ba5@katelaptop> <20030930173124.GB946@grand> <3F7AFFC5.5040405@bik-gmbh.de> In-Reply-To: <3F7AFFC5.5040405@bik-gmbh.de> X-Enigmail-Version: 0.76.5.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, hits=-2.6 required=5.0 tests=EMAIL_ATTRIBUTION,IN_REP_TO,QUOTED_EMAIL_TEXT,REFERENCES, REPLY_WITH_QUOTES,USER_AGENT_MOZILLA_UA,X_ACCEPT_LANG autolearn=ham version=2.54 X-Spam-Checker-Version: SpamAssassin 2.54 (1.174.2.17-2003-05-11-exp) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 0400,:01 scalable:01 mldonkey:01 mldonkey:01 open-source:01 ocaml:01 caml:01 sep:01 wrote:03 data:03 implement:05 maybe:06 benjamin:07 written:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Sep 30, 2003 at 11:07:57AM -0400, Katherine Moore wrote: > I am trying to implement a scalable, peer-to-peer data sharing system MLdonkey (http://mldonkey.berlios.de/) is a multi-protocol, open-source (and apparently widely used) P2P client written in Caml; maybe there's some code in it that would be useful. Ben ------------------- 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