Re: MLton on OS X El Capitan

PLEASE: don't let MLton lose save/load world.  It is an incredible boon
for checkpointing long running (I mean REALLY LONG running) computations.
(I think that the original inspiration was from some Groebner basis
calculation I ran that took 1 year.)

Also, it is useful for any kind of staged computation.

On Fri, Apr 15, 2016 at 8:19 AM, Matthew Fluet <[email protected]>
wrote:

> Great.  BTW, I'm curious how/why you are using the save/load world
> feature.  Due to its complicated relationship with position
> independent code as well as other stateful things that can be captured
> by the saved world but not restored by the loaded world (e.g., open
> file descriptors, signal handling, ...), I've been wondering whether
> it is worth maintaining or if it should be deprecated and removed.
>
> On Thu, Apr 14, 2016 at 2:12 PM, Christopher Harris
> <[email protected]> wrote:
> > Perfect -- thanks! It's working as expected.
> >
> > On Thu, Apr 14, 2016 at 11:35 AM, Matthew Fluet <[email protected]
> >
> > wrote:
> >>
> >> On Thu, Apr 14, 2016 at 12:20 PM, Rob Arthan <[email protected]> wrote:
> >> > I see the same behaviour on El Capitan as you, but it is consistent
> with
> >> > what
> >> > Matthew said: you've generated a world and then recompiled your
> program,
> >> > so you
> >> > can't load the old world into the new executable. If you run
> save-world
> >> > with no
> >> > arguments after recompiling you get a new world that you can load into
> >> > the new executable.
> >>
> >> Precisely:
> >>
> >> [mtf@graywolf tmp]$ mlton
> >> MLton 20100608 (built Tue Jun  8 16:05:08 EDT 2010 on zaphod.cs.rit.edu
> )
> >> [mtf@graywolf tmp]$ mlton save-world.sml
> >> [mtf@graywolf tmp]$ ./save-world
> >> I am the original
> >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world --
> >> Segmentation fault: 11
> >> [mtf@graywolf tmp]$ mlton -link-opt -fno-PIE save-world.sml
> >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world --
> >> Invalid world: wrong magic number.
> >> [mtf@graywolf tmp]$ ./save-world
> >> I am the original
> >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world --
> >> I am the clone
> >
> >
>
> --
> You received this message because you are subscribed to the Google Groups
> "MLton-user" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
>
>
>
> ------------------------------------------------------------------------------
> Find and fix application performance issues faster with Applications
> Manager
> Applications Manager provides deep performance insights into multiple
> tiers of
> your business applications. It resolves application problems quickly and
> reduces your MTTR. Get your free trial!
> https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user
>

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user