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

Re: [MirageOS-devel] Whole Program Optimization in Mirage

On 28/10/2014 22:33, Anil Madhavapeddy wrote:
> On 2 Jul 2014, at 13:52, Pierre Chambart <pierre.chambart@xxxxxxxxxxxx> wrote:
>> On 01/07/2014 10:14, Anil Madhavapeddy wrote:
>>> (no pressure, Pierre :-)
>> None taken ;)
>> By the way, I can't help to remind that I enjoy a lot receiving
>> segfaults reports. If any of you have some spare time to prove that my
>> branch fail miserably:
>> opam repository add -k git chambart
>> https://github.com/chambart/opam-compilers-repository.git
>> opam switch install 4.01.0+flambda
>> opam install ...
>> ./your_project
>> ... segfault ...
>> In fact this is not that unstable (as long as you don't 'export
>> EXPERIMENTS=true') anymore.
> I don't know if anyone tried this originally, but I'm interested
> in trying this out on ARM in particular (where speedups will become
> really obvious due to the slower CPU).
> Is that OPAM remote still the recommended location to try out -flambda?
> -anil
Yes, I'm currently porting the patch set to trunk, but it's not done yet

MirageOS-devel mailing list



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