From avsm@dark.recoil.org Sun Jun 02 15:14:08 2013 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 1Uj92u-0003no-CB (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 02 Jun 2013 15:14:08 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1488494 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:10109 helo=dark.recoil.org) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1Uj92t-00055w-FT (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 02 Jun 2013 15:14:08 +0100 Received: (qmail 6448 invoked by uid 10000); 2 Jun 2013 14:14:07 -0000 Date: Sun, 2 Jun 2013 15:14:07 +0100 From: Anil Madhavapeddy To: Jon Ludlam Subject: Re: https://polarssl.org/ Message-ID: <20130602141407.GB18306@dark.recoil.org> References: <5181591B.1070004@luminar.eu.org> <20130520165620.GA22270@damage> <7A7AC10A-3DF6-45C3-BBD0-FD0758EC8421@cam.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <7A7AC10A-3DF6-45C3-BBD0-FD0758EC8421@cam.ac.uk> User-Agent: Mutt/1.5.21 (2010-09-15) Cc: Vincent Bernardoff , "cl-mirage@lists.cam.ac.uk" , Prashanth Mundkur 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, 02 Jun 2013 14:14:08 -0000 Content-Length: 1522 Lines: 48 It looks like a port using ctypes would still be quite easy though. The `ssl/tlsv1.h` and `ssl/os_port.h` defines read/write ifdefs, and they check for EWOULDBLOCK. This means that binding to Async or Lwt is a straightforward mapping that will work with the usual select/epoll/kqueue loop. -anil On Tue, May 21, 2013 at 07:35:25PM +0100, Jon Ludlam wrote: > Looks very nice :-) > > The only thing I see is that it requires unix file descriptors whereas > matrixssl doesn't - this might make mirage integration a bit more > tricky. > > Jon > > Sent from my iPad > > On 20 May 2013, at 17:56, Prashanth Mundkur wrote: > > > Just came across this BSD licensed library > > > > http://axtls.sourceforge.net/index.htm > > > > > > On 19:07 Wed 01 May, Anil Madhavapeddy wrote: > >> On 1 May 2013, at 19:04, Vincent Bernardoff > >> wrote: > >> > >>> Another embeddded SSL lib, I just found out that mini-os is using > >>> it. Might be worth a look if not already done ? > >>> > >> > >> It's also dual commercial GPLv2 licensed, unfortunately, and so > >> roughly the same as MatrixSSL. I've not looked in more depth though, > >> as MatrixSSL has a really nice low-level API that is perfect for our > >> binding needs... > >> > >> Jon, is your WIP on Github anywhere? I do think it would be easier > >> to have something on UNIX ahead of the mirage-platform version, if > >> only to run it through valgrind and bind to Async too... > >> > >> -anil > >> > >> > > From sdiris@gmail.com Mon Jun 03 12:47:42 2013 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 1UjTEk-0007Zq-9W (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 03 Jun 2013 12:47:42 +0100 X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1488650 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.177 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-we0-f177.google.com ([74.125.82.177]:39907) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1UjTEj-00041J-F7 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 03 Jun 2013 12:47:42 +0100 Received: by mail-we0-f177.google.com with SMTP id m19so849532wev.36 for ; Mon, 03 Jun 2013 04:47:41 -0700 (PDT) X-Received: by 10.194.158.34 with SMTP id wr2mr18621602wjb.57.1370260061534; Mon, 03 Jun 2013 04:47:41 -0700 (PDT) Received: from yimingwin7 (c158.al.cl.cam.ac.uk. [128.232.110.158]) by mx.google.com with ESMTPSA id d10sm22925799wik.0.2013.06.03.04.47.39 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Mon, 03 Jun 2013 04:47:40 -0700 (PDT) From: "Yiming Zhang" To: Subject: what is the advantage of ocaml over c? Date: Mon, 3 Jun 2013 12:47:38 +0100 Message-ID: <002001ce6050$26e64b40$74b2e1c0$@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0021_01CE6058.88AB4F80" X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac5gSmRvOsLnqhiPR7yJcxwpVakdgA== Content-Language: zh-cn 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: Mon, 03 Jun 2013 11:47:42 -0000 Content-Length: 3562 Lines: 107 This is a multipart message in MIME format. ------=_NextPart_000_0021_01CE6058.88AB4F80 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Hi all, In the Tuesday NetOS group meeting (2 weeks ? ago when most mirage people not in the Lab), almost all questions are about what is the real advantage of OCaml over C/C++ for system programming. Can we use as-simple-as-possible examples to explain what is the meaning and advantage of "type safe", "functional programming", "no side-effects" in OCaml? That is really a problem in my mind all the time! Cheers, Yiming ------=_NextPart_000_0021_01CE6058.88AB4F80 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Hi = all,

 

In the Tuesday NetOS group meeting (2 weeks ? ago when most = mirage people not in the Lab), almost all questions are about what is = the real advantage of OCaml over C/C++ for system programming. Can we = use as-simple-as-possible examples to explain what is the meaning and = advantage of “type safe”, “functional = programming”, “no side-effects” in OCaml? That is = really a problem in my mind all the time!

 

Cheers,

Yiming

 

------=_NextPart_000_0021_01CE6058.88AB4F80-- From anil@recoil.org Mon Jun 03 13:24:13 2013 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 1UjTo5-0001AD-7b (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 03 Jun 2013 13:24:13 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1488650 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:22257 helo=dark.recoil.org) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1UjTo4-00058T-Et (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 03 Jun 2013 13:24:13 +0100 Received: (qmail 29409 invoked by uid 634); 3 Jun 2013 12:24:12 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.1.75]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 03 Jun 2013 13:24:11 +0100 Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: what is the advantage of ocaml over c? From: Anil Madhavapeddy In-Reply-To: <002001ce6050$26e64b40$74b2e1c0$@gmail.com> Date: Mon, 3 Jun 2013 13:24:03 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <6DE55BAD-9AEC-4B06-91D3-F68EBEBF1725@recoil.org> References: <002001ce6050$26e64b40$74b2e1c0$@gmail.com> To: "Yiming Zhang" X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk 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: Mon, 03 Jun 2013 12:24:13 -0000 Content-Length: 618 Lines: 18 On 3 Jun 2013, at 12:47, "Yiming Zhang" wrote: > Hi all, > =20 > In the Tuesday NetOS group meeting (2 weeks ? ago when most mirage = people not in the Lab), almost all questions are about what is the real = advantage of OCaml over C/C++ for system programming. Can we use = as-simple-as-possible examples to explain what is the meaning and = advantage of =93type safe=94, =93functional programming=94, =93no = side-effects=94 in OCaml? That is really a problem in my mind all the = time! An excellent article on this topic is available here: http://queue.acm.org/detail.cfm?id=3D2038036 -anil From amc79@cam.ac.uk Tue Jun 04 15:13:54 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Ujrzm-0005Nt-LB (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:13:54 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from dhcp-172-17-157-89.eduroam.lapwing.private.cam.ac.uk ([172.17.157.89]:64497) by ppsw-42.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1Ujrzm-0005Hv-8T (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:13:54 +0100 From: Amir Chaudhry Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Mirage weekly call - today at 1600 BST Message-Id: <12F8C7D1-6F52-460F-B44B-E3EDEAD5310A@cam.ac.uk> Date: Tue, 4 Jun 2013 15:13:57 +0100 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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, 04 Jun 2013 14:13:54 -0000 Content-Length: 2755 Lines: 87 Hi folks, this is a reminder of the Mirage weekly call. =46rom today at = 4pm (BST) - call details are below. 1. Please join my meeting. https://www1.gotomeeting.com/join/591890401 2. Use your microphone and speakers (VoIP) - a headset is recommended. = Or, call in using your telephone. United States: +1 (626) 521-0017 Argentina (toll-free): 0 800 266 1385 Australia (toll-free): 1 800 191 358 Australia: +61 2 8355 1038 Austria (toll-free): 0 800 080061 Austria: +43 (0) 7 2088 0716 Bahrain (toll-free): 800 81 305 Belarus (toll-free): 8 820 0011 0331 Belgium (toll-free): 0 800 81388 Belgium: +32 (0) 28 08 4372 Brazil (toll-free): 0 800 047 4909 Canada (toll-free): 1 877 777 3281 Canada: +1 (647) 497-9380 China (toll-free): 4008 866154 Czech Republic (toll-free): 800 500453 Denmark (toll-free): 8025 0919 Denmark: +45 (0) 69 91 84 58 Finland (toll-free): 80094473 Finland: +358 (0) 931 58 1773 France (toll-free): 0 805 541 052 France: +33 (0) 170 950 590 Germany (toll-free): 0 800 723 5274 Germany: +49 (0) 811 8899 6934 Hong Kong (toll-free): 30774812 Iceland (toll-free): 800 9993 India (toll-free): 000 800 100 8227 Indonesia (toll-free): 001 803 020 2563 Ireland (toll-free): 1 800 818 263 Ireland: +353 (0) 15 133 006 Israel (toll-free): 1 809 388 020 Italy (toll-free): 800 906962 Italy: +39 0 699 26 68 65 Japan (toll-free): 0 120 242 200 Korea, Republic of (toll-free): 806180880 Luxembourg (toll-free): 800 81016 Malaysia (toll-free): 1 800 81 6504 Mexico (toll-free): 01 800 123 8367 Netherlands (toll-free): 0 800 020 0178 Netherlands: +31 (0) 208 080 759 New Zealand (toll-free): 0 800 44 9375 New Zealand: +64 (0) 9 974 9579 Norway (toll-free): 800 33 083 Norway: +47 21 04 30 59 Panama (toll-free): 18005072789 Peru (toll-free): 0 800 55253 Philippines (toll-free): 1 800 1110 1565 Poland (toll-free): 00 800 3211434 Portugal (toll-free): 800 180 139 Russian Federation (toll-free): 8 800 100 6914 Saudi Arabia (toll-free): 800 844 3636 Singapore (toll-free): 800 321 1143 South Africa (toll-free): 0 800 988 836 Spain (toll-free): 0 800 900 593 Spain: +34 931 76 1534 Sweden (toll-free): 020 794 545 Sweden: +46 (0) 852 500 691 Switzerland (toll-free): 0 800 000 452 Switzerland: +41 (0) 435 0026 89 Taiwan (toll-free): 00 800 666 846 Thailand (toll-free): 001 800 852 2442 Turkey (toll-free): 00 800 4488 29001 Ukraine (toll-free): 0 800 50 4691 United Arab Emirates (toll-free): 800 044 40444 United Kingdom (toll-free): 0 808 168 0209 United Kingdom: +44 (0) 207 151 1817 United States (toll-free): 1 877 309 2070 Uruguay (toll-free): 4054459 Viet Nam (toll-free): 180 06 627 Access Code: 591-890-401 Audio PIN: Shown after joining the meeting Meeting ID: 591-890-401 GoToMeeting(r)=20 Online Meetings Made Easy(r) From Richard.Mortier@nottingham.ac.uk Tue Jun 04 15:29:09 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UjsEX-0005pt-8B (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:29:09 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1488897 * 0.0 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from engine04-20433-4.icritical.com ([195.62.217.152]:56671) by ppsw-33.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1UjsEW-00063i-gz (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:29:09 +0100 Received: (qmail 5015 invoked from network); 4 Jun 2013 14:29:03 -0000 Received: from localhost (127.0.0.1) by engine04-20433-4.icritical.com with SMTP; 4 Jun 2013 14:29:03 -0000 Received: from engine04-20433-4.icritical.com ([127.0.0.1]) by localhost (engine04-20433-4.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 04864-06 for ; Tue, 4 Jun 2013 15:29:01 +0100 (BST) Received: (qmail 3943 invoked by uid 599); 4 Jun 2013 14:28:14 -0000 Received: from unknown (HELO smtp3.nottingham.ac.uk) (128.243.44.55) by engine04-20433-4.icritical.com (qpsmtpd/0.28) with ESMTP; Tue, 04 Jun 2013 15:28:14 +0100 Received: from uiwexhub02.ad.nottingham.ac.uk ([128.243.15.132]) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1UjsCt-0005ho-Uw; Tue, 04 Jun 2013 15:27:27 +0100 From: Richard Mortier To: Amir Chaudhry Date: Tue, 4 Jun 2013 15:27:27 +0100 Subject: Re: Mirage weekly call - today at 1600 BST Thread-Topic: Mirage weekly call - today at 1600 BST Thread-Index: Ac5hL6NaagQMCHpvRbKlkwbl/855wA== Message-ID: <5A0A6BC1-91F6-4E40-BE32-08D8B49E163B@nottingham.ac.uk> References: <12F8C7D1-6F52-460F-B44B-E3EDEAD5310A@cam.ac.uk> In-Reply-To: <12F8C7D1-6F52-460F-B44B-E3EDEAD5310A@cam.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-Virus-Scanned: by iCritical at engine04-20433-4.icritical.com Cc: "cl-mirage@lists.cam.ac.uk 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: Tue, 04 Jun 2013 14:29:09 -0000 Content-Length: 1876 Lines: 42 On 4 Jun 2013, at 15:13, Amir Chaudhry wrote: > Hi folks, this is a reminder of the Mirage weekly call. From today at 4p= m (BST) - call details are below. unfortunately can't make it today - exam marking. fwiw i've been trying to spend time on two things: 1/ mirage-on-nixos as a potentially convenient way to distribute mirage app= s for use by non-expert-users or in situations where xen unavailable. have = built a nixos vbox image with opam etc, now working on getting the correct = configuration automated and checking mirage works (i'm assuming that once o= pam is there, it's all over bar the shouting :) once that's up i'll turn i= t into an AMI. hopefully by the end of the week. =20 2/ froctal -- started trying to document what i've been thinking about. hop= efully i'll ping the list with something also before the end of the week so= you can all tell me how misguided i am. (both those repos are a bit out of date, as i have not been exercising good= commit discipline i'm afraid. will update tomorrow.) --=20 Cheers, R. 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. 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 Tue Jun 04 15:39:05 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UjsO9-0006I9-QB (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:39:05 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1488897 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:1415 helo=dark.recoil.org) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1UjsO9-0000TN-0v (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 04 Jun 2013 15:39:05 +0100 Received: (qmail 23277 invoked by uid 634); 4 Jun 2013 14:39:05 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from host86-148-229-196.range86-148.btcentralplus.com (HELO [10.10.42.129]) (86.148.229.196) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 04 Jun 2013 15:39:04 +0100 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Mirage weekly call - today at 1600 BST From: Anil Madhavapeddy In-Reply-To: <5A0A6BC1-91F6-4E40-BE32-08D8B49E163B@nottingham.ac.uk> Date: Tue, 4 Jun 2013 15:39:05 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <12F8C7D1-6F52-460F-B44B-E3EDEAD5310A@cam.ac.uk> <5A0A6BC1-91F6-4E40-BE32-08D8B49E163B@nottingham.ac.uk> To: Richard Mortier X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: "cl-mirage@lists.cam.ac.uk List" , Amir M Chaudhry 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, 04 Jun 2013 14:39:05 -0000 Content-Length: 1400 Lines: 39 On 4 Jun 2013, at 15:27, Richard Mortier = wrote: >=20 > On 4 Jun 2013, at 15:13, Amir Chaudhry wrote: >=20 >> Hi folks, this is a reminder of the Mirage weekly call. =46rom today = at 4pm (BST) - call details are below. >=20 > unfortunately can't make it today - exam marking. >=20 > fwiw i've been trying to spend time on two things: >=20 > 1/ mirage-on-nixos as a potentially convenient way to distribute = mirage apps for use by non-expert-users or in situations where xen = unavailable. have built a nixos vbox image with opam etc, now working on = getting the correct configuration automated and checking mirage works = (i'm assuming that once opam is there, it's all over bar the shouting :) = once that's up i'll turn it into an AMI. hopefully by the end of the = week. Very much looking forward to this! It turns out there's already an OPAM = package for NixOS too, so we should be able to ask for help if = necessary. >=20 > 2/ froctal -- started trying to document what i've been thinking = about. hopefully i'll ping the list with something also before the end = of the week so you can all tell me how misguided i am. = And this... an interesting paper I ran into recently is on Elm and its = use of FRP. http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf -anil From pmundkur.ocaml@gmail.com Wed Jun 05 08:30:48 2013 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 1Uk8BE-0002DY-Cj (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 05 Jun 2013 08:30:48 +0100 X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1489338 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.220.42 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (pmundkur.ocaml[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-pa0-f42.google.com ([209.85.220.42]:54906) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1Uk8BD-0003MJ-DP (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 05 Jun 2013 08:30:48 +0100 Received: by mail-pa0-f42.google.com with SMTP id rl6so815288pac.1 for ; Wed, 05 Jun 2013 00:30:46 -0700 (PDT) X-Received: by 10.68.130.167 with SMTP id of7mr32838270pbb.169.1370417446053; Wed, 05 Jun 2013 00:30:46 -0700 (PDT) Received: from damage (c-98-210-211-201.hsd1.ca.comcast.net. [98.210.211.201]) by mx.google.com with ESMTPSA id vz8sm71316670pac.20.2013.06.05.00.30.44 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Wed, 05 Jun 2013 00:30:45 -0700 (PDT) Date: Wed, 5 Jun 2013 00:30:42 -0700 From: Prashanth Mundkur To: Richard Mortier Subject: Re: Mirage weekly call - today at 1600 BST Message-ID: <20130605073042.GA15879@damage> References: <12F8C7D1-6F52-460F-B44B-E3EDEAD5310A@cam.ac.uk> <5A0A6BC1-91F6-4E40-BE32-08D8B49E163B@nottingham.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5A0A6BC1-91F6-4E40-BE32-08D8B49E163B@nottingham.ac.uk> User-Agent: Mutt/1.5.21 (2010-09-15) Cc: "cl-mirage@lists.cam.ac.uk List" , Amir Chaudhry 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, 05 Jun 2013 07:30:48 -0000 Content-Length: 1371 Lines: 23 Sorry, wasn't able to make it either. I've been sucked into the hardware/Bluespec end of things, trying to get our FPGA OpenFlow switch building and ported over from the Xilinx/NetFPGA platform to Altera/DE4. --prashanth On 15:27 Tue 04 Jun, Richard Mortier wrote: > > On 4 Jun 2013, at 15:13, Amir Chaudhry wrote: > > > Hi folks, this is a reminder of the Mirage weekly call. From today at 4pm (BST) - call details are below. > > unfortunately can't make it today - exam marking. > > fwiw i've been trying to spend time on two things: > > 1/ mirage-on-nixos as a potentially convenient way to distribute mirage apps for use by non-expert-users or in situations where xen unavailable. have built a nixos vbox image with opam etc, now working on getting the correct configuration automated and checking mirage works (i'm assuming that once opam is there, it's all over bar the shouting :) once that's up i'll turn it into an AMI. hopefully by the end of the week. > > 2/ froctal -- started trying to document what i've been thinking about. hopefully i'll ping the list with something also before the end of the week so you can all tell me how misguided i am. > > (both those repos are a bit out of date, as i have not been exercising good commit discipline i'm afraid. will update tomorrow.) From anil@recoil.org Fri Jun 07 09:20:22 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UkruI-0005Hw-ND (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 07 Jun 2013 09:20:22 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1490200 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:4718 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1UkruI-00039j-7N (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 07 Jun 2013 09:20:22 +0100 Received: (qmail 15774 invoked by uid 634); 7 Jun 2013 08:20:20 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.48]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 07 Jun 2013 09:20:20 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: core_kernel Message-Id: Date: Fri, 7 Jun 2013 09:20:16 +0100 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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: Fri, 07 Jun 2013 08:20:22 -0000 Content-Length: 548 Lines: 13 Just a headsup that Core_kernel is now in OPAM -- this is a cut-down = version of Jane Street Core standard library that removes almost all of = the UNIX dependencies, and should be possible to compile to Javascript = and (of course) Mirage/Xen. I'm going to play with the Javascript version of this today for the Real = World OCaml beta, but if anyone has a chance to try and link it with a = Xen microkernel and check for missing C dependencies, that'd be = interesting (Dave, while you're doing the extra socket stubs for = instance). -anil= From anil@recoil.org Fri Jun 07 10:31:50 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Ukt1S-0000BG-Ne (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 07 Jun 2013 10:31:50 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1490200 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:26560 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1Ukt1R-0008Mg-77 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 07 Jun 2013 10:31:50 +0100 Received: (qmail 26214 invoked by uid 634); 7 Jun 2013 09:31:49 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.48]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 07 Jun 2013 10:31:48 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Fwd: [Caml-list] ANN: ocaml-ctypes, a library for calling C functions directly from OCaml Date: Fri, 7 Jun 2013 10:31:47 +0100 References: To: "cl-mirage@lists.cam.ac.uk List" Message-Id: <9717A2CA-E199-4C3B-9EF1-A8EA76D70329@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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: Fri, 07 Jun 2013 09:31:50 -0000 Content-Length: 3479 Lines: 94 Begin forwarded message: > From: Jeremy Yallop > Subject: [Caml-list] ANN: ocaml-ctypes, a library for calling C = functions directly from OCaml > Date: 7 June 2013 00:17:47 BST > To: Caml List >=20 > I'm happy to announce the initial release of ocaml-ctypes. >=20 > The ocaml-ctypes library makes it possible to call C functions > directly from OCaml without writing or generating C code. The core of > the library is a set of combinators for describing C types -- scalars, > functions, structs, unions, arrays, and pointers to values and > functions. Type descriptions can then be used to bind native > functions and values. Here's a simple example: >=20 > # let puts =3D foreign "puts" (string @-> returning int);; > val puts : string -> int =3D > # puts "Hello, world!";; > Hello, world! >=20 > Here's a more substantial example that shows how to describe a C > structure type, map the type to an OCaml record, and call a function > that returns the structure. >=20 > (* Describe the C struct. There are two fields, both ints. *) > let div_t =3D structure "div_t";; > let q =3D div_t *:* int > let r =3D div_t *:* int > let () =3D seal div_t >=20 > (* Define the OCaml record that we'll use to view the C structure. = *) > type div_result =3D { quot : int; rem: int } >=20 > (* Define the conversions between the C struct and the OCaml = record. *) > let div_result_of_div_t d =3D { quot =3D getf d q; rem =3D getf d r = } > let div_t_of_div_result {quot; rem} =3D > let d =3D make div_t in (setf d q quot; setf d r rem; d) >=20 > (* Create a "view type" for that looks like div_result and behaves > like div_t *) > let div_result =3D view ~read:div_result_of_div_t > ~write:div_t_of_div_result div_t >=20 > (* Bind to the standard C `div' function *) > let div =3D foreign "div" (int @-> int @-> returning div_result) >=20 > (* Try it out *) > # div 17 2;; > - : div_result =3D {quot =3D 8; rem =3D 1} >=20 > The distribution contains larger examples and a fairly extensive test > suite, showing how to use other features of the library, such as > binding to functions that accept callback arguments. Among the > examples is Anil Madhavapeddy's port of the `curses' example from the > OCaml documentation; it's instructive to compare the two > implementations: >=20 > OCaml manual curses example > http://caml.inria.fr/pub/docs/manual-ocaml/manual033.html#toc147 >=20 > ocaml-ctypes curses example > = https://github.com/ocamllabs/ocaml-ctypes/blob/master/examples/ncurses/ncu= rses.ml >=20 > Detailed installation instructions for ocaml-ctypes can be found in > the tutorial. (Briefly: ensure libffi is installed, then 'opam > install ctypes'.) >=20 > Comments, bug reports, and other feedback are most welcome. >=20 > Tutorial: > https://github.com/ocamllabs/ocaml-ctypes/wiki/ctypes-tutorial > Examples: > https://github.com/ocamllabs/ocaml-ctypes/tree/master/examples > API documentation: http://ocamllabs.github.io/ocaml-ctypes/ > Github repository: https://github.com/ocamllabs/ocaml-ctypes > Direct download: > = https://github.com/ocamllabs/ocaml-ctypes/archive/ocaml-ctypes-0.1.tar.gz >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 From anil@recoil.org Mon Jun 10 12:19:29 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Um08H-0001oN-Eh (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 10 Jun 2013 12:19:29 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1491157 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:33676 helo=dark.recoil.org) by ppsw-33.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1Um08G-0008NL-fy (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 10 Jun 2013 12:19:29 +0100 Received: (qmail 29497 invoked by uid 634); 10 Jun 2013 11:19:27 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.1.75]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 10 Jun 2013 12:19:25 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: New UNIX backend, mirage-platform/mirage-net From: Anil Madhavapeddy In-Reply-To: <51A73EEC.5020706@luminar.eu.org> Date: Mon, 10 Jun 2013 12:19:24 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <0FE1656A-7970-457E-A6A7-74D5556BBBBD@recoil.org> References: <51A73EEC.5020706@luminar.eu.org> To: Vincent Bernardoff X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk 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: Mon, 10 Jun 2013 11:19:29 -0000 Content-Length: 1778 Lines: 50 I've just been reviewing these patches, and they look good. Where's the version of mirari that generates the tuntap bits, so I can = try it all out before merging? thanks, Anil On 30 May 2013, at 12:58, Vincent Bernardoff wrote: > Hi all, >=20 > I would like any potential person interested in the UNIX-direct = backend for Mirage to have a look at the changes I am going to = introduce: >=20 > * In mirage-platform: = https://github.com/mirage/mirage-platform/pull/43 > * In mirage-net: https://github.com/mirage/mirage-net/pull/28 >=20 > Basically, the changes remove the creation of virtual interfaces (tap) = from mirage-platform, instead, mirage-platform will listen to a = Lwt_stream in order to receive "vif infos", the stream itself being = pushable via a function in OS.Netif (OS.Netif.add_vif). >=20 > The changes in mirage-net reflect those changes in mirage-platform, = the Manager.create function now only takes a callback argument (the = function to be called when new interfaces pop up), instead of giving = optional arguments for OS.Netif.create to create something that has been = requested by the manager. This is more consistent with how a unikernel = under Xen gets its network interfaces via the XenStore. >=20 > It is now up to mirari (or code generated by mirari) to call = OS.Netif.add_vif with a fd of a created/opened interface. >=20 >=20 > Haris, if you always work on openvswitch stuff on Mirage, you are = probably the person the most concerned by those changes, I might have = broken a bit your PCAP stuff, please tell me if you have any problem I = would work with you to solve them. >=20 > Cheers, >=20 > Vincent >=20 > PS: This new backend comes with a new version of mirari whose release = will follow very soon. >=20 From scott.dj@gmail.com Tue Jun 11 15:18:12 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UmPOm-0006gm-N0 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 11 Jun 2013 15:18:12 +0100 X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1491379 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.220.50 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (scott.dj[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-pa0-f50.google.com ([209.85.220.50]:48309) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp id 1UmPOl-0005VR-9J (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 11 Jun 2013 15:18:12 +0100 Received: by mail-pa0-f50.google.com with SMTP id fb1so5564169pad.37 for ; Tue, 11 Jun 2013 07:18:10 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.66.163.200 with SMTP id yk8mr19054210pab.170.1370960290696; Tue, 11 Jun 2013 07:18:10 -0700 (PDT) Received: by 10.70.102.176 with HTTP; Tue, 11 Jun 2013 07:18:10 -0700 (PDT) Date: Tue, 11 Jun 2013 15:18:10 +0100 Message-ID: Subject: mirage weekly call reminder: today, 4pm From: David Scott To: Mirage List Content-Type: multipart/alternative; boundary=047d7b86e48a20d6ce04dee191bb 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, 11 Jun 2013 14:18:12 -0000 Content-Length: 6830 Lines: 158 --047d7b86e48a20d6ce04dee191bb Content-Type: text/plain; charset=ISO-8859-1 Hi folks, this is a reminder of the Mirage weekly call. From today at 4pm (BST) - call details are below. 1. Please join my meeting. https://www1.gotomeeting.com/join/591890401 2. Use your microphone and speakers (VoIP) - a headset is recommended. Or, call in using your telephone. United States: +1 (626) 521-0017 Argentina (toll-free): 0 800 266 1385 Australia (toll-free): 1 800 191 358 Australia: +61 2 8355 1038 Austria (toll-free): 0 800 080061 Austria: +43 (0) 7 2088 0716 Bahrain (toll-free): 800 81 305 Belarus (toll-free): 8 820 0011 0331 Belgium (toll-free): 0 800 81388 Belgium: +32 (0) 28 08 4372 Brazil (toll-free): 0 800 047 4909 Canada (toll-free): 1 877 777 3281 Canada: +1 (647) 497-9380 China (toll-free): 4008 866154 Czech Republic (toll-free): 800 500453 Denmark (toll-free): 8025 0919 Denmark: +45 (0) 69 91 84 58 Finland (toll-free): 80094473 Finland: +358 (0) 931 58 1773 France (toll-free): 0 805 541 052 France: +33 (0) 170 950 590 Germany (toll-free): 0 800 723 5274 Germany: +49 (0) 811 8899 6934 Hong Kong (toll-free): 30774812 Iceland (toll-free): 800 9993 India (toll-free): 000 800 100 8227 Indonesia (toll-free): 001 803 020 2563 Ireland (toll-free): 1 800 818 263 Ireland: +353 (0) 15 133 006 Israel (toll-free): 1 809 388 020 Italy (toll-free): 800 906962 Italy: +39 0 699 26 68 65 Japan (toll-free): 0 120 242 200 Korea, Republic of (toll-free): 806180880 Luxembourg (toll-free): 800 81016 Malaysia (toll-free): 1 800 81 6504 Mexico (toll-free): 01 800 123 8367 Netherlands (toll-free): 0 800 020 0178 Netherlands: +31 (0) 208 080 759 New Zealand (toll-free): 0 800 44 9375 New Zealand: +64 (0) 9 974 9579 Norway (toll-free): 800 33 083 Norway: +47 21 04 30 59 Panama (toll-free): 18005072789 Peru (toll-free): 0 800 55253 Philippines (toll-free): 1 800 1110 1565 Poland (toll-free): 00 800 3211434 Portugal (toll-free): 800 180 139 Russian Federation (toll-free): 8 800 100 6914 Saudi Arabia (toll-free): 800 844 3636 Singapore (toll-free): 800 321 1143 South Africa (toll-free): 0 800 988 836 Spain (toll-free): 0 800 900 593 Spain: +34 931 76 1534 Sweden (toll-free): 020 794 545 Sweden: +46 (0) 852 500 691 Switzerland (toll-free): 0 800 000 452 Switzerland: +41 (0) 435 0026 89 Taiwan (toll-free): 00 800 666 846 Thailand (toll-free): 001 800 852 2442 Turkey (toll-free): 00 800 4488 29001 Ukraine (toll-free): 0 800 50 4691 United Arab Emirates (toll-free): 800 044 40444 United Kingdom (toll-free): 0 808 168 0209 United Kingdom: +44 (0) 207 151 1817 United States (toll-free): 1 877 309 2070 Uruguay (toll-free): 4054459 Viet Nam (toll-free): 180 06 627 Access Code: 591-890-401 Audio PIN: Shown after joining the meeting Meeting ID: 591-890-401 GoToMeeting(r) Online Meetings Made Easy(r) -- Dave Scott --047d7b86e48a20d6ce04dee191bb Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Hi folks, this is a reminder o= f the Mirage weekly call. =A0From today at 4pm (BST) - call details are bel= ow.

1. =A0Please join my meeting.

2. =A0Use your microphone and speakers (VoIP) - a heads= et is recommended. =A0Or, call in using your telephone.

United States: +1 (626) 521-0017
Argentina (toll-free): 0 8= 00 266 1385
Australia (toll-free): 1 800 191 358
Australia: +61 2 8355 1= 038
Austria (toll-free): 0 800 080061
Austria: +43 (0) = 7 2088 0716
Bahrain (toll-free): 800 81 305
Belarus (to= ll-free): 8 820 0011 0331
Belgium (toll-free): 0 800 81388
Belgium: +32 (0) 28 08 4372=
Brazil (toll-free): 0 800 047 4909
Canada (toll-free):= 1 877 777 3281
Canada: +1 (647) 497-9380
China (toll-f= ree): 4008 866154
Czech Republic (toll-free): 800 500453
Denmark (toll-free): = 8025 0919
Denmark: +45 (0) 69 91 84 58
Finland (toll-fr= ee): 80094473
Finland: +358 (0) 931 58 1773
France (tol= l-free): 0 805 541 052
France: +33 (0) 170 950 590
Germany (toll-free): 0 800 723 5= 274
Germany: +49 (0) 811 8899 6934
Hong Kong (toll-free= ): 30774812
Iceland (toll-free): 800 9993
India (toll-f= ree): 000 800 100 8227
Indonesia (toll-free): 001 803 020 2563
Ireland (toll-free):= 1 800 818 263
Ireland: +353 (0) 15 133 006
Israel (tol= l-free): 1 809 388 020
Italy (toll-free): 800 906962
Italy: +39 0 699 26 68 65
Japan (toll-free): 0 120 242 200
<= div>Korea, Republic of (toll-free): 806180880
Luxembourg (toll-fr= ee): 800 81016
Malaysia (toll-free): 1 800 81 6504
Mexico (toll-free): 01 800 123 8367
Netherlands (toll-free): 0 80= 0 020 0178
Netherlands: +31 (0) 208 080 759
New Zealand= (toll-free): 0 800 44 9375
New Zealand: +64 (0) 9 974 9579
Norway (toll-free): 800 33 083
Norway: +47 21 04 30 59
=
Panama (toll-free): 18005072789
Peru (toll-free): 0 800 5525= 3
Philippines (toll-free): 1 800 1110 1565
Poland (toll= -free): 00 800 3211434
Portugal (toll-free): 800 180 139
Russian Federation (toll-f= ree): 8 800 100 6914
Saudi Arabia (toll-free): 800 844 3636
=
Singapore (toll-free): 800 321 1143
South Africa (toll-free)= : 0 800 988 836
Spain (toll-free): 0 800 900 593
Spain: +34 931 76 1534
Sweden (toll-free): 020 794 545
Sweden: +46 (0) 852 500 691=
Switzerland (toll-free): 0 800 000 452
Switzerland: +4= 1 (0) 435 0026 89
Taiwan (toll-free): 00 800 666 846
Thailand (toll-free): 001= 800 852 2442
Turkey (toll-free): 00 800 4488 29001
Ukr= aine (toll-free): 0 800 50 4691
United Arab Emirates (toll-free):= 800 044 40444
United Kingdom (toll-free): 0 808 168 0209
United Kingdom: += 44 (0) 207 151 1817
United States (toll-free): 1 877 309 2070
Uruguay (toll-free): 4054459
Viet Nam (toll-free): 180 06 = 627

Access Code: 591-890-401
Audio PIN: Shown aft= er joining the meeting

Meeting ID: 591-890-401

GoToMeeting(r)
Online Meetings Made Easy(r)=
--
Dave Scott
--047d7b86e48a20d6ce04dee191bb-- From scott.dj@gmail.com Tue Jun 11 22:30:04 2013 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 1UmW8i-0002nl-FF (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 11 Jun 2013 22:30:04 +0100 X-Cam-SpamScore: s X-Cam-SpamDetails: score 1.3 from SpamAssassin-3.3.2-1491379 * -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at http://www.dnswl.org/, no * trust * [209.85.192.169 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (scott.dj[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-pd0-f169.google.com ([209.85.192.169]:33698) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1UmW8h-0003P4-DN (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 11 Jun 2013 22:30:04 +0100 Received: by mail-pd0-f169.google.com with SMTP id y10so9111704pdj.0 for ; Tue, 11 Jun 2013 14:30:02 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.66.163.200 with SMTP id yk8mr20764824pab.170.1370986202032; Tue, 11 Jun 2013 14:30:02 -0700 (PDT) Received: by 10.70.102.176 with HTTP; Tue, 11 Jun 2013 14:30:01 -0700 (PDT) In-Reply-To: References: <27BA97B7-F2CC-414E-AEB4-268FBC5A62A7@recoil.org> Date: Tue, 11 Jun 2013 22:30:01 +0100 Message-ID: Subject: Re: one-byte TCP writes wedging From: David Scott To: Balraj Singh Content-Type: multipart/alternative; boundary=047d7b86e48a90720304dee7994e Cc: Dave Scott , "cl-mirage@lists.cam.ac.uk 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: Tue, 11 Jun 2013 21:30:04 -0000 Content-Length: 17389 Lines: 408 --047d7b86e48a90720304dee7994e Content-Type: text/plain; charset=ISO-8859-1 Hi Balraj, I'm investigating changing the ring API to support a "wait for n free slots". It's a bit invasive but it's a good opportunity to tidy up the locking down there, to make sure we aren't getting accidental packet reordering (or worse!) What do you think is the easiest way for me to reproduce the problem that you're seeing? Is there a branch or a test program I could try? Thanks, Dave On Tue, May 28, 2013 at 3:11 PM, Balraj Singh wrote: > Hi Dave, Anil, > > "Wait for n free slots" is exactly what is needed. And at this low level, > even if there are multiple writers, the writes should all be serialized. > It'll be best if the order of the pkts on the wire is always the same as > order of the successful writes from the application. Also in addition to > the blocking write, we should also have a non-blocking write that fails if > there aren't enough free slots available. > > For the fragments, I think we should have an internal threshold (say 8 > fragments) and if the number of fragments in the write is great than the > threshold then it triggers a compaction or repacking before sticking it on > the ring. As long as the threshold is higher than most use cases it should > have no impact at all. In any case the repacking work has to be done at > some point so it shouldn't affect performance even if it is triggered often. > > Balraj > > > > On Tue, May 28, 2013 at 10:15 AM, Anil Madhavapeddy wrote: > >> I think it's far safer to serialise a single fragment batch on the ring >> (in an ordered Lwt_sequence) rather than have fragments interleaved across >> multiple packet write requests. >> >> Any other path will have packets being transmitted out-of-order, which >> will severely mess up performance. This includes the case where there are >> multiple outstanding write requests with different numbers of fragments -- >> these should be delivered in the order they are transmitted, and so a large >> packet could indeed block a series of small ones. It also makes hardware >> offload easier if the fragments aren't scattered over the ring. >> >> -anil >> >> On 28 May 2013, at 08:46, Dave Scott wrote: >> >> Hi Balraj, >> >> Very interesting discoveries! >> >> Regarding the skbuff frag limit, should this be considered as part of >> the protocol even though it was originally a Linux implementation issue >> leaking through? Do you know if it has been stable over time? It might be >> worth asking on xen-devel. >> >> Regarding there not being enough slots: there's already a "wait for a >> free slot" mechanism so we could add a "wait for n free slots". Do you have >> parallel threads transmitting at once? We should probably take care that a >> "wait for n" doesn't end up constantly getting gazumped by lots of "wait >> for 1"s >> >> Cheers, >> >> -- >> Dave Scott >> >> On May 27, 2013, at 11:33 PM, "Balraj Singh" >> wrote: >> >> It turned out that both the suspected problems were real problems and >> the interference betw the two was confusing the debugging. It looks like >> the max skbuff frags is 18 (65536/page_size + 2) and indeed if the chain >> of packet fragmets is longer than 19 (the logic probably allows for one >> extra) it locks up the ring permanently. The other problem was that the >> ring does indeed get depleted down to the point where the available slots >> are fewer than the number needed for the current chain of frags. >> Unfortunately in this case the write is still permitted which >> overwrites/corrupts freely and things immediately or pretty soon thereafter >> go kaplooey. To confirm that there is nothing else, I implemented a quick >> workaround - the chain of frags is never allowed to be longer than 19 and >> if there aren't enough free slots then the whole chain is dropped. With >> these two changes all tests always completed and completed correctly. >> However, just dropping when not enough slots causes excessive pkt loss so >> slows things randomly and a lot - it should either block or the write >> should fail with an ENOBUFS flavoured exception. The good news though is >> that it still works and a lot of the other tricky machinery also works >> correctly. >> >> Balraj >> >> >> >> On Sun, May 26, 2013 at 10:53 AM, Anil Madhavapeddy wrote: >> >>> The long chain of 36-byte frags is consistent with the backend dropping >>> it. Does it work better if you restrict the total fragment chains size to >>> just 10 or 11? >>> >>> The first unexplained packet loss is a real alarm bell though. The >>> entire TCP retransmit code on our stack is just a canary that spots latent >>> bugs elsewhere in the device stack :-) >>> >>> -anil >>> >>> On 25 May 2013, at 22:25, Balraj Singh >>> wrote: >>> >>> In the particular test I am using I write 36 bytes of payload and use >>> the Mirage equivalent of TCP_NODELAY. This works for a bit but then >>> suffers some packet loss (why? TBD) and triggers a rexmit. The >>> retransmitted packet is 1400+ bytes and is made up of a long chain of 36 >>> byte io_pages. I thought that it may be that the ring did not have enough >>> slots to take all the chunks of the pkt. Making the retransmitted pkt be >>> the size of the original write improved it very significantly but it would >>> still fail in the same way, tho less frequently. I'm working on it - I see >>> available txring slots vary, but I havent yet found a case where the slots >>> are fully depleted or down to fewer than chunks that need to be written. >>> I'm still narrowing it down. >>> >>> This test originally was with 1-byte writes, but that seemed to wedge >>> even before the 1st data packet made it to the wire. This may be because >>> of the limitation Steven mentioned. I think I'm getting close on the 36 >>> byte write test, once this is figured out I'll try it with 1 byte writes >>> again. >>> >>> Balraj >>> >>> >>> >>> On Sat, May 25, 2013 at 11:11 AM, Anil Madhavapeddy wrote: >>> >>>> Balraj noticed that a stream of 1-byte writes on a TCP connection would >>>> cause netfront/netback to wedge. This is obviously quite unrealistic, but >>>> a good regression test. >>>> >>>> A quick chat with Steven Smith pointed out that some Linux netbacks had >>>> a limit on the number of fragments allowed (based on the skbuff chain limit >>>> size). So you might be ending up with a situation where the backend drops >>>> the entire set of fragments, and the frontend is retransmitting all the >>>> time. >>>> >>>> So if you modify our frontend to limit the fragment size to ~10 or so >>>> for any given packet, that might help. On the other hand, if you're doing >>>> writes with a TCP segment size of 1, but still only 3-4 fragments (for the >>>> Ethernet/IP/TCP headers), then we have some other bug. What does the Netif >>>> request look like, Balraj? >>>> >>>> -anil >>>> >>> >>> >>> >> >> > -- Dave Scott --047d7b86e48a90720304dee7994e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hi Balraj,

I'm investigating = changing the ring API to support a "wait for n free slots". It= 9;s a bit invasive but it's a good opportunity to tidy up the locking d= own there, to make sure we aren't getting accidental packet reordering = (or worse!)

What do you think is the easiest way for me= to reproduce the problem that you're seeing? Is there a branch or a te= st program I could try?

Thanks,
Dave


On Tue, May 28, 2013 at 3:11 PM, Balraj Singh <balra= j.singh@cl.cam.ac.uk> wrote:
Hi Dave, Anil,

"Wait for n free slots" is exactly what is needed. =A0And = at this low level, even if there are multiple writers, the writes should al= l be serialized. =A0It'll be best if the order of the pkts on the wire = is always the same as order of the successful writes from the application. = =A0Also in addition to the blocking write, we should also have a non-blocki= ng write that fails if there aren't enough free slots available.

For the fragments, I think we should have an internal thresh= old (say 8 fragments) and if the number of fragments in the write is great = than the threshold then it triggers a compaction or repacking before sticki= ng it on the ring. =A0As long as the threshold is higher than most use case= s it should have no impact at all. =A0In any case the repacking work has to= be done at some point so it shouldn't affect performance even if it is= triggered often.

Balraj



On Tue, May 28, 2013 at 10:15 AM, Anil Madhavapedd= y <anil@recoil.org> wrote:
I think = it's far safer to serialise a single fragment batch on the ring (in an = ordered Lwt_sequence) rather than have fragments interleaved across multipl= e packet write requests.

Any other path will have packets being transmitted out-of-or= der, which will severely mess up performance. =A0This includes the case whe= re there are multiple outstanding write requests with different numbers of = fragments -- these should be delivered in the order they are transmitted, a= nd so a large packet could indeed block a series of small ones. =A0It also = makes hardware offload easier if the fragments aren't scattered over th= e ring.

-anil
=

On 28 May 2013, at 08:46, Dave Scott <Dave.Scott@eu.citr= ix.com> wrote:

Hi Balraj,

Very interesting discoveries!

Regarding the skbuff frag limit, should this be considered as part of = the protocol even though it was originally a Linux implementation issue lea= king through? Do you know if it has been stable over time? It might be wort= h asking on xen-devel.

Regarding there not being enough slots: there's already a "wa= it for a free slot" mechanism so we could add a "wait for n free = slots". Do you have parallel threads transmitting at once? We should p= robably take care that a "wait for n" doesn't end up constant= ly getting gazumped by lots of "wait for 1"s

Cheers,

--=A0
Dave Scott

On May 27, 2013, at 11:33 PM, "Balraj Singh" <balraj.singh@cl.cam.ac.uk> wrote:

It turned out that both the suspected problems were real p= roblems and the interference betw the two was confusing the debugging. =A0I= t looks like the max skbuff frags is 18 (65536/page_size + 2) and indeed if the chain of packet frag= mets is longer than 19 (the logic probably allows for one extra) it locks u= p the ring permanently. =A0The other problem was that the ring does indeed get depleted down to the point where the ava= ilable slots are fewer than the number needed for the current chain of frag= s. =A0Unfortunately in this case the write is still permitted which overwri= tes/corrupts freely and things immediately or pretty soon thereafter go kaplooey. =A0To confirm that there is nothing= else, I implemented a quick workaround - the chain of frags is never allow= ed to be longer than 19 and if there aren't enough free slots then the = whole chain is dropped. =A0With these two changes all tests always completed and completed correctly. =A0However, ju= st dropping when not enough slots causes excessive pkt loss so slows things= randomly and a lot - it should either block or the write should fail with = an ENOBUFS flavoured exception. =A0The good news though is that it still works and a lot of the other tricky mach= inery also works correctly.

Balraj



On Sun, May 26, 2013 at 10:53 AM, Anil Madhavape= ddy <anil@recoil.org> wrote:
The long chain of 36-byte frags is cons= istent with the backend dropping it. =A0Does it work better if you restrict= the total fragment chains size to just 10 or 11?

The first unexplained packet loss is a real alarm bell though. =A0The = entire TCP retransmit code on our stack is just a canary that spots latent = bugs elsewhere in the device stack :-)

-anil


In the particular test I am using I write 36 bytes of payload and use = the Mirage equivalent of TCP_NODELAY. =A0This works for a bit but then suff= ers some packet loss (why? TBD) and triggers a rexmit. =A0The retransmitted= packet is 1400+ bytes and is made up of a long chain of 36 byte io_pages. =A0I thought that it may be that the = ring did not have enough slots to take all the chunks of the pkt. =A0Making= the retransmitted pkt be the size of the original write improved it very s= ignificantly but it would still=A0fail in the same way, tho less frequently. =A0I'm working on it - I see ava= ilable txring slots vary, but I havent yet found a case where the slots are= fully depleted or down to fewer than chunks that need to be written. =A0I&= #39;m still narrowing it down.

This test originally was with 1-byte writes, but that seemed to wedge = even before the 1st data packet made it to the wire. =A0This may be because= of the limitation Steven mentioned. =A0I think I'm getting close on th= e 36 byte write test, once this is figured out I'll try it with 1 byte writes again.

Balraj



On Sat, May 25, 2013 at 11:11 AM, Anil Madhavape= ddy <anil@recoil.org> wrote:
Balraj noticed that a stream of 1-byte writes on a TCP connection would cau= se netfront/netback to wedge. =A0This is obviously quite unrealistic, but a= good regression test.

A quick chat with Steven Smith pointed out that some Linux netbacks had a l= imit on the number of fragments allowed (based on the skbuff chain limit si= ze). =A0So you might be ending up with a situation where the backend drops = the entire set of fragments, and the frontend is retransmitting all the time.

So if you modify our frontend to limit the fragment size to ~10 or so for a= ny given packet, that might help. =A0On the other hand, if you're doing= writes with a TCP segment size of 1, but still only 3-4 fragments (for the= Ethernet/IP/TCP headers), then we have some other bug. =A0What does the Netif request look like, Balraj?

-anil








--
= Dave Scott
--047d7b86e48a90720304dee7994e-- From anil@recoil.org Wed Jun 12 13:48:07 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UmkT9-0003oo-T6 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 12 Jun 2013 13:48:07 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1491705 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:41844 helo=dark.recoil.org) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1UmkT9-0003JA-0k (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 12 Jun 2013 13:48:07 +0100 Received: (qmail 14021 invoked by uid 634); 12 Jun 2013 12:48:07 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 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.74]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 12 Jun 2013 13:48:06 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: mirage weekly call reminder: today, 4pm From: Anil Madhavapeddy In-Reply-To: Date: Wed, 12 Jun 2013 13:48:05 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: To: David Scott X-Mailer: Apple Mail (2.1503) 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, 12 Jun 2013 12:48:08 -0000 Content-Length: 3506 Lines: 106 I've been "batching" up the minutes due to being busy with book hacking, = but an entire month's worth are now on the website! http://www.openmirage.org/wiki/ http://www.openmirage.org/wiki/weekly-2013-06-11 http://www.openmirage.org/wiki/weekly-2013-06-04 http://www.openmirage.org/wiki/weekly-2013-05-28 http://www.openmirage.org/wiki/weekly-2013-05-21 (dodgy formatting, but that's all part of the = almost-real-time-if-they-had-been-uploaded-immediately charm, right?) -anil On 11 Jun 2013, at 15:18, David Scott wrote: >=20 > Hi folks, this is a reminder of the Mirage weekly call. =46rom today = at 4pm (BST) - call details are below. >=20 > 1. Please join my meeting. > https://www1.gotomeeting.com/join/591890401 >=20 > 2. Use your microphone and speakers (VoIP) - a headset is = recommended. Or, call in using your telephone. >=20 > United States: +1 (626) 521-0017 > Argentina (toll-free): 0 800 266 1385 > Australia (toll-free): 1 800 191 358 > Australia: +61 2 8355 1038 > Austria (toll-free): 0 800 080061 > Austria: +43 (0) 7 2088 0716 > Bahrain (toll-free): 800 81 305 > Belarus (toll-free): 8 820 0011 0331 > Belgium (toll-free): 0 800 81388 > Belgium: +32 (0) 28 08 4372 > Brazil (toll-free): 0 800 047 4909 > Canada (toll-free): 1 877 777 3281 > Canada: +1 (647) 497-9380 > China (toll-free): 4008 866154 > Czech Republic (toll-free): 800 500453 > Denmark (toll-free): 8025 0919 > Denmark: +45 (0) 69 91 84 58 > Finland (toll-free): 80094473 > Finland: +358 (0) 931 58 1773 > France (toll-free): 0 805 541 052 > France: +33 (0) 170 950 590 > Germany (toll-free): 0 800 723 5274 > Germany: +49 (0) 811 8899 6934 > Hong Kong (toll-free): 30774812 > Iceland (toll-free): 800 9993 > India (toll-free): 000 800 100 8227 > Indonesia (toll-free): 001 803 020 2563 > Ireland (toll-free): 1 800 818 263 > Ireland: +353 (0) 15 133 006 > Israel (toll-free): 1 809 388 020 > Italy (toll-free): 800 906962 > Italy: +39 0 699 26 68 65 > Japan (toll-free): 0 120 242 200 > Korea, Republic of (toll-free): 806180880 > Luxembourg (toll-free): 800 81016 > Malaysia (toll-free): 1 800 81 6504 > Mexico (toll-free): 01 800 123 8367 > Netherlands (toll-free): 0 800 020 0178 > Netherlands: +31 (0) 208 080 759 > New Zealand (toll-free): 0 800 44 9375 > New Zealand: +64 (0) 9 974 9579 > Norway (toll-free): 800 33 083 > Norway: +47 21 04 30 59 > Panama (toll-free): 18005072789 > Peru (toll-free): 0 800 55253 > Philippines (toll-free): 1 800 1110 1565 > Poland (toll-free): 00 800 3211434 > Portugal (toll-free): 800 180 139 > Russian Federation (toll-free): 8 800 100 6914 > Saudi Arabia (toll-free): 800 844 3636 > Singapore (toll-free): 800 321 1143 > South Africa (toll-free): 0 800 988 836 > Spain (toll-free): 0 800 900 593 > Spain: +34 931 76 1534 > Sweden (toll-free): 020 794 545 > Sweden: +46 (0) 852 500 691 > Switzerland (toll-free): 0 800 000 452 > Switzerland: +41 (0) 435 0026 89 > Taiwan (toll-free): 00 800 666 846 > Thailand (toll-free): 001 800 852 2442 > Turkey (toll-free): 00 800 4488 29001 > Ukraine (toll-free): 0 800 50 4691 > United Arab Emirates (toll-free): 800 044 40444 > United Kingdom (toll-free): 0 808 168 0209 > United Kingdom: +44 (0) 207 151 1817 > United States (toll-free): 1 877 309 2070 > Uruguay (toll-free): 4054459 > Viet Nam (toll-free): 180 06 627 >=20 > Access Code: 591-890-401 > Audio PIN: Shown after joining the meeting >=20 > Meeting ID: 591-890-401 >=20 > GoToMeeting(r) > Online Meetings Made Easy(r) > --=20 > Dave Scott From anil@recoil.org Wed Jun 12 15:13:48 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Umlo4-0006l4-TQ (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 12 Jun 2013 15:13:48 +0100 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:42418 helo=dark.recoil.org) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1Umlo4-00005b-2j (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 12 Jun 2013 15:13:48 +0100 Received: (qmail 8484 invoked by uid 634); 12 Jun 2013 14:13:48 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.1.75]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 12 Jun 2013 15:13:48 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: ANN: mirage-0.9.1 series released Message-Id: <41EF93DD-083E-48A8-8063-D81CE425FD75@recoil.org> Date: Wed, 12 Jun 2013 15:13:48 +0100 To: Mirage List Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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, 12 Jun 2013 14:13:49 -0000 Content-Length: 3107 Lines: 68 I've released a big Mirage 0.9.1 refresh into OPAM that integrates the = following major changes to the build system, as discussed in earlier = threads. https://github.com/OCamlPro/opam-repository/pull/793 TLDR; simpler, faster and more extensible build, and the unikernel UNIX = backend integrated. -- The old build system would install Xen/UNIX or socket/direct networking = stacks using environment variables to control which library was = installed. This is now handled directly in OPAM by adding specific = packages (mirage-unix/mirage-xen) and a virtual package (mirage) that = depends on either one of them. This means that you can, using any 4.00+ compiler, specify the backend = that you'd like to use as OPAM packages for your platform selection. $ opam install mirage-unix mirage-net-direct mirage-www # this will give you a unix-direct web server $ opam install mirage-xen mirage-www # this gives you a xen kernel, since mirage-net-socket conflicts # with mirage-xen and so mirage-net-direct is the only valid choice. $ opam install mirage-xen mirage-net-socket # this will correctly conflict since it's an invalid choice opam install mirage-xen mirage-net-socket Package mirage-net-socket is already installed (current version is = 1.0.0) Your request cannot be satisfied. The reasons are: mirage-net-socket.0.9.1 is in conflict with mirage-xen.0.9.1. (and) mirage-net-socket.1.0.0 is in conflict with mirage-xen.0.9.1. 'opam install mirage-xen mirage-net-socket' failed. The mirage-xen/mirage-unix still install a single "mirage" ocamlfind = package, and similarly the mirage-net-direct/mirage-net-socket still = install a "mirage-net" ocamlfind package. This means that applications = can just specify that in their dependencies. Thanks to Vincent Bernardoff's high quality patchset, I've also merged = in his UNIX tuntap patches. These make the UNIX unikernel a standalone = process that receives instructions from a master process. This lets us = treat the process in the same style as a Xen kernel, by sending it = instructions to start/stop/suspend/etc.=20 The final piece of the puzzle was to not require a custom Bigarray = library, since the UNIX version had a reference to mmap in it. David = Scott fixed this by simply adding an mmap stub into the Xen runtime. = Nice and simple, and we no longer need to patch the standard library. There's still a lot more work to be done on Mirari, but the overall = system we have now should be stable enough to build multiple backends in = much more easily. Specifically, we should be able to put Gabor Pali's = kFreeBSD work in this summer, and also more easily work on the = Javascript one. Thanks especially to Vincent and Dave, we're properly on the path to a = stable release now! We still need to update the instructions on = mirage-www (Vincent offered to look at this) and tidy up Mirari and add = block support. If you want to mess around with the new scheme before = the instructions are updated, just do "opam update && opam upgrade && = opam install mirage-www" to get the latest dependencies. -anil From anil@recoil.org Mon Jun 17 14:25:18 2013 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 1UoZQr-0007EG-V8 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 17 Jun 2013 14:25:17 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1493476 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:9839 helo=dark.recoil.org) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1UoZQr-0001qp-Do (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 17 Jun 2013 14:25:17 +0100 Received: (qmail 26506 invoked by uid 634); 17 Jun 2013 13:25:17 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from no-dns-yet.demon.co.uk (HELO [192.168.15.92]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 17 Jun 2013 14:25:16 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Fwd: [Caml-list] ANN: Real World OCaml beta1 available Date: Mon, 17 Jun 2013 14:25:21 +0100 References: <65CC3EAA-67E7-46A1-AAA4-768A7B3D475E@recoil.org> To: Mirage List Message-Id: <9F1A551C-92EB-44D9-B322-295FDB595EF7@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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: Mon, 17 Jun 2013 13:25:18 -0000 Content-Length: 3493 Lines: 102 We haven't shifted Mirage to Core yet, but it's on the cards for a = post-1.0 change. Your comments on RWO would be most welcome (see below). -anil Begin forwarded message: > From: Anil Madhavapeddy > Subject: [Caml-list] ANN: Real World OCaml beta1 available > Date: 17 June 2013 14:16:56 BST > To: caml users >=20 > Yaron Minsky, Jason Hickey and I are pleased to announce the beta = release of > our forthcoming O'Reilly book, called "Real World OCaml", available = online at > http://realworldocaml.org >=20 > The book is split into three parts: language concepts, tools and = techniques, > and understanding the runtime. As promised last year, we are making a = public > beta available for community review and to help us hunt down = inaccuracies and > find areas that need more clarification. >=20 > We've had the book in closed alpha for six months or so and have = developed a > feedback system that uses Github to record your comments. This lets us = follow > up to each review with clarifications and keep track of our progress = in fixing > issues. During alpha, we've received over 1400 comments in this = fashion (and > addressed the vast majority of them!). However, since we anticipate = more > comments coming in from a public beta, we would request that you read = the FAQ > to avoid drowning us in repeat comments: = http://www.realworldocaml.org/#faq >=20 > (TL;DR followup another comment on Github directly if you can instead = of > creating a new issue via the web interface) >=20 > This release is available in HTML format online at: > http://www.realworldocaml.org >=20 > O'Reilly is currently preparing a Rough Cuts release that will make = the beta > available as PDF and in popular eBook formats. We anticipate that = this will > be available later this week, and I'll send a followup when that = happens. >=20 > Finally, we would especially like to thank our alpha reviewers. Their = feedback > (https://github.com/ocamllabs/rwo-comments/issues) has been invaluable = to the > beta release. The book also includes substantial contributions to = individual > chapters from Jeremy Yallop (FFI), Stephen Weeks (GC) and Leo White = (objects). >=20 > If you have any comments that you'd like to send directly by e-mail, = please > contact us at rwo-authors@recoil.org. >=20 > Release notes for beta1: >=20 > * The first-class modules chapter is incomplete, pending some = portability > improvements to the ocaml-plugins Core library. > * The binary serialization chapter is also incomplete, but has just = enough > to teach you about the Async RPC library. > * The installation chapter will be revised in anticipation of the = OCaml 4.1 > release, and is currently quite source-based. > * The packaging and build systems chapter hasn't been started yet. = We're > still deciding whether or not to make this an online pointer rather = than > a print chapter, since it's likely to change quite fast. > * We are preparing exercises per chapter that are not included in this > particular beta release, but will be available online as soon as = possible. > * The code examples will all be clonable as a separate repository in = beta2. >=20 > best, > Yaron, Jason and Anil >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs From amc79@cam.ac.uk Tue Jun 18 11:22:28 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Uot3U-0001D0-7I (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 18 Jun 2013 11:22:28 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from host81-149-102-120.in-addr.btopenworld.com ([81.149.102.120]:61011 helo=[192.168.1.124]) by ppsw-33.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1Uot3T-0005R2-j7 (Exim 4.80_167-5a66dd3) (return-path ); Tue, 18 Jun 2013 11:22:28 +0100 References: Mime-Version: 1.0 (1.0) In-Reply-To: Content-Type: multipart/alternative; boundary=Apple-Mail-04871A8E-0D19-4CE8-AC08-B484167E2F2D Content-Transfer-Encoding: 7bit Message-Id: X-Mailer: iPhone Mail (10B329) From: Amir Chaudhry Subject: Re: mirage weekly call reminder: today, 4pm Date: Tue, 18 Jun 2013 11:22:25 +0100 To: Mirage List Cc: David Scott , 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: Tue, 18 Jun 2013 10:22:28 -0000 Content-Length: 14753 Lines: 268 --Apple-Mail-04871A8E-0D19-4CE8-AC08-B484167E2F2D Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Hi folks, brief reminder of the weekly call at 4pm (BST). Dial-in details ar= e below.=20 Best wishes, Amir -- sent via mobile On 12 Jun 2013, at 13:48, Anil Madhavapeddy wrote: > I've been "batching" up the minutes due to being busy with book hacking, b= ut an entire month's worth are now on the website! >=20 > http://www.openmirage.org/wiki/ > http://www.openmirage.org/wiki/weekly-2013-06-11 > http://www.openmirage.org/wiki/weekly-2013-06-04 > http://www.openmirage.org/wiki/weekly-2013-05-28 > http://www.openmirage.org/wiki/weekly-2013-05-21 >=20 > (dodgy formatting, but that's all part of the almost-real-time-if-they-had= -been-uploaded-immediately charm, right?) >=20 > -anil >=20 > On 11 Jun 2013, at 15:18, David Scott wrote: >=20 >>=20 >> Hi folks, this is a reminder of the Mirage weekly call. =46rom today at 4= pm (BST) - call details are below. >>=20 >> 1. Please join my meeting. >> https://www1.gotomeeting.com/join/591890401 >>=20 >> 2. Use your microphone and speakers (VoIP) - a headset is recommended. O= r, call in using your telephone. >>=20 >> United States: +1 (626) 521-0017 >> Argentina (toll-free): 0 800 266 1385 >> Australia (toll-free): 1 800 191 358 >> Australia: +61 2 8355 1038 >> Austria (toll-free): 0 800 080061 >> Austria: +43 (0) 7 2088 0716 >> Bahrain (toll-free): 800 81 305 >> Belarus (toll-free): 8 820 0011 0331 >> Belgium (toll-free): 0 800 81388 >> Belgium: +32 (0) 28 08 4372 >> Brazil (toll-free): 0 800 047 4909 >> Canada (toll-free): 1 877 777 3281 >> Canada: +1 (647) 497-9380 >> China (toll-free): 4008 866154 >> Czech Republic (toll-free): 800 500453 >> Denmark (toll-free): 8025 0919 >> Denmark: +45 (0) 69 91 84 58 >> Finland (toll-free): 80094473 >> Finland: +358 (0) 931 58 1773 >> France (toll-free): 0 805 541 052 >> France: +33 (0) 170 950 590 >> Germany (toll-free): 0 800 723 5274 >> Germany: +49 (0) 811 8899 6934 >> Hong Kong (toll-free): 30774812 >> Iceland (toll-free): 800 9993 >> India (toll-free): 000 800 100 8227 >> Indonesia (toll-free): 001 803 020 2563 >> Ireland (toll-free): 1 800 818 263 >> Ireland: +353 (0) 15 133 006 >> Israel (toll-free): 1 809 388 020 >> Italy (toll-free): 800 906962 >> Italy: +39 0 699 26 68 65 >> Japan (toll-free): 0 120 242 200 >> Korea, Republic of (toll-free): 806180880 >> Luxembourg (toll-free): 800 81016 >> Malaysia (toll-free): 1 800 81 6504 >> Mexico (toll-free): 01 800 123 8367 >> Netherlands (toll-free): 0 800 020 0178 >> Netherlands: +31 (0) 208 080 759 >> New Zealand (toll-free): 0 800 44 9375 >> New Zealand: +64 (0) 9 974 9579 >> Norway (toll-free): 800 33 083 >> Norway: +47 21 04 30 59 >> Panama (toll-free): 18005072789 >> Peru (toll-free): 0 800 55253 >> Philippines (toll-free): 1 800 1110 1565 >> Poland (toll-free): 00 800 3211434 >> Portugal (toll-free): 800 180 139 >> Russian Federation (toll-free): 8 800 100 6914 >> Saudi Arabia (toll-free): 800 844 3636 >> Singapore (toll-free): 800 321 1143 >> South Africa (toll-free): 0 800 988 836 >> Spain (toll-free): 0 800 900 593 >> Spain: +34 931 76 1534 >> Sweden (toll-free): 020 794 545 >> Sweden: +46 (0) 852 500 691 >> Switzerland (toll-free): 0 800 000 452 >> Switzerland: +41 (0) 435 0026 89 >> Taiwan (toll-free): 00 800 666 846 >> Thailand (toll-free): 001 800 852 2442 >> Turkey (toll-free): 00 800 4488 29001 >> Ukraine (toll-free): 0 800 50 4691 >> United Arab Emirates (toll-free): 800 044 40444 >> United Kingdom (toll-free): 0 808 168 0209 >> United Kingdom: +44 (0) 207 151 1817 >> United States (toll-free): 1 877 309 2070 >> Uruguay (toll-free): 4054459 >> Viet Nam (toll-free): 180 06 627 >>=20 >> Access Code: 591-890-401 >> Audio PIN: Shown after joining the meeting >>=20 >> Meeting ID: 591-890-401 >>=20 >> GoToMeeting(r) >> Online Meetings Made Easy(r) >> --=20 >> Dave Scott >=20 >=20 --Apple-Mail-04871A8E-0D19-4CE8-AC08-B484167E2F2D Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Hi folks, brief reminder of the weekly= call at 4pm (BST). Dial-in details are below. 

