1 // -*- mode: cpp; mode: fold -*-
3 // $Id: algorithms.cc,v 1.44 2002/11/28 18:49:16 jgg Exp $
4 /* ######################################################################
6 Algorithms - A set of misc algorithms
8 The pkgProblemResolver class has become insanely complex and
9 very sophisticated, it handles every test case I have thrown at it
10 to my satisfaction. Understanding exactly why all the steps the class
11 does are required is difficult and changing though not very risky
12 may result in other cases not working.
14 ##################################################################### */
16 // Include Files /*{{{*/
17 #include <apt-pkg/algorithms.h>
18 #include <apt-pkg/error.h>
19 #include <apt-pkg/configuration.h>
20 #include <apt-pkg/version.h>
21 #include <apt-pkg/sptr.h>
22 #include <apt-pkg/acquire-item.h>
23 #include <apt-pkg/edspwriter.h>
26 #include <sys/types.h>
35 pkgProblemResolver
*pkgProblemResolver::This
= 0;
37 // Simulate::Simulate - Constructor /*{{{*/
38 // ---------------------------------------------------------------------
39 /* The legacy translations here of input Pkg iterators is obsolete,
40 this is not necessary since the pkgCaches are fully shared now. */
41 pkgSimulate::pkgSimulate(pkgDepCache
*Cache
) : pkgPackageManager(Cache
),
43 Sim(&Cache
->GetCache(),&iPolicy
),
47 Flags
= new unsigned char[Cache
->Head().PackageCount
];
48 memset(Flags
,0,sizeof(*Flags
)*Cache
->Head().PackageCount
);
50 // Fake a filename so as not to activate the media swapping
51 string Jnk
= "SIMULATE";
52 for (unsigned int I
= 0; I
!= Cache
->Head().PackageCount
; I
++)
56 // Simulate::Describe - Describe a package /*{{{*/
57 // ---------------------------------------------------------------------
58 /* Parameter Current == true displays the current package version,
59 Parameter Candidate == true displays the candidate package version */
60 void pkgSimulate::Describe(PkgIterator Pkg
,ostream
&out
,bool Current
,bool Candidate
)
64 out
<< Pkg
.FullName(true);
68 Ver
= Pkg
.CurrentVer();
69 if (Ver
.end() == false)
70 out
<< " [" << Ver
.VerStr() << ']';
73 if (Candidate
== true)
75 Ver
= Sim
[Pkg
].CandidateVerIter(Sim
);
76 if (Ver
.end() == true)
79 out
<< " (" << Ver
.VerStr() << ' ' << Ver
.RelStr() << ')';
83 // Simulate::Install - Simulate unpacking of a package /*{{{*/
84 // ---------------------------------------------------------------------
86 bool pkgSimulate::Install(PkgIterator iPkg
,string
/*File*/)
89 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
93 Describe(Pkg
,cout
,true,true);
94 Sim
.MarkInstall(Pkg
,false);
96 // Look for broken conflicts+predepends.
97 for (PkgIterator I
= Sim
.PkgBegin(); I
.end() == false; I
++)
99 if (Sim
[I
].InstallVer
== 0)
102 for (DepIterator D
= Sim
[I
].InstVerIter(Sim
).DependsList(); D
.end() == false;)
107 if (Start
->Type
== pkgCache::Dep::Conflicts
||
108 Start
->Type
== pkgCache::Dep::DpkgBreaks
||
109 Start
->Type
== pkgCache::Dep::Obsoletes
||
110 End
->Type
== pkgCache::Dep::PreDepends
)
112 if ((Sim
[End
] & pkgDepCache::DepGInstall
) == 0)
114 cout
<< " [" << I
.FullName(false) << " on " << Start
.TargetPkg().FullName(false) << ']';
115 if (Start
->Type
== pkgCache::Dep::Conflicts
)
116 _error
->Error("Fatal, conflicts violated %s",I
.FullName(false).c_str());
122 if (Sim
.BrokenCount() != 0)
129 // Simulate::Configure - Simulate configuration of a Package /*{{{*/
130 // ---------------------------------------------------------------------
131 /* This is not an acurate simulation of relatity, we should really not
132 install the package.. For some investigations it may be necessary
134 bool pkgSimulate::Configure(PkgIterator iPkg
)
136 // Adapt the iterator
137 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
141 if (Sim
[Pkg
].InstBroken() == true)
143 cout
<< "Conf " << Pkg
.FullName(false) << " broken" << endl
;
147 // Print out each package and the failed dependencies
148 for (pkgCache::DepIterator D
= Sim
[Pkg
].InstVerIter(Sim
).DependsList(); D
.end() == false; D
++)
150 if (Sim
.IsImportantDep(D
) == false ||
151 (Sim
[D
] & pkgDepCache::DepInstall
) != 0)
154 if (D
->Type
== pkgCache::Dep::Obsoletes
)
155 cout
<< " Obsoletes:" << D
.TargetPkg().FullName(false);
156 else if (D
->Type
== pkgCache::Dep::Conflicts
)
157 cout
<< " Conflicts:" << D
.TargetPkg().FullName(false);
158 else if (D
->Type
== pkgCache::Dep::DpkgBreaks
)
159 cout
<< " Breaks:" << D
.TargetPkg().FullName(false);
161 cout
<< " Depends:" << D
.TargetPkg().FullName(false);
165 _error
->Error("Conf Broken %s",Pkg
.FullName(false).c_str());
170 Describe(Pkg
,cout
,false,true);
173 if (Sim
.BrokenCount() != 0)
181 // Simulate::Remove - Simulate the removal of a package /*{{{*/
182 // ---------------------------------------------------------------------
184 bool pkgSimulate::Remove(PkgIterator iPkg
,bool Purge
)
186 // Adapt the iterator
187 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
196 Describe(Pkg
,cout
,true,false);
198 if (Sim
.BrokenCount() != 0)
206 // Simulate::ShortBreaks - Print out a short line describing all breaks /*{{{*/
207 // ---------------------------------------------------------------------
209 void pkgSimulate::ShortBreaks()
212 for (PkgIterator I
= Sim
.PkgBegin(); I
.end() == false; I
++)
214 if (Sim
[I
].InstBroken() == true)
216 if (Flags
[I
->ID
] == 0)
217 cout
<< I
.FullName(false) << ' ';
219 cout << I.Name() << "! ";*/
225 // ApplyStatus - Adjust for non-ok packages /*{{{*/
226 // ---------------------------------------------------------------------
227 /* We attempt to change the state of the all packages that have failed
228 installation toward their real state. The ordering code will perform
229 the necessary calculations to deal with the problems. */
230 bool pkgApplyStatus(pkgDepCache
&Cache
)
232 pkgDepCache::ActionGroup
group(Cache
);
234 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
236 if (I
->VersionList
== 0)
239 // Only choice for a ReInstReq package is to reinstall
240 if (I
->InstState
== pkgCache::State::ReInstReq
||
241 I
->InstState
== pkgCache::State::HoldReInstReq
)
243 if (I
->CurrentVer
!= 0 && I
.CurrentVer().Downloadable() == true)
244 Cache
.MarkKeep(I
, false, false);
247 // Is this right? Will dpkg choke on an upgrade?
248 if (Cache
[I
].CandidateVer
!= 0 &&
249 Cache
[I
].CandidateVerIter(Cache
).Downloadable() == true)
250 Cache
.MarkInstall(I
, false, 0, false);
252 return _error
->Error(_("The package %s needs to be reinstalled, "
253 "but I can't find an archive for it."),I
.FullName(true).c_str());
259 switch (I
->CurrentState
)
261 /* This means installation failed somehow - it does not need to be
262 re-unpacked (probably) */
263 case pkgCache::State::UnPacked
:
264 case pkgCache::State::HalfConfigured
:
265 case pkgCache::State::TriggersAwaited
:
266 case pkgCache::State::TriggersPending
:
267 if ((I
->CurrentVer
!= 0 && I
.CurrentVer().Downloadable() == true) ||
268 I
.State() != pkgCache::PkgIterator::NeedsUnpack
)
269 Cache
.MarkKeep(I
, false, false);
272 if (Cache
[I
].CandidateVer
!= 0 &&
273 Cache
[I
].CandidateVerIter(Cache
).Downloadable() == true)
274 Cache
.MarkInstall(I
, true, 0, false);
280 // This means removal failed
281 case pkgCache::State::HalfInstalled
:
286 if (I
->InstState
!= pkgCache::State::Ok
)
287 return _error
->Error("The package %s is not ok and I "
288 "don't know how to fix it!",I
.FullName(false).c_str());
294 // FixBroken - Fix broken packages /*{{{*/
295 // ---------------------------------------------------------------------
296 /* This autoinstalls every broken package and then runs the problem resolver
298 bool pkgFixBroken(pkgDepCache
&Cache
)
300 pkgDepCache::ActionGroup
group(Cache
);
302 // Auto upgrade all broken packages
303 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
304 if (Cache
[I
].NowBroken() == true)
305 Cache
.MarkInstall(I
, true, 0, false);
307 /* Fix packages that are in a NeedArchive state but don't have a
308 downloadable install version */
309 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
311 if (I
.State() != pkgCache::PkgIterator::NeedsUnpack
||
312 Cache
[I
].Delete() == true)
315 if (Cache
[I
].InstVerIter(Cache
).Downloadable() == false)
318 Cache
.MarkInstall(I
, true, 0, false);
321 pkgProblemResolver
Fix(&Cache
);
322 return Fix
.Resolve(true);
325 // DistUpgrade - Distribution upgrade /*{{{*/
326 // ---------------------------------------------------------------------
327 /* This autoinstalls every package and then force installs every
328 pre-existing package. This creates the initial set of conditions which
329 most likely contain problems because too many things were installed.
331 The problem resolver is used to resolve the problems.
333 bool pkgDistUpgrade(pkgDepCache
&Cache
)
335 pkgDepCache::ActionGroup
group(Cache
);
337 /* Upgrade all installed packages first without autoinst to help the resolver
338 in versioned or-groups to upgrade the old solver instead of installing
339 a new one (if the old solver is not the first one [anymore]) */
340 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
341 if (I
->CurrentVer
!= 0)
342 Cache
.MarkInstall(I
, false, 0, false);
344 /* Auto upgrade all installed packages, this provides the basis
345 for the installation */
346 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
347 if (I
->CurrentVer
!= 0)
348 Cache
.MarkInstall(I
, true, 0, false);
350 /* Now, auto upgrade all essential packages - this ensures that
351 the essential packages are present and working */
352 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
353 if ((I
->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
)
354 Cache
.MarkInstall(I
, true, 0, false);
356 /* We do it again over all previously installed packages to force
357 conflict resolution on them all. */
358 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
359 if (I
->CurrentVer
!= 0)
360 Cache
.MarkInstall(I
, false, 0, false);
362 pkgProblemResolver
Fix(&Cache
);
364 // Hold back held packages.
365 if (_config
->FindB("APT::Ignore-Hold",false) == false)
367 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
369 if (I
->SelectedState
== pkgCache::State::Hold
)
372 Cache
.MarkKeep(I
, false, false);
377 return Fix
.Resolve();
380 // AllUpgrade - Upgrade as many packages as possible /*{{{*/
381 // ---------------------------------------------------------------------
382 /* Right now the system must be consistent before this can be called.
383 It also will not change packages marked for install, it only tries
384 to install packages not marked for install */
385 bool pkgAllUpgrade(pkgDepCache
&Cache
)
387 pkgDepCache::ActionGroup
group(Cache
);
389 pkgProblemResolver
Fix(&Cache
);
391 if (Cache
.BrokenCount() != 0)
394 // Upgrade all installed packages
395 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
397 if (Cache
[I
].Install() == true)
400 if (_config
->FindB("APT::Ignore-Hold",false) == false)
401 if (I
->SelectedState
== pkgCache::State::Hold
)
404 if (I
->CurrentVer
!= 0 && Cache
[I
].InstallVer
!= 0)
405 Cache
.MarkInstall(I
, false, 0, false);
408 return Fix
.ResolveByKeep();
411 // MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
412 // ---------------------------------------------------------------------
413 /* This simply goes over the entire set of packages and tries to keep
414 each package marked for upgrade. If a conflict is generated then
415 the package is restored. */
416 bool pkgMinimizeUpgrade(pkgDepCache
&Cache
)
418 pkgDepCache::ActionGroup
group(Cache
);
420 if (Cache
.BrokenCount() != 0)
423 // We loop for 10 tries to get the minimal set size.
425 unsigned int Count
= 0;
429 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
432 if (Cache
[I
].Upgrade() == false || Cache
[I
].NewInstall() == true)
435 // Keep it and see if that is OK
436 Cache
.MarkKeep(I
, false, false);
437 if (Cache
.BrokenCount() != 0)
438 Cache
.MarkInstall(I
, false, 0, false);
441 // If keep didnt actually do anything then there was no change..
442 if (Cache
[I
].Upgrade() == false)
448 while (Change
== true && Count
< 10);
450 if (Cache
.BrokenCount() != 0)
451 return _error
->Error("Internal Error in pkgMinimizeUpgrade");
456 // ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
457 // ---------------------------------------------------------------------
459 pkgProblemResolver::pkgProblemResolver(pkgDepCache
*pCache
) : Cache(*pCache
)
462 unsigned long Size
= Cache
.Head().PackageCount
;
463 Scores
= new signed short[Size
];
464 Flags
= new unsigned char[Size
];
465 memset(Flags
,0,sizeof(*Flags
)*Size
);
467 // Set debug to true to see its decision logic
468 Debug
= _config
->FindB("Debug::pkgProblemResolver",false);
471 // ProblemResolver::~pkgProblemResolver - Destructor /*{{{*/
472 // ---------------------------------------------------------------------
474 pkgProblemResolver::~pkgProblemResolver()
480 // ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
481 // ---------------------------------------------------------------------
483 int pkgProblemResolver::ScoreSort(const void *a
,const void *b
)
485 Package
const **A
= (Package
const **)a
;
486 Package
const **B
= (Package
const **)b
;
487 if (This
->Scores
[(*A
)->ID
] > This
->Scores
[(*B
)->ID
])
489 if (This
->Scores
[(*A
)->ID
] < This
->Scores
[(*B
)->ID
])
494 // ProblemResolver::MakeScores - Make the score table /*{{{*/
495 // ---------------------------------------------------------------------
497 void pkgProblemResolver::MakeScores()
499 unsigned long Size
= Cache
.Head().PackageCount
;
500 memset(Scores
,0,sizeof(*Scores
)*Size
);
502 // Important Required Standard Optional Extra
503 signed short PrioMap
[] = {
505 (signed short) _config
->FindI("pkgProblemResolver::Scores::Important",3),
506 (signed short) _config
->FindI("pkgProblemResolver::Scores::Required",2),
507 (signed short) _config
->FindI("pkgProblemResolver::Scores::Standard",1),
508 (signed short) _config
->FindI("pkgProblemResolver::Scores::Optional",-1),
509 (signed short) _config
->FindI("pkgProblemResolver::Scores::Extra",-2)
511 signed short PrioEssentials
= _config
->FindI("pkgProblemResolver::Scores::Essentials",100);
512 signed short PrioInstalledAndNotObsolete
= _config
->FindI("pkgProblemResolver::Scores::NotObsolete",1);
513 signed short PrioDepends
= _config
->FindI("pkgProblemResolver::Scores::Depends",1);
514 signed short PrioRecommends
= _config
->FindI("pkgProblemResolver::Scores::Recommends",1);
515 signed short AddProtected
= _config
->FindI("pkgProblemResolver::Scores::AddProtected",10000);
516 signed short AddEssential
= _config
->FindI("pkgProblemResolver::Scores::AddEssential",5000);
518 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
519 clog
<< "Settings used to calculate pkgProblemResolver::Scores::" << endl
520 << " Important => " << PrioMap
[1] << endl
521 << " Required => " << PrioMap
[2] << endl
522 << " Standard => " << PrioMap
[3] << endl
523 << " Optional => " << PrioMap
[4] << endl
524 << " Extra => " << PrioMap
[5] << endl
525 << " Essentials => " << PrioEssentials
<< endl
526 << " InstalledAndNotObsolete => " << PrioInstalledAndNotObsolete
<< endl
527 << " Depends => " << PrioDepends
<< endl
528 << " Recommends => " << PrioRecommends
<< endl
529 << " AddProtected => " << AddProtected
<< endl
530 << " AddEssential => " << AddEssential
<< endl
;
532 // Generate the base scores for a package based on its properties
533 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
535 if (Cache
[I
].InstallVer
== 0)
538 signed short &Score
= Scores
[I
->ID
];
540 /* This is arbitrary, it should be high enough to elevate an
541 essantial package above most other packages but low enough
542 to allow an obsolete essential packages to be removed by
543 a conflicts on a powerfull normal package (ie libc6) */
544 if ((I
->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
)
545 Score
+= PrioEssentials
;
547 // We transform the priority
548 if (Cache
[I
].InstVerIter(Cache
)->Priority
<= 5)
549 Score
+= PrioMap
[Cache
[I
].InstVerIter(Cache
)->Priority
];
551 /* This helps to fix oddball problems with conflicting packages
552 on the same level. We enhance the score of installed packages
553 if those are not obsolete
555 if (I
->CurrentVer
!= 0 && Cache
[I
].CandidateVer
!= 0 && Cache
[I
].CandidateVerIter(Cache
).Downloadable())
556 Score
+= PrioInstalledAndNotObsolete
;
559 // Now that we have the base scores we go and propogate dependencies
560 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
562 if (Cache
[I
].InstallVer
== 0)
565 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList(); D
.end() == false; D
++)
567 if (D
->Type
== pkgCache::Dep::Depends
||
568 D
->Type
== pkgCache::Dep::PreDepends
)
569 Scores
[D
.TargetPkg()->ID
] += PrioDepends
;
570 else if (D
->Type
== pkgCache::Dep::Recommends
)
571 Scores
[D
.TargetPkg()->ID
] += PrioRecommends
;
575 // Copy the scores to advoid additive looping
576 SPtrArray
<signed short> OldScores
= new signed short[Size
];
577 memcpy(OldScores
,Scores
,sizeof(*Scores
)*Size
);
579 /* Now we cause 1 level of dependency inheritance, that is we add the
580 score of the packages that depend on the target Package. This
581 fortifies high scoring packages */
582 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
584 if (Cache
[I
].InstallVer
== 0)
587 for (pkgCache::DepIterator D
= I
.RevDependsList(); D
.end() == false; D
++)
589 // Only do it for the install version
590 if ((pkgCache::Version
*)D
.ParentVer() != Cache
[D
.ParentPkg()].InstallVer
||
591 (D
->Type
!= pkgCache::Dep::Depends
&&
592 D
->Type
!= pkgCache::Dep::PreDepends
&&
593 D
->Type
!= pkgCache::Dep::Recommends
))
596 Scores
[I
->ID
] += abs(OldScores
[D
.ParentPkg()->ID
]);
600 /* Now we propogate along provides. This makes the packages that
601 provide important packages extremely important */
602 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
604 for (pkgCache::PrvIterator P
= I
.ProvidesList(); P
.end() == false; P
++)
606 // Only do it once per package
607 if ((pkgCache::Version
*)P
.OwnerVer() != Cache
[P
.OwnerPkg()].InstallVer
)
609 Scores
[P
.OwnerPkg()->ID
] += abs(Scores
[I
->ID
] - OldScores
[I
->ID
]);
613 /* Protected things are pushed really high up. This number should put them
614 ahead of everything */
615 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
617 if ((Flags
[I
->ID
] & Protected
) != 0)
618 Scores
[I
->ID
] += AddProtected
;
619 if ((I
->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
)
620 Scores
[I
->ID
] += AddEssential
;
624 // ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
625 // ---------------------------------------------------------------------
626 /* This goes through and tries to reinstall packages to make this package
628 bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg
)
630 pkgDepCache::ActionGroup
group(Cache
);
632 if ((Flags
[Pkg
->ID
] & Upgradable
) == 0 || Cache
[Pkg
].Upgradable() == false)
634 if ((Flags
[Pkg
->ID
] & Protected
) == Protected
)
637 Flags
[Pkg
->ID
] &= ~Upgradable
;
639 bool WasKept
= Cache
[Pkg
].Keep();
640 Cache
.MarkInstall(Pkg
, false, 0, false);
642 // This must be a virtual package or something like that.
643 if (Cache
[Pkg
].InstVerIter(Cache
).end() == true)
646 // Isolate the problem dependency
648 for (pkgCache::DepIterator D
= Cache
[Pkg
].InstVerIter(Cache
).DependsList(); D
.end() == false;)
650 // Compute a single dependency element (glob or)
651 pkgCache::DepIterator Start
= D
;
652 pkgCache::DepIterator End
= D
;
653 unsigned char State
= 0;
654 for (bool LastOR
= true; D
.end() == false && LastOR
== true;)
657 LastOR
= (D
->CompareOp
& pkgCache::Dep::Or
) == pkgCache::Dep::Or
;
663 // We only worry about critical deps.
664 if (End
.IsCritical() != true)
667 // Iterate over all the members in the or group
671 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
674 // Do not change protected packages
675 PkgIterator P
= Start
.SmartTargetPkg();
676 if ((Flags
[P
->ID
] & Protected
) == Protected
)
679 clog
<< " Reinst Failed because of protected " << P
.FullName(false) << endl
;
684 // Upgrade the package if the candidate version will fix the problem.
685 if ((Cache
[Start
] & pkgDepCache::DepCVer
) == pkgDepCache::DepCVer
)
687 if (DoUpgrade(P
) == false)
690 clog
<< " Reinst Failed because of " << P
.FullName(false) << endl
;
701 /* We let the algorithm deal with conflicts on its next iteration,
702 it is much smarter than us */
703 if (Start
->Type
== pkgCache::Dep::Conflicts
||
704 Start
->Type
== pkgCache::Dep::DpkgBreaks
||
705 Start
->Type
== pkgCache::Dep::Obsoletes
)
709 clog
<< " Reinst Failed early because of " << Start
.TargetPkg().FullName(false) << endl
;
722 // Undo our operations - it might be smart to undo everything this did..
726 Cache
.MarkKeep(Pkg
, false, false);
728 Cache
.MarkDelete(Pkg
);
733 clog
<< " Re-Instated " << Pkg
.FullName(false) << endl
;
737 // ProblemResolver::Resolve - calls a resolver to fix the situation /*{{{*/
738 // ---------------------------------------------------------------------
740 bool pkgProblemResolver::Resolve(bool BrokenFix
)
742 std::string
const solver
= _config
->Find("APT::Solver::Name", "internal");
743 if (solver
!= "internal")
745 FILE* output
= fopen("/tmp/universe.log", "w");
746 edspWriter::WriteUniverse(Cache
, output
);
748 output
= fopen("/tmp/request.log", "w");
749 edspWriter::WriteRequest(Cache
, output
);
752 return ResolveInternal(BrokenFix
);
755 // ProblemResolver::ResolveInternal - Run the resolution pass /*{{{*/
756 // ---------------------------------------------------------------------
757 /* This routines works by calculating a score for each package. The score
758 is derived by considering the package's priority and all reverse
759 dependents giving an integer that reflects the amount of breakage that
760 adjusting the package will inflict.
762 It goes from highest score to lowest and corrects all of the breaks by
763 keeping or removing the dependant packages. If that fails then it removes
764 the package itself and goes on. The routine should be able to intelligently
765 go from any broken state to a fixed state.
767 The BrokenFix flag enables a mode where the algorithm tries to
768 upgrade packages to advoid problems. */
769 bool pkgProblemResolver::ResolveInternal(bool const BrokenFix
)
771 pkgDepCache::ActionGroup
group(Cache
);
773 // Record which packages are marked for install
778 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
780 if (Cache
[I
].Install() == true)
781 Flags
[I
->ID
] |= PreInstalled
;
784 if (Cache
[I
].InstBroken() == true && BrokenFix
== true)
786 Cache
.MarkInstall(I
, false, 0, false);
787 if (Cache
[I
].Install() == true)
791 Flags
[I
->ID
] &= ~PreInstalled
;
793 Flags
[I
->ID
] |= Upgradable
;
796 while (Again
== true);
799 clog
<< "Starting" << endl
;
803 unsigned long const Size
= Cache
.Head().PackageCount
;
805 /* We have to order the packages so that the broken fixing pass
806 operates from highest score to lowest. This prevents problems when
807 high score packages cause the removal of lower score packages that
808 would cause the removal of even lower score packages. */
809 SPtrArray
<pkgCache::Package
*> PList
= new pkgCache::Package
*[Size
];
810 pkgCache::Package
**PEnd
= PList
;
811 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
814 qsort(PList
,PEnd
- PList
,sizeof(*PList
),&ScoreSort
);
816 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
818 clog
<< "Show Scores" << endl
;
819 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
820 if (Scores
[(*K
)->ID
] != 0)
822 pkgCache::PkgIterator
Pkg(Cache
,*K
);
823 clog
<< Scores
[(*K
)->ID
] << ' ' << Pkg
<< std::endl
;
828 clog
<< "Starting 2" << endl
;
830 /* Now consider all broken packages. For each broken package we either
831 remove the package or fix it's problem. We do this once, it should
832 not be possible for a loop to form (that is a < b < c and fixing b by
833 changing a breaks c) */
835 bool const TryFixByInstall
= _config
->FindB("pkgProblemResolver::FixByInstall", true);
836 for (int Counter
= 0; Counter
!= 10 && Change
== true; Counter
++)
839 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
841 pkgCache::PkgIterator
I(Cache
,*K
);
843 /* We attempt to install this and see if any breaks result,
844 this takes care of some strange cases */
845 if (Cache
[I
].CandidateVer
!= Cache
[I
].InstallVer
&&
846 I
->CurrentVer
!= 0 && Cache
[I
].InstallVer
!= 0 &&
847 (Flags
[I
->ID
] & PreInstalled
) != 0 &&
848 (Flags
[I
->ID
] & Protected
) == 0 &&
849 (Flags
[I
->ID
] & ReInstateTried
) == 0)
852 clog
<< " Try to Re-Instate (" << Counter
<< ") " << I
.FullName(false) << endl
;
853 unsigned long OldBreaks
= Cache
.BrokenCount();
854 pkgCache::Version
*OldVer
= Cache
[I
].InstallVer
;
855 Flags
[I
->ID
] &= ReInstateTried
;
857 Cache
.MarkInstall(I
, false, 0, false);
858 if (Cache
[I
].InstBroken() == true ||
859 OldBreaks
< Cache
.BrokenCount())
864 Cache
.MarkKeep(I
, false, false);
868 clog
<< "Re-Instated " << I
.FullName(false) << " (" << OldBreaks
<< " vs " << Cache
.BrokenCount() << ')' << endl
;
871 if (Cache
[I
].InstallVer
== 0 || Cache
[I
].InstBroken() == false)
875 clog
<< "Investigating (" << Counter
<< ") " << I
<< endl
;
877 // Isolate the problem dependency
878 PackageKill KillList
[100];
879 PackageKill
*LEnd
= KillList
;
881 pkgCache::DepIterator Start
;
882 pkgCache::DepIterator End
;
883 PackageKill
*OldEnd
= LEnd
;
885 enum {OrRemove
,OrKeep
} OrOp
= OrRemove
;
886 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList();
887 D
.end() == false || InOr
== true;)
889 // Compute a single dependency element (glob or)
893 if (InOr
== true && OldEnd
== LEnd
)
895 if (OrOp
== OrRemove
)
897 if ((Flags
[I
->ID
] & Protected
) != Protected
)
900 clog
<< " Or group remove for " << I
.FullName(false) << endl
;
905 else if (OrOp
== OrKeep
)
908 clog
<< " Or group keep for " << I
.FullName(false) << endl
;
909 Cache
.MarkKeep(I
, false, false);
914 /* We do an extra loop (as above) to finalize the or group
919 if (Start
.end() == true)
922 // We only worry about critical deps.
923 if (End
.IsCritical() != true)
932 // We only worry about critical deps.
933 if (Start
.IsCritical() != true)
938 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
945 clog
<< "Broken " << Start
<< endl
;
947 /* Look across the version list. If there are no possible
948 targets then we keep the package and bail. This is necessary
949 if a package has a dep on another package that cant be found */
950 SPtrArray
<pkgCache::Version
*> VList
= Start
.AllTargets();
951 if (*VList
== 0 && (Flags
[I
->ID
] & Protected
) != Protected
&&
952 Start
->Type
!= pkgCache::Dep::Conflicts
&&
953 Start
->Type
!= pkgCache::Dep::DpkgBreaks
&&
954 Start
->Type
!= pkgCache::Dep::Obsoletes
&&
955 Cache
[I
].NowBroken() == false)
959 /* No keep choice because the keep being OK could be the
960 result of another element in the OR group! */
965 Cache
.MarkKeep(I
, false, false);
970 for (pkgCache::Version
**V
= VList
; *V
!= 0; V
++)
972 pkgCache::VerIterator
Ver(Cache
,*V
);
973 pkgCache::PkgIterator Pkg
= Ver
.ParentPkg();
975 /* This is a conflicts, and the version we are looking
976 at is not the currently selected version of the
977 package, which means it is not necessary to
979 if (Cache
[Pkg
].InstallVer
!= Ver
&&
980 (Start
->Type
== pkgCache::Dep::Conflicts
||
981 Start
->Type
== pkgCache::Dep::DpkgBreaks
||
982 Start
->Type
== pkgCache::Dep::Obsoletes
))
985 clog
<< " Conflicts//Breaks against version "
986 << Ver
.VerStr() << " for " << Pkg
.Name()
987 << " but that is not InstVer, ignoring"
993 clog
<< " Considering " << Pkg
.FullName(false) << ' ' << (int)Scores
[Pkg
->ID
] <<
994 " as a solution to " << I
.FullName(false) << ' ' << (int)Scores
[I
->ID
] << endl
;
996 /* Try to fix the package under consideration rather than
997 fiddle with the VList package */
998 if (Scores
[I
->ID
] <= Scores
[Pkg
->ID
] ||
999 ((Cache
[Start
] & pkgDepCache::DepNow
) == 0 &&
1000 End
->Type
!= pkgCache::Dep::Conflicts
&&
1001 End
->Type
!= pkgCache::Dep::DpkgBreaks
&&
1002 End
->Type
!= pkgCache::Dep::Obsoletes
))
1004 // Try a little harder to fix protected packages..
1005 if ((Flags
[I
->ID
] & Protected
) == Protected
)
1007 if (DoUpgrade(Pkg
) == true)
1009 if (Scores
[Pkg
->ID
] > Scores
[I
->ID
])
1010 Scores
[Pkg
->ID
] = Scores
[I
->ID
];
1017 /* See if a keep will do, unless the package is protected,
1018 then installing it will be necessary */
1019 bool Installed
= Cache
[I
].Install();
1020 Cache
.MarkKeep(I
, false, false);
1021 if (Cache
[I
].InstBroken() == false)
1023 // Unwind operation will be keep now
1024 if (OrOp
== OrRemove
)
1028 if (InOr
== true && Installed
== true)
1029 Cache
.MarkInstall(I
, false, 0, false);
1032 clog
<< " Holding Back " << I
.FullName(false) << " rather than change " << Start
.TargetPkg().FullName(false) << endl
;
1036 if (BrokenFix
== false || DoUpgrade(I
) == false)
1038 // Consider other options
1042 clog
<< " Removing " << I
.FullName(false) << " rather than change " << Start
.TargetPkg().FullName(false) << endl
;
1043 Cache
.MarkDelete(I
);
1044 if (Counter
> 1 && Scores
[Pkg
->ID
] > Scores
[I
->ID
])
1045 Scores
[I
->ID
] = Scores
[Pkg
->ID
];
1047 else if (TryFixByInstall
== true &&
1048 Start
.TargetPkg()->CurrentVer
== 0 &&
1049 Cache
[Start
.TargetPkg()].Delete() == false &&
1050 (Flags
[Start
.TargetPkg()->ID
] & ToRemove
) != ToRemove
&&
1051 Cache
.GetCandidateVer(Start
.TargetPkg()).end() == false)
1053 /* Before removing or keeping the package with the broken dependency
1054 try instead to install the first not previously installed package
1055 solving this dependency. This helps every time a previous solver
1056 is removed by the resolver because of a conflict or alike but it is
1057 dangerous as it could trigger new breaks/conflicts… */
1059 clog
<< " Try Installing " << Start
.TargetPkg() << " before changing " << I
.FullName(false) << std::endl
;
1060 unsigned long const OldBroken
= Cache
.BrokenCount();
1061 Cache
.MarkInstall(Start
.TargetPkg(), true, 1, false);
1062 // FIXME: we should undo the complete MarkInstall process here
1063 if (Cache
[Start
.TargetPkg()].InstBroken() == true || Cache
.BrokenCount() > OldBroken
)
1064 Cache
.MarkDelete(Start
.TargetPkg(), false, 1, false);
1075 if (Start
->Type
== pkgCache::Dep::DpkgBreaks
)
1077 // first, try upgradring the package, if that
1078 // does not help, the breaks goes onto the
1081 // FIXME: use DoUpgrade(Pkg) instead?
1082 if (Cache
[End
] & pkgDepCache::DepGCVer
)
1085 clog
<< " Upgrading " << Pkg
.FullName(false) << " due to Breaks field in " << I
.FullName(false) << endl
;
1086 Cache
.MarkInstall(Pkg
, false, 0, false);
1091 // Skip adding to the kill list if it is protected
1092 if ((Flags
[Pkg
->ID
] & Protected
) != 0)
1096 clog
<< " Added " << Pkg
.FullName(false) << " to the remove list" << endl
;
1102 if (Start
->Type
!= pkgCache::Dep::Conflicts
&&
1103 Start
->Type
!= pkgCache::Dep::Obsoletes
)
1108 // Hm, nothing can possibly satisify this dep. Nuke it.
1109 if (VList
[0] == 0 &&
1110 Start
->Type
!= pkgCache::Dep::Conflicts
&&
1111 Start
->Type
!= pkgCache::Dep::DpkgBreaks
&&
1112 Start
->Type
!= pkgCache::Dep::Obsoletes
&&
1113 (Flags
[I
->ID
] & Protected
) != Protected
)
1115 bool Installed
= Cache
[I
].Install();
1117 if (Cache
[I
].InstBroken() == false)
1119 // Unwind operation will be keep now
1120 if (OrOp
== OrRemove
)
1124 if (InOr
== true && Installed
== true)
1125 Cache
.MarkInstall(I
, false, 0, false);
1128 clog
<< " Holding Back " << I
.FullName(false) << " because I can't find " << Start
.TargetPkg().FullName(false) << endl
;
1133 clog
<< " Removing " << I
.FullName(false) << " because I can't find " << Start
.TargetPkg().FullName(false) << endl
;
1135 Cache
.MarkDelete(I
);
1150 // Apply the kill list now
1151 if (Cache
[I
].InstallVer
!= 0)
1153 for (PackageKill
*J
= KillList
; J
!= LEnd
; J
++)
1156 if ((Cache
[J
->Dep
] & pkgDepCache::DepGNow
) == 0)
1158 if (J
->Dep
->Type
== pkgCache::Dep::Conflicts
||
1159 J
->Dep
->Type
== pkgCache::Dep::DpkgBreaks
||
1160 J
->Dep
->Type
== pkgCache::Dep::Obsoletes
)
1163 clog
<< " Fixing " << I
.FullName(false) << " via remove of " << J
->Pkg
.FullName(false) << endl
;
1164 Cache
.MarkDelete(J
->Pkg
);
1170 clog
<< " Fixing " << I
.FullName(false) << " via keep of " << J
->Pkg
.FullName(false) << endl
;
1171 Cache
.MarkKeep(J
->Pkg
, false, false);
1176 if (Scores
[I
->ID
] > Scores
[J
->Pkg
->ID
])
1177 Scores
[J
->Pkg
->ID
] = Scores
[I
->ID
];
1185 clog
<< "Done" << endl
;
1187 if (Cache
.BrokenCount() != 0)
1189 // See if this is the result of a hold
1190 pkgCache::PkgIterator I
= Cache
.PkgBegin();
1191 for (;I
.end() != true; I
++)
1193 if (Cache
[I
].InstBroken() == false)
1195 if ((Flags
[I
->ID
] & Protected
) != Protected
)
1196 return _error
->Error(_("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages."));
1198 return _error
->Error(_("Unable to correct problems, you have held broken packages."));
1201 // set the auto-flags (mvo: I'm not sure if we _really_ need this)
1202 pkgCache::PkgIterator I
= Cache
.PkgBegin();
1203 for (;I
.end() != true; I
++) {
1204 if (Cache
[I
].NewInstall() && !(Flags
[I
->ID
] & PreInstalled
)) {
1205 if(_config
->FindI("Debug::pkgAutoRemove",false)) {
1206 std::clog
<< "Resolve installed new pkg: " << I
.FullName(false)
1207 << " (now marking it as auto)" << std::endl
;
1209 Cache
[I
].Flags
|= pkgCache::Flag::Auto
;
1217 // ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
1218 // ---------------------------------------------------------------------
1219 /* This is the work horse of the soft upgrade routine. It is very gental
1220 in that it does not install or remove any packages. It is assumed that the
1221 system was non-broken previously. */
1222 bool pkgProblemResolver::ResolveByKeep()
1224 pkgDepCache::ActionGroup
group(Cache
);
1226 unsigned long Size
= Cache
.Head().PackageCount
;
1230 /* We have to order the packages so that the broken fixing pass
1231 operates from highest score to lowest. This prevents problems when
1232 high score packages cause the removal of lower score packages that
1233 would cause the removal of even lower score packages. */
1234 pkgCache::Package
**PList
= new pkgCache::Package
*[Size
];
1235 pkgCache::Package
**PEnd
= PList
;
1236 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
1239 qsort(PList
,PEnd
- PList
,sizeof(*PList
),&ScoreSort
);
1241 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
1243 clog
<< "Show Scores" << endl
;
1244 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
1245 if (Scores
[(*K
)->ID
] != 0)
1247 pkgCache::PkgIterator
Pkg(Cache
,*K
);
1248 clog
<< Scores
[(*K
)->ID
] << ' ' << Pkg
<< std::endl
;
1253 clog
<< "Entering ResolveByKeep" << endl
;
1255 // Consider each broken package
1256 pkgCache::Package
**LastStop
= 0;
1257 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
1259 pkgCache::PkgIterator
I(Cache
,*K
);
1261 if (Cache
[I
].InstallVer
== 0 || Cache
[I
].InstBroken() == false)
1264 /* Keep the package. If this works then great, otherwise we have
1265 to be significantly more agressive and manipulate its dependencies */
1266 if ((Flags
[I
->ID
] & Protected
) == 0)
1269 clog
<< "Keeping package " << I
.FullName(false) << endl
;
1270 Cache
.MarkKeep(I
, false, false);
1271 if (Cache
[I
].InstBroken() == false)
1278 // Isolate the problem dependencies
1279 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList(); D
.end() == false;)
1283 D
.GlobOr(Start
,End
);
1285 // We only worry about critical deps.
1286 if (End
.IsCritical() != true)
1290 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
1293 /* Hm, the group is broken.. I suppose the best thing to do is to
1294 is to try every combination of keep/not-keep for the set, but thats
1295 slow, and this never happens, just be conservative and assume the
1296 list of ors is in preference and keep till it starts to work. */
1300 clog
<< "Package " << I
.FullName(false) << " " << Start
<< endl
;
1302 // Look at all the possible provides on this package
1303 SPtrArray
<pkgCache::Version
*> VList
= Start
.AllTargets();
1304 for (pkgCache::Version
**V
= VList
; *V
!= 0; V
++)
1306 pkgCache::VerIterator
Ver(Cache
,*V
);
1307 pkgCache::PkgIterator Pkg
= Ver
.ParentPkg();
1309 // It is not keepable
1310 if (Cache
[Pkg
].InstallVer
== 0 ||
1311 Pkg
->CurrentVer
== 0)
1314 if ((Flags
[I
->ID
] & Protected
) == 0)
1317 clog
<< " Keeping Package " << Pkg
.FullName(false) << " due to " << Start
.DepType() << endl
;
1318 Cache
.MarkKeep(Pkg
, false, false);
1321 if (Cache
[I
].InstBroken() == false)
1325 if (Cache
[I
].InstBroken() == false)
1333 if (Cache
[I
].InstBroken() == false)
1337 if (Cache
[I
].InstBroken() == true)
1342 return _error
->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.",I
.FullName(false).c_str());
1350 // ProblemResolver::InstallProtect - Install all protected packages /*{{{*/
1351 // ---------------------------------------------------------------------
1352 /* This is used to make sure protected packages are installed */
1353 void pkgProblemResolver::InstallProtect()
1355 pkgDepCache::ActionGroup
group(Cache
);
1357 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; I
++)
1359 if ((Flags
[I
->ID
] & Protected
) == Protected
)
1361 if ((Flags
[I
->ID
] & ToRemove
) == ToRemove
)
1362 Cache
.MarkDelete(I
);
1365 // preserve the information whether the package was auto
1366 // or manually installed
1367 bool autoInst
= (Cache
[I
].Flags
& pkgCache::Flag::Auto
);
1368 Cache
.MarkInstall(I
, false, 0, !autoInst
);
1374 // PrioSortList - Sort a list of versions by priority /*{{{*/
1375 // ---------------------------------------------------------------------
1376 /* This is ment to be used in conjunction with AllTargets to get a list
1377 of versions ordered by preference. */
1378 static pkgCache
*PrioCache
;
1379 static int PrioComp(const void *A
,const void *B
)
1381 pkgCache::VerIterator
L(*PrioCache
,*(pkgCache::Version
**)A
);
1382 pkgCache::VerIterator
R(*PrioCache
,*(pkgCache::Version
**)B
);
1384 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
&&
1385 (R
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) != pkgCache::Flag::Essential
)
1387 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) != pkgCache::Flag::Essential
&&
1388 (R
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
)
1391 if (L
->Priority
!= R
->Priority
)
1392 return R
->Priority
- L
->Priority
;
1393 return strcmp(L
.ParentPkg().Name(),R
.ParentPkg().Name());
1395 void pkgPrioSortList(pkgCache
&Cache
,pkgCache::Version
**List
)
1397 unsigned long Count
= 0;
1399 for (pkgCache::Version
**I
= List
; *I
!= 0; I
++)
1401 qsort(List
,Count
,sizeof(*List
),PrioComp
);
1404 // CacheFile::ListUpdate - update the cache files /*{{{*/
1405 // ---------------------------------------------------------------------
1406 /* This is a simple wrapper to update the cache. it will fetch stuff
1407 * from the network (or any other sources defined in sources.list)
1409 bool ListUpdate(pkgAcquireStatus
&Stat
,
1410 pkgSourceList
&List
,
1413 pkgAcquire::RunResult res
;
1415 if (Fetcher
.Setup(&Stat
, _config
->FindDir("Dir::State::Lists")) == false)
1418 // Populate it with the source selection
1419 if (List
.GetIndexes(&Fetcher
) == false)
1423 RunScripts("APT::Update::Pre-Invoke");
1427 res
= Fetcher
.Run(PulseInterval
);
1429 res
= Fetcher
.Run();
1431 if (res
== pkgAcquire::Failed
)
1434 bool Failed
= false;
1435 bool TransientNetworkFailure
= false;
1436 for (pkgAcquire::ItemIterator I
= Fetcher
.ItemsBegin();
1437 I
!= Fetcher
.ItemsEnd(); I
++)
1439 if ((*I
)->Status
== pkgAcquire::Item::StatDone
)
1444 ::URI
uri((*I
)->DescURI());
1446 uri
.Password
.clear();
1447 string descUri
= string(uri
);
1448 _error
->Warning(_("Failed to fetch %s %s\n"), descUri
.c_str(),
1449 (*I
)->ErrorText
.c_str());
1451 if ((*I
)->Status
== pkgAcquire::Item::StatTransientNetworkError
)
1453 TransientNetworkFailure
= true;
1460 // Clean out any old list files
1461 // Keep "APT::Get::List-Cleanup" name for compatibility, but
1462 // this is really a global option for the APT library now
1463 if (!TransientNetworkFailure
&& !Failed
&&
1464 (_config
->FindB("APT::Get::List-Cleanup",true) == true &&
1465 _config
->FindB("APT::List-Cleanup",true) == true))
1467 if (Fetcher
.Clean(_config
->FindDir("Dir::State::lists")) == false ||
1468 Fetcher
.Clean(_config
->FindDir("Dir::State::lists") + "partial/") == false)
1469 // something went wrong with the clean
1473 if (TransientNetworkFailure
== true)
1474 _error
->Warning(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1475 else if (Failed
== true)
1476 return _error
->Error(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1479 // Run the success scripts if all was fine
1480 if(!TransientNetworkFailure
&& !Failed
)
1481 RunScripts("APT::Update::Post-Invoke-Success");
1483 // Run the other scripts
1484 RunScripts("APT::Update::Post-Invoke");