[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Compile mirage application for xen



Hi Anil,

By changing "open Core.Std" to "open Core_kernel.Std" in Frenetic library, and adding core_kernel to the config.ml, I receive error:

Error: No implementations provided for the following modules:
ÂÂÂÂÂÂÂÂ Unix referenced from /home/psz/.opam/system/lib/core_kernel/core_kernel.cmxa(Core_kernel)

any suggestion?

On 10/09/14 15:55, Anil Madhavapeddy wrote:
(Re-adding the devel list to CC)

The s-_expression_ library is actually independent of Unix, so that's fine. ÂIt's easiest to fork Frenetic in the short term and shift it to using Core_kernel instead of Core. ÂThere will be probably be an Async scheduler, which is a lot more work to fix. ÂThis requires shifting the Async portions to use Async_kernel instead, which Jane Street is working on.

CCing Yaron -- any sense of how far away Async_kernel is from a public release? ÂWe can get started on an Async_xen port then as well.

-anil

On 10 Sep 2014, at 10:55, Masoud Koleini <masoud.koleini@xxxxxxxxxxxxxxxx> wrote:

Oh, we will have the same problem!

Frenetic protocol library uses Core, mostly for s-expressions. So far, I was testing it with unix config to figure out build and controller communication problems.

Any idea of how we can make it work for xen? I think we have to modify Frenetic library to compile on both unix and xen, but try to keep this modification as light as possible until we have Core ported to Mirage.


On 10/09/14 10:33, Anil Madhavapeddy wrote:
Hi Ania,

Mort is correct -- we haven't completely finishing porting Core to Mirage. ÂThis requires breaking it down into smaller Unix-free chunks, which the upstream maintainers (Jane Street) have already started doing. ÂCore consists of several sub-libraries, of which the Unix-free subset is Core_kernel. ÂCore_kernel still requires a few minor C stubs (around Bigarray handling) which should work with the trunk build of Mirage (untested).

Overall though, if you're interested in getting on with applications in Mirage *right now*, you should avoid Core for now. ÂUsing Core_kernel is pretty close though, so I'll take a look at that.

-anil

On 10 Sep 2014, at 10:05, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:

unfortunately, aiui, core can't presently be used to build for xen -- as i said, i think moves are afoot to fix this but it's a non-trivial thing to do so i don't know what the timeline is (or even if that's explicitly on the timeline). i don't know core well, but i know at least one issue is that the threading library (Core.Async) is alike to but not completely compatible with Lwt.

others on the list are better placed to comment on if/when Core code will be usable with Xen :)

On 10 Sep 2014, at 09:43, Ania Skorupa <ania.skorupa@xxxxxxxxx> wrote:


Hi,

thanks for your reply :) I am trying to build a piece of ocaml program in mirage, which doesn't have a very large codebase.Â

from errors, it looks that core is one of the libraries that results in this error. in the code, I found that Core.Std is opened. Is that a library that can not be used for xen? skimming through the code, I didn't find explicit unix dependencies.



On Tuesday, September 9, 2014 6:32 PM, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:


Hi,

I'd guess so, yes. ÂAnything that depends on the underlying platform (Unix) needs to be abstracted to work with mirage.

Specifically, all those modules in the error message have unix dependencies that aren't being satisfied, though I believe work is ongoing to split js core up to have a kernel part that will be more compatible with he mirage approach.

What are you trying to do? It might be that there are alternative mirage compatible libraries already available (though that might not help much if you're looking at porting a large codebase of course :)

-- Â
Cheers,

R.



On 9 Sep 2014, at 19:13, "Ania Skorupa" <ania.skorupa@xxxxxxxxx> wrote:

Hello guys,

When I compile my mirage application for xen, the following error happens:

File "_none_", line 1:
Error: No implementations provided for the following modules:
ÂÂÂÂÂÂÂÂ UnixLabels referenced from /home/user/.opam/system/lib/core/core.cmxa(Core)
ÂÂÂÂÂÂÂÂ Unix referenced from /usr/lib/ocaml/threads/threads.cmxa(Thread),
ÂÂÂÂÂÂÂÂÂÂ /home/user/.opam/system/lib/core_kernel/core_kernel.cmxa(Core_kernel),
ÂÂÂÂÂÂÂÂÂÂ /home/user/.opam/system/lib/sexplib_unix/sexplib_unix.cmxa(Sexplib_unix),
ÂÂÂÂÂÂÂÂÂÂ /home/user/.opam/system/lib/core/core.cmxa(Core)
Command exited with code 2.

Am I using libraries that can not be used to for xen unikernel?


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel




--
Â
Cheers,

R.




_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel



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.





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.


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.