Best wishes,
Amir
--
sent via mobile<= /div>
I've been "batching" up the minutes due to bei= ng busy with book hacking, but an entire month's worth are now on the websit= e!

http://www.openmirage.org/wiki/
http://www.openmirage.org/wiki/week= ly-2013-06-11
http://www.openmirage.org/wiki/weekly-2013-06-04
htt= p://www.openmirage.org/wiki/weekly-2013-05-28
http://www.openmirage.org= /wiki/weekly-2013-05-21

(dodgy formatti= ng, but that's all part of the almost-real-time-if-they-had-been-uploaded-im= mediately charm, right?)

-anil

On 11 Jun 2013, at 15:18, David Scott <scott.dj@gmail.com> wrote:
<= /span>

Hi folks, this is a reminder of the Mirage weekly call= .  =46rom today at 4pm (BST) - call details are below.

1.  Please join my meeting.
<= blockquote type=3D"cite">https://www1.gotomeeting.com/join/591890401

2.  Use your microphone and speakers (VoIP) - a heads= et is recommended.  Or, call in using your telephone.

United States: +1 (626) 521-0017
Argentina (toll-free): 0 800 266 1385
Australia (toll-free): 1 800 1= 91 358
Australia: +61= 2 8355 1038
Austria (= toll-free): 0 800 080061
Austria: +43 (0) 7 2088 0716
Bahrain (toll-free): 800 81 305
Belarus (toll-free): 8 820 0011 0331
Belgium (toll-free): 0 800 81388
Belgium: +32 (0) 28 08 43= 72
Brazil (toll-free)= : 0 800 047 4909
Cana= da (toll-free): 1 877 777 3281
Canada: +1 (647) 497-9380
China (toll-free): 4008 866154
Czech Republic (toll-free): 800 500453
Denmark (toll-free): 8025 0919
Denmark: +45 (0) 69 91 84= 58
Finland (toll-fre= e): 80094473
Finland:= +358 (0) 931 58 1773
France (toll-free): 0 805 541 052
France: +33 (0) 170 950 590
Germany (toll-free): 0 800 723 5274
Germany: +49 (0) 811 8899 6934
<= /blockquote>
Hong Kong (toll-free): 30774812<= /span>
Iceland (toll-free): 8= 00 9993
India (toll-f= ree): 000 800 100 8227
Indonesia (toll-free): 001 803 020 2563
Ireland (toll-free): 1 800 818 263
Ireland: +353 (0) 15 133 006
Israel (toll-free): 1 809 388 020=
Italy (toll-free): 8= 00 906962
Italy: +39 0= 699 26 68 65
Japan (= toll-free): 0 120 242 200
<= span>Korea, Republic of (toll-free): 806180880
Luxembourg (toll-free): 800 81016
Malaysia (toll-free): 1 800 81 6504
Mexico (toll-free): 01= 800 123 8367
Netherl= ands (toll-free): 0 800 020 0178
Netherlands: +31 (0) 208 080 759
New Zealand (toll-free): 0 800 44 9375
New Zealand: +64 (0) 9 974 9579
Norway (toll-free): 800= 33 083
Norway: +47 2= 1 04 30 59
Panama (to= ll-free): 18005072789
Peru (toll-free): 0 800 55253
Philippines (toll-free): 1 800 1110 1565
Poland (toll-free): 00 800 3211434
<= /blockquote>
Portugal (toll-free): 800 180 13= 9
Russian Federation (= toll-free): 8 800 100 6914
= Saudi Arabia (toll-free): 800 844 3636
Singapore (toll-free): 800 321 1143
South Africa (toll-free): 0 800 988 8= 36
Spain (toll-free):= 0 800 900 593
Spain:= +34 931 76 1534
Swed= en (toll-free): 020 794 545
Sweden: +46 (0) 852 500 691
Switzerland (toll-free): 0 800 000 452
<= blockquote type=3D"cite">Switzerland: +41 (0) 435 0026 89
Taiwan (toll-free): 00 800 666 84= 6
Thailand (toll-free= ): 001 800 852 2442
T= urkey (toll-free): 00 800 4488 29001
Ukraine (toll-free): 0 800 50 4691
United Arab Emirates (toll-free): 800 044 4044= 4
United Kingdom (tol= l-free): 0 808 168 0209
United Kingdom: +44 (0) 207 151 1817
United States (toll-free): 1 877 309 2070
Uruguay (toll-free): 4054459<= br>
Viet Nam (toll-free): 180 06= 627

Access Code: 591-890-401
<= /blockquote>
Audio PIN: Shown after joining t= he meeting
Meeting ID: 591-890-401=

GoToMeeting(r)
Online Meetings Made Easy(r)
<= blockquote type=3D"cite">--
Dave Scott


= --Apple-Mail-04871A8E-0D19-4CE8-AC08-B484167E2F2D-- From amc79@cam.ac.uk Wed Jun 19 16:57:55 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UpKlf-0005nf-7i (Exim 4.70) (return-path ); Wed, 19 Jun 2013 16:57:55 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from dhcp-172-17-152-29.eduroam.lapwing.private.cam.ac.uk ([172.17.152.29]:60663) by ppsw-33.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1UpKlf-0000Ob-gc (Exim 4.80_167-5a66dd3) (return-path ); Wed, 19 Jun 2013 16:57:55 +0100 From: Amir Chaudhry Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: OCaml Labs Meeting - Friday 28th June at 4pm in the Computer Lab Message-Id: Date: Wed, 19 Jun 2013 16:57:54 +0100 To: "cl-mirage@lists.cam.ac.uk List" , "cl-ocamllabs@lists.cam.ac.uk" Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) X-Mailer: Apple Mail (2.1508) 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, 19 Jun 2013 15:57:55 -0000 Content-Length: 538 Lines: 30 Dear all, The next OCaml Labs meeting will take place on the 28th of June at 4pm = in the Lab. A skeleton agenda is below and a more detailed one will follow in = advance of the meeting. =20 Please do let me know if you will be attending. -- Details -- OCaml Labs Meeting 28th June 2013 4pm =96 5pm Room FW26 (TBC) - Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Cambridge CB3 0FD -- Agenda -- OCL Updates - Platform projects - Systems projects - Compiler projects Open discussion Close Best wishes, Amir= From avsm@dark.recoil.org Fri Jun 21 12:38:07 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UpzfL-0002uF-UU (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 21 Jun 2013 12:38:07 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1494891 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:11634 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1UpzfK-0007Cd-9X (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 21 Jun 2013 12:38:07 +0100 Received: (qmail 23428 invoked by uid 10000); 21 Jun 2013 11:38:06 -0000 Date: Fri, 21 Jun 2013 12:38:06 +0100 From: Anil Madhavapeddy To: cl-mirage@lists.cam.ac.uk Subject: ANN: cohttp-0.9.10 and cow-0.6.0 Message-ID: <20130621113805.GA30779@dark.recoil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) 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, 21 Jun 2013 11:38:08 -0000 Content-Length: 821 Lines: 18 Two point releases with bugfixes today on OPAM. Thanks to David Sheets for most of the changes. Cohttp 0.9.10 (2013-06-21): * Add `set-cookie` header extraction functions for clients that read cookies. * Explicitly flush the debug output when the `COHTTP_DEBUG` env variable is set. * [async] Add client head/post/patch/delete methods. * [lwt] Client.head no longer returns a response body, just the metadata. * [lwt] Do not send chunked encoding headers with GET/DELETE requests that have no body. Cow 0.6.0 (21-June-2013): * Add URI anti-quotation expander that maps `$uri:u$` to `Uri.to_string u`. * Xmlm is now an external dependency instead of being bundled with Cow. * Remove `?templates` from `Html.of_string` and `Xml.of_string`. -- Anil Madhavapeddy http://anil.recoil.org From psxug2@nottingham.ac.uk Sat Jun 22 16:37:58 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UqPt0-0005LT-HA (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 22 Jun 2013 16:37:58 +0100 X-Cam-SpamDetails: score 0.7 from SpamAssassin-3.3.2-1495333 * 0.7 UNRESOLVED_TEMPLATE Headers contain an unresolved template * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from engine06-20433-6.icritical.com ([195.62.217.150]:46265) by ppsw-33.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1UqPt0-0008Dl-g7 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 22 Jun 2013 16:37:58 +0100 Received: (qmail 19248 invoked from network); 22 Jun 2013 15:37:46 -0000 Received: from localhost (127.0.0.1) by engine06-20433-6.icritical.com with SMTP; 22 Jun 2013 15:37:46 -0000 Received: from engine06-20433-6.icritical.com ([127.0.0.1]) by localhost (engine06-20433-6.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 18138-04 for ; Sat, 22 Jun 2013 16:37:42 +0100 (BST) Received: (qmail 19227 invoked by uid 599); 22 Jun 2013 15:37:42 -0000 Received: from unknown (HELO smtp4.nottingham.ac.uk) (128.243.220.65) by engine06-20433-6.icritical.com (qpsmtpd/0.28) with ESMTP; Sat, 22 Jun 2013 16:37:42 +0100 Received: from uiwexhub01.ad.nottingham.ac.uk ([128.243.15.133]) by smtp4.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1UqPsu-000890-EE for cl-mirage@lists.cam.ac.uk; Sat, 22 Jun 2013 16:37:52 +0100 X-Forefront-Antispam-Report: CIP:157.56.250.213; KIP:(null); UIP:(null); (null); H:AMSPRD0611HT002.eurprd06.prod.outlook.com; R:internal; EFV:INT X-SpamScore: -1 X-BigFish: PS-1(zzc85dh1a09J4015I14ffIzz1f42h1ee6h1de0h1d18h1fdah1202h1e76h1d1ah1d2ah1fc6h1082kzz18c673hz2dh2a8h668h839hd25hf0ah1288h12a5h12bdh137ah1441h1504h1537h153bh15d0h162dh1631h1758h18e1h1946h19b5h19ceh1ad9h1b0ah1bceh1d07h1d0ch1d2eh1d3fh1dc1h1de9h1dfeh1dffh1e1dh1155h) From: Udita Gangwal To: "cl-mirage@lists.cam.ac.uk" Subject: Clarification required in the iperf_self application Thread-Topic: Clarification required in the iperf_self application Thread-Index: AQHOb1ndKMVPdKADCkeqmXPdwBrKHQ== Date: Sat, 22 Jun 2013 15:37:45 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [128.243.253.103] Content-Type: multipart/alternative; boundary="_000_E913F33B2179B344B078BA38421B1721276C32DEAMSPRD0611MB578_" MIME-Version: 1.0 X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%19608$Dn%LISTS.CAM.AC.UK$RO%2$TLS%5$FQDN%exchangesmtp.nottingham.ac.uk$TlsDn%mail.nottingham.ac.uk X-OriginatorOrg: exmail.nottingham.ac.uk X-Virus-Scanned: by iCritical at engine06-20433-6.icritical.com 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, 22 Jun 2013 15:37:58 -0000 Content-Length: 5255 Lines: 142 --_000_E913F33B2179B344B078BA38421B1721276C32DEAMSPRD0611MB578_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hello All, I am trying to make the iperf_self application run which is present in the = mirage-skeleton. I have used the 4.00.1+mirage-unix version. I tried to run the app using the commands: mirari configure --unix iperf_self.conf mirari build --unix iperf_self.conf sudo ./mir-iperf_self Before executing these commands, I also used the ocaml-tuntap to create the= tap interfaces and then assigned IP addresses to the 2 interfaces: sudo ./tunctl.native add tap1 sudo ./tunctl.native add tap2 sudo ifconfig tap1 10.100.100.101 netmask 255.255.255.0 sudo ifconfig tap2 10.100.100.102 netmask 255.255.255.0 I saw that only the iperf server was being set up on a tap interface, but n= ot the iperf client. I then modified the code iperf_self.ml a little; now b= oth the server and the client are being set up on two different tap interfa= ces. After the iperf client is set up, the function "iperfclient" is called in t= he code. The "iperfclient" function then makes use of the pcb.connect funct= ion as follows: lwt conn =3D Net.Tcp.Pcb.connect tt ~dest_ip:ip ~dest_port:port in ... However, I do not see the SYN messages being transmitted to the server from= the client (using tcpdump on the interfaces). Could anyone please point out if I have missed anything here? Or is there s= omething else that has to be done too? Many Thanks, Udita This message and any attachment are intended solely for the addressee and m= ay contain confidential information. If you have received this message in er= ror, 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.=0D=0A =0D=0A This message has been checked for viruses but the contents of an attachment= =0D=0A may still contain software viruses which could damage your computer system,= you are advised to perform your own checks. Email communications with the U= niversity of Nottingham may be monitored as permitted by UK legislation.=0D=0A =0D=0A =0D=0A =0D=0A =0D=0A --_000_E913F33B2179B344B078BA38421B1721276C32DEAMSPRD0611MB578_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hello All,

I am trying to make the iperf_self application run which is present = in the mirage-skeleton. I have used the 4.00.1+mirage-unix versi= on.

I tried to run the app using the commands:

mirari configure --unix iperf_self.conf
mirari build --unix iperf_self.conf
sudo ./mir-iperf_self

Before executing these commands, I also used the ocaml-tuntap to create the= tap interfaces and then assigned IP addresses to the 2 interfaces:

sudo ./tunctl.native add tap1
sudo ./tunctl.native add tap2
sudo ifconfig tap1 10.100.100.101 netmask 255.255.255.0
sudo ifconfig tap2 10.100.100.102 netmask 255.255.255.0


I saw that only the iperf server was being set up on a tap interface, but n= ot the iperf client. I then modified the code iperf_self.ml a little; now both the server and the client are being= set up on two different tap interfaces.

After the iperf client is set up, the function "iperfclient" is c= alled in the code. The "iperfclient" function then makes use of t= he pcb.connect function as follows:

lwt conn =3D Net.Tcp.Pcb.connect tt ~dest_ip:ip ~dest_port:port in
...

However, I do not see the SYN messages being transmitted to the server from= the client (using tcpdump on the interfaces).

Could anyone please point out if I have missed anything here? Or is there s= omething else that has to be done too?

Many Thanks,
Udita



=

This message and any attachment are intended solely for the addressee an= d may contain confidential information. If you have received this message in= error, please send it back to me, and immediately delete it.   Pl= ease 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 Nottin= gham.

This message has been checked for viruses but the contents of an= attachment may still contain software viruses which could damage your compu= ter system, you are advised to perform your own checks. Email communications= with the University of Nottingham may be monitored as permitted by UK legis= lation.


= --_000_E913F33B2179B344B078BA38421B1721276C32DEAMSPRD0611MB578_-- From balraj885@gmail.com Sat Jun 22 22:58:19 2013 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 1UqVp5-0001Fx-Ke (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 22 Jun 2013 22:58:19 +0100 X-Cam-SpamDetails: score -0.3 from SpamAssassin-3.3.2-1495333 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.216.172 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (balraj885[at]gmail.com) * 0.2 FREEMAIL_ENVFROM_END_DIGIT Envelope-from freemail username ends in * digit (balraj885[at]gmail.com) * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-qc0-f172.google.com ([209.85.216.172]:34658) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1UqVp4-0003Gi-Ef (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 22 Jun 2013 22:58:19 +0100 Received: by mail-qc0-f172.google.com with SMTP id j10so5566769qcx.31 for ; Sat, 22 Jun 2013 14:58:17 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.49.83.197 with SMTP id s5mr21109439qey.22.1371938297821; Sat, 22 Jun 2013 14:58:17 -0700 (PDT) Sender: balraj885@gmail.com Received: by 10.49.52.198 with HTTP; Sat, 22 Jun 2013 14:58:17 -0700 (PDT) In-Reply-To: References: Date: Sat, 22 Jun 2013 22:58:17 +0100 X-Google-Sender-Auth: sJeg-aGP8o7srvQ0RWVFH6J0dKI Message-ID: Subject: Re: Clarification required in the iperf_self application From: Balraj Singh To: Udita Gangwal Content-Type: multipart/alternative; boundary=047d7b6d9720e53e0204dfc546b0 Cc: "cl-mirage@lists.cam.ac.uk" 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, 22 Jun 2013 21:58:19 -0000 Content-Length: 5934 Lines: 161 --047d7b6d9720e53e0204dfc546b0 Content-Type: text/plain; charset=ISO-8859-1 Hi Udita, I use this app with Xen to test the mirage tcp/ip stack. I haven't tried it with tun/tap on unix, though your steps seem right and it should have worked. I'll look into it and let you know. Balraj On Sat, Jun 22, 2013 at 4:37 PM, Udita Gangwal wrote: > Hello All, > > I am trying to make the *iperf_self* application run which is present in > the* mirage-skeleton*. I have used the 4.00.1+mirage-unix version. > > I tried to run the app using the commands: > * > mirari configure --unix iperf_self.conf > mirari build --unix iperf_self.conf > sudo ./mir-iperf_self* > > Before executing these commands, I also used the ocaml-tuntap to create > the tap interfaces and then assigned IP addresses to the 2 interfaces: > > *sudo ./tunctl.native add tap1 > sudo ./tunctl.native add tap2 > sudo ifconfig tap1 10.100.100.101 netmask 255.255.255.0 > sudo ifconfig tap2 10.100.100.102 netmask 255.255.255.0* > > > I saw that only the iperf server was being set up on a tap interface, but > not the iperf client. I then modified the code *iperf_self.ml* a little; > now both the server and the client are being set up on two different tap > interfaces. > > After the iperf client is set up, the function "iperfclient" is called in > the code. The "iperfclient" function then makes use of the pcb.connect > function as follows: > > lwt conn = Net.Tcp.Pcb.connect tt ~dest_ip:ip ~dest_port:port in > ... > > However, I do not see the SYN messages being transmitted to the server > from the client (using tcpdump on the interfaces). > > Could anyone please point out if I have missed anything here? Or is there > something else that has to be done too? > > Many Thanks, > Udita > > > > 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. > > 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. > > --047d7b6d9720e53e0204dfc546b0 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hi Udita,

I use this app with Xen= to test the mirage tcp/ip stack. =A0I haven't tried it with tun/tap on= unix, though your steps seem right and it should have worked. =A0I'll = look into it and let you know.

Balraj



On Sat, Jun 22, 2= 013 at 4:37 PM, Udita Gangwal <psxug2@nottingham.ac.uk> wrote:
Hello All,
I am trying to make the iperf_self application run which is present = in the mirage-skeleton. I have used the 4.00.1+mirage-unix version.<= br>
I tried to run the app using the commands:

mirari configure --unix iperf_self.conf
mirari build --unix iperf_self.conf
sudo ./mir-iperf_self

Before executing these commands, I also used the ocaml-tuntap to create the= tap interfaces and then assigned IP addresses to the 2 interfaces:

sudo ./tunctl.native add tap1
sudo ./tunctl.native add tap2
sudo ifconfig tap1 10.100.100.101 netmask 255.255.255.0
sudo ifconfig tap2 10.100.100.102 netmask 255.255.255.0


I saw that only the iperf server was being set up on a tap interface, but n= ot the iperf client. I then modified the code iperf_self.ml= a little; now both the server and the client are being set up on two diffe= rent tap interfaces.

After the iperf client is set up, the function "iperfclient" is c= alled in the code. The "iperfclient" function then makes use of t= he pcb.connect function as follows:

lwt conn =3D Net.Tcp.Pcb.connect tt ~dest_ip:ip ~dest_port:port in
...

However, I do not see the SYN messages being transmitted to the server from= the client (using tcpdump on the interfaces).

Could anyone please point out if I have missed anything here? Or is there s= omething else that has to be done too?

Many Thanks,
Udita



This message and any attachment are intended solely for the addresse= e and may contain confidential information. If you have received this messa= ge in error, please send it back to me, and immediately delete it.=A0=A0 Pl= ease do not use, copy or disclose the information contained in this message= or in any attachment.=A0 Any views or opinions expressed by the author of = this email do not necessarily reflect the views of the University of Nottin= gham.

This message has been checked for viruses but the contents of an attachm= ent may still contain software viruses which could damage your computer sys= tem, you are advised to perform your own checks. Email communications with = the University of Nottingham may be monitored as permitted by UK legislatio= n.



--047d7b6d9720e53e0204dfc546b0-- From dp463@hermes.cam.ac.uk Tue Jun 25 14:30:08 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrTJw-0002Zv-7A (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 14:30:08 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from c0169.aw.cl.cam.ac.uk ([128.232.100.169]:43077) by ppsw-33.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:dp463) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) id 1UrTJw-0005yP-gY (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 14:30:08 +0100 Message-ID: <51C99B5D.8010808@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 14:30:05 +0100 From: Dimosthenis Pediaditakis User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: cl-mirage@lists.cam.ac.uk Subject: Lwt installation error Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: "D. Pediaditakis" 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, 25 Jun 2013 13:30:08 -0000 Content-Length: 2475 Lines: 62 Hi everyone, has anyone had recently any problems installing 'lwt 2.4.3' against '4.00.1+mirage-xen' (using opam)? Thanks, Dimos --------------------------- Error message --------------------------- ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml File "src/unix/lwt_bytes.ml", line 273, characters 2-17: Error: Unbound value Array1.map_file Command exited with code 2. ---------------------------------------------------- lines 273-273 src/unix/lwt_bytes.ml ---------------------------------------------------- let map_file ~fd ?pos ~shared ?(size=(-1)) () = Array1.map_file fd ?pos char c_layout shared size --------------------------- System Info --------------------------- - Ubuntu server 12.10 - Kernel 3.5.0-34-generic x86_64 - OCaml version: 4.00.1 - Opam version: 1.0.0 - Opam repositories: [git] mirage-dev git://github.com/mirage/opam-repo-dev [http] default http://opam.ocamlpro.com - Installed ocaml packages: libcryptgps-ocaml-dev, libcryptokit-ocaml, libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base From amc79@cam.ac.uk Tue Jun 25 15:05:20 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrTs0-0003xN-Oh (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:05:20 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from user-wlan-144-98.emma.private.cam.ac.uk ([172.28.144.98]:50352) by ppsw-42.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1UrTs0-00059F-8p (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:05:20 +0100 From: Amir Chaudhry Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Mirage Weekly Call - 4pm BST today! Message-Id: Date: Tue, 25 Jun 2013 15:05:41 +0100 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) X-Mailer: Apple Mail (2.1508) 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, 25 Jun 2013 14:05:20 -0000 Content-Length: 778 Lines: 27 Hi folks, this is a reminder of the Mirage weekly call today at 4pm = (BST) There are only four weeks left until OSCON and the Mirage 1.0 release! Call details are below and I've snipped out most of the international = numbers - if anyone wants them just shout out (note that using phone as = the audio channel is sometimes more reliable). 1. Please join my meeting. https://www1.gotomeeting.com/join/591890401 2. Use your microphone and speakers (VoIP) - a headset is recommended. = Or, call in using your telephone. United Kingdom (toll-free): 0 808 168 0209 United Kingdom: +44 (0) 207 151 1817 United States (toll-free): 1 877 309 2070 United States: +1 (626) 521-0017 Access Code: 591-890-401 Audio PIN: Shown after joining the meeting Meeting ID: 591-890-401 From dp463@hermes.cam.ac.uk Tue Jun 25 15:27:26 2013 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 1UrUDO-0004rv-8W (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:27:26 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from c0169.aw.cl.cam.ac.uk ([128.232.100.169]:51431) by ppsw-52.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.158]:587) with esmtpsa (PLAIN:dp463) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) id 1UrUDO-0004ID-DF (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:27:26 +0100 Message-ID: <51C9A8CD.1070604@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 15:27:25 +0100 From: Dimosthenis Pediaditakis User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: cl-mirage@lists.cam.ac.uk Subject: Re: Lwt installation error References: <51C99B5D.8010808@cl.cam.ac.uk> In-Reply-To: <51C99B5D.8010808@cl.cam.ac.uk> Content-Type: multipart/alternative; boundary="------------000808060104040405050507" Sender: "D. Pediaditakis" 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, 25 Jun 2013 14:27:26 -0000 Content-Length: 8024 Lines: 206 This is a multi-part message in MIME format. --------------000808060104040405050507 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hmmm, it seems that it has to do with xenbigarray, which replaces base-bigarray when switching to the '4.00.1+mirage-xen' compiler. In xenbigarray ( https://github.com/mirage/xenbigarray/blob/master/lib/bigarray.ml) there is no function "map_file" Is there already an automated workaround for that? D. On 25/06/13 14:30, Dimosthenis Pediaditakis wrote: > Hi everyone, > has anyone had recently any problems installing 'lwt 2.4.3' against > '4.00.1+mirage-xen' (using opam)? > > Thanks, > Dimos > > > --------------------------- > Error message > --------------------------- > ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 > -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo > -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt > syntax/pa_optcomp.cmo -I src/unix -I src/core -o > src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml > + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 > -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo > -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt > syntax/pa_optcomp.cmo -I src/unix -I src/core -o > src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml > File "src/unix/lwt_bytes.ml", line 273, characters 2-17: > Error: Unbound value Array1.map_file > Command exited with code 2. > > ---------------------------------------------------- > lines 273-273 src/unix/lwt_bytes.ml > ---------------------------------------------------- > let map_file ~fd ?pos ~shared ?(size=(-1)) () = > Array1.map_file fd ?pos char c_layout shared size > > --------------------------- > System Info > --------------------------- > - Ubuntu server 12.10 > - Kernel 3.5.0-34-generic x86_64 > - OCaml version: 4.00.1 > - Opam version: 1.0.0 > - Opam repositories: > [git] mirage-dev git://github.com/mirage/opam-repo-dev > [http] default http://opam.ocamlpro.com > - Installed ocaml packages: > libcryptgps-ocaml-dev, libcryptokit-ocaml, > libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, > liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, > liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, > liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, > libobrowser-ocaml-dev, libocamlnet-ocaml, libocamlnet-ocaml-dev, > libocamlnet-ocaml-doc, libocsigen-ocaml, libocsigen-ocaml-dev, > libocsigen-ocaml-doc, libocsigen-xhtml-ocaml-dev, > libocsigenserver-ocaml, libocsigenserver-ocaml-dev, > libpcre-ocaml, libpcre-ocaml-dev, libreact-ocaml, > libreact-ocaml-dev, libsqlite3-ocaml, libsqlite3-ocaml-dev, > libssl-ocaml, libssl-ocaml-dev, libtext-ocaml, > libtext-ocaml-dev, libtyxml-ocaml, libtyxml-ocaml-dev, > libzip-ocaml, libzip-ocaml-dev, ocaml, ocaml-base, > ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, > ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base > > > --------------000808060104040405050507 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit
Hmmm, it seems that it has to do with xenbigarray, which replaces base-bigarray  when switching to the '4.00.1+mirage-xen' compiler.
In xenbigarray ( https://github.com/mirage/xenbigarray/blob/master/lib/bigarray.ml)  there is no function "map_file"

Is there already an automated workaround for that?

D.


On 25/06/13 14:30, Dimosthenis Pediaditakis wrote:
Hi everyone,
has anyone had recently any problems installing 'lwt 2.4.3' against '4.00.1+mirage-xen' (using opam)?

Thanks,
Dimos


---------------------------
    Error message
---------------------------
 ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml
+ ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml
File "src/unix/lwt_bytes.ml", line 273, characters 2-17:
Error: Unbound value Array1.map_file
Command exited with code 2.

----------------------------------------------------
    lines 273-273 src/unix/lwt_bytes.ml
----------------------------------------------------
let map_file ~fd ?pos ~shared ?(size=(-1)) () =
  Array1.map_file fd ?pos char c_layout shared size

---------------------------
   System Info
---------------------------
 - Ubuntu server 12.10
 - Kernel 3.5.0-34-generic  x86_64
 - OCaml version: 4.00.1
 - Opam version: 1.0.0
 - Opam repositories:
  [git]   mirage-dev     git://github.com/mirage/opam-repo-dev
  [http]     default     http://opam.ocamlpro.com
 - Installed ocaml packages:
      libcryptgps-ocaml-dev,  libcryptokit-ocaml, libcryptokit-ocaml-dev,   libfindlib-ocaml,   libfindlib-ocaml-dev, liblwt-glib-ocaml,  liblwt-glib-ocaml-dev,  liblwt-ocaml, liblwt-ocaml-dev,   liblwt-ocaml-doc, liblwt-ssl-ocaml, liblwt-ssl-ocaml-dev,    libnethttpd-ocaml-dev, libobrowser-ocaml-dev,    libocamlnet-ocaml, libocamlnet-ocaml-dev,    libocamlnet-ocaml-doc, libocsigen-ocaml,    libocsigen-ocaml-dev, libocsigen-ocaml-doc,    libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml,    libocsigenserver-ocaml-dev, libpcre-ocaml,    libpcre-ocaml-dev,    libreact-ocaml, libreact-ocaml-dev,    libsqlite3-ocaml,    libsqlite3-ocaml-dev, libssl-ocaml,    libssl-ocaml-dev,    libtext-ocaml, libtext-ocaml-dev,    libtyxml-ocaml,    libtyxml-ocaml-dev, libzip-ocaml,    libzip-ocaml-dev,    ocaml,    ocaml-base, ocaml-base-nox,    ocaml-compiler-libs,    ocaml-findlib, ocaml-interp,    ocaml-nox,    ocamlduce,    ocamlduce-base




--------------000808060104040405050507-- From anil@recoil.org Tue Jun 25 15:35:00 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrUKi-0005KJ-Kb (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:35:00 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1495960 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:28904 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1UrUKh-0002sc-99 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:35:00 +0100 Received: (qmail 7996 invoked by uid 634); 25 Jun 2013 14:34:59 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from host86-162-158-144.range86-162.btcentralplus.com (HELO [10.10.42.58]) (86.162.158.144) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 25 Jun 2013 15:34:57 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Lwt installation error From: Anil Madhavapeddy In-Reply-To: <51C99B5D.8010808@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 15:34:58 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <51C99B5D.8010808@cl.cam.ac.uk> To: Dimosthenis Pediaditakis X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 14:35:00 -0000 Content-Length: 3698 Lines: 93 A quick answer here is that the compiler switches are no longer = necessary to build the Xen backend. Instead, the 4.00.1 switch or a = system installation is sufficient. The latest Mirage releases have a virtual package (mirage-unix or = mirage-xen), of which only one can be installed. Similarly, there is a = (mirage-net-direct | mirage-net-socket) which both provide a mirage-net = library. You can create "fast" compiler switches without recompiling the compiler = in OPAM by $ opam switch 4.00.1 # this will build a new compiler $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 compiler You can use fast aliases to maintain lightweight chroots of the packages = you want, so you can have mirage-unix installed in one, and mirage-xen = in the other. (the docs on the webpage are almost certainly wrong -- I'm patching = Mirari at the moment to simplify the build by outputting Makefiles, and = then will update it all after testing). Let me know if you need any more help with this... -anil On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis = wrote: > Hi everyone, > has anyone had recently any problems installing 'lwt 2.4.3' against = '4.00.1+mirage-xen' (using opam)? >=20 > Thanks, > Dimos >=20 >=20 > --------------------------- > Error message > --------------------------- > ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml > + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml > File "src/unix/lwt_bytes.ml", line 273, characters 2-17: > Error: Unbound value Array1.map_file > Command exited with code 2. >=20 > ---------------------------------------------------- > lines 273-273 src/unix/lwt_bytes.ml > ---------------------------------------------------- > let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D > Array1.map_file fd ?pos char c_layout shared size >=20 > --------------------------- > System Info > --------------------------- > - Ubuntu server 12.10 > - Kernel 3.5.0-34-generic x86_64 > - OCaml version: 4.00.1 > - Opam version: 1.0.0 > - Opam repositories: > [git] mirage-dev git://github.com/mirage/opam-repo-dev > [http] default http://opam.ocamlpro.com > - Installed ocaml packages: > libcryptgps-ocaml-dev, libcryptokit-ocaml, = libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, = liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, = liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, = liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, = libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, = libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, = libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, = libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, = libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, = libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, = libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, = libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, = ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, = ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >=20 >=20 >=20 >=20 From anil@recoil.org Tue Jun 25 15:35:53 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrULZ-0005Lw-FE (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:35:53 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1495960 * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:31933 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1UrULY-0003CX-8h (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:35:53 +0100 Received: (qmail 1425 invoked by uid 634); 25 Jun 2013 14:35:52 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED,HTML_MESSAGE X-Spam-Check-By: dark.recoil.org Received: from host86-162-158-144.range86-162.btcentralplus.com (HELO [10.10.42.58]) (86.162.158.144) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 25 Jun 2013 15:35:51 +0100 Content-Type: multipart/alternative; boundary="Apple-Mail=_ED9B0285-B076-47F1-8E9B-633745F51A3C" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Lwt installation error From: Anil Madhavapeddy In-Reply-To: <51C9A8CD.1070604@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 15:35:52 +0100 Message-Id: <3E9EA45B-0739-433F-BD73-65F8220C78A2@recoil.org> References: <51C99B5D.8010808@cl.cam.ac.uk> <51C9A8CD.1070604@cl.cam.ac.uk> To: Dimosthenis Pediaditakis X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 14:35:53 -0000 Content-Length: 9344 Lines: 216 --Apple-Mail=_ED9B0285-B076-47F1-8E9B-633745F51A3C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 That's exactly right. Dave Scott patched the Mirage/Xen backend to add = fake stubs for map_file, so we no longer need the xenbigarray package. = This is all in the interests of simplifying the build to avoid the need = for all these special compiler switches. -anil On 25 Jun 2013, at 15:27, Dimosthenis Pediaditakis = wrote: > Hmmm, it seems that it has to do with xenbigarray, which replaces = base-bigarray when switching to the '4.00.1+mirage-xen' compiler. > In xenbigarray ( = https://github.com/mirage/xenbigarray/blob/master/lib/bigarray.ml) = there is no function "map_file" >=20 > Is there already an automated workaround for that? >=20 > D. >=20 >=20 > On 25/06/13 14:30, Dimosthenis Pediaditakis wrote: >> Hi everyone,=20 >> has anyone had recently any problems installing 'lwt 2.4.3' against = '4.00.1+mirage-xen' (using opam)?=20 >>=20 >> Thanks,=20 >> Dimos=20 >>=20 >>=20 >> ---------------------------=20 >> Error message=20 >> ---------------------------=20 >> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml=20 >> + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml=20 >> File "src/unix/lwt_bytes.ml", line 273, characters 2-17:=20 >> Error: Unbound value Array1.map_file=20 >> Command exited with code 2.=20 >>=20 >> ----------------------------------------------------=20 >> lines 273-273 src/unix/lwt_bytes.ml=20 >> ----------------------------------------------------=20 >> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D=20 >> Array1.map_file fd ?pos char c_layout shared size=20 >>=20 >> ---------------------------=20 >> System Info=20 >> ---------------------------=20 >> - Ubuntu server 12.10=20 >> - Kernel 3.5.0-34-generic x86_64=20 >> - OCaml version: 4.00.1=20 >> - Opam version: 1.0.0=20 >> - Opam repositories:=20 >> [git] mirage-dev git://github.com/mirage/opam-repo-dev=20 >> [http] default http://opam.ocamlpro.com=20 >> - Installed ocaml packages:=20 >> libcryptgps-ocaml-dev, libcryptokit-ocaml, = libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, = liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, = liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, = liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, = libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, = libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, = libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, = libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, = libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, = libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, = libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, = libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, = ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, = ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base=20 >>=20 >>=20 >>=20 >=20 --Apple-Mail=_ED9B0285-B076-47F1-8E9B-633745F51A3C Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=iso-8859-1 That's exactly right.  Dave Scott patched the Mirage/Xen backend to add fake stubs for map_file, so we no longer need the xenbigarray package.  This is all in the interests of simplifying the build to avoid the need for all these special compiler switches.

-anil

On 25 Jun 2013, at 15:27, Dimosthenis Pediaditakis <dimosthenis.pediaditakis@cl.cam.ac.uk> wrote:

Hmmm, it seems that it has to do with xenbigarray, which replaces base-bigarray  when switching to the '4.00.1+mirage-xen' compiler.
In xenbigarray ( https://github.com/mirage/xenbigarray/blob/master/lib/bigarray.ml)  there is no function "map_file"

Is there already an automated workaround for that?

D.


On 25/06/13 14:30, Dimosthenis Pediaditakis wrote:
Hi everyone,
has anyone had recently any problems installing 'lwt 2.4.3' against '4.00.1+mirage-xen' (using opam)?

Thanks,
Dimos


---------------------------
    Error message
---------------------------
 ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml
+ ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml
File "src/unix/lwt_bytes.ml", line 273, characters 2-17:
Error: Unbound value Array1.map_file
Command exited with code 2.

----------------------------------------------------
    lines 273-273 src/unix/lwt_bytes.ml
----------------------------------------------------
let map_file ~fd ?pos ~shared ?(size=(-1)) () =
  Array1.map_file fd ?pos char c_layout shared size

---------------------------
   System Info
---------------------------
 - Ubuntu server 12.10
 - Kernel 3.5.0-34-generic  x86_64
 - OCaml version: 4.00.1
 - Opam version: 1.0.0
 - Opam repositories:
  [git]   mirage-dev     git://github.com/mirage/opam-repo-dev
  [http]     default     http://opam.ocamlpro.com
 - Installed ocaml packages:
      libcryptgps-ocaml-dev,  libcryptokit-ocaml, libcryptokit-ocaml-dev,   libfindlib-ocaml,   libfindlib-ocaml-dev, liblwt-glib-ocaml,  liblwt-glib-ocaml-dev,  liblwt-ocaml, liblwt-ocaml-dev,   liblwt-ocaml-doc, liblwt-ssl-ocaml, liblwt-ssl-ocaml-dev,    libnethttpd-ocaml-dev, libobrowser-ocaml-dev,    libocamlnet-ocaml, libocamlnet-ocaml-dev,    libocamlnet-ocaml-doc, libocsigen-ocaml,    libocsigen-ocaml-dev, libocsigen-ocaml-doc,    libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml,    libocsigenserver-ocaml-dev, libpcre-ocaml,    libpcre-ocaml-dev,    libreact-ocaml, libreact-ocaml-dev,    libsqlite3-ocaml,    libsqlite3-ocaml-dev, libssl-ocaml,    libssl-ocaml-dev,    libtext-ocaml, libtext-ocaml-dev,    libtyxml-ocaml,    libtyxml-ocaml-dev, libzip-ocaml,    libzip-ocaml-dev,    ocaml,    ocaml-base, ocaml-base-nox,    ocaml-compiler-libs,    ocaml-findlib, ocaml-interp,    ocaml-nox,    ocamlduce,    ocamlduce-base





--Apple-Mail=_ED9B0285-B076-47F1-8E9B-633745F51A3C-- From thomas.gazagnaire@gmail.com Tue Jun 25 15:47:36 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrUWu-0005d0-Eh (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:47:36 +0100 X-Cam-SpamDetails: score -0.6 from SpamAssassin-3.3.2-1495960 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.48 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-wg0-f48.google.com ([74.125.82.48]:64731) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1UrUWt-00066k-1W (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 15:47:36 +0100 Received: by mail-wg0-f48.google.com with SMTP id f11so9259497wgh.3 for ; Tue, 25 Jun 2013 07:47:35 -0700 (PDT) X-Received: by 10.194.157.65 with SMTP id wk1mr20344256wjb.8.1372171655262; Tue, 25 Jun 2013 07:47:35 -0700 (PDT) Received: from [10.35.197.36] ([213.30.181.210]) by mx.google.com with ESMTPSA id u9sm4604384wif.6.2013.06.25.07.47.33 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 25 Jun 2013 07:47:34 -0700 (PDT) Sender: Thomas Gazagnaire Subject: Re: Lwt installation error Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: Date: Tue, 25 Jun 2013 16:47:32 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> References: <51C99B5D.8010808@cl.cam.ac.uk> To: Anil Madhavapeddy X-Mailer: Apple Mail (2.1085) Cc: Dimosthenis Pediaditakis , cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 14:47:36 -0000 Content-Length: 3875 Lines: 99 > You can create "fast" compiler switches without recompiling the = compiler in OPAM by To be complete, the "fast" compiler switches is actually not so fast: it = recompiles the whole compiler for each alias. The reason is that it is = quite hard to ensure that the right subtree are exported from one = compiler switch to another, as some libraries are installed in = PREFIX/lib/ocaml/NAME. I have some ideas to improve this, but it is not = working yet. So aliases ensure your installations are independent and separate, but = you don't really gain speed for now on. -- Thomas > $ opam switch 4.00.1 # this will build a new compiler > $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 compiler >=20 > You can use fast aliases to maintain lightweight chroots of the = packages you want, so you can have mirage-unix installed in one, and = mirage-xen in the other. >=20 > (the docs on the webpage are almost certainly wrong -- I'm patching = Mirari at the moment to simplify the build by outputting Makefiles, and = then will update it all after testing). >=20 > Let me know if you need any more help with this... >=20 > -anil >=20 > On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis = wrote: >=20 >> Hi everyone, >> has anyone had recently any problems installing 'lwt 2.4.3' against = '4.00.1+mirage-xen' (using opam)? >>=20 >> Thanks, >> Dimos >>=20 >>=20 >> --------------------------- >> Error message >> --------------------------- >> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml >> + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml >> File "src/unix/lwt_bytes.ml", line 273, characters 2-17: >> Error: Unbound value Array1.map_file >> Command exited with code 2. >>=20 >> ---------------------------------------------------- >> lines 273-273 src/unix/lwt_bytes.ml >> ---------------------------------------------------- >> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D >> Array1.map_file fd ?pos char c_layout shared size >>=20 >> --------------------------- >> System Info >> --------------------------- >> - Ubuntu server 12.10 >> - Kernel 3.5.0-34-generic x86_64 >> - OCaml version: 4.00.1 >> - Opam version: 1.0.0 >> - Opam repositories: >> [git] mirage-dev git://github.com/mirage/opam-repo-dev >> [http] default http://opam.ocamlpro.com >> - Installed ocaml packages: >> libcryptgps-ocaml-dev, libcryptokit-ocaml, = libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, = liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, = liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, = liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, = libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, = libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, = libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, = libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, = libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, = libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, = libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, = libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, = ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, = ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >>=20 >>=20 >>=20 >>=20 >=20 >=20 From dp463@hermes.cam.ac.uk Tue Jun 25 16:22:15 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrV4R-00074W-0F (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 16:22:15 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from c0169.aw.cl.cam.ac.uk ([128.232.100.169]:43580) by ppsw-33.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:dp463) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) id 1UrV4P-0002KC-iu (Exim 4.80_167-5a66dd3) (return-path ); Tue, 25 Jun 2013 16:22:13 +0100 Message-ID: <51C9B5A5.1050008@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 16:22:13 +0100 From: Dimosthenis Pediaditakis User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: Anil Madhavapeddy Subject: Re: Lwt installation error References: <51C99B5D.8010808@cl.cam.ac.uk> <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> In-Reply-To: <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Sender: "D. Pediaditakis" Cc: Thomas Gazagnaire , cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 15:22:15 -0000 Content-Length: 4432 Lines: 111 I've created ("fast") aliases, and have indeed noticed that it=20 recompiles the compiler, but since I don't get any error, I am happy :-) At this point, I only want to test a few Mirage instances on XCP. Mirari seems to be very convenient for automating the management of =20 mirage instances (e.g. on demand configure mirage app, build, deploy on=20 XCP). A draft guide/tutorial on using Mirari to configure and build Xen PV=20 kernels would be more than welcome. Thank you for your responses, D. On 25/06/13 15:47, Thomas Gazagnaire wrote: >> You can create "fast" compiler switches without recompiling the compil= er in OPAM by > To be complete, the "fast" compiler switches is actually not so fast: i= t recompiles the whole compiler for each alias. The reason is that it is = quite hard to ensure that the right subtree are exported from one compile= r switch to another, as some libraries are installed in PREFIX/lib/ocaml/= NAME. I have some ideas to improve this, but it is not working yet. > > So aliases ensure your installations are independent and separate, but = you don't really gain speed for now on. > > -- > Thomas > >> $ opam switch 4.00.1 # this will build a new compiler >> $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 compiler >> >> You can use fast aliases to maintain lightweight chroots of the packag= es you want, so you can have mirage-unix installed in one, and mirage-xen= in the other. >> >> (the docs on the webpage are almost certainly wrong -- I'm patching Mi= rari at the moment to simplify the build by outputting Makefiles, and the= n will update it all after testing). >> >> Let me know if you need any more help with this... >> >> -anil >> >> On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis wrote: >> >>> Hi everyone, >>> has anyone had recently any problems installing 'lwt 2.4.3' against '= 4.00.1+mirage-xen' (using opam)? >>> >>> Thanks, >>> Dimos >>> >>> >>> --------------------------- >>> Error message >>> --------------------------- >>> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -pac= kage bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt syn= tax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo = -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml >>> + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -p= ackage bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt s= yntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cm= o -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml= >>> File "src/unix/lwt_bytes.ml", line 273, characters 2-17: >>> Error: Unbound value Array1.map_file >>> Command exited with code 2. >>> >>> ---------------------------------------------------- >>> lines 273-273 src/unix/lwt_bytes.ml >>> ---------------------------------------------------- >>> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D >>> Array1.map_file fd ?pos char c_layout shared size >>> >>> --------------------------- >>> System Info >>> --------------------------- >>> - Ubuntu server 12.10 >>> - Kernel 3.5.0-34-generic x86_64 >>> - OCaml version: 4.00.1 >>> - Opam version: 1.0.0 >>> - Opam repositories: >>> [git] mirage-dev git://github.com/mirage/opam-repo-dev >>> [http] default http://opam.ocamlpro.com >>> - Installed ocaml packages: >>> libcryptgps-ocaml-dev, libcryptokit-ocaml, libcryptokit-ocaml-d= ev, libfindlib-ocaml, libfindlib-ocaml-dev, liblwt-glib-ocaml, liblw= t-glib-ocaml-dev, liblwt-ocaml, liblwt-ocaml-dev, liblwt-ocaml-doc, li= blwt-ssl-ocaml, liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrows= er-ocaml-dev, libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet= -ocaml-doc, libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-d= oc, libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, libocsigens= erver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, libreact-ocaml, = libreact-ocaml-dev, libsqlite3-ocaml, libsqlite3-ocaml-dev, libssl-= ocaml, libssl-ocaml-dev, libtext-ocaml, libtext-ocaml-dev, libty= xml-ocaml, libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, o= caml, ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-fin= dlib, ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >>> >>> >>> >>> >> From anil@recoil.org Tue Jun 25 16:54:28 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrVZc-0000NU-QQ (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 16:54:28 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1495960 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:9782 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1UrVZb-0006UT-9H (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 16:54:28 +0100 Received: (qmail 16657 invoked by uid 634); 25 Jun 2013 15:54:26 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from host86-162-158-144.range86-162.btcentralplus.com (HELO [10.10.42.58]) (86.162.158.144) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 25 Jun 2013 16:54:26 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Lwt installation error From: Anil Madhavapeddy In-Reply-To: <51C9B5A5.1050008@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 16:54:25 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <83E9809C-1CBD-451E-852C-BC5994D06ECF@recoil.org> References: <51C99B5D.8010808@cl.cam.ac.uk> <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> <51C9B5A5.1050008@cl.cam.ac.uk> To: Dimosthenis Pediaditakis X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Thomas Gazagnaire , cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 15:54:28 -0000 Content-Length: 4846 Lines: 126 Do you have an XCP cluster set up at the Lab? I can't test any changes = against xapi currently, as I only have Debian Xen machines. -anil On 25 Jun 2013, at 16:22, Dimosthenis Pediaditakis = wrote: > I've created ("fast") aliases, and have indeed noticed that it = recompiles the compiler, but since I don't get any error, I am happy :-) >=20 > At this point, I only want to test a few Mirage instances on XCP. > Mirari seems to be very convenient for automating the management of = mirage instances (e.g. on demand configure mirage app, build, deploy on = XCP). >=20 > A draft guide/tutorial on using Mirari to configure and build Xen PV = kernels would be more than welcome. >=20 > Thank you for your responses, > D. >=20 >=20 >=20 > On 25/06/13 15:47, Thomas Gazagnaire wrote: >>> You can create "fast" compiler switches without recompiling the = compiler in OPAM by >> To be complete, the "fast" compiler switches is actually not so fast: = it recompiles the whole compiler for each alias. The reason is that it = is quite hard to ensure that the right subtree are exported from one = compiler switch to another, as some libraries are installed in = PREFIX/lib/ocaml/NAME. I have some ideas to improve this, but it is not = working yet. >>=20 >> So aliases ensure your installations are independent and separate, = but you don't really gain speed for now on. >>=20 >> -- >> Thomas >>=20 >>> $ opam switch 4.00.1 # this will build a new compiler >>> $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 = compiler >>>=20 >>> You can use fast aliases to maintain lightweight chroots of the = packages you want, so you can have mirage-unix installed in one, and = mirage-xen in the other. >>>=20 >>> (the docs on the webpage are almost certainly wrong -- I'm patching = Mirari at the moment to simplify the build by outputting Makefiles, and = then will update it all after testing). >>>=20 >>> Let me know if you need any more help with this... >>>=20 >>> -anil >>>=20 >>> On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis = wrote: >>>=20 >>>> Hi everyone, >>>> has anyone had recently any problems installing 'lwt 2.4.3' against = '4.00.1+mirage-xen' (using opam)? >>>>=20 >>>> Thanks, >>>> Dimos >>>>=20 >>>>=20 >>>> --------------------------- >>>> Error message >>>> --------------------------- >>>> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml >>>> + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml >>>> File "src/unix/lwt_bytes.ml", line 273, characters 2-17: >>>> Error: Unbound value Array1.map_file >>>> Command exited with code 2. >>>>=20 >>>> ---------------------------------------------------- >>>> lines 273-273 src/unix/lwt_bytes.ml >>>> ---------------------------------------------------- >>>> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D >>>> Array1.map_file fd ?pos char c_layout shared size >>>>=20 >>>> --------------------------- >>>> System Info >>>> --------------------------- >>>> - Ubuntu server 12.10 >>>> - Kernel 3.5.0-34-generic x86_64 >>>> - OCaml version: 4.00.1 >>>> - Opam version: 1.0.0 >>>> - Opam repositories: >>>> [git] mirage-dev git://github.com/mirage/opam-repo-dev >>>> [http] default http://opam.ocamlpro.com >>>> - Installed ocaml packages: >>>> libcryptgps-ocaml-dev, libcryptokit-ocaml, = libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, = liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, = liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, = liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, = libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, = libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, = libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, = libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, = libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, = libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, = libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, = libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, = ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, = ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >>>>=20 >>>>=20 >>>>=20 >>>>=20 >>>=20 >=20 >=20 >=20 From dp463@hermes.cam.ac.uk Tue Jun 25 17:30:17 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UrW8H-0001B0-Mb (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 17:30:17 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from c0169.aw.cl.cam.ac.uk ([128.232.100.169]:57308) by ppsw-32.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.156]:587) with esmtpsa (PLAIN:dp463) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) id 1UrW8H-0000dd-0m (Exim 4.80_167-5a66dd3) (return-path ); Tue, 25 Jun 2013 17:30:17 +0100 Message-ID: <51C9C596.2010005@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 17:30:14 +0100 From: Dimosthenis Pediaditakis User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: Anil Madhavapeddy Subject: Re: Lwt installation error References: <51C99B5D.8010808@cl.cam.ac.uk> <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> <51C9B5A5.1050008@cl.cam.ac.uk> <83E9809C-1CBD-451E-852C-BC5994D06ECF@recoil.org> In-Reply-To: <83E9809C-1CBD-451E-852C-BC5994D06ECF@recoil.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Sender: "D. Pediaditakis" Cc: Thomas Gazagnaire , cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 16:30:17 -0000 Content-Length: 5158 Lines: 132 No, not at the moment. I've installed a single XCP instance on Ubuntu server 12.10 (i7 quad=20 core, 32GB ram), and have been experimenting with xapi. I am not sure though if it would be better to switch to Debian=20 squeeze/wheezy instead of Ubuntu server 12.04/12.10 D. On 25/06/13 16:54, Anil Madhavapeddy wrote: > Do you have an XCP cluster set up at the Lab? I can't test any changes= against xapi currently, as I only have Debian Xen machines. > > -anil > > On 25 Jun 2013, at 16:22, Dimosthenis Pediaditakis wrote: > >> I've created ("fast") aliases, and have indeed noticed that it recompi= les the compiler, but since I don't get any error, I am happy :-) >> >> At this point, I only want to test a few Mirage instances on XCP. >> Mirari seems to be very convenient for automating the management of m= irage instances (e.g. on demand configure mirage app, build, deploy on XC= P). >> >> A draft guide/tutorial on using Mirari to configure and build Xen PV = kernels would be more than welcome. >> >> Thank you for your responses, >> D. >> >> >> >> On 25/06/13 15:47, Thomas Gazagnaire wrote: >>>> You can create "fast" compiler switches without recompiling the comp= iler in OPAM by >>> To be complete, the "fast" compiler switches is actually not so fast:= it recompiles the whole compiler for each alias. The reason is that it i= s quite hard to ensure that the right subtree are exported from one compi= ler switch to another, as some libraries are installed in PREFIX/lib/ocam= l/NAME. I have some ideas to improve this, but it is not working yet. >>> >>> So aliases ensure your installations are independent and separate, bu= t you don't really gain speed for now on. >>> >>> -- >>> Thomas >>> >>>> $ opam switch 4.00.1 # this will build a new compiler >>>> $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 compile= r >>>> >>>> You can use fast aliases to maintain lightweight chroots of the pack= ages you want, so you can have mirage-unix installed in one, and mirage-x= en in the other. >>>> >>>> (the docs on the webpage are almost certainly wrong -- I'm patching = Mirari at the moment to simplify the build by outputting Makefiles, and t= hen will update it all after testing). >>>> >>>> Let me know if you need any more help with this... >>>> >>>> -anil >>>> >>>> On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis wrote: >>>> >>>>> Hi everyone, >>>>> has anyone had recently any problems installing 'lwt 2.4.3' against= '4.00.1+mirage-xen' (using opam)? >>>>> >>>>> Thanks, >>>>> Dimos >>>>> >>>>> >>>>> --------------------------- >>>>> Error message >>>>> --------------------------- >>>>> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 -p= ackage bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt s= yntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cm= o -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml= >>>>> + ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo -ppopt= syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.= cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.= ml >>>>> File "src/unix/lwt_bytes.ml", line 273, characters 2-17: >>>>> Error: Unbound value Array1.map_file >>>>> Command exited with code 2. >>>>> >>>>> ---------------------------------------------------- >>>>> lines 273-273 src/unix/lwt_bytes.ml >>>>> ---------------------------------------------------- >>>>> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D >>>>> Array1.map_file fd ?pos char c_layout shared size >>>>> >>>>> --------------------------- >>>>> System Info >>>>> --------------------------- >>>>> - Ubuntu server 12.10 >>>>> - Kernel 3.5.0-34-generic x86_64 >>>>> - OCaml version: 4.00.1 >>>>> - Opam version: 1.0.0 >>>>> - Opam repositories: >>>>> [git] mirage-dev git://github.com/mirage/opam-repo-dev >>>>> [http] default http://opam.ocamlpro.com >>>>> - Installed ocaml packages: >>>>> libcryptgps-ocaml-dev, libcryptokit-ocaml, libcryptokit-ocaml= -dev, libfindlib-ocaml, libfindlib-ocaml-dev, liblwt-glib-ocaml, lib= lwt-glib-ocaml-dev, liblwt-ocaml, liblwt-ocaml-dev, liblwt-ocaml-doc, = liblwt-ssl-ocaml, liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobro= wser-ocaml-dev, libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamln= et-ocaml-doc, libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml= -doc, libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, libocsige= nserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, libreact-ocaml= , libreact-ocaml-dev, libsqlite3-ocaml, libsqlite3-ocaml-dev, libss= l-ocaml, libssl-ocaml-dev, libtext-ocaml, libtext-ocaml-dev, lib= tyxml-ocaml, libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, = ocaml, ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-f= indlib, ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >>>>> >>>>> >>>>> >>>>> >> >> From anil@recoil.org Tue Jun 25 23:39:02 2013 Received: from ppsw-mx-f.csi.cam.ac.uk ([131.111.8.149] helo=ppsw-42.csi.cam.ac.uk) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Urbt8-0005wz-1C (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 23:39:02 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1495960 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:38007 helo=dark.recoil.org) by ppsw-42.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1Urbt7-0005zs-75 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 25 Jun 2013 23:39:02 +0100 Received: (qmail 31502 invoked by uid 634); 25 Jun 2013 22:39:00 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.125]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 25 Jun 2013 23:39:00 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Lwt installation error From: Anil Madhavapeddy In-Reply-To: <51C9C596.2010005@cl.cam.ac.uk> Date: Tue, 25 Jun 2013 23:38:59 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <9394860E-2D63-42CA-B379-80F3D460C3A0@recoil.org> References: <51C99B5D.8010808@cl.cam.ac.uk> <18AA96BB-7D46-4AE3-BE44-8DD80B468C99@gazagnaire.org> <51C9B5A5.1050008@cl.cam.ac.uk> <83E9809C-1CBD-451E-852C-BC5994D06ECF@recoil.org> <51C9C596.2010005@cl.cam.ac.uk> To: Dimosthenis Pediaditakis X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Thomas Gazagnaire , cl-mirage@lists.cam.ac.uk 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, 25 Jun 2013 22:39:02 -0000 Content-Length: 5714 Lines: 149 Try getting this: https://github.com/xapi-project/xen-api-client (with the async_test/ example) running against your host. There's an = XML-RPC protocol that this talks. If it works, then deploying the Xen = PV kernels should be quite easy. -anil On 25 Jun 2013, at 17:30, Dimosthenis Pediaditakis = wrote: > No, not at the moment. > I've installed a single XCP instance on Ubuntu server 12.10 (i7 quad = core, 32GB ram), and have been experimenting with xapi. > I am not sure though if it would be better to switch to Debian = squeeze/wheezy instead of Ubuntu server 12.04/12.10 >=20 > D. >=20 >=20 > On 25/06/13 16:54, Anil Madhavapeddy wrote: >> Do you have an XCP cluster set up at the Lab? I can't test any = changes against xapi currently, as I only have Debian Xen machines. >>=20 >> -anil >>=20 >> On 25 Jun 2013, at 16:22, Dimosthenis Pediaditakis = wrote: >>=20 >>> I've created ("fast") aliases, and have indeed noticed that it = recompiles the compiler, but since I don't get any error, I am happy :-) >>>=20 >>> At this point, I only want to test a few Mirage instances on XCP. >>> Mirari seems to be very convenient for automating the management of = mirage instances (e.g. on demand configure mirage app, build, deploy on = XCP). >>>=20 >>> A draft guide/tutorial on using Mirari to configure and build Xen = PV kernels would be more than welcome. >>>=20 >>> Thank you for your responses, >>> D. >>>=20 >>>=20 >>>=20 >>> On 25/06/13 15:47, Thomas Gazagnaire wrote: >>>>> You can create "fast" compiler switches without recompiling the = compiler in OPAM by >>>> To be complete, the "fast" compiler switches is actually not so = fast: it recompiles the whole compiler for each alias. The reason is = that it is quite hard to ensure that the right subtree are exported from = one compiler switch to another, as some libraries are installed in = PREFIX/lib/ocaml/NAME. I have some ideas to improve this, but it is not = working yet. >>>>=20 >>>> So aliases ensure your installations are independent and separate, = but you don't really gain speed for now on. >>>>=20 >>>> -- >>>> Thomas >>>>=20 >>>>> $ opam switch 4.00.1 # this will build a new compiler >>>>> $ opam switch myxen -a 4.00.1 # this will alias the 4.00.1 = compiler >>>>>=20 >>>>> You can use fast aliases to maintain lightweight chroots of the = packages you want, so you can have mirage-unix installed in one, and = mirage-xen in the other. >>>>>=20 >>>>> (the docs on the webpage are almost certainly wrong -- I'm = patching Mirari at the moment to simplify the build by outputting = Makefiles, and then will update it all after testing). >>>>>=20 >>>>> Let me know if you need any more help with this... >>>>>=20 >>>>> -anil >>>>>=20 >>>>> On 25 Jun 2013, at 14:30, Dimosthenis Pediaditakis = wrote: >>>>>=20 >>>>>> Hi everyone, >>>>>> has anyone had recently any problems installing 'lwt 2.4.3' = against '4.00.1+mirage-xen' (using opam)? >>>>>>=20 >>>>>> Thanks, >>>>>> Dimos >>>>>>=20 >>>>>>=20 >>>>>> --------------------------- >>>>>> Error message >>>>>> --------------------------- >>>>>> ocamlfind ocamlc -c -g -I src/core -package unix -package camlp4 = -package bigarray -syntax camlp4o -ppopt syntax/pa_lwt_options.cmo = -ppopt syntax/pa_lwt.cmo -ppopt syntax/pa_lwt_log.cmo -ppopt = syntax/pa_optcomp.cmo -I src/unix -I src/core -o src/unix/lwt_bytes.cmo = src/unix/lwt_bytes.ml >>>>>> + ocamlfind ocamlc -c -g -I src/core -package unix -package = camlp4 -package bigarray -syntax camlp4o -ppopt = syntax/pa_lwt_options.cmo -ppopt syntax/pa_lwt.cmo -ppopt = syntax/pa_lwt_log.cmo -ppopt syntax/pa_optcomp.cmo -I src/unix -I = src/core -o src/unix/lwt_bytes.cmo src/unix/lwt_bytes.ml >>>>>> File "src/unix/lwt_bytes.ml", line 273, characters 2-17: >>>>>> Error: Unbound value Array1.map_file >>>>>> Command exited with code 2. >>>>>>=20 >>>>>> ---------------------------------------------------- >>>>>> lines 273-273 src/unix/lwt_bytes.ml >>>>>> ---------------------------------------------------- >>>>>> let map_file ~fd ?pos ~shared ?(size=3D(-1)) () =3D >>>>>> Array1.map_file fd ?pos char c_layout shared size >>>>>>=20 >>>>>> --------------------------- >>>>>> System Info >>>>>> --------------------------- >>>>>> - Ubuntu server 12.10 >>>>>> - Kernel 3.5.0-34-generic x86_64 >>>>>> - OCaml version: 4.00.1 >>>>>> - Opam version: 1.0.0 >>>>>> - Opam repositories: >>>>>> [git] mirage-dev git://github.com/mirage/opam-repo-dev >>>>>> [http] default http://opam.ocamlpro.com >>>>>> - Installed ocaml packages: >>>>>> libcryptgps-ocaml-dev, libcryptokit-ocaml, = libcryptokit-ocaml-dev, libfindlib-ocaml, libfindlib-ocaml-dev, = liblwt-glib-ocaml, liblwt-glib-ocaml-dev, liblwt-ocaml, = liblwt-ocaml-dev, liblwt-ocaml-doc, liblwt-ssl-ocaml, = liblwt-ssl-ocaml-dev, libnethttpd-ocaml-dev, libobrowser-ocaml-dev, = libocamlnet-ocaml, libocamlnet-ocaml-dev, libocamlnet-ocaml-doc, = libocsigen-ocaml, libocsigen-ocaml-dev, libocsigen-ocaml-doc, = libocsigen-xhtml-ocaml-dev, libocsigenserver-ocaml, = libocsigenserver-ocaml-dev, libpcre-ocaml, libpcre-ocaml-dev, = libreact-ocaml, libreact-ocaml-dev, libsqlite3-ocaml, = libsqlite3-ocaml-dev, libssl-ocaml, libssl-ocaml-dev, = libtext-ocaml, libtext-ocaml-dev, libtyxml-ocaml, = libtyxml-ocaml-dev, libzip-ocaml, libzip-ocaml-dev, ocaml, = ocaml-base, ocaml-base-nox, ocaml-compiler-libs, ocaml-findlib, = ocaml-interp, ocaml-nox, ocamlduce, ocamlduce-base >>>>>>=20 >>>>>>=20 >>>>>>=20 >>>>>>=20 >>>=20 >>>=20 >=20 >=20 >=20 From Richard.Mortier@nottingham.ac.uk Wed Jun 26 23:08:06 2013 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 1Urxsk-0000wg-GN (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 26 Jun 2013 23:08:06 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1496382 * 0.0 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from engine02-20433-2.icritical.com ([195.62.217.151]:48128) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1Urxsj-0003Mm-EP (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 26 Jun 2013 23:08:06 +0100 Received: (qmail 20923 invoked from network); 26 Jun 2013 22:08:01 -0000 Received: from localhost (127.0.0.1) by engine02-20433-2.icritical.com with SMTP; 26 Jun 2013 22:08:01 -0000 Received: from engine02-20433-2.icritical.com ([127.0.0.1]) by localhost (engine02-20433-2.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 20590-04 for ; Wed, 26 Jun 2013 23:07:59 +0100 (BST) Received: (qmail 20869 invoked by uid 599); 26 Jun 2013 22:07:59 -0000 Received: from unknown (HELO smtp3.nottingham.ac.uk) (128.243.44.55) by engine02-20433-2.icritical.com (qpsmtpd/0.28) with ESMTP; Wed, 26 Jun 2013 23:07:59 +0100 Received: from uiwexhub02.ad.nottingham.ac.uk ([128.243.15.132]) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1Urxse-0005ok-GE for cl-mirage@lists.cam.ac.uk; Wed, 26 Jun 2013 23:08:00 +0100 From: Richard Mortier To: "cl-mirage@lists.cam.ac.uk List" Date: Wed, 26 Jun 2013 23:07:59 +0100 Subject: mirage/nixos Thread-Topic: mirage/nixos Thread-Index: Ac5yuZ50f0IQdi10Q4G7u63p+41Zjw== Message-ID: <5807D37E-6B5D-495B-9AA5-E4BA5E1582C2@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-Virus-Scanned: by iCritical at engine02-20433-2.icritical.com 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, 26 Jun 2013 22:08:06 -0000 Content-Length: 1790 Lines: 37 have been sporadically trying to get mirage up on nixos on virtualbox, and = being stymied by many ridiculous tool incompatibilities :/ have it in prin= ciple but hit an odd opam error when installing the ocamlfind package: configure: cannot determine ocaml's standard library directory if anyone's any suggestions, let me know -- where i'd got to so far is enca= psulated in a Makefile at =20 however, after brief interaction on irc #nixos, i'm now trying to get nixop= s working -- this is their cloud deployment system that just got released t= o v1.0. it supports (i think) command line generation of images for virtual= box (local testing) and ec2 (deployment) from a single config file: have hit a bug in a package file (issue filed) which is blocking me right n= ow, but will hopefully get through that soon. though this was probably a th= ing that would be useful to let people know about though. --=20 Cheers, R. 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. 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 Jun 26 23:19:30 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Ury3m-00015a-MZ (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 26 Jun 2013 23:19:30 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1496382 * 0.0 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from engine04-20433-4.icritical.com ([195.62.217.152]:57253) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1Ury3m-00073X-19 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 26 Jun 2013 23:19:30 +0100 Received: (qmail 5286 invoked from network); 26 Jun 2013 22:19:17 -0000 Received: from localhost (127.0.0.1) by engine04-20433-4.icritical.com with SMTP; 26 Jun 2013 22:19:17 -0000 Received: from engine04-20433-4.icritical.com ([127.0.0.1]) by localhost (engine04-20433-4.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 04364-06 for ; Wed, 26 Jun 2013 23:19:16 +0100 (BST) Received: (qmail 5275 invoked by uid 599); 26 Jun 2013 22:19:16 -0000 Received: from unknown (HELO smtp3.nottingham.ac.uk) (128.243.44.55) by engine04-20433-4.icritical.com (qpsmtpd/0.28) with ESMTP; Wed, 26 Jun 2013 23:19:16 +0100 Received: from uiwexhub02.ad.nottingham.ac.uk ([128.243.15.132]) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1Ury3i-00060z-UM for cl-mirage@lists.cam.ac.uk; Wed, 26 Jun 2013 23:19:26 +0100 From: Richard Mortier To: "cl-mirage@lists.cam.ac.uk List" Date: Wed, 26 Jun 2013 23:19:26 +0100 Subject: Re: mirage/nixos Thread-Topic: mirage/nixos Thread-Index: Ac5yuzgYDOAhGFCMTIKgVufdoR80Sw== Message-ID: References: <5807D37E-6B5D-495B-9AA5-E4BA5E1582C2@nottingham.ac.uk> In-Reply-To: <5807D37E-6B5D-495B-9AA5-E4BA5E1582C2@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-Virus-Scanned: by iCritical at engine04-20433-4.icritical.com 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, 26 Jun 2013 22:19:30 -0000 Content-Length: 1239 Lines: 28 On 26 Jun 2013, at 23:07, Richard Mortier wrote: > have hit a bug in a package file (issue filed) which is blocking me right= now, but will hopefully get through that soon. though this was probably a = thing that would be useful to let people know about though. ...and a second bug, also issue filed, in getting a clean install of nixops= on osx. apparently linux will work just fine though, so i'll try that on = friday afternoon hopefully. (b) and zzz now... --=20 Cheers, R. 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. 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 warnegia@gmail.com Thu Jun 27 21:19:49 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UsIfV-0000eK-HK (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 21:19:49 +0100 X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1496832 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.215.46 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (warnegia[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-la0-f46.google.com ([209.85.215.46]:64758) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1UsIfU-0000yV-2k (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 21:19:49 +0100 Received: by mail-la0-f46.google.com with SMTP id eg20so1346175lab.19 for ; Thu, 27 Jun 2013 13:19:48 -0700 (PDT) X-Received: by 10.152.43.52 with SMTP id t20mr4944449lal.62.1372364388339; Thu, 27 Jun 2013 13:19:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.112.189.1 with HTTP; Thu, 27 Jun 2013 13:19:28 -0700 (PDT) From: William Le Ferrand Date: Thu, 27 Jun 2013 13:19:28 -0700 Message-ID: Subject: Mirage & dynlink To: cl-mirage@lists.cam.ac.uk Content-Type: multipart/alternative; boundary=001a11c242fede954104e0287b6c 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, 27 Jun 2013 20:19:49 -0000 Content-Length: 1553 Lines: 49 --001a11c242fede954104e0287b6c Content-Type: text/plain; charset=ISO-8859-1 Hi, I'm new to mirage and not sure where to post : is mirage compatible with plugins/dynlinking strategies such as the one offered by https://github.com/janestreet/ocaml_plugin? Thanks! William -- William Le Ferrand Mobile : (+1) (415) 683-1484 Web : http://williamleferrand.github.com/ --001a11c242fede954104e0287b6c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hi,

I'm new to mirage and not= sure where to post : is mirage compatible with plugins/dynlinking strategi= es such as the one offered by=A0https://github.com/janestreet/ocaml_plugin?

Thanks!

William



--=
William Le Ferrand

Mobile :=A0(+1)=A0(= 415) 683-1484
--001a11c242fede954104e0287b6c-- From anil@recoil.org Thu Jun 27 22:10:52 2013 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 1UsJSu-00018T-2K (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 22:10:52 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1496832 * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:32205 helo=dark.recoil.org) by ppsw-52.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1UsJSt-00033n-D4 (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 22:10:52 +0100 Received: (qmail 24356 invoked by uid 634); 27 Jun 2013 21:10:50 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED,HTML_MESSAGE X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.125]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Thu, 27 Jun 2013 22:10:49 +0100 Content-Type: multipart/alternative; boundary="Apple-Mail=_75BAC0EC-FB9B-44A8-9B61-4C5ABA41B6F1" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Subject: Re: Mirage & dynlink From: Anil Madhavapeddy In-Reply-To: Date: Thu, 27 Jun 2013 22:10:49 +0100 Message-Id: <05B65893-E148-4562-A587-2844D95619AF@recoil.org> References: To: William Le Ferrand X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk 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, 27 Jun 2013 21:10:52 -0000 Content-Length: 3559 Lines: 92 --Apple-Mail=_75BAC0EC-FB9B-44A8-9B61-4C5ABA41B6F1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 It will be, but not yet. There's a few things to be done: - stabilise the ocaml_plugin API to be portable to non-Linux. This is = almost done (it has a slightly mental strategy of turning the entire = ocaml compiler into a .o file which is then linked in as a C library to = the binary, to let it recompile the plugin). - make the native code ocamlopt not require an external assembler. This = has been done by Benedikt's ocamlnat -- see = http://arxiv.org/pdf/1110.1029.pdf - remove filesystem dependencies (easy once previous two bits are done) -anil On 27 Jun 2013, at 21:19, William Le Ferrand wrote: > Hi, >=20 > I'm new to mirage and not sure where to post : is mirage compatible = with plugins/dynlinking strategies such as the one offered by = https://github.com/janestreet/ocaml_plugin? >=20 > Thanks! >=20 > William >=20 >=20 >=20 > --=20 > William Le Ferrand >=20 > Mobile : (+1) (415) 683-1484 > Web : http://williamleferrand.github.com/ --Apple-Mail=_75BAC0EC-FB9B-44A8-9B61-4C5ABA41B6F1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 It = will be, but not yet.  There's a few things to be = done:

- stabilise the ocaml_plugin API to be portable = to non-Linux.  This is almost done (it has a slightly mental = strategy of turning the entire ocaml compiler into a .o file which is = then linked in as a C library to the binary, to let it recompile the = plugin).

- make the native code ocamlopt not = require an external assembler.  This has been done by Benedikt's = ocamlnat -- see http://arxiv.org/pdf/1110.1029= .pdf

- remove filesystem dependencies (easy = once previous two bits are = done)

-anil

On= 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@gmail.com> = wrote:

Hi,

I'm new = to mirage and not sure where to post : is mirage compatible with = plugins/dynlinking strategies such as the one offered by https://github.com/jan= estreet/ocaml_plugin?

Thanks!

William



--
William Le = Ferrand

Mobile : (+1) (415) 683-1484

= --Apple-Mail=_75BAC0EC-FB9B-44A8-9B61-4C5ABA41B6F1-- From warnegia@gmail.com Thu Jun 27 22:14:04 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UsJW0-00019Z-49 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 22:14:04 +0100 X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1496832 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.215.46 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (warnegia[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list * 0.0 T_FILL_THIS_FORM_SHORT Fill in a short form with personal * information X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-la0-f46.google.com ([209.85.215.46]:60111) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1UsJVz-0004Eb-0w (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 22:14:04 +0100 Received: by mail-la0-f46.google.com with SMTP id eg20so1403517lab.19 for ; Thu, 27 Jun 2013 14:14:02 -0700 (PDT) X-Received: by 10.152.43.52 with SMTP id t20mr5032278lal.62.1372367642811; Thu, 27 Jun 2013 14:14:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.112.189.1 with HTTP; Thu, 27 Jun 2013 14:13:42 -0700 (PDT) In-Reply-To: <05B65893-E148-4562-A587-2844D95619AF@recoil.org> References: <05B65893-E148-4562-A587-2844D95619AF@recoil.org> From: William Le Ferrand Date: Thu, 27 Jun 2013 14:13:42 -0700 Message-ID: Subject: Re: Mirage & dynlink To: Anil Madhavapeddy Content-Type: multipart/alternative; boundary=001a11c242fed9e30004e0293dcd Cc: cl-mirage 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, 27 Jun 2013 21:14:04 -0000 Content-Length: 5285 Lines: 141 --001a11c242fed9e30004e0293dcd Content-Type: text/plain; charset=ISO-8859-1 Thanks Anil. I'm drafting an architecture for a big data company and I'd love to end up with something as simple as a single microkernel for their whole stack, so I was wondering what I could use and what I should stay away from. Btw do you know if there are some industrial applications of Mirage already? On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavapeddy wrote: > It will be, but not yet. There's a few things to be done: > > - stabilise the ocaml_plugin API to be portable to non-Linux. This is > almost done (it has a slightly mental strategy of turning the entire ocaml > compiler into a .o file which is then linked in as a C library to the > binary, to let it recompile the plugin). > > - make the native code ocamlopt not require an external assembler. This > has been done by Benedikt's ocamlnat -- see > http://arxiv.org/pdf/1110.1029.pdf > > - remove filesystem dependencies (easy once previous two bits are done) > > -anil > > On 27 Jun 2013, at 21:19, William Le Ferrand wrote: > > Hi, > > I'm new to mirage and not sure where to post : is mirage compatible with > plugins/dynlinking strategies such as the one offered by > https://github.com/janestreet/ocaml_plugin? > > Thanks! > > William > > > > -- > William Le Ferrand > > Mobile : (+1) (415) 683-1484 > Web : http://williamleferrand.github.com/ > > > > -- William Le Ferrand Mobile : (+1) (415) 683-1484 Web : http://williamleferrand.github.com/ --001a11c242fed9e30004e0293dcd Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Thanks Anil. I'm drafting an architecture for a big da= ta company and I'd love to end up with something as simple as a single = microkernel for their whole stack, so I was wondering what I could use and = what I should stay away from.=A0

Btw do you know if there are some industrial applicati= ons of Mirage already?


On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavapeddy <ani= l@recoil.org> wrote:
It will = be, but not yet. =A0There's a few things to be done:

- stabilise the ocaml_plugin API to be portable to non-Linux. =A0This is a= lmost done (it has a slightly mental strategy of turning the entire ocaml c= ompiler into a .o file which is then linked in as a C library to the binary= , to let it recompile the plugin).

- make the native code ocamlopt not require an external= assembler. =A0This has been done by Benedikt's ocamlnat -- see=A0http://arxiv.or= g/pdf/1110.1029.pdf

- remove filesystem dependencies (easy once previous tw= o bits are done)
<= br>
-anil

On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@gmail.com> wro= te:

Hi,

<= div> I'm new to mirage and not sure where to post : is mirage compatible wit= h plugins/dynlinking strategies such as the one offered by=A0https://github.c= om/janestreet/ocaml_plugin?

Thanks!

William



--
William Le Ferrand<= br>
Mobile :=A0(+1)=A0(415) 683-1484




--
William Le Ferrand

Mobi= le :=A0(+1)=A0(415) 683-1484
--001a11c242fed9e30004e0293dcd-- From Dave.Scott@eu.citrix.com Thu Jun 27 23:05:02 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UsKJK-0001ev-PH (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 23:05:02 +0100 X-Cam-SpamDetails: score -1.3 from SpamAssassin-3.3.2-1496832 * -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at http://www.dnswl.org/, no * trust * [46.33.159.39 listed in list.dnswl.dnsbl.ja.net] * -1.3 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.0 T_FILL_THIS_FORM_SHORT Fill in a short form with personal * information X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from smtp.eu.citrix.com ([46.33.159.39]:31508) by ppsw-33.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp id 1UsKJK-0004QF-fz (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 27 Jun 2013 23:05:02 +0100 X-IronPort-AV: E=Sophos;i="4.87,955,1363132800"; d="scan'208,217";a="6141859" Received: from lonpex01cl02.citrite.net ([10.30.203.102]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/AES128-SHA; 27 Jun 2013 22:05:01 +0000 Received: from LONPEX01CL03.citrite.net ([169.254.3.204]) by LONPEX01CL02.citrite.net ([10.30.203.102]) with mapi id 14.02.0342.004; Thu, 27 Jun 2013 23:05:00 +0100 From: Dave Scott To: William Le Ferrand Subject: Re: Mirage & dynlink Thread-Topic: Mirage & dynlink Thread-Index: AQHOc3OvXVrxSsT030yE4q0h9ok0B5lJ/e2AgAAAzgCAAB8ZgA== Date: Thu, 27 Jun 2013 22:05:00 +0000 Message-ID: <66684AE8-405E-466F-9C7D-9F33E41407CB@eu.citrix.com> References: <05B65893-E148-4562-A587-2844D95619AF@recoil.org>, In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: multipart/alternative; boundary="_000_66684AE8405E466F9C7D9F33E41407CBeucitrixcom_" MIME-Version: 1.0 Cc: cl-mirage , 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: Thu, 27 Jun 2013 22:05:02 -0000 Content-Length: 7107 Lines: 237 --_000_66684AE8405E466F9C7D9F33E41407CBeucitrixcom_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Hi, On Jun 27, 2013, at 10:14 PM, "William Le Ferrand" > wrote: Thanks Anil. I'm drafting an architecture for a big data company and I'd lo= ve to end up with something as simple as a single microkernel for their who= le stack, so I was wondering what I could use and what I should stay away f= rom. Btw do you know if there are some industrial applications of Mirage already= ? My first planned use of Mirage in an industrial context is to host the "xen= store" service, a performance- and security-critical component which is par= t of the xen hypervisor control-plane software. XenServer already uses an O= Caml xenstore implementation; Mirage lets me take the existing userspace ap= p and relink it to run direct in kernel space where I can more easily guara= ntee it CPU time and isolate it from other components. Cheers, Dave Scott XenServer System Architect On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavapeddy > wrote: It will be, but not yet. There's a few things to be done: - stabilise the ocaml_plugin API to be portable to non-Linux. This is almo= st done (it has a slightly mental strategy of turning the entire ocaml comp= iler into a .o file which is then linked in as a C library to the binary, t= o let it recompile the plugin). - make the native code ocamlopt not require an external assembler. This ha= s been done by Benedikt's ocamlnat -- see http://arxiv.org/pdf/1110.1029.pd= f - remove filesystem dependencies (easy once previous two bits are done) -anil On 27 Jun 2013, at 21:19, William Le Ferrand > wrote: Hi, I'm new to mirage and not sure where to post : is mirage compatible with pl= ugins/dynlinking strategies such as the one offered by https://github.com/j= anestreet/ocaml_plugin? Thanks! William -- William Le Ferrand Mobile : (+1) (415) 683-1484 Web : http://williamleferrand.github.com/ -- William Le Ferrand Mobile : (+1) (415) 683-1484 Web : http://williamleferrand.github.com/ --_000_66684AE8405E466F9C7D9F33E41407CBeucitrixcom_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable
Hi,

On Jun 27, 2013, at 10:14 PM, "William Le Ferrand" <warnegia@gmail.com> wrote:

Thanks Anil. I'm drafting an architecture for a big data c= ompany and I'd love to end up with something as simple as a single microker= nel for their whole stack, so I was wondering what I could use and what I s= hould stay away from. 

Btw do you know if there are some industrial applications o= f Mirage already?

My first planned use of Mirage in an industrial context is to host the &quo= t;xenstore" service, a performance- and security-critical component wh= ich is part of the xen hypervisor control-plane software. XenServer already= uses an OCaml xenstore implementation; Mirage lets me take the existing userspace app and relink it to run direct in ker= nel space where I can more easily guarantee it CPU time and isolate it from= other components.

Cheers,
Dave Scott
XenServer System Architect



On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavaped= dy <anil@recoil.org> wrote:
It will be, but not yet.  There's = a few things to be done:

- stabilise the ocaml_plugin API to be portable to non-Linux.  Th= is is almost done (it has a slightly mental strategy of turning the entire = ocaml compiler into a .o file which is then linked in as a C library to the= binary, to let it recompile the plugin).

- remove filesystem dependencies (easy once previous two bits are done= )

-anil

On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@gmail.com> wrote:

Hi,

I'm new to mirage and not sure where to post : is mirage compatible wi= th plugins/dynlinking strategies such as the one offered by https://gith= ub.com/janestreet/ocaml_plugin?

Thanks!

William



--
William Le Ferrand





--
William Le Ferrand
--_000_66684AE8405E466F9C7D9F33E41407CBeucitrixcom_-- From amc79@cam.ac.uk Fri Jun 28 11:48:31 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UsWEB-00013p-KG (Exim 4.70) (return-path ); Fri, 28 Jun 2013 11:48:31 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from cpc17-cmbg14-2-0-cust360.5-4.cable.virginmedia.com ([86.6.155.105]:60869 helo=[192.168.0.10]) by ppsw-33.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1UsWEB-0005Jd-hj (Exim 4.80_167-5a66dd3) (return-path ); Fri, 28 Jun 2013 11:48:31 +0100 Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) Subject: Re: OCaml Labs Meeting - Friday 28th June at 4pm in the Computer Lab From: Amir Chaudhry In-Reply-To: Date: Fri, 28 Jun 2013 11:48:36 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <83943FD1-94BD-44B7-A491-58028C77B38C@cam.ac.uk> References: To: "cl-mirage@lists.cam.ac.uk List" , "cl-ocamllabs@lists.cam.ac.uk" X-Mailer: Apple Mail (2.1508) 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, 28 Jun 2013 10:48:31 -0000 Content-Length: 1216 Lines: 61 ROOM CHANGE: We're in SS03, on the second floor. Dear all, We're meeting at 4pm in SS03 in the Computer Lab today. It's 'internal' = to the building so for those of you without keycards, I'll be waiting on = the external side until 4:05pm. After that, you can ring/text me on = 07922552647 to open the door. The agenda is below. -- Agenda -- OCL Updates Platform and Systems - Mirage (Anil)=20 - OCamlot (David) - MPP library - for ocaml.org (Philippe)=20 Compiler projects - OPAM-doc (Vincent) Open discussion Close Best wishes, Amir On 19 Jun 2013, at 16:57, Amir Chaudhry wrote: > Dear all, >=20 > The next OCaml Labs meeting will take place on the 28th of June at 4pm = in the Lab. >=20 > A skeleton agenda is below and a more detailed one will follow in = advance of the meeting. =20 >=20 > Please do let me know if you will be attending. >=20 > -- Details -- > OCaml Labs Meeting > 28th June 2013 > 4pm =96 5pm > Room FW26 (TBC) - Cambridge Computer Laboratory > William Gates Building > JJ Thomson Avenue > Cambridge CB3 0FD >=20 > -- Agenda -- > OCL Updates > - Platform projects > - Systems projects > - Compiler projects > Open discussion > Close >=20 > Best wishes, > Amir From vb@luminar.eu.org Fri Jun 28 14:42:28 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UsYwW-0000Lk-Dj (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 28 Jun 2013 14:42:28 +0100 X-Cam-SpamDetails: score -1.3 from SpamAssassin-3.3.2-1497245 * -1.3 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from luminar.eu.org ([94.23.24.152]:33042) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1UsYw9-0005eS-0U (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 28 Jun 2013 14:42:26 +0100 Received: from [IPv6:::1] (localhost.localdomain [127.0.0.1]) by luminar.eu.org (Postfix) with ESMTP id 9E40461908; Fri, 28 Jun 2013 15:42:04 +0200 (CEST) Message-ID: <51CD92AC.7070608@luminar.eu.org> Date: Fri, 28 Jun 2013 14:42:04 +0100 From: Vincent Bernardoff User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130514 Thunderbird/17.0.6 MIME-Version: 1.0 To: Balraj Singh , cl-mirage@lists.cam.ac.uk Subject: Re: mirage-platform commit on June 26 References: In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit 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, 28 Jun 2013 13:42:28 -0000 Content-Length: 1002 Lines: 28 On 28/06/2013 14:38, Balraj Singh wrote: > Hi Vincent, > > I work on some of the mirage network stack. If I include your > mirage-platform commit on june 26 (and change my Io_page calls to work with > the changed interface) none of my tests work anymore. > > A typical test I have (mirage-net/direct/tests/iperf_self/iperf-self.ml) > simply opens two interfaces and send a lot of data from one to the other. > With the change I rarely, if at all, see any packets that I send from one > interface on the other. I usually see the packet out on the bridge but not > back on my other interface. Could you please help? > > If you would like to run the test, please get the latest version of > mirage-platform and mirage-net from my branch ( > github.com/balrajsingh/mirage-net.git, ...). Build > mirage-net/tests/iperf_self/iperf_self.ml for mirage-xen and use the > iperf_self.cfg file in the same directory. > > Many thanks, > > Balraj > Of course I will. I’m having a look at it ASAP. Vincent From anil@recoil.org Sat Jun 29 19:04:45 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UszVt-0006Kk-G4 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 29 Jun 2013 19:04:45 +0100 X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1497685 X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:33726 helo=dark.recoil.org) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1UszVs-0001OC-2u (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sat, 29 Jun 2013 19:04:45 +0100 Received: (qmail 23275 invoked by uid 634); 29 Jun 2013 18:04:44 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.48]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Sat, 29 Jun 2013 19:04:42 +0100 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: ocamlbuild output-obj Message-Id: Date: Sat, 29 Jun 2013 19:04:45 +0100 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) 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, 29 Jun 2013 18:04:45 -0000 Content-Length: 265 Lines: 10 I've been putting in fixes into 4.1 for ocamlbuild, and this simple = patch adds support for output-obj: http://caml.inria.fr/mantis/view.php?id=3D6059 It should be all we need to compile up Xen kernels, now that all the = other libraries use ocamlfind. -anil= From vb@luminar.eu.org Sun Jun 30 13:08:35 2013 Received: from ppsw-32.csi.cam.ac.uk ([131.111.8.132]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UtGQl-0001Ff-8N (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 30 Jun 2013 13:08:35 +0100 X-Cam-SpamDetails: score -0.0 from SpamAssassin-3.3.2-1497991 * -0.0 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from luminar.eu.org ([94.23.24.152]:38623) by ppsw-32.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1UtGQk-0003IK-2t (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 30 Jun 2013 13:08:35 +0100 Received: from [IPv6:::1] (localhost.localdomain [127.0.0.1]) by luminar.eu.org (Postfix) with ESMTP id 6483061971 for ; Sun, 30 Jun 2013 14:08:34 +0200 (CEST) Message-ID: <51D01FC2.3090208@luminar.eu.org> Date: Sun, 30 Jun 2013 13:08:34 +0100 From: Vincent Bernardoff User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130625 Thunderbird/17.0.7 MIME-Version: 1.0 To: cl-mirage@lists.cam.ac.uk Subject: Re: mirage-platform commit on June 26 References: <51CD92AC.7070608@luminar.eu.org> In-Reply-To: <51CD92AC.7070608@luminar.eu.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit 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, 30 Jun 2013 12:08:35 -0000 Content-Length: 1143 Lines: 36 On 28/06/2013 14:42, Vincent Bernardoff wrote: > On 28/06/2013 14:38, Balraj Singh wrote: >> Hi Vincent, >> >> I work on some of the mirage network stack. If I include your >> mirage-platform commit on june 26 (and change my Io_page calls to work >> with >> the changed interface) none of my tests work anymore. >> >> A typical test I have (mirage-net/direct/tests/iperf_self/iperf-self.ml) >> simply opens two interfaces and send a lot of data from one to the other. >> With the change I rarely, if at all, see any packets that I send >> from one >> interface on the other. I usually see the packet out on the bridge >> but not >> back on my other interface. Could you please help? >> >> If you would like to run the test, please get the latest version of >> mirage-platform and mirage-net from my branch ( >> github.com/balrajsingh/mirage-net.git, ...). Build >> mirage-net/tests/iperf_self/iperf_self.ml for mirage-xen and use the >> iperf_self.cfg file in the same directory. >> >> Many thanks, >> >> Balraj >> > > Of course I will. I’m having a look at it ASAP. > > Vincent Is there a simple way to build those tests ? Vincent From balraj885@gmail.com Sun Jun 30 17:47:58 2013 Received: from ppsw-33.csi.cam.ac.uk ([131.111.8.133]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1UtKn8-0003R1-RK (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 30 Jun 2013 17:47:58 +0100 X-Cam-SpamDetails: score -0.3 from SpamAssassin-3.3.2-1497991 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.216.177 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (balraj885[at]gmail.com) * 0.2 FREEMAIL_ENVFROM_END_DIGIT Envelope-from freemail username ends in * digit (balraj885[at]gmail.com) * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from mail-qc0-f177.google.com ([209.85.216.177]:60621) by ppsw-33.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp id 1UtKn7-0002yU-ig (Exim 4.80_167-5a66dd3) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 30 Jun 2013 17:47:58 +0100 Received: by mail-qc0-f177.google.com with SMTP id n1so2345895qcx.8 for ; Sun, 30 Jun 2013 09:47:57 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.224.36.199 with SMTP id u7mr26633878qad.113.1372610876867; Sun, 30 Jun 2013 09:47:56 -0700 (PDT) Sender: balraj885@gmail.com Received: by 10.49.52.198 with HTTP; Sun, 30 Jun 2013 09:47:56 -0700 (PDT) In-Reply-To: <51D01FC2.3090208@luminar.eu.org> References: <51CD92AC.7070608@luminar.eu.org> <51D01FC2.3090208@luminar.eu.org> Date: Sun, 30 Jun 2013 17:47:56 +0100 X-Google-Sender-Auth: M4D4uiRv3u4i5LrXMqf50J7ECH0 Message-ID: Subject: Re: mirage-platform commit on June 26 From: Balraj Singh To: Vincent Bernardoff Content-Type: multipart/alternative; boundary=001a11c1bb7cbb0b4904e061df14 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, 30 Jun 2013 16:47:58 -0000 Content-Length: 6472 Lines: 167 --001a11c1bb7cbb0b4904e061df14 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Hi Vincent, I'm still using ocamlbuild. From the mirage-net/direct directory I simply call "ocamlbuild tests/iperf_self/iperf_self.xen". But for ocamlbuild to work right I make the following change to myocamlbuild.ml: --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -63,7 +63,7 @@ module Configure =3D struct (* Flags for building and using syntax extensions *) let ppflags () =3D (* Syntax extensions for the libraries being built *) - flag ["ocaml"; "pp"; "use_syntax"] & S [config_sh "syntax.deps"]; + flag ["ocaml"; "pp"(*; "use_syntax"*)] & S [config_sh "syntax.deps"]; (* Include the camlp4 flags to build an extension *) flag ["ocaml"; "pp"; "build_syntax"] & S [config_sh "syntax.build"]; flag ["ocaml"; "pp"; "build_syntax_r"] & S [config_sh "syntax.build.r"]; I then simply use the cfg file in the tests directory. Apologies if this is unclear and non-standard, I will try to get this working with mirari etc, soon. Balraj On Sun, Jun 30, 2013 at 1:08 PM, Vincent Bernardoff wrot= e: > On 28/06/2013 14:42, Vincent Bernardoff wrote: > >> On 28/06/2013 14:38, Balraj Singh wrote: >> >>> Hi Vincent, >>> >>> I work on some of the mirage network stack. If I include your >>> mirage-platform commit on june 26 (and change my Io_page calls to work >>> with >>> the changed interface) none of my tests work anymore. >>> >>> A typical test I have (mirage-net/direct/tests/**iperf_self/ >>> iperf-self.ml) >>> simply opens two interfaces and send a lot of data from one to the othe= r. >>> With the change I rarely, if at all, see any packets that I send >>> from one >>> interface on the other. I usually see the packet out on the bridge >>> but not >>> back on my other interface. Could you please help? >>> >>> If you would like to run the test, please get the latest version of >>> mirage-platform and mirage-net from my branch ( >>> github.com/balrajsingh/mirage-**net.git, >>> ...). Build >>> mirage-net/tests/iperf_self/ip**erf_self.ml for >>> mirage-xen and use the >>> iperf_self.cfg file in the same directory. >>> >>> Many thanks, >>> >>> Balraj >>> >>> >> Of course I will. I=92m having a look at it ASAP. >> >> Vincent >> > > Is there a simple way to build those tests ? > > Vincent > > --001a11c1bb7cbb0b4904e061df14 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable
Hi Vincent,

@@ -63,7 +63,7 @@ module Configure =3D struct<= /div>
=A0 =A0(* Flags for building and using syntax extensions *)
= =A0 =A0let ppflags () =3D
=A0 =A0 =A0(* Syntax extensions for the= libraries being built *)
- =A0 =A0flag ["ocaml"; "= ;pp"; "use_syntax"] & S [config_sh "syntax.deps&quo= t;];
+ =A0 =A0flag ["ocaml"; "pp"(*; "use_syntax&q= uot;*)] & S [config_sh "syntax.deps"];
=A0 =A0 =A0(= * Include the camlp4 flags to build an extension *)
=A0 =A0 =A0fl= ag ["ocaml"; "pp"; "build_syntax"] & S [c= onfig_sh "syntax.build"];
=A0 =A0 =A0flag ["ocaml"; "pp"; "build_syntax= _r"] & S [config_sh "syntax.build.r"];


I then simply use the cfg file in the tests di= rectory. =A0Apologies if this is unclear and non-standard, I will try to ge= t this working with mirari etc, soon.

Balraj



On Sun, Jun= 30, 2013 at 1:08 PM, Vincent Bernardoff <vb@luminar.eu.org>= wrote:
On 2= 8/06/2013 14:42, Vincent Bernardoff wrote:
On 28/06/2013 14:38, Balraj Singh wrote:
Hi Vincent,

I work on some of the mirage network stack. =A0If I include your
mirage-platform commit on june 26 (and change my Io_page calls to work
with
the changed interface) none of my tests work anymore.

A typical test I have (mirage-net/direct/tests/iperf_self/iperf-self.ml)
simply opens two interfaces and send a lot of data from one to the other. =A0 With the change I rarely, if at all, see any packets that I send
from one
interface on the other. =A0I usually see the packet out on the bridge
but not
back on my other interface. =A0Could you please help?

If you would like to run the test, please get the latest version of
mirage-platform and mirage-net from my branch (
= github.com/balrajsingh/mirage-net.git, ...). =A0Build
mirage-net/tests/iperf_self/iperf_self.ml for mirage-xen and use the
iperf_self.cfg file in the same directory.

Many thanks,

Balraj


Of course I will. I=92m having a look at it ASAP.

Vincent

Is there a simple way to build those tests ?

Vincent


--001a11c1bb7cbb0b4904e061df14--