Re: [p2-dev] Very long planning times

[Pascal Rapicault <Pascal_Rapicault@xxxxxxxxxx>]

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

Thomas 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