Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 312295 - Sat4j goes crazy when checking for updates
Summary: Sat4j goes crazy when checking for updates
Status: CLOSED DUPLICATE of bug 266687
Alias: None
Product: Equinox
Classification: Eclipse Project
Component: p2 (show other bugs)
Version: 3.6   Edit
Hardware: PC Windows XP
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: P2 Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-05-10 12:28 EDT by Benno Baumgartner CLA
Modified: 2010-05-10 14:02 EDT (History)
1 user (show)

See Also:


Attachments
Thread Dump (16.73 KB, text/plain)
2010-05-10 12:28 EDT, Benno Baumgartner CLA
no flags Details
Dialog (11.47 KB, image/png)
2010-05-10 12:29 EDT, Benno Baumgartner CLA
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
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 ***