Bug 441772 - Dependency deadlock
Summary: Dependency deadlock
Status: RESOLVED DUPLICATE of bug 439134
Alias: None
Product: openSUSE 11.1
Classification: openSUSE
Component: libzypp (show other bugs)
Version: Beta 4
Hardware: Other Other
: P1 - Urgent : Critical (vote)
Target Milestone: ---
Assignee: Stefan Schubert
QA Contact: E-mail List
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-11-05 10:59 UTC by Klaus Kämpf
Modified: 2008-11-05 16:56 UTC (History)
2 users (show)

See Also:
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 (1.12 MB, application/x-compressed-tar)
2008-11-05 11:00 UTC, Klaus Kämpf 		Details
zypper.log (compressed) (56.59 KB, application/x-gzip)
2008-11-05 12:47 UTC, Klaus Kämpf 		Details
View All Add an attachment (proposed patch, testcase, etc.)

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