[CakeML-dev] bootstrap timeout
Ramana.Kumar at cl.cam.ac.uk
Mon Apr 10 06:53:38 UTC 2017
Running it interactively succeeded. So now I'm more confused about why or
where it was getting stuck. I'll try another non-interactive attempt.
On 10 April 2017 at 11:20, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> Hi all,
> I think the bootstrap is currently (cd43c3944) getting stuck in the "apply
> colour (par)" phase.
> I've run it for several hours and it doesn't finish (
> https://cakeml.org/bootstrap-timing.txt suggests it used to take <30
> I also tried running it on some smaller sections of the whole program,
> e.g., the first 10 progs, the second 100, etc. and in those cases it does
> complete successfully and doesn't seem to leave anything unevaluated (I
> looked for vars and abstractions in the results). So it's not obvious
> what's going wrong...
> My guess is there's something unevaluated somewhere in the declarations I
> didn't look at explicitly yet. Currently I'm evaluating to_lab_x64Bootstrap
> on the whole program interactively to try to find it.
> If you know of anything that might have changed recently (within the last
> 2 weeks) that would affect the bootstrap evaluation of checking/applying
> the register allocator, let me know. Given that a "successful" regression
> test usually times out, this may have been happening for a while. I know
> the bootstrap was successfully completed at 32b749 (March 22), though,
> because I have a snapshot of the result for that commit.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Developers