Bug 441772

Summary: Dependency deadlock
Product: [openSUSE] openSUSE 11.1 Reporter: Klaus Kämpf <kkaempf>
Component: libzyppAssignee: Stefan Schubert <schubi>
Status: RESOLVED DUPLICATE QA Contact: E-mail List <qa-bugs>
Severity: Critical    
Priority: P1 - Urgent CC: mls, schubi
Version: Beta 4   
Target Milestone: ---   
Hardware: Other   
OS: Other   
Whiteboard:
Found By: --- Services Priority:
Business Priority: Blocker: ---
Marketing QA Status: --- IT Deployment: ---
Attachments: This leads to a solver deadlock, user cannot get out with suggested solutions
zypper.log (compressed)

Description Klaus Kämpf 2008-11-05 10:59:48 UTC
Bug #441765 leads to a dependency deadlock when taking the solution proposal
"deinstallation of libgcj-devel-4.3-59.20.x86_64
 deinstallation of gcc-java-4.3-59.20.x86_64"

solver testcase attached
Comment 1 Klaus Kämpf 2008-11-05 11:00:43 UTC
Created attachment 249925 [details]
This leads to a solver deadlock, user cannot get out with suggested solutions
Comment 2 Klaus Kämpf 2008-11-05 11:02:10 UTC
The packages requesting the unfulfilled requirements are selected for deletion !
Still the solver complains about "nothing provides ..."
Comment 3 Klaus Kämpf 2008-11-05 11:03:45 UTC
This effectively blocks upgrading to Beta4 -> Blocker
Comment 4 Michael Schröder 2008-11-05 11:10:49 UTC
Reassigned to schubi.
Comment 5 Michael Schröder 2008-11-05 11:15:03 UTC
(Regarding #2: No they're not. You deleted "gcc-java", not "gcc43-java")
Comment 6 Klaus Kämpf 2008-11-05 12:44:24 UTC
well, yast shows gcc-java _and_ gcc43-java as 'to be deleted'.
Comment 7 Klaus Kämpf 2008-11-05 12:46:46 UTC
Trying to upgrade with "zypper dup" leads to the same deadlock
Comment 8 Klaus Kämpf 2008-11-05 12:47:51 UTC
Created attachment 249985 [details]
zypper.log (compressed)
Comment 9 Klaus Kämpf 2008-11-05 12:48:25 UTC
Adding solver maintainer and zypper maintainer to CC
Comment 10 Klaus Kämpf 2008-11-05 13:02:02 UTC
Interesting enough, building satsolver, libzypp and zypper from svn head gets me out of the deadlock.
Downgrading to critical.
Comment 11 Stefan Schubert 2008-11-05 16:56:32 UTC
comment #2
Thatone is fixed:

2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1033 Problem 1:
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1034 ====================================
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1038 nothing provides libstdc++43-devel = 4.3.3_20081022 needed by libgcj43-devel-4.3.3_20081022-1.2.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1039 ------------------------------------
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1229 replacement of libgcj43-devel-4.3.3_20081002-1.1.x86_64 with libgcj43-devel-4.3.3_20081002-1.1.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1229 replacement of libgcj43-jar-4.3.3_20081002-1.1.x86_64 with libgcj43-jar-4.3.3_20081002-1.1.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1250 ------------------------------------
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1033 Problem 2:
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1034 ====================================
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1038 nothing provides gcc43 = 4.3.3_20081022 needed by gcc43-java-4.3.3_20081022-1.2.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1039 ------------------------------------
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1229 replacement of gcc43-java-4.3.3_20081002-1.1.x86_64 with gcc43-java-4.3.3_20081002-1.1.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1229 replacement of libgcj43-jar-4.3.3_20081002-1.1.x86_64 with libgcj43-jar-4.3.3_20081002-1.1.x86_64
2008-11-05 13:43:05 <1> heron(17695) [zypp] SATResolver.cc(problems):1250 ------------------------------------

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