From thomas.gazagnaire@gmail.com Thu Sep 15 16:05:31 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4DVL-0001d8-Pa (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:05:31 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wy0-f179.google.com ([74.125.82.179]:37608) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R4DVL-00012i-RB (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:05:31 +0100 Received: by wyh21 with SMTP id 21so2669071wyh.38 for ; Thu, 15 Sep 2011 08:05:31 -0700 (PDT) Received: by 10.227.157.149 with SMTP id b21mr1228936wbx.95.1316099131045; Thu, 15 Sep 2011 08:05:31 -0700 (PDT) Received: from [192.168.0.10] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id ev5sm8221716wbb.11.2011.09.15.08.05.28 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 15 Sep 2011 08:05:29 -0700 (PDT) From: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: build broken + doc Date: Thu, 15 Sep 2011 17:05:27 +0200 Message-Id: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> To: Mirage List Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:05:31 -0000 X-Keywords: X-UID: 64 Status: RO Content-Length: 153 Lines: 6 Seems there is a pb with type "feautes" and "t" in os/xen/blkif.ml Also, is there an easy way to get some doc ? 'make doc' seems broken as = well ... From anil@recoil.org Thu Sep 15 16:42:22 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4E50-0002wB-1O (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:42:22 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:27149 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R4E4z-0007BH-Y6 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:42:22 +0100 Received: (qmail 5771 invoked by uid 634); 15 Sep 2011 15:42:21 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc2-cmbg9-0-0-cust410.5-4.cable.virginmedia.com (HELO [192.168.1.116]) (82.16.101.155) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Thu, 15 Sep 2011 16:42:20 +0100 Subject: Re: build broken + doc Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> Date: Thu, 15 Sep 2011 16:42:19 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> References: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> To: Thomas Gazagnaire X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:42:22 -0000 X-Keywords: X-UID: 65 Status: O Content-Length: 819 Lines: 29 I'm fixing the Xen issue now; I forgot to push from my Linux box. How is 'make doc' broken for you? Works here for me. The steps are still = a little manual for the JSON. You need to: $ cd mirage.git $ make doc $ cd docs $ ./_build/parse.native ../lib/_build/unix-direct # or another backend Now checkout mirage-browser.git, and put the JSON file from the last = command into mirage-browser/data/info.json, and load index.html. Once the browser settles down (and it would be really nice to have = something ready for the tutorial), we can hook up all the commands into = the Makefile. Anil On 15 Sep 2011, at 16:05, Thomas Gazagnaire wrote: > Seems there is a pb with type "feautes" and "t" in os/xen/blkif.ml >=20 > Also, is there an easy way to get some doc ? 'make doc' seems broken = as well ... >=20 >=20 From robert.watson@cl.cam.ac.uk Thu Sep 15 16:43:56 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4E6W-0002zC-EH (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:43:56 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from cyrus.watson.org ([65.122.17.42]:59347) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R4E6V-00040K-Sl (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:43:56 +0100 Received: from c0188.aw.cl.cam.ac.uk (c0188.aw.cl.cam.ac.uk [128.232.100.188]) by cyrus.watson.org (Postfix) with ESMTPSA id 2BFB046B3B; Thu, 15 Sep 2011 11:43:55 -0400 (EDT) Subject: Re: build broken + doc Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii From: "Robert N. M. Watson" In-Reply-To: <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> Date: Thu, 15 Sep 2011 16:43:53 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <72276624-716F-413A-8E85-32ABBCF2E155@cl.cam.ac.uk> References: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> To: Anil Madhavapeddy X-Mailer: Apple Mail (2.1084) Cc: Mirage List , Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:43:56 -0000 X-Keywords: X-UID: 66 Status: O Content-Length: 934 Lines: 27 On 15 Sep 2011, at 16:42, Anil Madhavapeddy wrote: > I'm fixing the Xen issue now; I forgot to push from my Linux box. >=20 > How is 'make doc' broken for you? Works here for me. The steps are = still a little manual for the JSON. You need to: >=20 > $ cd mirage.git > $ make doc > $ cd docs > $ ./_build/parse.native ../lib/_build/unix-direct # or another backend >=20 > Now checkout mirage-browser.git, and put the JSON file from the last = command into mirage-browser/data/info.json, and load index.html. >=20 > Once the browser settles down (and it would be really nice to have = something ready for the tutorial), we can hook up all the commands into = the Makefile. I wonder if it would make sense to set up Mirage with a Jenkins build = server, as we do for CHERI and its unit test suite? We might have to = read up on how to use Jenkins with git; this far we've only used it with = Subversion for CTSRD projects. Robert= From anil@recoil.org Thu Sep 15 16:46:57 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4E9R-00030K-Dw (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:46:57 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:6144 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R4E9R-0003lf-WU (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:46:57 +0100 Received: (qmail 1734 invoked by uid 634); 15 Sep 2011 15:46:56 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc2-cmbg9-0-0-cust410.5-4.cable.virginmedia.com (HELO [192.168.1.116]) (82.16.101.155) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Thu, 15 Sep 2011 16:46:56 +0100 Subject: Re: build broken + doc Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: <72276624-716F-413A-8E85-32ABBCF2E155@cl.cam.ac.uk> Date: Thu, 15 Sep 2011 16:46:55 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <5BBF0B18-8C34-47F1-87A2-D7B5AA5DC7A8@recoil.org> References: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> <72276624-716F-413A-8E85-32ABBCF2E155@cl.cam.ac.uk> To: "Robert N. M. Watson" X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List , Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:46:57 -0000 X-Keywords: X-UID: 67 Status: O Content-Length: 1780 Lines: 46 On 15 Sep 2011, at 16:43, Robert N. M. Watson wrote: >=20 > On 15 Sep 2011, at 16:42, Anil Madhavapeddy wrote: >=20 >> I'm fixing the Xen issue now; I forgot to push from my Linux box. >>=20 >> How is 'make doc' broken for you? Works here for me. The steps are = still a little manual for the JSON. You need to: >>=20 >> $ cd mirage.git >> $ make doc >> $ cd docs >> $ ./_build/parse.native ../lib/_build/unix-direct # or another = backend >>=20 >> Now checkout mirage-browser.git, and put the JSON file from the last = command into mirage-browser/data/info.json, and load index.html. >>=20 >> Once the browser settles down (and it would be really nice to have = something ready for the tutorial), we can hook up all the commands into = the Makefile. >=20 > I wonder if it would make sense to set up Mirage with a Jenkins build = server, as we do for CHERI and its unit test suite? We might have to = read up on how to use Jenkins with git; this far we've only used it with = Subversion for CTSRD projects. Absolutely. I was actually talking to some folks in Citrix about this = last Friday, as they are now using it for the open-source builds of the = Xen Cloud Platform (also using git+ocaml). Jenkins seems to be the way = forward. The regression suite in the Mirage tree is falling into shape very = nicely now, and will also generate performance numbers as well as basic = functionality tests. Richard Mortier is currently working on porting our = old ad-hoc scripts into the new framework, so once I'm back from Japan = after next week, I'd be very keen to hook it into a continuous build = system so we can keep an eye on the numbers as we experiment with = changes. And if there's one thing the first full Mirage publication needs, it's a = lot of numbers :-) Anil= From Richard.Mortier@nottingham.ac.uk Thu Sep 15 16:52:50 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4EF8-0003BU-8d (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:52:50 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from ixe-mta-19-tx.emailfiltering.com ([194.116.198.150]:39334 helo=ixe-mta-19.emailfiltering.com) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp (csa=unknown) id 1R4EF2-0000B4-Fu (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:52:50 +0100 Received: from smtp1.nottingham.ac.uk ([128.243.44.4]) by ixe-mta-19.emailfiltering.com with emfmta (version 4.8.3.54) vanilla id 1972040240 for robert.watson@cl.cam.ac.uk; 80b35c8f718c7989; Thu, 15 Sep 2011 16:51:59 +0100 Received: from suismtp1.ad.nottingham.ac.uk ([128.243.42.10]) by smtp1.nottingham.ac.uk with esmtp (Exim 4.60) (envelope-from ) id 1R4EEI-0005qh-S1; Thu, 15 Sep 2011 16:51:58 +0100 Received: from UIWEXHUB01.ad.nottingham.ac.uk ([128.243.15.133]) by SUISMTP1.ad.nottingham.ac.uk with Microsoft SMTPSVC(6.0.3790.4675); Thu, 15 Sep 2011 16:52:17 +0100 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::60c2:2879:5a5a:29a6]) by UIWEXHUB01.ad.nottingham.ac.uk ([2002:80f3:f85::80f3:f85]) with mapi; Thu, 15 Sep 2011 16:52:17 +0100 From: Richard Mortier To: Anil Madhavapeddy Date: Thu, 15 Sep 2011 16:51:24 +0100 Subject: Re: build broken + doc Thread-Topic: build broken + doc Thread-Index: Acxzv3FN8SATXkGPR5uvWfDrxdDPVA== Message-ID: <7DE59E35-1C39-4D12-A444-39F2862E6533@nottingham.ac.uk> References: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> <72276624-716F-413A-8E85-32ABBCF2E155@cl.cam.ac.uk> <5BBF0B18-8C34-47F1-87A2-D7B5AA5DC7A8@recoil.org> In-Reply-To: <5BBF0B18-8C34-47F1-87A2-D7B5AA5DC7A8@recoil.org> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginalArrivalTime: 15 Sep 2011 15:52:17.0157 (UTC) FILETIME=[71C4C350:01CC73BF] Cc: "Robert N. M. Watson" , Mirage List , Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:52:50 -0000 X-Keywords: X-UID: 68 Status: O Content-Length: 1753 Lines: 38 On 15 Sep 2011, at 16:46, Anil Madhavapeddy wrote: > The regression suite in the Mirage tree is falling into shape very nicely= now, and will also generate performance numbers as well as basic functiona= lity tests. Richard Mortier is currently working on porting our old ad-hoc = scripts into the new framework, so slowly, oh so slowly... :) > so once I'm back from Japan after next week, I'd be very keen to hook it = into a continuous build system so we can keep an eye on the numbers as we e= xperiment with changes. would be nice if the regress build system allowed one to express a range ag= ainst some performance target. eg., have a postrun script that extracted t= he relevant qps figure from dnsperf output, and then ensured that it was wi= thin N% of some specified target. i'm just trying to work my way through y= our new external target changes etc- is that the kind of thing that should = already be supported though? --=20 Cheers, R. = This message and any attachment are intended solely for the addressee a= nd may contain confidential information. If you have received this mess= age in error, please send it back to me, and immediately delete it. P= lease do not use, copy or disclose the information contained in this me= ssage or in any attachment. Any views or opinions expressed by the aut= hor of this email do not necessarily reflect the views of the Universit= y of Nottingham.=0D=0A=0D=0AThis message has been checked for viruses b= ut the contents of an attachment=0D=0Amay still contain software viruse= s which could damage your computer system:=0D=0Ayou are advised to perf= orm your own checks. Email communications with the=0D=0AUniversity of N= ottingham may be monitored as permitted by UK legislation.= From anil@recoil.org Thu Sep 15 16:55:17 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4EHU-0003En-VH (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:55:16 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:38503 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R4EHU-0002vu-Y6 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 16:55:16 +0100 Received: (qmail 14723 invoked by uid 634); 15 Sep 2011 15:55:16 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc2-cmbg9-0-0-cust410.5-4.cable.virginmedia.com (HELO [192.168.1.116]) (82.16.101.155) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Thu, 15 Sep 2011 16:55:16 +0100 Subject: Re: build broken + doc Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: <7DE59E35-1C39-4D12-A444-39F2862E6533@nottingham.ac.uk> Date: Thu, 15 Sep 2011 16:55:15 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <0831B487-8801-48A9-BEAB-7A79B622C80D@gmail.com> <75BA3A2E-C04C-4750-A757-3ED1B5DE9BD4@recoil.org> <72276624-716F-413A-8E85-32ABBCF2E155@cl.cam.ac.uk> <5BBF0B18-8C34-47F1-87A2-D7B5AA5DC7A8@recoil.org> <7DE59E35-1C39-4D12-A444-39F2862E6533@nottingham.ac.uk> To: Richard Mortier X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: "Robert N. M. Watson" , Mirage List , Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 15:55:17 -0000 X-Keywords: X-UID: 69 Status: O Content-Length: 1447 Lines: 31 On 15 Sep 2011, at 16:51, Richard Mortier wrote: >=20 > On 15 Sep 2011, at 16:46, Anil Madhavapeddy wrote: >> so once I'm back from Japan after next week, I'd be very keen to hook = it into a continuous build system so we can keep an eye on the numbers = as we experiment with changes. >=20 > would be nice if the regress build system allowed one to express a = range against some performance target. eg., have a postrun script that = extracted the relevant qps figure from dnsperf output, and then ensured = that it was within N% of some specified target. i'm just trying to work = my way through your new external target changes etc- is that the kind of = thing that should already be supported though? Balraj also wanted something similar for his Lwt tests --- there was a = sleep call, and a micro benchmark to ensure that the time that actually = passed is within the correct parameters (+- a certain number of ms = depending on the backend). The only thing that happens right now is that a shell script runs before = and after (with arguments 'prerun' and 'post run'), and so this could be = the place where we do the checks. Within the Mirage libraries, I've = added an Lwt-compliant oUnit port (mirage/lib/oUnit.mli), so that could = be a good starting point for adding unit assertions. We need to think about the best way to structure output like performance = numbers separately from the usual logging output a bit more... Anil= From anil@recoil.org Thu Sep 15 17:57:58 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4FGA-0004RZ-4T (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 17:57:58 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:4971 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R4FG9-0006eQ-Yn (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Sep 2011 17:57:58 +0100 Received: (qmail 5982 invoked by uid 634); 15 Sep 2011 16:57:57 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from dhcp-128-232-128-135.eduroam.csx.cam.ac.uk (HELO [128.232.128.135]) (128.232.128.135) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Thu, 15 Sep 2011 17:57:57 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Another testing issue with signatures Date: Thu, 15 Sep 2011 17:57:55 +0100 Message-Id: To: Mirage List Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2011 16:57:58 -0000 X-Keywords: X-UID: 70 Status: O Content-Length: 736 Lines: 16 Something just occurred to me: we also need a way to write tests = *inside* a module, rather than the current model where the tests are run = as external Mirage programs. The reason for this is that we restrict the external interfaces to the = safe signatures (e.g. abstract type t), and so the only place the test = can compile is within the implementation itself. Or (a bit more radically), we could compile up a 'naked Mirage' with = none of the MLI files present, which should be strictly more expressive, = and simply run the tests externally as we currently do. That should be = reasonably easy to do as the only place we actually compile anything is = in _build//std (libraries are source copied in there)... Anil= From raphlalou@gmail.com Fri Sep 16 08:16:12 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4Sei-0006Ql-O7 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 08:16:12 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:50984) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R4Seh-0002hX-Sp (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 08:16:12 +0100 Received: by iabn5 with SMTP id n5so2250386iab.38 for ; Fri, 16 Sep 2011 00:16:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.153.130 with SMTP id m2mr2044996icw.155.1316157371077; Fri, 16 Sep 2011 00:16:11 -0700 (PDT) Received: by 10.42.165.2 with HTTP; Fri, 16 Sep 2011 00:16:11 -0700 (PDT) In-Reply-To: References: Date: Fri, 16 Sep 2011 08:16:11 +0100 Message-ID: Subject: Re: Another testing issue with signatures From: Raphael Proust To: Anil Madhavapeddy Content-Type: text/plain; charset=UTF-8 Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Sep 2011 07:16:12 -0000 X-Keywords: X-UID: 71 Status: O Content-Length: 1065 Lines: 30 Can't oUnit take care of precisely that? Also, Batteries have a syntax extension that changes special kinds of comments into a unit test (see Test on https://github.com/ocaml-batteries-team/batteries-included/wiki/Developers-guidelines ) On 9/15/11, Anil Madhavapeddy wrote: > Something just occurred to me: we also need a way to write tests *inside* a > module, rather than the current model where the tests are run as external > Mirage programs. > > The reason for this is that we restrict the external interfaces to the safe > signatures (e.g. abstract type t), and so the only place the test can > compile is within the implementation itself. > > Or (a bit more radically), we could compile up a 'naked Mirage' with none of > the MLI files present, which should be strictly more expressive, and simply > run the tests externally as we currently do. That should be reasonably easy > to do as the only place we actually compile anything is in > _build//std (libraries are source copied in there)... > > Anil > -- _______ Raphael From anil@recoil.org Fri Sep 16 08:22:54 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4SlC-0006Wt-MF (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 08:22:54 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:13037 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4SlB-00050u-Se (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 08:22:54 +0100 Received: (qmail 12916 invoked by uid 634); 16 Sep 2011 07:22:53 -0000 X-Spam-Level: * X-Spam-Status: No, hits=0.4 required=5.0 tests=ALL_TRUSTED,MIME_QP_LONG_LINE X-Spam-Check-By: dark.recoil.org Received: from Unknown (HELO [10.228.157.69]) (82.132.249.115) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Fri, 16 Sep 2011 08:22:53 +0100 References: In-Reply-To: Mime-Version: 1.0 (iPhone Mail 8L1) Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Message-Id: <4AEBCE8D-534F-46A3-8903-DD494106F5BF@recoil.org> X-Mailer: iPhone Mail (8L1) From: Anil Madhavapeddy Subject: Re: Another testing issue with signatures Date: Fri, 16 Sep 2011 08:22:41 +0100 To: Raphael Proust X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Sep 2011 07:22:54 -0000 X-Keywords: X-UID: 72 Status: O Content-Length: 1593 Lines: 50 OUnit tests need to be run from somewhere: where? You could define a special= "test" function like main() currently and call into that from outside, but i= t's a bit odd if every signature has a "test" function that destroys data :)= The batteries extension does look quite handy though: I like the ideas of qu= ick little tests alongside a function definition... Anil On 16 Sep 2011, at 08:16, Raphael Proust wrote: > Can't oUnit take care of precisely that? >=20 > Also, Batteries have a syntax extension that changes special kinds of > comments into a unit test (see Test on > https://github.com/ocaml-batteries-team/batteries-included/wiki/Developers= -guidelines > ) >=20 > On 9/15/11, Anil Madhavapeddy wrote: >> Something just occurred to me: we also need a way to write tests *inside*= a >> module, rather than the current model where the tests are run as external= >> Mirage programs. >>=20 >> The reason for this is that we restrict the external interfaces to the sa= fe >> signatures (e.g. abstract type t), and so the only place the test can >> compile is within the implementation itself. >>=20 >> Or (a bit more radically), we could compile up a 'naked Mirage' with none= of >> the MLI files present, which should be strictly more expressive, and simp= ly >> run the tests externally as we currently do. That should be reasonably e= asy >> to do as the only place we actually compile anything is in >> _build//std (libraries are source copied in there)... >>=20 >> Anil >>=20 >=20 >=20 > --=20 > _______ > Raphael >=20 From thomas.gazagnaire@gmail.com Fri Sep 16 09:55:52 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4UDA-0001ry-77 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 09:55:52 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.182 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wy0-f182.google.com ([74.125.82.182]:60641) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R4UD9-00010n-RP (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 09:55:52 +0100 Received: by wyh15 with SMTP id 15so4066555wyh.41 for ; Fri, 16 Sep 2011 01:55:51 -0700 (PDT) Received: by 10.216.93.81 with SMTP id k59mr486327wef.30.1316163351047; Fri, 16 Sep 2011 01:55:51 -0700 (PDT) Received: from [192.168.0.10] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id r27sm11455182wbn.10.2011.09.16.01.55.49 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 16 Sep 2011 01:55:49 -0700 (PDT) From: Thomas Gazagnaire Content-Type: multipart/alternative; boundary=Apple-Mail-1-701215241 Subject: mirage cheat sheets Date: Fri, 16 Sep 2011 10:55:47 +0200 Message-Id: To: Mirage List Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Sep 2011 08:55:52 -0000 X-Keywords: X-UID: 73 Status: O Content-Length: 1126 Lines: 25 --Apple-Mail-1-701215241 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hi all, I've tried to create a small cheat sheet on mirage syntax extension. A = first draft is available here : http://gazagnaire.org/docs/mirage.pdf I plan to print a bunch of then before taking my plane to Japan (in 2h) = so would be nice if some of you knowing lwt can read it before that :-) Thomas= --Apple-Mail-1-701215241 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii Hi all,

I've tried to create a small cheat sheet on mirage syntax extension. A first draft is available here :

I plan to print a bunch of then before taking my plane to Japan (in 2h) so would be nice if some of you knowing lwt can read it before that :-)

Thomas
--Apple-Mail-1-701215241-- From raphlalou@gmail.com Fri Sep 16 10:12:33 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4UTJ-0002gB-0J (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 10:12:33 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:58913) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R4UTI-0000Jr-q3 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 16 Sep 2011 10:12:32 +0100 Received: by iabn5 with SMTP id n5so2357612iab.38 for ; Fri, 16 Sep 2011 02:12:31 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.72.132 with SMTP id o4mr939536icj.97.1316164351171; Fri, 16 Sep 2011 02:12:31 -0700 (PDT) Received: by 10.42.165.2 with HTTP; Fri, 16 Sep 2011 02:12:30 -0700 (PDT) In-Reply-To: References: Date: Fri, 16 Sep 2011 10:12:30 +0100 Message-ID: Subject: Re: mirage cheat sheets From: Raphael Proust To: Thomas Gazagnaire Content-Type: text/plain; charset=UTF-8 Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Sep 2011 09:12:33 -0000 X-Keywords: X-UID: 74 Status: O Content-Length: 609 Lines: 22 I'm not entirely sure, but I think the syntax "t >> f" translates to "t >>= fun _ -> f" (with _ instead of ()). Also, naming the right hand part as f can mislead ppl into thinking it's a function. On 9/16/11, Thomas Gazagnaire wrote: > Hi all, > > I've tried to create a small cheat sheet on mirage syntax extension. A first > draft is available here : > http://gazagnaire.org/docs/mirage.pdf > > I plan to print a bunch of then before taking my plane to Japan (in 2h) so > would be nice if some of you knowing lwt can read it before that :-) > > Thomas -- _______ Raphael From anil@recoil.org Sat Sep 17 07:56:48 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4opU-0003BD-Gc (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 07:56:48 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:14622 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4opU-0006Mw-QG (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 07:56:48 +0100 Received: (qmail 23633 invoked by uid 634); 17 Sep 2011 06:56:47 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 07:56:47 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: native code syntax extensions Date: Sat, 17 Sep 2011 15:56:43 +0900 Message-Id: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> To: Mirage List Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 06:56:48 -0000 X-Keywords: X-UID: 75 Status: O Content-Length: 737 Lines: 17 I've finally added support for loading all the syntax extensions as = native code, instead of byte code (although that option remains in the = myocamlbuild in case of disaster). Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, = HTML, XML, Dyntype, Type_conv, and eventually the ORM), this has hugely = decreased build time: by about 3x-4x for the main tree, and more for = statically linked in modules. But since it's so close to the tutorial, would be great if everyone = could test their trees by pulling from mine and making sure the dynamic = code loading works on their platform (I've tested on MacOS x64 and Linux = x64). You just need to pull, make && make install, and perhaps build = mirage-www. Anil= From raphlalou@gmail.com Sat Sep 17 08:22:10 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4pE2-0004F6-DY (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 08:22:10 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:41872) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R4pE1-0002Qa-sc (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 08:22:10 +0100 Received: by iabn5 with SMTP id n5so3494794iab.38 for ; Sat, 17 Sep 2011 00:22:09 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.153.130 with SMTP id m2mr520048icw.155.1316244129202; Sat, 17 Sep 2011 00:22:09 -0700 (PDT) Received: by 10.42.165.2 with HTTP; Sat, 17 Sep 2011 00:22:09 -0700 (PDT) In-Reply-To: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> Date: Sat, 17 Sep 2011 08:22:09 +0100 Message-ID: Subject: Re: native code syntax extensions From: Raphael Proust To: Anil Madhavapeddy Content-Type: text/plain; charset=UTF-8 Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 07:22:10 -0000 X-Keywords: X-UID: 76 Status: O Content-Length: 864 Lines: 25 Build ok here! (a few warnings though) On 9/17/11, Anil Madhavapeddy wrote: > I've finally added support for loading all the syntax extensions as native > code, instead of byte code (although that option remains in the myocamlbuild > in case of disaster). > > Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, HTML, > XML, Dyntype, Type_conv, and eventually the ORM), this has hugely decreased > build time: by about 3x-4x for the main tree, and more for statically linked > in modules. > > But since it's so close to the tutorial, would be great if everyone could > test their trees by pulling from mine and making sure the dynamic code > loading works on their platform (I've tested on MacOS x64 and Linux x64). > You just need to pull, make && make install, and perhaps build mirage-www. > > Anil > -- _______ Raphael From anil@recoil.org Sat Sep 17 10:09:20 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4qtk-0005VO-1t (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:09:20 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:1136 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4qtj-0002c0-Rs (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:09:20 +0100 Received: (qmail 28402 invoked by uid 634); 17 Sep 2011 07:22:38 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 08:22:38 +0100 Subject: Re: native code syntax extensions Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Sat, 17 Sep 2011 16:22:37 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> To: Raphael Proust X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 09:09:20 -0000 X-Keywords: X-UID: 78 Status: O Content-Length: 1026 Lines: 42 Great! What are the warnings? Anil On 17 Sep 2011, at 16:22, Raphael Proust wrote: > Build ok here! (a few warnings though) >=20 > On 9/17/11, Anil Madhavapeddy wrote: >> I've finally added support for loading all the syntax extensions as = native >> code, instead of byte code (although that option remains in the = myocamlbuild >> in case of disaster). >>=20 >> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, = HTML, >> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely = decreased >> build time: by about 3x-4x for the main tree, and more for statically = linked >> in modules. >>=20 >> But since it's so close to the tutorial, would be great if everyone = could >> test their trees by pulling from mine and making sure the dynamic = code >> loading works on their platform (I've tested on MacOS x64 and Linux = x64). >> You just need to pull, make && make install, and perhaps build = mirage-www. >>=20 >> Anil >>=20 >=20 >=20 > --=20 > _______ > Raphael >=20 From anil@recoil.org Sat Sep 17 10:17:28 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4r1c-0005bh-Bo (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:17:28 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:34761 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4r1b-00056R-S2 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:17:28 +0100 Received: (qmail 19405 invoked by uid 634); 17 Sep 2011 07:30:47 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 08:30:47 +0100 Subject: Re: mirage cheat sheets Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Sat, 17 Sep 2011 16:30:42 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: <2E933CE1-6CE8-479F-8BEE-0D9FB0F6085D@recoil.org> References: To: Raphael Proust X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List , Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 09:17:28 -0000 X-Keywords: X-UID: 79 Status: O Content-Length: 1480 Lines: 47 You're both right... this behaviour is configurable in the syntax = extension via -lwt-strict-sequence, which matches the OCaml option that = forces the behaviour of making the semicolon have type unit too. We don't have that option in our Pa_lwt yet (was going to do so when = plumbing through all the debugging and profiling options), but it's easy = to add. Having it on for the whole tree is a very good idea, at least for the = OCaml option, and the Lwt one can't hurt. One thing I really dislike the use of >> for this extension though. I'm = surprised it works at all, as it clashes with the camlp4 quotation = keyword! Something like >;> or anything else with a semicolon would = make it more obvious it has the same behaviour as that... Anil On 16 Sep 2011, at 18:12, Raphael Proust wrote: > I'm not entirely sure, but I think the syntax "t >> f" translates to > "t >>=3D fun _ -> f" (with _ instead of ()). Also, naming the right = hand > part as f can mislead ppl into thinking it's a function. >=20 >=20 > On 9/16/11, Thomas Gazagnaire wrote: >> Hi all, >>=20 >> I've tried to create a small cheat sheet on mirage syntax extension. = A first >> draft is available here : >> http://gazagnaire.org/docs/mirage.pdf >>=20 >> I plan to print a bunch of then before taking my plane to Japan (in = 2h) so >> would be nice if some of you knowing lwt can read it before that :-) >>=20 >> Thomas >=20 >=20 > --=20 > _______ > Raphael >=20 From anil@recoil.org Sat Sep 17 09:43:35 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4qUp-0005CE-7l (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 09:43:35 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:18358 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4qUo-000354-Sk (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 09:43:35 +0100 Received: (qmail 8859 invoked by uid 634); 17 Sep 2011 08:36:53 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 09:36:53 +0100 Subject: Re: native code syntax extensions Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Sat, 17 Sep 2011 17:36:49 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> To: Raphael Proust X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 08:43:35 -0000 X-Keywords: X-UID: 77 Status: O Content-Length: 413 Lines: 11 Okok, I *really* couldn't resist it, so I also got rid of the final = dependency on ocamlfind. We were only using it for syntax extensions, = and it was simpler to just paste in the magic camlp4 flags that try to = debug ocamlfind. With the latest tree, you only need OCaml-3.12.0 installed and nothing = else (except js_of_ocaml for the Javascript backend, optional). And = there was much rejoicing... Anil= From balraj885@gmail.com Sat Sep 17 10:43:29 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4rQn-00062Q-T0 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:43:29 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.5 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (balraj885[at]gmail.com) * 0.1 FREEMAIL_ENVFROM_END_DIGIT Envelope-from freemail username ends in * digit (balraj885[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wy0-f179.google.com ([74.125.82.179]:48872) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R4rQm-0003yd-RX (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:43:29 +0100 Received: by wyh21 with SMTP id 21so5525436wyh.24 for ; Sat, 17 Sep 2011 02:43:28 -0700 (PDT) MIME-Version: 1.0 Received: by 10.216.220.129 with SMTP id o1mr404691wep.103.1316252608146; Sat, 17 Sep 2011 02:43:28 -0700 (PDT) Sender: balraj885@gmail.com Received: by 10.180.80.1 with HTTP; Sat, 17 Sep 2011 02:43:27 -0700 (PDT) In-Reply-To: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> Date: Sat, 17 Sep 2011 10:43:27 +0100 X-Google-Sender-Auth: VafykP-Pukh6b2DA4756KVh_rZw Message-ID: Subject: Re: native code syntax extensions From: Balraj Singh To: Anil Madhavapeddy Content-Type: multipart/alternative; boundary=0016e64c1d6824ad4b04ad1ff1ee Cc: Mirage List , Raphael Proust X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 09:43:30 -0000 X-Keywords: X-UID: 80 Status: O Content-Length: 3379 Lines: 98 --0016e64c1d6824ad4b04ad1ff1ee Content-Type: text/plain; charset=ISO-8859-1 Builds for me too - went from 2 min 10, to 1 min 15 seconds. The fs regression does not compile though (Error: Unbound value OS.Blkif.enumerate). Balraj On Sat, Sep 17, 2011 at 8:22 AM, Anil Madhavapeddy wrote: > Great! What are the warnings? > > Anil > > On 17 Sep 2011, at 16:22, Raphael Proust wrote: > > > Build ok here! (a few warnings though) > > > > On 9/17/11, Anil Madhavapeddy wrote: > >> I've finally added support for loading all the syntax extensions as > native > >> code, instead of byte code (although that option remains in the > myocamlbuild > >> in case of disaster). > >> > >> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, > HTML, > >> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely > decreased > >> build time: by about 3x-4x for the main tree, and more for statically > linked > >> in modules. > >> > >> But since it's so close to the tutorial, would be great if everyone > could > >> test their trees by pulling from mine and making sure the dynamic code > >> loading works on their platform (I've tested on MacOS x64 and Linux > x64). > >> You just need to pull, make && make install, and perhaps build > mirage-www. > >> > >> Anil > >> > > > > > > -- > > _______ > > Raphael > > > > > --0016e64c1d6824ad4b04ad1ff1ee Content-Type: text/html; charset=ISO-8859-1 Builds for me too - went from 2 min 10, to 1 min 15 seconds.

The fs regression does not compile though (Error: Unbound value OS.Blkif.enumerate).

Balraj


On Sat, Sep 17, 2011 at 8:22 AM, Anil Madhavapeddy <anil@recoil.org> wrote:
Great! What are the warnings?

Anil

On 17 Sep 2011, at 16:22, Raphael Proust wrote:

> Build ok here! (a few warnings though)
>
> On 9/17/11, Anil Madhavapeddy <anil@recoil.org> wrote:
>> I've finally added support for loading all the syntax extensions as native
>> code, instead of byte code (although that option remains in the myocamlbuild
>> in case of disaster).
>>
>> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, HTML,
>> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely decreased
>> build time: by about 3x-4x for the main tree, and more for statically linked
>> in modules.
>>
>> But since it's so close to the tutorial, would be great if everyone could
>> test their trees by pulling from mine and making sure the dynamic code
>> loading works on their platform (I've tested on MacOS x64 and Linux x64).
>> You just need to pull, make && make install, and perhaps build mirage-www.
>>
>> Anil
>>
>
>
> --
> _______
> Raphael
>



--0016e64c1d6824ad4b04ad1ff1ee-- From anil@recoil.org Sat Sep 17 10:45:51 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4rT5-00064x-Gt (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:45:51 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:39644 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4rT4-0004gK-RU (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 10:45:51 +0100 Received: (qmail 21497 invoked by uid 634); 17 Sep 2011 09:45:49 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED,HTML_MESSAGE X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 10:45:49 +0100 Subject: Re: native code syntax extensions Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: multipart/alternative; boundary="Apple-Mail=_0C516C12-E43E-4A8B-BD6F-42073C67A217" From: Anil Madhavapeddy In-Reply-To: Date: Sat, 17 Sep 2011 18:45:43 +0900 Message-Id: <5284611E-68D1-43DC-AEBC-A71B45ACF623@recoil.org> References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> To: Balraj Singh X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Raphael Proust , Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 09:45:51 -0000 X-Keywords: X-UID: 81 Status: O Content-Length: 4474 Lines: 116 --Apple-Mail=_0C516C12-E43E-4A8B-BD6F-42073C67A217 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 This is on your 32-bit Mac? That pretty much covers all the combinations = then, phew... The FS test is David's so it might be slightly out of date; I'll look at = it shortly after getting some more of the slides done and merging = your/Raphael's Lwt tutorials. Anil On 17 Sep 2011, at 18:43, Balraj Singh wrote: > Builds for me too - went from 2 min 10, to 1 min 15 seconds. >=20 > The fs regression does not compile though (Error: Unbound value = OS.Blkif.enumerate). >=20 > Balraj >=20 >=20 > On Sat, Sep 17, 2011 at 8:22 AM, Anil Madhavapeddy = wrote: > Great! What are the warnings? >=20 > Anil >=20 > On 17 Sep 2011, at 16:22, Raphael Proust wrote: >=20 > > Build ok here! (a few warnings though) > > > > On 9/17/11, Anil Madhavapeddy wrote: > >> I've finally added support for loading all the syntax extensions as = native > >> code, instead of byte code (although that option remains in the = myocamlbuild > >> in case of disaster). > >> > >> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, = CSS, HTML, > >> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely = decreased > >> build time: by about 3x-4x for the main tree, and more for = statically linked > >> in modules. > >> > >> But since it's so close to the tutorial, would be great if everyone = could > >> test their trees by pulling from mine and making sure the dynamic = code > >> loading works on their platform (I've tested on MacOS x64 and Linux = x64). > >> You just need to pull, make && make install, and perhaps build = mirage-www. > >> > >> Anil > >> > > > > > > -- > > _______ > > Raphael > > >=20 >=20 >=20 --Apple-Mail=_0C516C12-E43E-4A8B-BD6F-42073C67A217 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=iso-8859-1 This is on your 32-bit Mac? That pretty much covers all the combinations then, phew...

The FS test is David's so it might be slightly out of date; I'll look at it shortly after getting some more of the slides done and merging your/Raphael's Lwt tutorials.

Anil

On 17 Sep 2011, at 18:43, Balraj Singh wrote:

Builds for me too - went from 2 min 10, to 1 min 15 seconds.

The fs regression does not compile though (Error: Unbound value OS.Blkif.enumerate).

Balraj


On Sat, Sep 17, 2011 at 8:22 AM, Anil Madhavapeddy <anil@recoil.org> wrote:
Great! What are the warnings?

Anil

On 17 Sep 2011, at 16:22, Raphael Proust wrote:

> Build ok here! (a few warnings though)
>
> On 9/17/11, Anil Madhavapeddy <anil@recoil.org> wrote:
>> I've finally added support for loading all the syntax extensions as native
>> code, instead of byte code (although that option remains in the myocamlbuild
>> in case of disaster).
>>
>> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, HTML,
>> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely decreased
>> build time: by about 3x-4x for the main tree, and more for statically linked
>> in modules.
>>
>> But since it's so close to the tutorial, would be great if everyone could
>> test their trees by pulling from mine and making sure the dynamic code
>> loading works on their platform (I've tested on MacOS x64 and Linux x64).
>> You just need to pull, make && make install, and perhaps build mirage-www.
>>
>> Anil
>>
>
>
> --
> _______
> Raphael
>




--Apple-Mail=_0C516C12-E43E-4A8B-BD6F-42073C67A217-- From Dave.Scott@eu.citrix.com Sat Sep 17 11:10:11 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4rqd-0006Hb-1Z (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 11:10:11 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.4 from SpamAssassin-3.3.2-1162027 * -0.5 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from smtp.ctxuk.citrix.com ([62.200.22.115]:25816 helo=SMTP.EU.CITRIX.COM) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R4rqc-0001Ot-qy (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 11:10:11 +0100 X-IronPort-AV: E=Sophos;i="4.68,397,1312156800"; d="scan'208,217";a="7905680" Received: from lonpmailmx02.citrite.net ([10.30.203.163]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/RC4-MD5; 17 Sep 2011 10:10:08 +0000 Received: from LONPMAILBOX01.citrite.net ([10.30.224.160]) by LONPMAILMX02.citrite.net ([10.30.203.163]) with mapi; Sat, 17 Sep 2011 11:10:08 +0100 From: Dave Scott To: Anil Madhavapeddy Date: Sat, 17 Sep 2011 11:10:58 +0100 Subject: Re: native code syntax extensions Thread-Topic: native code syntax extensions Thread-Index: Acx1IfogZXoRwoEYQrGNL7GlIcqImA== Message-ID: <0E83EB57-07D6-4369-982E-62262F8437D5@eu.citrix.com> References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> <5284611E-68D1-43DC-AEBC-A71B45ACF623@recoil.org> In-Reply-To: <5284611E-68D1-43DC-AEBC-A71B45ACF623@recoil.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_0E83EB5707D64369982E62262F8437D5eucitrixcom_" MIME-Version: 1.0 Cc: Mirage List , Balraj Singh , Raphael Proust X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 10:10:11 -0000 X-Keywords: X-UID: 82 Status: O Content-Length: 6819 Lines: 97 --_000_0E83EB5707D64369982E62262F8437D5eucitrixcom_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SGksDQoNCkJ1aWxkcyBmaW5lIGZvciBtZSB0b28uIFRoZSBGcyBzdHVmZiBpcyBub3QgcXVpdGUg cmVhZHkgZm9yIHByaW1lLXRpbWUgc28gaXQncyBzYWZlIHRvIGlnbm9yZSB0aGUgZmFpbHVyZSBm b3Igbm93Lg0KDQotLQ0KRGF2ZSBTY290dA0KDQpPbiBTZXAgMTcsIDIwMTEsIGF0IDEwOjQ1IEFN LCAiQW5pbCBNYWRoYXZhcGVkZHkiIDxhbmlsQHJlY29pbC5vcmc8bWFpbHRvOmFuaWxAcmVjb2ls Lm9yZz4+IHdyb3RlOg0KDQpUaGlzIGlzIG9uIHlvdXIgMzItYml0IE1hYz8gVGhhdCBwcmV0dHkg bXVjaCBjb3ZlcnMgYWxsIHRoZSBjb21iaW5hdGlvbnMgdGhlbiwgcGhldy4uLg0KDQpUaGUgRlMg dGVzdCBpcyBEYXZpZCdzIHNvIGl0IG1pZ2h0IGJlIHNsaWdodGx5IG91dCBvZiBkYXRlOyBJJ2xs IGxvb2sgYXQgaXQgc2hvcnRseSBhZnRlciBnZXR0aW5nIHNvbWUgbW9yZSBvZiB0aGUgc2xpZGVz IGRvbmUgYW5kIG1lcmdpbmcgeW91ci9SYXBoYWVsJ3MgTHd0IHR1dG9yaWFscy4NCg0KQW5pbA0K DQpPbiAxNyBTZXAgMjAxMSwgYXQgMTg6NDMsIEJhbHJhaiBTaW5naCB3cm90ZToNCg0KQnVpbGRz IGZvciBtZSB0b28gLSB3ZW50IGZyb20gMiBtaW4gMTAsIHRvIDEgbWluIDE1IHNlY29uZHMuDQoN ClRoZSBmcyByZWdyZXNzaW9uIGRvZXMgbm90IGNvbXBpbGUgdGhvdWdoIChFcnJvcjogVW5ib3Vu ZCB2YWx1ZSBPUy5CbGtpZi5lbnVtZXJhdGUpLg0KDQpCYWxyYWoNCg0KDQpPbiBTYXQsIFNlcCAx NywgMjAxMSBhdCA4OjIyIEFNLCBBbmlsIE1hZGhhdmFwZWRkeSA8PG1haWx0bzphbmlsQHJlY29p bC5vcmc+YW5pbEByZWNvaWwub3JnPG1haWx0bzphbmlsQHJlY29pbC5vcmc+PiB3cm90ZToNCkdy ZWF0ISBXaGF0IGFyZSB0aGUgd2FybmluZ3M/DQoNCkFuaWwNCg0KT24gMTcgU2VwIDIwMTEsIGF0 IDE2OjIyLCBSYXBoYWVsIFByb3VzdCB3cm90ZToNCg0KPiBCdWlsZCBvayBoZXJlISAoYSBmZXcg d2FybmluZ3MgdGhvdWdoKQ0KPg0KPiBPbiA5LzE3LzExLCBBbmlsIE1hZGhhdmFwZWRkeSA8PG1h aWx0bzphbmlsQHJlY29pbC5vcmc+YW5pbEByZWNvaWwub3JnPG1haWx0bzphbmlsQHJlY29pbC5v cmc+PiB3cm90ZToNCj4+IEkndmUgZmluYWxseSBhZGRlZCBzdXBwb3J0IGZvciBsb2FkaW5nIGFs bCB0aGUgc3ludGF4IGV4dGVuc2lvbnMgYXMgbmF0aXZlDQo+PiBjb2RlLCBpbnN0ZWFkIG9mIGJ5 dGUgY29kZSAoYWx0aG91Z2ggdGhhdCBvcHRpb24gcmVtYWlucyBpbiB0aGUgbXlvY2FtbGJ1aWxk DQo+PiBpbiBjYXNlIG9mIGRpc2FzdGVyKS4NCj4+DQo+PiBTaW5jZSB3ZSdyZSB1cCB0byAxMCBl eHRlbnNpb25zIG5vdyAoQml0c3RyaW5nLCBMd3QsIFVsZXgsIEpTT04sIENTUywgSFRNTCwNCj4+ IFhNTCwgRHludHlwZSwgVHlwZV9jb252LCBhbmQgZXZlbnR1YWxseSB0aGUgT1JNKSwgdGhpcyBo YXMgaHVnZWx5IGRlY3JlYXNlZA0KPj4gYnVpbGQgdGltZTogYnkgYWJvdXQgM3gtNHggZm9yIHRo ZSBtYWluIHRyZWUsIGFuZCBtb3JlIGZvciBzdGF0aWNhbGx5IGxpbmtlZA0KPj4gaW4gbW9kdWxl cy4NCj4+DQo+PiBCdXQgc2luY2UgaXQncyBzbyBjbG9zZSB0byB0aGUgdHV0b3JpYWwsIHdvdWxk IGJlIGdyZWF0IGlmIGV2ZXJ5b25lIGNvdWxkDQo+PiB0ZXN0IHRoZWlyIHRyZWVzIGJ5IHB1bGxp bmcgZnJvbSBtaW5lIGFuZCBtYWtpbmcgc3VyZSB0aGUgZHluYW1pYyBjb2RlDQo+PiBsb2FkaW5n IHdvcmtzIG9uIHRoZWlyIHBsYXRmb3JtIChJJ3ZlIHRlc3RlZCBvbiBNYWNPUyB4NjQgYW5kIExp bnV4IHg2NCkuDQo+PiBZb3UganVzdCBuZWVkIHRvIHB1bGwsIG1ha2UgJiYgbWFrZSBpbnN0YWxs LCBhbmQgcGVyaGFwcyBidWlsZCBtaXJhZ2Utd3d3Lg0KPj4NCj4+IEFuaWwNCj4+DQo+DQo+DQo+ IC0tDQo+IF9fX19fX18NCj4gUmFwaGFlbA0KPg0KDQoNCg0KDQo= --_000_0E83EB5707D64369982E62262F8437D5eucitrixcom_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+PGJvZHkgYmdjb2xvcj0iI0ZGRkZGRiI+PGRpdj5IaSw8L2Rpdj48ZGl2Pjxicj48L2Rp dj48ZGl2PkJ1aWxkcyBmaW5lIGZvciBtZSB0b28uIFRoZSBGcyBzdHVmZiBpcyBub3QgcXVpdGUg cmVhZHkgZm9yIHByaW1lLXRpbWUgc28gaXQncyBzYWZlIHRvIGlnbm9yZSB0aGUgZmFpbHVyZSBm b3Igbm93Ljxicj48YnI+LS0mbmJzcDs8ZGl2PkRhdmUgU2NvdHQ8L2Rpdj48L2Rpdj48ZGl2Pjxi cj5PbiBTZXAgMTcsIDIwMTEsIGF0IDEwOjQ1IEFNLCAiQW5pbCBNYWRoYXZhcGVkZHkiICZsdDs8 YSBocmVmPSJtYWlsdG86YW5pbEByZWNvaWwub3JnIj5hbmlsQHJlY29pbC5vcmc8L2E+Jmd0OyB3 cm90ZTo8YnI+PGJyPjwvZGl2PjxkaXY+PC9kaXY+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+PGRp dj5UaGlzIGlzIG9uIHlvdXIgMzItYml0IE1hYz8gVGhhdCBwcmV0dHkgbXVjaCBjb3ZlcnMgYWxs IHRoZSBjb21iaW5hdGlvbnMgdGhlbiwgcGhldy4uLjxkaXY+PGJyPjwvZGl2PjxkaXY+VGhlIEZT IHRlc3QgaXMgRGF2aWQncyBzbyBpdCBtaWdodCBiZSBzbGlnaHRseSBvdXQgb2YgZGF0ZTsgSSds bCBsb29rIGF0IGl0IHNob3J0bHkgYWZ0ZXIgZ2V0dGluZyBzb21lIG1vcmUgb2YgdGhlIHNsaWRl cyBkb25lIGFuZCBtZXJnaW5nIHlvdXIvUmFwaGFlbCdzIEx3dCB0dXRvcmlhbHMuPC9kaXY+PGRp dj48YnI+PC9kaXY+PGRpdj5BbmlsPC9kaXY+PGRpdj48YnI+PGRpdj48ZGl2Pk9uIDE3IFNlcCAy MDExLCBhdCAxODo0MywgQmFscmFqIFNpbmdoIHdyb3RlOjwvZGl2PjxiciBjbGFzcz0iQXBwbGUt aW50ZXJjaGFuZ2UtbmV3bGluZSI+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+QnVpbGRzIGZvciBt ZSB0b28gLSB3ZW50IGZyb20gMiBtaW4gMTAsIHRvIDEgbWluIDE1IHNlY29uZHMuPGRpdj48YnI+ PC9kaXY+PGRpdj5UaGUgZnMgcmVncmVzc2lvbiBkb2VzIG5vdCBjb21waWxlIHRob3VnaCAoRXJy b3I6IFVuYm91bmQgdmFsdWUgT1MuQmxraWYuZW51bWVyYXRlKS48L2Rpdj48ZGl2Pjxicj48L2Rp dj48ZGl2PkJhbHJhajwvZGl2PjxkaXY+PGJyPjxicj48ZGl2IGNsYXNzPSJnbWFpbF9xdW90ZSI+ DQpPbiBTYXQsIFNlcCAxNywgMjAxMSBhdCA4OjIyIEFNLCBBbmlsIE1hZGhhdmFwZWRkeSA8c3Bh biBkaXI9Imx0ciI+Jmx0OzxhIGhyZWY9Im1haWx0bzphbmlsQHJlY29pbC5vcmciPjxhIGhyZWY9 Im1haWx0bzphbmlsQHJlY29pbC5vcmciPmFuaWxAcmVjb2lsLm9yZzwvYT48L2E+Jmd0Ozwvc3Bh bj4gd3JvdGU6PGJyPjxibG9ja3F1b3RlIGNsYXNzPSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1hcmdp bjowIDAgMCAuOGV4O2JvcmRlci1sZWZ0OjFweCAjY2NjIHNvbGlkO3BhZGRpbmctbGVmdDoxZXg7 Ij4NCkdyZWF0ISBXaGF0IGFyZSB0aGUgd2FybmluZ3M/PGJyPg0KPGZvbnQgY29sb3I9IiM4ODg4 ODgiPjxicj4NCkFuaWw8YnI+DQo8L2ZvbnQ+PGRpdj48ZGl2PjwvZGl2PjxkaXYgY2xhc3M9Img1 Ij48YnI+DQpPbiAxNyBTZXAgMjAxMSwgYXQgMTY6MjIsIFJhcGhhZWwgUHJvdXN0IHdyb3RlOjxi cj4NCjxicj4NCiZndDsgQnVpbGQgb2sgaGVyZSEgKGEgZmV3IHdhcm5pbmdzIHRob3VnaCk8YnI+ DQomZ3Q7PGJyPg0KJmd0OyBPbiA5LzE3LzExLCBBbmlsIE1hZGhhdmFwZWRkeSAmbHQ7PGEgaHJl Zj0ibWFpbHRvOmFuaWxAcmVjb2lsLm9yZyI+PGEgaHJlZj0ibWFpbHRvOmFuaWxAcmVjb2lsLm9y ZyI+YW5pbEByZWNvaWwub3JnPC9hPjwvYT4mZ3Q7IHdyb3RlOjxicj4NCiZndDsmZ3Q7IEkndmUg ZmluYWxseSBhZGRlZCBzdXBwb3J0IGZvciBsb2FkaW5nIGFsbCB0aGUgc3ludGF4IGV4dGVuc2lv bnMgYXMgbmF0aXZlPGJyPg0KJmd0OyZndDsgY29kZSwgaW5zdGVhZCBvZiBieXRlIGNvZGUgKGFs dGhvdWdoIHRoYXQgb3B0aW9uIHJlbWFpbnMgaW4gdGhlIG15b2NhbWxidWlsZDxicj4NCiZndDsm Z3Q7IGluIGNhc2Ugb2YgZGlzYXN0ZXIpLjxicj4NCiZndDsmZ3Q7PGJyPg0KJmd0OyZndDsgU2lu Y2Ugd2UncmUgdXAgdG8gMTAgZXh0ZW5zaW9ucyBub3cgKEJpdHN0cmluZywgTHd0LCBVbGV4LCBK U09OLCBDU1MsIEhUTUwsPGJyPg0KJmd0OyZndDsgWE1MLCBEeW50eXBlLCBUeXBlX2NvbnYsIGFu ZCBldmVudHVhbGx5IHRoZSBPUk0pLCB0aGlzIGhhcyBodWdlbHkgZGVjcmVhc2VkPGJyPg0KJmd0 OyZndDsgYnVpbGQgdGltZTogYnkgYWJvdXQgM3gtNHggZm9yIHRoZSBtYWluIHRyZWUsIGFuZCBt b3JlIGZvciBzdGF0aWNhbGx5IGxpbmtlZDxicj4NCiZndDsmZ3Q7IGluIG1vZHVsZXMuPGJyPg0K Jmd0OyZndDs8YnI+DQomZ3Q7Jmd0OyBCdXQgc2luY2UgaXQncyBzbyBjbG9zZSB0byB0aGUgdHV0 b3JpYWwsIHdvdWxkIGJlIGdyZWF0IGlmIGV2ZXJ5b25lIGNvdWxkPGJyPg0KJmd0OyZndDsgdGVz dCB0aGVpciB0cmVlcyBieSBwdWxsaW5nIGZyb20gbWluZSBhbmQgbWFraW5nIHN1cmUgdGhlIGR5 bmFtaWMgY29kZTxicj4NCiZndDsmZ3Q7IGxvYWRpbmcgd29ya3Mgb24gdGhlaXIgcGxhdGZvcm0g KEkndmUgdGVzdGVkIG9uIE1hY09TIHg2NCBhbmQgTGludXggeDY0KS48YnI+DQomZ3Q7Jmd0OyBZ b3UganVzdCBuZWVkIHRvIHB1bGwsIG1ha2UgJmFtcDsmYW1wOyBtYWtlIGluc3RhbGwsIGFuZCBw ZXJoYXBzIGJ1aWxkIG1pcmFnZS13d3cuPGJyPg0KJmd0OyZndDs8YnI+DQomZ3Q7Jmd0OyBBbmls PGJyPg0KJmd0OyZndDs8YnI+DQomZ3Q7PGJyPg0KJmd0Ozxicj4NCiZndDsgLS08YnI+DQomZ3Q7 IF9fX19fX188YnI+DQomZ3Q7IFJhcGhhZWw8YnI+DQomZ3Q7PGJyPg0KPGJyPg0KPGJyPg0KPC9k aXY+PC9kaXY+PC9ibG9ja3F1b3RlPjwvZGl2Pjxicj48L2Rpdj4NCjwvYmxvY2txdW90ZT48L2Rp dj48YnI+PC9kaXY+PC9kaXY+PC9ibG9ja3F1b3RlPjwvYm9keT48L2h0bWw+ --_000_0E83EB5707D64369982E62262F8437D5eucitrixcom_-- From raphlalou@gmail.com Sat Sep 17 12:29:35 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4t5T-0007Ho-Sg (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 12:29:35 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:39948) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R4t5T-0003vL-qq (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 12:29:35 +0100 Received: by iabn5 with SMTP id n5so3691734iab.38 for ; Sat, 17 Sep 2011 04:29:34 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.138.193 with SMTP id d1mr87263icu.126.1316258974163; Sat, 17 Sep 2011 04:29:34 -0700 (PDT) Received: by 10.42.165.2 with HTTP; Sat, 17 Sep 2011 04:29:34 -0700 (PDT) In-Reply-To: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> Date: Sat, 17 Sep 2011 12:29:34 +0100 Message-ID: Subject: Re: native code syntax extensions From: Raphael Proust To: Anil Madhavapeddy Content-Type: text/plain; charset=UTF-8 Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 11:29:36 -0000 X-Keywords: X-UID: 83 Status: O Content-Length: 1435 Lines: 56 On 9/17/11, Anil Madhavapeddy wrote: > Great! What are the warnings? Mainly gcc on C files (left hand side of semi-colon has no effect, etc.). On ml files, only two (and not related to camlp4) : File "net/node/channel.ml", line 119, characters 8-11: Warning 26: unused variable fin. File "fs/fat.ml", line 1051, characters 8-771: Warning 10: this expression should have type unit. > > Anil > > On 17 Sep 2011, at 16:22, Raphael Proust wrote: > >> Build ok here! (a few warnings though) >> >> On 9/17/11, Anil Madhavapeddy wrote: >>> I've finally added support for loading all the syntax extensions as >>> native >>> code, instead of byte code (although that option remains in the >>> myocamlbuild >>> in case of disaster). >>> >>> Since we're up to 10 extensions now (Bitstring, Lwt, Ulex, JSON, CSS, >>> HTML, >>> XML, Dyntype, Type_conv, and eventually the ORM), this has hugely >>> decreased >>> build time: by about 3x-4x for the main tree, and more for statically >>> linked >>> in modules. >>> >>> But since it's so close to the tutorial, would be great if everyone could >>> test their trees by pulling from mine and making sure the dynamic code >>> loading works on their platform (I've tested on MacOS x64 and Linux x64). >>> You just need to pull, make && make install, and perhaps build >>> mirage-www. >>> >>> Anil >>> >> >> >> -- >> _______ >> Raphael >> > > -- _______ Raphael From anil@recoil.org Sat Sep 17 12:31:38 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R4t7S-0007Jv-HJ (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 12:31:38 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:29010 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R4t7R-0001Xp-ST (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 12:31:38 +0100 Received: (qmail 6839 invoked by uid 634); 17 Sep 2011 11:31:37 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.5.97]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sat, 17 Sep 2011 12:31:37 +0100 Subject: Re: native code syntax extensions Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Sat, 17 Sep 2011 20:31:33 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: <13B4915E-1855-4450-9D7F-5EE5B98EF799@recoil.org> References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> To: Raphael Proust X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 11:31:38 -0000 X-Keywords: X-UID: 84 Status: O Content-Length: 812 Lines: 27 On 17 Sep 2011, at 20:29, Raphael Proust wrote: > On 9/17/11, Anil Madhavapeddy wrote: >> Great! What are the warnings? >=20 > Mainly gcc on C files (left hand side of semi-colon has no effect, > etc.). On ml files, only two (and not related to camlp4) : >=20 > File "net/node/channel.ml", line 119, characters 8-11: > Warning 26: unused variable fin. Ah yes, these were all present before. The C ones are due to libev, = which I'm going to replace with a select loop when I get back as its = epoll(2) backend seems completely broken on Linux. >=20 > File "fs/fat.ml", line 1051, characters 8-771: > Warning 10: this expression should have type unit. This one's potentially more serious; are those directory updates meant = to be blocked on before proceeding in the thread, Dave? Anil From Richard.Mortier@nottingham.ac.uk Sat Sep 17 23:58:23 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R53q3-0005nZ-UY (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 23:58:23 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from ixe-mta-19-tx.emailfiltering.com ([194.116.198.150]:34128 helo=ixe-mta-19.emailfiltering.com) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp (csa=unknown) id 1R53py-000284-Ea (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 17 Sep 2011 23:58:23 +0100 Received: from smtp2.nottingham.ac.uk ([128.243.44.5]) by ixe-mta-19.emailfiltering.com with emfmta (version 4.8.3.54) vanilla id 1973933620 for cl-mirage@lists.cam.ac.uk; 3c099231a4e5b798; Sat, 17 Sep 2011 23:57:58 +0100 Received: from suismtp2.ad.nottingham.ac.uk ([128.243.42.11]) by smtp2.nottingham.ac.uk with esmtp (Exim 4.60) (envelope-from ) id 1R53pe-0004qd-4T for cl-mirage@lists.cam.ac.uk; Sat, 17 Sep 2011 23:57:58 +0100 Received: from UIWEXHUB02.ad.nottingham.ac.uk ([128.243.15.132]) by SUISMTP2.ad.nottingham.ac.uk with Microsoft SMTPSVC(6.0.3790.4675); Sat, 17 Sep 2011 23:58:02 +0100 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::60c2:2879:5a5a:29a6]) by UIWEXHUB02.ad.nottingham.ac.uk ([2002:80f3:f84::80f3:f84]) with mapi; Sat, 17 Sep 2011 23:58:03 +0100 From: Richard Mortier To: Mirage List Date: Sat, 17 Sep 2011 23:57:12 +0100 Subject: tuntap apparently misbehaving on osx Thread-Topic: tuntap apparently misbehaving on osx Thread-Index: Acx1jUC99asF91GJQAu9em8PHhVjEA== Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginalArrivalTime: 17 Sep 2011 22:58:02.0719 (UTC) FILETIME=[40EFAEF0:01CC758D] X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 22:58:24 -0000 X-Keywords: X-UID: 85 Status: O Content-Length: 2225 Lines: 57 i'm porting the dns perf suite over to the new regress/ setup. with the un= ix-socket build, i don't seem to be able to contact it at all - and netstat= doesn't show anything listening on 53/UDP as i'd expect. with unix-direct= then i see the usual startup but then start seeing many failed writes: : mort@greyjay:net$; sudo _build/unix-direct/deens.bin=20 Password: Main: startup [00000] 2011/08/17T22:06:39Z info Deens: starting server, p= ort 53=20 Manager: create opendev: /dev/tap0 Netif: plug tap0 Manager: plug tap0 Manager: plug done, to listener Manager: init done Devices: starting provider Unix.Blkif Main: entering runloop ARP: who-has 10.0.0.1? IPv4: dropping proto 2 IPv4: dropping proto 2 IPv4: dropping proto 2 ARP: transmitting probe -> 10.0.0.1 EXN: Failure("tap: partial write") ARP: updating 10.0.0.1 -> 1e:81:8c:9d:18:0c EXN: Failure("tap: partial write") EXN: Failure("tap: partial write") via "tcpdump -i tap0", pinging 10.0.0.1 from a terminal gets me nothing; pi= nging 10.0.0.255 shows echo requests from 10.0.0.1 -> 10.0.0.255, and respo= nses from 0.0.0.0 -> 10.0.0.1 which seems odd. similar behaviour if i build the tutorial slideset with unix-direct, althou= gh with unix-socket it works just fine. so- is this a broken setup on my part, or something that's become broken du= e to eg., new device model? (or am i just missing something really obvious= ?!) --=20 Cheers, R. = This message and any attachment are intended solely for the addressee a= nd may contain confidential information. If you have received this mess= age in error, please send it back to me, and immediately delete it. P= lease do not use, copy or disclose the information contained in this me= ssage or in any attachment. Any views or opinions expressed by the aut= hor of this email do not necessarily reflect the views of the Universit= y of Nottingham.=0D=0A=0D=0AThis message has been checked for viruses b= ut the contents of an attachment=0D=0Amay still contain software viruse= s which could damage your computer system:=0D=0Ayou are advised to perf= orm your own checks. Email communications with the=0D=0AUniversity of N= ottingham may be monitored as permitted by UK legislation.= From Dave.Scott@eu.citrix.com Sun Sep 18 00:07:08 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R53yW-00060v-3t (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:07:08 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.4 from SpamAssassin-3.3.2-1162027 * -0.5 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from smtp.ctxuk.citrix.com ([62.200.22.115]:40359 helo=SMTP.EU.CITRIX.COM) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R53yV-0002Bn-pj (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:07:08 +0100 X-IronPort-AV: E=Sophos;i="4.68,399,1312156800"; d="scan'208";a="7909742" Received: from lonpmailmx01.citrite.net ([10.30.203.162]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/RC4-MD5; 17 Sep 2011 23:07:05 +0000 Received: from LONPMAILBOX01.citrite.net ([10.30.224.160]) by LONPMAILMX01.citrite.net ([10.30.203.162]) with mapi; Sun, 18 Sep 2011 00:07:05 +0100 From: Dave Scott To: Richard Mortier Date: Sun, 18 Sep 2011 00:07:58 +0100 Subject: Re: tuntap apparently misbehaving on osx Thread-Topic: tuntap apparently misbehaving on osx Thread-Index: Acx1joPwBcZGLDJES46bhktUO6nR5g== Message-ID: <761FE446-C8C2-4FC5-A8E1-785001F35F89@eu.citrix.com> References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 23:07:08 -0000 X-Keywords: X-UID: 86 Status: O Content-Length: 2801 Lines: 75 I don't know if it applies to the dns stuff but to make the http server wor= k under Xen I had to add a line configure interface 'DHCP In the callback in slides/server.ml In the case of DHCP there were 2 other glitches which I've sent Anil some p= ull requests for. I guess you want to set a static IP tho ( instead of the = 0.0.0.0 ) - I'm sure I saw a config option for that in there somewhere. --=20 Dave Scott On Sep 17, 2011, at 11:58 PM, "Richard Mortier" wrote: > i'm porting the dns perf suite over to the new regress/ setup. with the = unix-socket build, i don't seem to be able to contact it at all - and netst= at doesn't show anything listening on 53/UDP as i'd expect. with unix-dire= ct then i see the usual startup but then start seeing many failed writes: >=20 > : mort@greyjay:net$; sudo _build/unix-direct/deens.bin=20 > Password: > Main: startup > [00000] 2011/08/17T22:06:39Z info Deens: starting server,= port 53=20 > Manager: create > opendev: /dev/tap0 > Netif: plug tap0 > Manager: plug tap0 > Manager: plug done, to listener > Manager: init done > Devices: starting provider Unix.Blkif > Main: entering runloop > ARP: who-has 10.0.0.1? > IPv4: dropping proto 2 > IPv4: dropping proto 2 > IPv4: dropping proto 2 > ARP: transmitting probe -> 10.0.0.1 > EXN: Failure("tap: partial write") > ARP: updating 10.0.0.1 -> 1e:81:8c:9d:18:0c > EXN: Failure("tap: partial write") > EXN: Failure("tap: partial write") >=20 > via "tcpdump -i tap0", pinging 10.0.0.1 from a terminal gets me nothing; = pinging 10.0.0.255 shows echo requests from 10.0.0.1 -> 10.0.0.255, and res= ponses from 0.0.0.0 -> 10.0.0.1 which seems odd. >=20 > similar behaviour if i build the tutorial slideset with unix-direct, alth= ough with unix-socket it works just fine. >=20 > so- is this a broken setup on my part, or something that's become broken = due to eg., new device model? (or am i just missing something really obvio= us?!) >=20 > --=20 > Cheers, >=20 > R. >=20 > This message and any attachment are intended solely for the addressee and= may contain confidential information. If you have received this message in= error, please send it back to me, and immediately delete it. Please do n= ot use, copy or disclose the information contained in this message or in an= y attachment. Any views or opinions expressed by the author of this email = do not necessarily reflect the views of the University of Nottingham. >=20 > This message has been checked for viruses but the contents of an attachme= nt > may still contain software viruses which could damage your computer syste= m: > you are advised to perform your own checks. Email communications with the > University of Nottingham may be monitored as permitted by UK legislation. From Dave.Scott@eu.citrix.com Sun Sep 18 00:09:06 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R540Q-00061v-98 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:09:06 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.4 from SpamAssassin-3.3.2-1162027 * -0.5 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from smtp.ctxuk.citrix.com ([62.200.22.115]:42970 helo=SMTP.EU.CITRIX.COM) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp (csa=unknown) id 1R540P-0004ms-Fe (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:09:06 +0100 X-IronPort-AV: E=Sophos;i="4.68,399,1312156800"; d="scan'208";a="7909749" Received: from lonpmailmx02.citrite.net ([10.30.203.163]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/RC4-MD5; 17 Sep 2011 23:09:05 +0000 Received: from LONPMAILBOX01.citrite.net ([10.30.224.160]) by LONPMAILMX02.citrite.net ([10.30.203.163]) with mapi; Sun, 18 Sep 2011 00:09:05 +0100 From: Dave Scott To: Anil Madhavapeddy Date: Sun, 18 Sep 2011 00:09:57 +0100 Subject: Re: native code syntax extensions Thread-Topic: native code syntax extensions Thread-Index: Acx1jss8byM9mVnWS1mdUYPEP1B2PQ== Message-ID: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> <13B4915E-1855-4450-9D7F-5EE5B98EF799@recoil.org> In-Reply-To: <13B4915E-1855-4450-9D7F-5EE5B98EF799@recoil.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Cc: Mirage List , Raphael Proust X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 23:09:06 -0000 X-Keywords: X-UID: 87 Status: O Content-Length: 1105 Lines: 36 Thanks for highlighting the warning btw, it sure does sound like a bug :) I= 'll investigate once I'm happy that the xenstore stuff works ok. --=20 Dave Scott On Sep 17, 2011, at 12:31 PM, "Anil Madhavapeddy" wrote: > On 17 Sep 2011, at 20:29, Raphael Proust wrote: >=20 >> On 9/17/11, Anil Madhavapeddy wrote: >>> Great! What are the warnings? >>=20 >> Mainly gcc on C files (left hand side of semi-colon has no effect, >> etc.). On ml files, only two (and not related to camlp4) : >>=20 >> File "net/node/channel.ml", line 119, characters 8-11: >> Warning 26: unused variable fin. >=20 > Ah yes, these were all present before. The C ones are due to libev, which= I'm going to replace with a select loop when I get back as its epoll(2) ba= ckend seems completely broken on Linux. >=20 >>=20 >> File "fs/fat.ml", line 1051, characters 8-771: >> Warning 10: this expression should have type unit. >=20 > This one's potentially more serious; are those directory updates meant to= be blocked on before proceeding in the thread, Dave? >=20 > Anil >=20 >=20 >=20 >=20 From anil@recoil.org Sun Sep 18 00:34:35 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R54P4-0006B2-W2 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:34:35 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:44325 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp (csa=unknown) id 1R54P3-0007CQ-ru (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 00:34:34 +0100 Received: (qmail 6418 invoked by uid 634); 17 Sep 2011 23:34:33 -0000 X-Spam-Level: * X-Spam-Status: No, hits=0.4 required=5.0 tests=ALL_TRUSTED,MIME_QP_LONG_LINE X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.0.2.2]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Sun, 18 Sep 2011 00:34:33 +0100 References: <761FE446-C8C2-4FC5-A8E1-785001F35F89@eu.citrix.com> In-Reply-To: <761FE446-C8C2-4FC5-A8E1-785001F35F89@eu.citrix.com> Mime-Version: 1.0 (iPhone Mail 8L1) Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Message-Id: <60B1A4DB-C6DD-4D1F-9B7B-69AC16FB9C10@recoil.org> X-Mailer: iPhone Mail (8L1) From: Anil Madhavapeddy Subject: Re: tuntap apparently misbehaving on osx Date: Sun, 18 Sep 2011 08:34:27 +0900 To: Dave Scott X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Richard Mortier , Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Sep 2011 23:34:35 -0000 X-Keywords: X-UID: 88 Status: O Content-Length: 3132 Lines: 87 The partial write on the tap interface shouldnt ever happen though (as each w= rite is one full frame). Heading into conference, will look at this when the= re... Anil On 18 Sep 2011, at 08:07, Dave Scott wrote: > I don't know if it applies to the dns stuff but to make the http server wo= rk under Xen I had to add a line >=20 > configure interface 'DHCP >=20 > In the callback in slides/server.ml >=20 > In the case of DHCP there were 2 other glitches which I've sent Anil some p= ull requests for. I guess you want to set a static IP tho ( instead of the 0= .0.0.0 ) - I'm sure I saw a config option for that in there somewhere. >=20 > --=20 > Dave Scott >=20 > On Sep 17, 2011, at 11:58 PM, "Richard Mortier" wrote: >=20 >> i'm porting the dns perf suite over to the new regress/ setup. with the u= nix-socket build, i don't seem to be able to contact it at all - and netstat= doesn't show anything listening on 53/UDP as i'd expect. with unix-direct t= hen i see the usual startup but then start seeing many failed writes: >>=20 >> : mort@greyjay:net$; sudo _build/unix-direct/deens.bin=20 >> Password: >> Main: startup >> [00000] 2011/08/17T22:06:39Z info Deens: starting server,= port 53=20 >> Manager: create >> opendev: /dev/tap0 >> Netif: plug tap0 >> Manager: plug tap0 >> Manager: plug done, to listener >> Manager: init done >> Devices: starting provider Unix.Blkif >> Main: entering runloop >> ARP: who-has 10.0.0.1? >> IPv4: dropping proto 2 >> IPv4: dropping proto 2 >> IPv4: dropping proto 2 >> ARP: transmitting probe -> 10.0.0.1 >> EXN: Failure("tap: partial write") >> ARP: updating 10.0.0.1 -> 1e:81:8c:9d:18:0c >> EXN: Failure("tap: partial write") >> EXN: Failure("tap: partial write") >>=20 >> via "tcpdump -i tap0", pinging 10.0.0.1 from a terminal gets me nothing; p= inging 10.0.0.255 shows echo requests from 10.0.0.1 -> 10.0.0.255, and respo= nses from 0.0.0.0 -> 10.0.0.1 which seems odd. >>=20 >> similar behaviour if i build the tutorial slideset with unix-direct, alth= ough with unix-socket it works just fine. >>=20 >> so- is this a broken setup on my part, or something that's become broken d= ue to eg., new device model? (or am i just missing something really obvious= ?!) >>=20 >> --=20 >> Cheers, >>=20 >> R. >>=20 >> This message and any attachment are intended solely for the addressee and= may contain confidential information. If you have received this message in e= rror, please send it back to me, and immediately delete it. Please do not u= se, copy or disclose the information contained in this message or in any att= achment. Any views or opinions expressed by the author of this email do not= necessarily reflect the views of the University of Nottingham. >>=20 >> This message has been checked for viruses but the contents of an attachme= nt >> may still contain software viruses which could damage your computer syste= m: >> you are advised to perform your own checks. Email communications with the= >> University of Nottingham may be monitored as permitted by UK legislation.= >=20 From avsm@dark.recoil.org Sun Sep 18 04:08:45 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R57kL-0007QE-Rs (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 04:08:45 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:9846 helo=dark.recoil.org) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp (csa=unknown) id 1R57kL-0006Oc-ES (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 04:08:45 +0100 Received: (qmail 27203 invoked by uid 10000); 18 Sep 2011 03:08:45 -0000 Date: Sun, 18 Sep 2011 04:08:45 +0100 From: Anil Madhavapeddy To: Richard Mortier Subject: Re: tuntap apparently misbehaving on osx Message-ID: <20110918030845.GA5505@dark.recoil.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 18 Sep 2011 03:08:45 -0000 X-Keywords: X-UID: 89 Status: O Content-Length: 2434 Lines: 69 I've fixed this -- I introduced the bug when "tidying" up the use file descriptors in the UNIX backend, and missed a conversion from bits to bytes when unpacking the bitstring. At leaat this is the exactly the sort of bug that your regress test will find :-) Regarding configuring IP addresses, until the Network interface is converted to use the new device API (which permits plumbing through configurations from the environment), you need to add it directly into the source code by adding a Net.Manager.configure line. You can replace `IPv4 with `DHCP also. let ip = let open Net.Nettypes in ( ipv4_addr_of_tuple (10l,0l,0l,2l), ipv4_addr_of_tuple (255l,255l,255l,0l), [ipv4_addr_of_tuple (10l,0l,0l,1l)] ) Net.Manager.create (fun mgr interface id -> let src = None, port in Net.Manager.configure interface (`IPv4 ip) >> Http.Server.listen mgr (`TCPv4 (src, spec)) ) -anil On Sat, Sep 17, 2011 at 11:57:12PM +0100, Richard Mortier wrote: > i'm porting the dns perf suite over to the new regress/ setup. with the > unix-socket build, i don't seem to be able to contact it at all - and > netstat doesn't show anything listening on 53/UDP as i'd expect. with > unix-direct then i see the usual startup but then start seeing many > failed writes: > > : mort@greyjay:net$; sudo _build/unix-direct/deens.bin > Password: > Main: startup > [00000] 2011/08/17T22:06:39Z info Deens: starting server, port 53 > Manager: create > opendev: /dev/tap0 > Netif: plug tap0 > Manager: plug tap0 > Manager: plug done, to listener > Manager: init done > Devices: starting provider Unix.Blkif > Main: entering runloop > ARP: who-has 10.0.0.1? > IPv4: dropping proto 2 > IPv4: dropping proto 2 > IPv4: dropping proto 2 > ARP: transmitting probe -> 10.0.0.1 > EXN: Failure("tap: partial write") > ARP: updating 10.0.0.1 -> 1e:81:8c:9d:18:0c > EXN: Failure("tap: partial write") > EXN: Failure("tap: partial write") > > via "tcpdump -i tap0", pinging 10.0.0.1 from a terminal gets me nothing; > pinging 10.0.0.255 shows echo requests from 10.0.0.1 -> 10.0.0.255, and > responses from 0.0.0.0 -> 10.0.0.1 which seems odd. > > similar behaviour if i build the tutorial slideset with unix-direct, > although with unix-socket it works just fine. > > so- is this a broken setup on my part, or something that's become broken > due to eg., new device model? (or am i just missing something really > obvious?!) From raphlalou@gmail.com Sun Sep 18 07:58:26 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R5BKc-0001G7-D3 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 07:58:26 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:35335) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp (csa=unknown) id 1R5BKb-0005g8-YM (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 07:58:26 +0100 Received: by iabn5 with SMTP id n5so4657337iab.38 for ; Sat, 17 Sep 2011 23:58:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.177.72 with SMTP id bh8mr1956445icb.39.1316329104008; Sat, 17 Sep 2011 23:58:24 -0700 (PDT) Received: by 10.42.165.2 with HTTP; Sat, 17 Sep 2011 23:58:23 -0700 (PDT) In-Reply-To: References: <7D763C55-E4B0-44CC-9E50-2FCC58F24C03@recoil.org> <13B4915E-1855-4450-9D7F-5EE5B98EF799@recoil.org> Date: Sun, 18 Sep 2011 07:58:23 +0100 Message-ID: Subject: Re: native code syntax extensions From: Raphael Proust To: Dave Scott Content-Type: text/plain; charset=UTF-8 Cc: Mirage List , Anil Madhavapeddy X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 18 Sep 2011 06:58:26 -0000 X-Keywords: X-UID: 90 Status: O Content-Length: 1562 Lines: 55 We could change lib/Makefile with: -OFLAGS ?= -classic-display +OFLAGS ?= -classic-display -tag warn_error_A -tag warn_A This turns any warning into a compilation error and also turns all warnings on. In my experience, the second tag makes it painful when dealing with weird pattern matchings on complicated variants (because you can't use the _ pattern anymore). What do? On 9/18/11, Dave Scott wrote: > Thanks for highlighting the warning btw, it sure does sound like a bug :) > I'll investigate once I'm happy that the xenstore stuff works ok. > > -- > Dave Scott > > On Sep 17, 2011, at 12:31 PM, "Anil Madhavapeddy" wrote: > >> On 17 Sep 2011, at 20:29, Raphael Proust wrote: >> >>> On 9/17/11, Anil Madhavapeddy wrote: >>>> Great! What are the warnings? >>> >>> Mainly gcc on C files (left hand side of semi-colon has no effect, >>> etc.). On ml files, only two (and not related to camlp4) : >>> >>> File "net/node/channel.ml", line 119, characters 8-11: >>> Warning 26: unused variable fin. >> >> Ah yes, these were all present before. The C ones are due to libev, which >> I'm going to replace with a select loop when I get back as its epoll(2) >> backend seems completely broken on Linux. >> >>> >>> File "fs/fat.ml", line 1051, characters 8-771: >>> Warning 10: this expression should have type unit. >> >> This one's potentially more serious; are those directory updates meant to >> be blocked on before proceeding in the thread, Dave? >> >> Anil >> >> >> >> > -- _______ Raphael From avsm@dark.recoil.org Sun Sep 18 16:24:41 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R5JEX-0006wv-JB (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 16:24:41 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:7956 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp (csa=unknown) id 1R5JEW-0000UO-sG (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 18 Sep 2011 16:24:41 +0100 Received: (qmail 3144 invoked by uid 10000); 18 Sep 2011 15:24:39 -0000 Date: Sun, 18 Sep 2011 16:24:39 +0100 From: Anil Madhavapeddy To: cl-mirage@lists.cam.ac.uk Subject: [stephleg@free.fr: [Caml-list] [ANN] OCMP: 0.1 release] Message-ID: <20110918152439.GA273@dark.recoil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 18 Sep 2011 15:24:41 -0000 X-Keywords: X-UID: 91 Status: O Content-Length: 1404 Lines: 56 Fantastic, looks like we can interface to MySQL for some nice benchmarking now... this library implements the binary protocol, so we can hook up MySQL in a remote domain very easily (either via shared pages or TCP) Anil ----- Forwarded message from St?phane Legrand ----- Date: Sun, 18 Sep 2011 17:06:25 +0200 From: St?phane Legrand To: caml-list@inria.fr Subject: [Caml-list] [ANN] OCMP: 0.1 release X-Mailer: Evolution 2.32.1 FreeBSD GNOME Team Port Hello, This is an annoucement for the first release of the OCMySQLProtocol (OCMP) project . OCMP is a native (no link with the MySQL C library) implementation of the MySQL client protocol. Requirements: - Bitstring. - Cryptokit. - and optional oUnit. Home page: https://forge.ocamlcore.org/projects/ocmysqlprotocol/ Usage example: http://forge.ocamlcore.org/scm/loggerhead/ocmysqlprotocol/main/annotate/head:/examples/client.ml Licence: GPL v2 (same as MySQL open-source version). Suggestions, comments and bug reports are welcome. Regards, Stephane Legrand. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs ----- End forwarded message ----- -- Anil Madhavapeddy http://anil.recoil.org From Richard.Mortier@nottingham.ac.uk Tue Sep 20 22:12:55 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R67cd-0005Kx-7B (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Sep 2011 22:12:55 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from ixe-mta-19-tx.emailfiltering.com ([194.116.198.150]:40144 helo=ixe-mta-19.emailfiltering.com) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R67cX-0003Qx-sQ (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Sep 2011 22:12:55 +0100 Received: from smtp2.nottingham.ac.uk ([128.243.44.5]) by ixe-mta-19.emailfiltering.com with emfmta (version 4.8.3.54) vanilla id 1976806392 for cl-mirage@lists.cam.ac.uk; ad3aca4ee7920227; Tue, 20 Sep 2011 22:12:29 +0100 Received: from suismtp2.ad.nottingham.ac.uk ([128.243.42.11]) by smtp2.nottingham.ac.uk with esmtp (Exim 4.60) (envelope-from ) id 1R67cD-0008VN-Hv for cl-mirage@lists.cam.ac.uk; Tue, 20 Sep 2011 22:12:29 +0100 Received: from UIWEXHUB01.ad.nottingham.ac.uk ([128.243.15.133]) by SUISMTP2.ad.nottingham.ac.uk with Microsoft SMTPSVC(6.0.3790.4675); Tue, 20 Sep 2011 22:12:15 +0100 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::60c2:2879:5a5a:29a6]) by UIWEXHUB01.ad.nottingham.ac.uk ([2002:80f3:f85::80f3:f85]) with mapi; Tue, 20 Sep 2011 22:12:15 +0100 From: Richard Mortier To: Mirage List Date: Tue, 20 Sep 2011 22:11:27 +0100 Subject: maybe just my old xen installation but... Thread-Topic: maybe just my old xen installation but... Thread-Index: Acx32fiwWrbxSTqfRou0B8ywdWdvNg== Message-ID: <088218B7-6A52-4840-A56C-160FCE74EDC9@nottingham.ac.uk> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginalArrivalTime: 20 Sep 2011 21:12:15.0454 (UTC) FILETIME=[F8E927E0:01CC77D9] X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Sep 2011 21:12:55 -0000 X-Keywords: X-UID: 92 Status: O Content-Length: 2375 Lines: 47 just got this on a "make all install" on linux: ... os/runtime_xen/ocaml/freelist.c:495: note: initialized from here + cc -c -Wall -g -O3 -U __linux__ -U __FreeBSD__ -U __sun__ -D__MiniOS__ -D= __MiniOS__ -D__x86_64__ '-D__XEN_INTERFACE_VERSION__=3D0x00030205' -D__INSI= DE_MINIOS__ -nostdinc '-std=3Dgnu99' -fno-stack-protector -m64 -mno-red-zon= e -fno-reorder-blocks -fstrict-aliasing -momit-leaf-frame-pointer -mfancy-m= ath-387 -I/usr/lib/gcc/x86_64-linux-gnu/4.4.3/include -isystem /home/rmm/mi= rage/mirage/lib/os/runtime_xen/include/ -isystem /home/rmm/mirage/mirage/li= b/os/runtime_xen/include/mini-os -isystem /home/rmm/mirage/mirage/lib/os/ru= ntime_xen/include/mini-os/x86 -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_amd6= 4 -DSYS_xen -I/home/rmm/mirage/mirage/lib/os/runtime_xen/ocaml -o os/runtim= e_xen/ocaml/io.o os/runtime_xen/ocaml/io.c In file included from os/runtime_xen/ocaml/io.c:31: /home/rmm/mirage/mirage/lib/os/runtime_xen/ocaml/io.h:84: internal compiler= error: in grokdeclarator, at c-decl.c:5004 Please submit a full bug report, with preprocessed source if appropriate. See for instructions. Command exited with code 1. Compilation unsuccessful after building 533 targets (0 cached) in 00:00:25. make[1]: *** [xen] Error 10 make[1]: Leaving directory `/home/rmm/mirage/mirage/lib' make: *** [all] Error 2 any suggestions? is that a known bad gcc, a broken xen install, or is ther= e genuinely something wrong here? this is, afaik, a vanilla ubuntu 10.04, = updated as of this morning. --=20 Cheers, R. = This message and any attachment are intended solely for the addressee a= nd may contain confidential information. If you have received this mess= age in error, please send it back to me, and immediately delete it. P= lease do not use, copy or disclose the information contained in this me= ssage or in any attachment. Any views or opinions expressed by the aut= hor of this email do not necessarily reflect the views of the Universit= y of Nottingham.=0D=0A=0D=0AThis message has been checked for viruses b= ut the contents of an attachment=0D=0Amay still contain software viruse= s which could damage your computer system:=0D=0Ayou are advised to perf= orm your own checks. Email communications with the=0D=0AUniversity of N= ottingham may be monitored as permitted by UK legislation.= From anil@recoil.org Wed Sep 21 02:41:15 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R6BoJ-0000hk-0z (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 02:41:15 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:17551 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R6BoI-000818-RJ (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 02:41:14 +0100 Received: (qmail 5057 invoked by uid 634); 21 Sep 2011 01:41:14 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.2.96]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Wed, 21 Sep 2011 02:41:14 +0100 Subject: Re: maybe just my old xen installation but... Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: <088218B7-6A52-4840-A56C-160FCE74EDC9@nottingham.ac.uk> Date: Wed, 21 Sep 2011 10:41:10 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: References: <088218B7-6A52-4840-A56C-160FCE74EDC9@nottingham.ac.uk> To: Richard Mortier X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Sep 2011 01:41:15 -0000 X-Keywords: X-UID: 93 Status: O Content-Length: 2606 Lines: 64 An internal compiler error eh? I'm going to go with "extremely broken = installation". Is the Ubuntu a VM under Xen? 32- or 64? Anil On 21 Sep 2011, at 06:11, Richard Mortier wrote: > just got this on a "make all install" on linux: >=20 > ... > os/runtime_xen/ocaml/freelist.c:495: note: initialized from here > + cc -c -Wall -g -O3 -U __linux__ -U __FreeBSD__ -U __sun__ = -D__MiniOS__ -D__MiniOS__ -D__x86_64__ = '-D__XEN_INTERFACE_VERSION__=3D0x00030205' -D__INSIDE_MINIOS__ -nostdinc = '-std=3Dgnu99' -fno-stack-protector -m64 -mno-red-zone = -fno-reorder-blocks -fstrict-aliasing -momit-leaf-frame-pointer = -mfancy-math-387 -I/usr/lib/gcc/x86_64-linux-gnu/4.4.3/include -isystem = /home/rmm/mirage/mirage/lib/os/runtime_xen/include/ -isystem = /home/rmm/mirage/mirage/lib/os/runtime_xen/include/mini-os -isystem = /home/rmm/mirage/mirage/lib/os/runtime_xen/include/mini-os/x86 = -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_amd64 -DSYS_xen = -I/home/rmm/mirage/mirage/lib/os/runtime_xen/ocaml -o = os/runtime_xen/ocaml/io.o os/runtime_xen/ocaml/io.c > In file included from os/runtime_xen/ocaml/io.c:31: > /home/rmm/mirage/mirage/lib/os/runtime_xen/ocaml/io.h:84: internal = compiler error: in grokdeclarator, at c-decl.c:5004 > Please submit a full bug report, > with preprocessed source if appropriate. > See for instructions. > Command exited with code 1. > Compilation unsuccessful after building 533 targets (0 cached) in = 00:00:25. > make[1]: *** [xen] Error 10 > make[1]: Leaving directory `/home/rmm/mirage/mirage/lib' > make: *** [all] Error 2 >=20 > any suggestions? is that a known bad gcc, a broken xen install, or is = there genuinely something wrong here? this is, afaik, a vanilla ubuntu = 10.04, updated as of this morning. > --=20 > Cheers, >=20 > R. >=20 > This message and any attachment are intended solely for the addressee = and may contain confidential information. If you have received this = message in error, please send it back to me, and immediately delete it. = Please do not use, copy or disclose the information contained in this = message or in any attachment. Any views or opinions expressed by the = author of this email do not necessarily reflect the views of the = University of Nottingham. >=20 > This message has been checked for viruses but the contents of an = attachment > may still contain software viruses which could damage your computer = system: > you are advised to perform your own checks. Email communications with = the > University of Nottingham may be monitored as permitted by UK = legislation. From Richard.Mortier@nottingham.ac.uk Wed Sep 21 09:12:08 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R6Hua-0000WF-J9 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 09:12:08 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from ixe-mta-19-tx.emailfiltering.com ([194.116.198.150]:41001 helo=ixe-mta-19.emailfiltering.com) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp (csa=unknown) id 1R6HuV-0004hq-Dn (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 09:12:08 +0100 Received: from smtp1.nottingham.ac.uk ([128.243.44.4]) by ixe-mta-19.emailfiltering.com with emfmta (version 4.8.3.54) vanilla id 1977089364 for cl-mirage@lists.cam.ac.uk; c88482aa4e40686c; Wed, 21 Sep 2011 09:11:43 +0100 Received: from suismtp2.ad.nottingham.ac.uk ([128.243.42.11]) by smtp1.nottingham.ac.uk with esmtp (Exim 4.60) (envelope-from ) id 1R6HuA-0001jq-P9 for cl-mirage@lists.cam.ac.uk; Wed, 21 Sep 2011 09:11:42 +0100 Received: from UIWEXHUB02.ad.nottingham.ac.uk ([128.243.15.132]) by SUISMTP2.ad.nottingham.ac.uk with Microsoft SMTPSVC(6.0.3790.4675); Wed, 21 Sep 2011 09:11:38 +0100 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::60c2:2879:5a5a:29a6]) by UIWEXHUB02.ad.nottingham.ac.uk ([2002:80f3:f84::80f3:f84]) with mapi; Wed, 21 Sep 2011 09:11:37 +0100 From: Richard Mortier To: Anil Madhavapeddy Date: Wed, 21 Sep 2011 09:10:50 +0100 Subject: Re: maybe just my old xen installation but... Thread-Topic: maybe just my old xen installation but... Thread-Index: Acx4NhWelsAXFEGnQVWvAu5My9buwA== Message-ID: References: <088218B7-6A52-4840-A56C-160FCE74EDC9@nottingham.ac.uk> In-Reply-To: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginalArrivalTime: 21 Sep 2011 08:11:38.0250 (UTC) FILETIME=[162CBEA0:01CC7836] Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Sep 2011 08:12:08 -0000 X-Keywords: X-UID: 94 Status: O Content-Length: 1169 Lines: 31 On 21 Sep 2011, at 02:41, Anil Madhavapeddy wrote: > An internal compiler error eh? I'm going to go with "extremely broken ins= tallation". i tend to agree, although i'd note that building mirage previously has work= ed. (last time was maybe a month or two ago on that box.) > Is the Ubuntu a VM under Xen? 32- or 64? building inside dom0, ubuntu 64 --=20 Cheers, R. = This message and any attachment are intended solely for the addressee a= nd may contain confidential information. If you have received this mess= age in error, please send it back to me, and immediately delete it. P= lease do not use, copy or disclose the information contained in this me= ssage or in any attachment. Any views or opinions expressed by the aut= hor of this email do not necessarily reflect the views of the Universit= y of Nottingham.=0D=0A=0D=0AThis message has been checked for viruses b= ut the contents of an attachment=0D=0Amay still contain software viruse= s which could damage your computer system:=0D=0Ayou are advised to perf= orm your own checks. Email communications with the=0D=0AUniversity of N= ottingham may be monitored as permitted by UK legislation.= From anil@recoil.org Wed Sep 21 09:12:41 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R6Hv7-0000hR-Oh (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 09:12:41 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:36289 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R6Hv7-00042V-Qh (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 09:12:41 +0100 Received: (qmail 20510 invoked by uid 634); 21 Sep 2011 08:12:40 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.2.96]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Wed, 21 Sep 2011 09:12:40 +0100 Subject: Re: maybe just my old xen installation but... Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Wed, 21 Sep 2011 17:12:34 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: <25205852-E8BC-4A6A-8CEF-02EDA0D72270@recoil.org> References: <088218B7-6A52-4840-A56C-160FCE74EDC9@nottingham.ac.uk> To: Richard Mortier X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Sep 2011 08:12:41 -0000 X-Keywords: X-UID: 95 Status: O Content-Length: 1365 Lines: 43 Probably worth running memtest86 on it, to save yourself a bunch of time = in case it's hardware-related. Anil On 21 Sep 2011, at 17:10, Richard Mortier wrote: >=20 > On 21 Sep 2011, at 02:41, Anil Madhavapeddy wrote: >=20 >> An internal compiler error eh? I'm going to go with "extremely broken = installation". >=20 > i tend to agree, although i'd note that building mirage previously has = worked. (last time was maybe a month or two ago on that box.) >=20 >> Is the Ubuntu a VM under Xen? 32- or 64? >=20 > building inside dom0, ubuntu 64 >=20 > --=20 > Cheers, >=20 > R. >=20 > This message and any attachment are intended solely for the addressee = and may contain confidential information. If you have received this = message in error, please send it back to me, and immediately delete it. = Please do not use, copy or disclose the information contained in this = message or in any attachment. Any views or opinions expressed by the = author of this email do not necessarily reflect the views of the = University of Nottingham. >=20 > This message has been checked for viruses but the contents of an = attachment > may still contain software viruses which could damage your computer = system: > you are advised to perform your own checks. Email communications with = the > University of Nottingham may be monitored as permitted by UK = legislation. From anil@recoil.org Wed Sep 21 18:08:39 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R6QHn-0003yz-7Y (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 18:08:39 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:27731 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp (csa=unknown) id 1R6QHm-0002j9-sX (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 18:08:39 +0100 Received: (qmail 26664 invoked by uid 634); 21 Sep 2011 17:08:38 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from s224.GtokyoFL6.vectant.ne.jp (HELO [10.10.2.96]) (222.228.90.224) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Wed, 21 Sep 2011 18:08:38 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: tutorial sanity check Date: Thu, 22 Sep 2011 02:08:34 +0900 Message-Id: <4E9557D7-43B0-4980-8B68-9910AECC2DC7@recoil.org> To: Mirage List Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Sep 2011 17:08:39 -0000 X-Keywords: X-UID: 96 Status: O Content-Length: 629 Lines: 16 In case anyone else has time (Balraj, Raphael mainly), I've pushed a 99% = version of the tutorial to avsm/mirage-tutorial.git; just cd slides && = make and it will listen on localhost:8000 It is pretty self-contained (but 80+ slides!), and could use a quick = sanity run through the examples to make sure they work for you. There = are skeleton versions of the files in mirage-tutorial/examples.=20 Some of the early diagrams are quite poor, so I'll be fleshing those out = tomorrow morning and adding more ending content (once I get the EC2 = scripts working again ;) Any comments most welcome in the next few hour! Anil= From thomas.gazagnaire@gmail.com Wed Sep 21 20:58:00 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R6Svg-0006A6-GL (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 20:58:00 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.218.51 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-yi0-f51.google.com ([209.85.218.51]:42395) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R6Svf-00080t-s7 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Sep 2011 20:58:00 +0100 Received: by yie16 with SMTP id 16so1656288yie.38 for ; Wed, 21 Sep 2011 12:57:59 -0700 (PDT) Received: by 10.68.2.37 with SMTP id 5mr1892701pbr.69.1316635078709; Wed, 21 Sep 2011 12:57:58 -0700 (PDT) Received: from [10.10.2.142] (s224.GtokyoFL6.vectant.ne.jp. [222.228.90.224]) by mx.google.com with ESMTPS id u10sm19835616pbr.12.2011.09.21.12.57.57 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 21 Sep 2011 12:57:58 -0700 (PDT) From: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: multipart/alternative; boundary=Apple-Mail-2--974540623 Subject: Re: tutorial sanity check Date: Thu, 22 Sep 2011 04:57:55 +0900 In-Reply-To: <4E9557D7-43B0-4980-8B68-9910AECC2DC7@recoil.org> To: Mirage List References: <4E9557D7-43B0-4980-8B68-9910AECC2DC7@recoil.org> Message-Id: X-Mailer: Apple Mail (2.1084) X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Sep 2011 19:58:00 -0000 X-Keywords: X-UID: 97 Status: O Content-Length: 2586 Lines: 63 --Apple-Mail-2--974540623 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii I've also just finished to tidy-up the doc generation (see = https://github.com/samoht/mirage-browser) If you have time to check that the produced doc looks good and if you = have try to improve the contents, that would be great! Thomas On Sep 22, 2011, at 2:08 AM, Anil Madhavapeddy wrote: > In case anyone else has time (Balraj, Raphael mainly), I've pushed a = 99% version of the tutorial to avsm/mirage-tutorial.git; just cd slides = && make and it will listen on localhost:8000 >=20 > It is pretty self-contained (but 80+ slides!), and could use a quick = sanity run through the examples to make sure they work for you. There = are skeleton versions of the files in mirage-tutorial/examples.=20 >=20 > Some of the early diagrams are quite poor, so I'll be fleshing those = out tomorrow morning and adding more ending content (once I get the EC2 = scripts working again ;) >=20 > Any comments most welcome in the next few hour! >=20 > Anil --Apple-Mail-2--974540623 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii I've = also just finished to tidy-up the doc generation (see https://github.com/samoh= t/mirage-browser)

If you have time to check that = the produced doc looks good and if you have try to improve the contents, = that would be = great!

Thomas


On Sep 22, 2011, at 2:08 AM, Anil Madhavapeddy wrote:

In = case anyone else has time (Balraj, Raphael mainly), I've pushed a 99% = version of the tutorial to avsm/mirage-tutorial.git; just cd slides = && make and it will listen on localhost:8000

It is pretty = self-contained (but 80+ slides!), and could use a quick sanity run = through the examples to make sure they work for you. There are skeleton = versions of the files in mirage-tutorial/examples.

Some of the = early diagrams are quite poor, so I'll be fleshing those out tomorrow = morning and adding more ending content (once I get the EC2 scripts = working again ;)

Any comments most welcome in the next few = hour!

Anil

= --Apple-Mail-2--974540623-- From anil@recoil.org Wed Sep 28 13:51:00 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8tbI-0003mj-6E (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 13:51:00 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:16119 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R8tbH-0001hN-Wt (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 13:51:00 +0100 Received: (qmail 6268 invoked by uid 634); 28 Sep 2011 12:50:59 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from no-dns-yet.demon.co.uk (HELO [192.168.14.175]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Wed, 28 Sep 2011 13:50:58 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: next steps Date: Wed, 28 Sep 2011 13:50:57 +0100 Message-Id: To: Mirage List Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Fabrice LE FESSANT X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 12:51:00 -0000 X-Keywords: X-UID: 98 Status: O Content-Length: 1873 Lines: 41 Thanks to everyone for a brilliant effort to make the CUFP tutorial such = a success! My highlight was Dave Scott "live fixing" the tree about one = hour after the tutorial started :-) So now that the dust has settled, here's some feedback: - Running the tutorial as a Mirage program at the very beginning worked = really well. Everyone was up and running with the slides on their local = browser within the first 10 minutes.=20 - The threading tutorial took about 2x longer than expected, as it's the = first portion and everyone is getting familiar with basic concepts. I = cancelled the breaks (from 30 minutes to 5 minutes) so we made up the = time, but everyone was quite tired by the end. - Yaron Minsky suggested merging Core (the really nice Jane Street = Capital standard libraries that are very featureful) with Mirage, so I'm = investigating that. - A few people suggested replacing our use of OCaml objects in the = device manager with first-class modules. I've prototyped the various = approaches in a Gist here: https://gist.github.com/1245418 , and it does = indeed appear that this approach would work. I'll apply that change. I'm also working on a PLDI submission (about "functional application = synthesis"), and for that I'll branch the tree with a few hacks: - Taking OCamlPro's reentrant runtime and get Mirage working as a kernel = module, so we can experiment with type-safe network/storage in the = kernel. - Also apply OCamlPro's "command line functor" patch, and use that the = formal foundation for our use of compile-time module specifications. = See: http://www.ocamlpro.com/code/2011-08-10-ocaml-pack-functors.html In terms of a release, we need to figure out what the best thing to do = is with regards to using Core versus the OCaml standard library. If = anyone investigates Async and Lwt integration, let the list know! Anil= From raphlalou@gmail.com Wed Sep 28 14:35:17 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8uI9-0005Va-12 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 14:35:17 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.212.51 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-vw0-f51.google.com ([209.85.212.51]:45597) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp (csa=unknown) id 1R8uI7-0004fD-Sj (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 14:35:17 +0100 Received: by vws20 with SMTP id 20so4395778vws.38 for ; Wed, 28 Sep 2011 06:35:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.24.135 with SMTP id u7mr8861250vdf.464.1317216915162; Wed, 28 Sep 2011 06:35:15 -0700 (PDT) Received: by 10.220.150.141 with HTTP; Wed, 28 Sep 2011 06:35:15 -0700 (PDT) In-Reply-To: References: Date: Wed, 28 Sep 2011 14:35:15 +0100 Message-ID: Subject: Re: next steps From: Raphael Proust To: Anil Madhavapeddy Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Cc: Fabrice LE FESSANT , Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 13:35:17 -0000 X-Keywords: X-UID: 99 Status: O Content-Length: 1007 Lines: 29 On Wed, Sep 28, 2011 at 1:50 PM, Anil Madhavapeddy wrote: > [=E2=80=A6] > > - Yaron Minsky suggested merging Core (the really nice Jane Street Capita= l standard libraries that are very featureful) with Mirage, so I'm investig= ating that. Having a more complete standard library seems a good idea. There are two open questions though: - how will it impact the size of the binaries? Will it make a native equivalent of ocamlclean necessary? - is Core getting a better documentation soon? (current doc is here: http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html ) > [=E2=80=A6] > > In terms of a release, we need to figure out what the best thing to do is= with regards to using Core versus the OCaml standard library. If anyone in= vestigates Async and Lwt integration, let the list know! I could not find the Async library. I downloaded all the .tar.gz I could find on JS' website. If anyone can get their hands on an async release=E2=80=A6 --=20 _______ Raphael From Dave.Scott@eu.citrix.com Wed Sep 28 14:45:10 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8uRi-0005wA-Sa (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 14:45:10 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.4 from SpamAssassin-3.3.2-1162027 * -0.5 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from smtp.eu.citrix.com ([62.200.22.115]:53581) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp (csa=unknown) id 1R8uRi-0007sw-XA (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 14:45:10 +0100 X-IronPort-AV: E=Sophos;i="4.68,455,1312156800"; d="scan'208";a="8106107" Received: from lonpmailmx02.citrite.net ([10.30.203.163]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/RC4-MD5; 28 Sep 2011 13:45:09 +0000 Received: from LONPMAILBOX01.citrite.net ([10.30.224.160]) by LONPMAILMX02.citrite.net ([10.30.203.163]) with mapi; Wed, 28 Sep 2011 14:45:09 +0100 From: Dave Scott To: 'Raphael Proust' , Anil Madhavapeddy Date: Wed, 28 Sep 2011 14:45:08 +0100 Subject: RE: next steps Thread-Topic: next steps Thread-Index: Acx946kCihwIXLQvRDSN00v2s3sA2AAAP+rg Message-ID: <81A73678E76EA642801C8F2E4823AD21BC2EE2FCB1@LONPMAILBOX01.citrite.net> References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Cc: Fabrice LE FESSANT , Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 13:45:10 -0000 X-Keywords: X-UID: 100 Status: O Content-Length: 553 Lines: 9 DQoNCj4gSSBjb3VsZCBub3QgZmluZCB0aGUgQXN5bmMgbGlicmFyeS4gSSBkb3dubG9hZGVkIGFs bCB0aGUgLnRhci5neiBJDQo+IGNvdWxkIGZpbmQgb24gSlMnIHdlYnNpdGUuIElmIGFueW9uZSBj YW4gZ2V0IHRoZWlyIGhhbmRzIG9uIGFuIGFzeW5jDQo+IHJlbGVhc2XigKYNCg0KSXQgbXVzdCBo YXZlIGJlZW4gaW4gb25lIG9mIHRoZSBwYWNrYWdlcyBsaXN0ZWQgb24gdGhlIENVRlAgdHV0b3Jp YWwgcGFnZTogKHNlZSAiQWx0ZXJuYXRlIHByZXBhcmF0aW9uIikNCg0KaHR0cDovL2N1ZnAub3Jn L2NvbmZlcmVuY2Uvc2Vzc2lvbnMvMjAxMS90Mi1qYW5lc3RyZWV0cy1vY2FtbC1jb3JlLWxpYnJh cnkNCg0KLS0gcGVyaGFwcyBpdCB3YXMgaW4gImNvcmUtZXh0ZW5kZWQiPw0KDQpDaGVlcnMsDQpE YXZlDQoNCg== From raphlalou@gmail.com Wed Sep 28 15:01:46 2011 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8uhm-0006oN-LU (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:01:46 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.220.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-vx0-f179.google.com ([209.85.220.179]:56201) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp (csa=unknown) id 1R8uhl-0004MX-Eh (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:01:46 +0100 Received: by vcbf1 with SMTP id f1so5202337vcb.38 for ; Wed, 28 Sep 2011 07:01:45 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.20.239 with SMTP id q15mr8717651vde.89.1317218504932; Wed, 28 Sep 2011 07:01:44 -0700 (PDT) Received: by 10.220.150.141 with HTTP; Wed, 28 Sep 2011 07:01:44 -0700 (PDT) In-Reply-To: <81A73678E76EA642801C8F2E4823AD21BC2EE2FCB1@LONPMAILBOX01.citrite.net> References: <81A73678E76EA642801C8F2E4823AD21BC2EE2FCB1@LONPMAILBOX01.citrite.net> Date: Wed, 28 Sep 2011 15:01:44 +0100 Message-ID: Subject: Re: next steps From: Raphael Proust To: Dave Scott Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Cc: Fabrice LE FESSANT , Mirage List , Anil Madhavapeddy X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 14:01:46 -0000 X-Keywords: X-UID: 101 Status: O Content-Length: 1111 Lines: 38 On Wed, Sep 28, 2011 at 2:45 PM, Dave Scott wrot= e: > > >> I could not find the Async library. I downloaded all the .tar.gz I >> could find on JS' website. If anyone can get their hands on an async >> release=E2=80=A6 > > It must have been in one of the packages listed on the CUFP tutorial page= : (see "Alternate preparation") > > http://cufp.org/conference/sessions/2011/t2-janestreets-ocaml-core-librar= y > > -- perhaps it was in "core-extended"? Packages listed in the cufp website are the same as those in js' website (the links in CUFP page actually points to archives at http://www.janestreet.com/ocaml/ ). I have unpacked everything and try the following: $ find . -iname "*async*" $ find . -iname "*Async*" $ grep -i async **/* patdiff-107.01/ansi_terminal/ANSITerminal.ml: (e.g. Async.Std.Print) *) And so it appears that, the only reference I could find to Async is in a comment=E2=80=A6 Did the tutorial actually made use of Async? Or was it only demonstrated by Yaron on his own machine? --=20 _______ Raphael From anil@recoil.org Wed Sep 28 15:27:31 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8v6h-00005w-Tj (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:27:31 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:29660 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp (csa=unknown) id 1R8v6h-0001v9-XB (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:27:31 +0100 Received: (qmail 23359 invoked by uid 634); 28 Sep 2011 14:27:31 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from freak-0.srg.cl.cam.ac.uk (HELO freak-0.srg.cl.cam.ac.uk) (128.232.32.220) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Wed, 28 Sep 2011 15:27:30 +0100 Subject: Re: next steps Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: text/plain; charset=windows-1252 From: Anil Madhavapeddy In-Reply-To: Date: Wed, 28 Sep 2011 15:27:29 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <1AB00A27-E2F0-4397-9A56-B3775D150412@recoil.org> References: To: Raphael Proust X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Fabrice LE FESSANT , Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 14:27:32 -0000 X-Keywords: X-UID: 102 Status: O Content-Length: 1091 Lines: 29 On 28 Sep 2011, at 14:35, Raphael Proust wrote: > On Wed, Sep 28, 2011 at 1:50 PM, Anil Madhavapeddy = wrote: >> [=85] >>=20 >> - Yaron Minsky suggested merging Core (the really nice Jane Street = Capital standard libraries that are very featureful) with Mirage, so I'm = investigating that. >=20 > Having a more complete standard library seems a good idea. There are > two open questions though: > - how will it impact the size of the binaries? Will it make a native > equivalent of ocamlclean necessary? I'm hoping that the OcamlPro namespaces patch will make this a = non-issue; the idea there is that subdirectories of modules can all be = separately compiled and packed individually. Fabrice, Thomas, can you = comment on the feasibility of this? > - is Core getting a better documentation soon? (current doc is here: > http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html ) Yeah, they're working on it. I've also mailed Yaron asking for the URL = of the Async library. It's not in the released source code bundles as = far as I can tell. Anil= From fabrissimo@gmail.com Wed Sep 28 15:48:40 2011 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8vRA-0001C0-DK (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:48:40 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.6 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.214.51 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (fabrissimo[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-bw0-f51.google.com ([209.85.214.51]:42800) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp (csa=unknown) id 1R8vR9-0003Ij-Xm (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 15:48:40 +0100 Received: by bkbzu17 with SMTP id zu17so7909083bkb.38 for ; Wed, 28 Sep 2011 07:48:39 -0700 (PDT) Received: by 10.204.134.153 with SMTP id j25mr5864411bkt.338.1317221319102; Wed, 28 Sep 2011 07:48:39 -0700 (PDT) Received: from [128.93.60.63] (koch-irill.inria.fr. [128.93.60.63]) by mx.google.com with ESMTPS id m18sm28457105bkt.12.2011.09.28.07.48.37 (version=SSLv3 cipher=OTHER); Wed, 28 Sep 2011 07:48:38 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4E8333C8.2010509@ocamlpro.com> Date: Wed, 28 Sep 2011 16:48:40 +0200 From: Fabrice LE FESSANT Organization: Consultant Scientifique de l'INRIA pour OCamlPro User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.21) Gecko/20110831 Lightning/1.0b2 Thunderbird/3.1.13 MIME-Version: 1.0 To: Anil Madhavapeddy Subject: Re: next steps References: <1AB00A27-E2F0-4397-9A56-B3775D150412@recoil.org> In-Reply-To: <1AB00A27-E2F0-4397-9A56-B3775D150412@recoil.org> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Cc: Mirage List , Raphael Proust X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 14:48:40 -0000 X-Keywords: X-UID: 103 Status: O Content-Length: 1433 Lines: 28 On 09/28/2011 04:27 PM, Anil Madhavapeddy wrote: >> Having a more complete standard library seems a good idea. There are >> two open questions though: >> - how will it impact the size of the binaries? Will it make a native >> equivalent of ocamlclean necessary? A native equivalent of ocamlclean would be very difficult to implement, as it would require whole-program analysis before code generation. > I'm hoping that the OcamlPro namespaces patch will make this a non-issue; the idea there is that subdirectories of modules can all be separately compiled and packed individually. Fabrice, Thomas, can you comment on the feasibility of this? Indeed. The idea is just that packing modules would be replaced by having a hierarchical naming scheme, so that only modules that are actually used would be linked, instead of all modules that are packed together. The compiler could -- but is not forced to -- use the file-system hierarchy to infer namespaces for modules automatically, but a namespace can also be provided just as an option to the compiler. Note that there is still a difference between namespaces and modules, i.e. namespaces are not modules. For example, if you can generate A.X and A.Y both using either namespaces (A would be a namespace) or pack (A would be a module), you can only use module A as a functor argument, and never the namespace A (who can only be used to qualify identifiers of modules). Fabrice From thomas.gazagnaire@gmail.com Wed Sep 28 17:10:10 2011 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R8wi2-0004HR-PT (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 17:10:10 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1162027 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.41 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-ww0-f41.google.com ([74.125.82.41]:63764) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp (csa=unknown) id 1R8wi0-0004ke-sN (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Sep 2011 17:10:10 +0100 Received: by wwf10 with SMTP id 10so1763348wwf.2 for ; Wed, 28 Sep 2011 09:10:08 -0700 (PDT) Received: by 10.216.185.74 with SMTP id t52mr1310676wem.25.1317226208647; Wed, 28 Sep 2011 09:10:08 -0700 (PDT) Received: from [192.168.0.10] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id u16sm39168101wbm.5.2011.09.28.09.10.04 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 28 Sep 2011 09:10:07 -0700 (PDT) Subject: Re: next steps Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: <4E8333C8.2010509@ocamlpro.com> Date: Wed, 28 Sep 2011 18:10:03 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: <92BDABB1-37FD-4561-820A-F766955C8EAE@gmail.com> References: <1AB00A27-E2F0-4397-9A56-B3775D150412@recoil.org> <4E8333C8.2010509@ocamlpro.com> To: Fabrice LE FESSANT X-Mailer: Apple Mail (2.1084) Cc: Raphael Proust , Mirage List , Anil Madhavapeddy X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Sep 2011 16:10:10 -0000 X-Keywords: X-UID: 104 Status: O Content-Length: 477 Lines: 11 > For example, if you can generate A.X and A.Y both using either > namespaces (A would be a namespace) or pack (A would be a module), you > can only use module A as a functor argument, and never the namespace A > (who can only be used to qualify identifiers of modules). How hard do you think it is to overcome this ? We can use the signature = constraint to infer the link order or add a conf file at the directory = root. But I guess it is more complicated than that :-) From anil@recoil.org Thu Sep 29 12:14:52 2011 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1R9EZo-0002e5-Lo (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 29 Sep 2011 12:14:52 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1162027 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:15343 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp (csa=unknown) id 1R9EZm-0003lE-So (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 29 Sep 2011 12:14:52 +0100 Received: (qmail 6267 invoked by uid 634); 29 Sep 2011 11:14:50 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.4 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from freak-0.srg.cl.cam.ac.uk (HELO [192.168.2.3]) (128.232.32.220) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Thu, 29 Sep 2011 12:14:50 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Subject: New blog entry: an outing to CUFP 2011 Date: Thu, 29 Sep 2011 12:14:50 +0100 Message-Id: To: Mirage List Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 29 Sep 2011 11:14:52 -0000 X-Keywords: X-UID: 105 Status: O Content-Length: 108 Lines: 6 I've put an update of recent hacking on the blog! http://www.openmirage.org/blog/an-outing-to-cufp -anil