Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 312295

Summary: Sat4j goes crazy when checking for updates
Product: [Eclipse Project] Equinox Reporter: Benno Baumgartner <benno.baumgartner>
Component: p2Assignee: P2 Inbox <equinox.p2-inbox>
Status: CLOSED DUPLICATE QA Contact:
Severity: normal    
Priority: P3 CC: pascal
Version: 3.6   
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard:
Attachments:
Description Flags
Thread Dump
none
Dialog none

Description Benno Baumgartner CLA 2010-05-10 12:28:38 EDT
Created attachment 167746 [details]
Thread Dump

Version: 3.5.1
Build id: M20090917-0800

1. Help > Check for Updates
IS: The CPU is at 50% (I have 2 CPUs fortunately:-) for about 5 to 10 minutes. I assume its the following thread is causing this:

"Worker-160" prio=6 tid=0x5769cc00 nid=0x918 runnable [0x5f44f000]
   java.lang.Thread.State: RUNNABLE
        at org.sat4j.core.VecInt.size(Unknown Source)
        at org.sat4j.core.ReadOnlyVecInt.size(Unknown Source)
        at org.sat4j.pb.ObjectiveFunction.calculateDegree(Unknown Source)
        at org.sat4j.pb.PseudoOptDecorator.calculateObjective(Unknown Source)
        at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(Unknown Source)
        at org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(Unknown Source)
        at org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(Unknown Source)
        at org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(Unknown Source)
        at org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(Unknown Source)
        at org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(Unknown Source)
        at org.sat4j.tools.xplain.QuickXplainStrategy.explain(Unknown Source)
        at org.sat4j.tools.xplain.Xplain.explain(Unknown Source)
        at org.sat4j.pb.tools.DependencyHelper.why(Unknown Source)
        at org.eclipse.equinox.internal.p2.director.Projector$ExplanationJob.run(Projector.java:100)
        at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)
(see dump.txt for full thread dump)

Then when the sat solver is done I get a dialog as shown in the attachment. I have no idea what the dialog wants to tell me (I have not selected any items anywhere) or what I can do about it. But I open the wizard (what wizard?) and the wizard does not allow to install anything because of:

Cannot complete the install because of a conflicting dependency.
  Software being installed: Google Plugin for Eclipse 3.5 1.3.2.v201003242055 (com.google.gdt.eclipse.suite.e35.feature.feature.group 1.3.2.v201003242055)
  Software being installed: Eclipse SDK 3.6.0.I20100429-1549 (org.eclipse.sdk.ide 3.6.0.I20100429-1549)
  Only one of the following can be installed at once: 
    Internet Connection Management 1.2.100.I20091117-0800 (org.eclipse.core.net 1.2.100.I20091117-0800)
    Internet Connection Management 1.2.100.I20090714-0800 (org.eclipse.core.net 1.2.100.I20090714-0800)
    Internet Connection Management 1.2.0.I20090522-1010 (org.eclipse.core.net 1.2.0.I20090522-1010)
    Internet Connection Management 1.2.100.v20100426-0635 (org.eclipse.core.net 1.2.100.v20100426-0635)
    Internet Connection Management 1.2.1.r35x_20090812-1200 (org.eclipse.core.net 1.2.1.r35x_20090812-1200)
  Cannot satisfy dependency:
    From: Google Plugin for Eclipse 3.5 1.3.2.v201003242055 (com.google.gdt.eclipse.suite.e35.feature.feature.group 1.3.2.v201003242055)
    To: org.eclipse.platform.feature.group [3.5.0,3.6.0)
  Cannot satisfy dependency:
    From: Eclipse Platform 3.5.0.v20090611a-9gEeG1HFtQcmRThO4O3aR_fqSMvJR2sJ (org.eclipse.platform.feature.group 3.5.0.v20090611a-9gEeG1HFtQcmRThO4O3aR_fqSMvJR2sJ)
    To: org.eclipse.core.net [1.2.0.I20090522-1010]
  Cannot satisfy dependency:
    From: Eclipse Platform 3.5.1.R35x_v20090910-9gEeG1_FthkNDSP2odXdThaOu9GFDPn83DGB7 (org.eclipse.platform.feature.group 3.5.1.R35x_v20090910-9gEeG1_FthkNDSP2odXdThaOu9GFDPn83DGB7)
    To: org.eclipse.core.net [1.2.1.r35x_20090812-1200]
  Cannot satisfy dependency:
    From: Eclipse Platform 3.5.2.R35x_v20100210-0800-9hEiFzmFst-TiEn9hNYgDWg1XN8ulH_JvCNGB (org.eclipse.platform.feature.group 3.5.2.R35x_v20100210-0800-9hEiFzmFst-TiEn9hNYgDWg1XN8ulH_JvCNGB)
    To: org.eclipse.core.net [1.2.1.r35x_20090812-1200]
  Cannot satisfy dependency:
    From: Eclipse Platform 3.6.0.v20100427-9hF78GQHFvItsz0S5GyW7qqoQ6yMHokFS58 (org.eclipse.platform.feature.group 3.6.0.v20100427-9hF78GQHFvItsz0S5GyW7qqoQ6yMHokFS58)
    To: org.eclipse.core.net [1.2.100.v20100426-0635]
  Cannot satisfy dependency:
    From: Eclipse Project SDK 3.6.0.v20100427-7Q7m-DPZ2bNKYdbqcIm8_Bjpz--2rfRvIl-X745OjgF-R (org.eclipse.sdk.feature.group 3.6.0.v20100427-7Q7m-DPZ2bNKYdbqcIm8_Bjpz--2rfRvIl-X745OjgF-R)
    To: org.eclipse.platform.feature.group [3.6.0.v20100427-9hF78GQHFvItsz0S5GyW7qqoQ6yMHokFS58]
  Cannot satisfy dependency:
    From: Eclipse SDK 3.6.0.I20100429-1549 (org.eclipse.sdk.ide 3.6.0.I20100429-1549)
    To: org.eclipse.sdk.feature.group [3.6.0.v20100427-7Q7m-DPZ2bNKYdbqcIm8_Bjpz--2rfRvIl-X745OjgF-R]

I can not understand that text, it is also formatted in a way that makes it very hard to read. I don't know what to do about it.
Comment 1 Benno Baumgartner CLA 2010-05-10 12:29:00 EDT
Created attachment 167747 [details]
Dialog
Comment 2 Pascal Rapicault CLA 2010-05-10 14:02:14 EDT
Some notable improvements have been made in 3.6 to make the creation of the explanation much faster. As for improving the error message, this is still an area where we are welcoming ideas: bug #261928.

*** This bug has been marked as a duplicate of bug 266687 ***