[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [p2-dev] Very long planning times

The actual decision whether or not a solution exist *is* time bounded (believe it is something like one minute). I have never seen the solver time out on problems generated by p2.
The explanation time is not time bounded and this is where you are experiencing delay. However looking at the stack dumps attached to bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=274907 it seems like if there is something else going on (for example on the second dump sat4j is not executing...).
It is also important to note that in a UI scenario the computation can be cancelled and it is also possible to turn off the computation of explanation on a profile change request basis.

PaScaL

Inactive hide details for Thomas Hallgren ---05/04/2009 06:07:20 PM---We're currently seeing very long execution times (> 2 houThomas Hallgren ---05/04/2009 06:07:20 PM---We're currently seeing very long execution times (> 2 hours) when


From:

Thomas Hallgren <thomas@xxxxxxx>

To:

P2 developer discussions <p2-dev@xxxxxxxxxxx>

Date:

05/04/2009 06:07 PM

Subject:

[p2-dev] Very long planning times




We're currently seeing very long execution times (> 2 hours) when
creating the plan for a full Galileo install. The planner finally
completes with errors that indicates unsatisfied dependencies. I wonder
how many different ways to resolve the problem it has tried before it
finally fails...

Is there any way to tell the planner to give up in some reasonable
amount of time?

- thomas
_______________________________________________
p2-dev mailing list
p2-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/p2-dev


GIF image

GIF image