]> git.saurik.com Git - apt.git/blame_incremental - apt-pkg/algorithms.cc
cleanup upgrade API some more (thanks for the feedback from David)
[apt.git] / apt-pkg / algorithms.cc
... / ...
CommitLineData
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
3// $Id: algorithms.cc,v 1.44 2002/11/28 18:49:16 jgg Exp $
4/* ######################################################################
5
6 Algorithms - A set of misc algorithms
7
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.
13
14 ##################################################################### */
15 /*}}}*/
16// Include Files /*{{{*/
17#include <config.h>
18
19#include <apt-pkg/algorithms.h>
20#include <apt-pkg/error.h>
21#include <apt-pkg/configuration.h>
22#include <apt-pkg/version.h>
23#include <apt-pkg/sptr.h>
24#include <apt-pkg/acquire-item.h>
25#include <apt-pkg/edsp.h>
26#include <apt-pkg/sourcelist.h>
27#include <apt-pkg/fileutl.h>
28#include <apt-pkg/progress.h>
29
30#include <sys/types.h>
31#include <cstdlib>
32#include <algorithm>
33#include <iostream>
34#include <stdio.h>
35
36#include <apti18n.h>
37 /*}}}*/
38using namespace std;
39
40pkgProblemResolver *pkgProblemResolver::This = 0;
41
42// Simulate::Simulate - Constructor /*{{{*/
43// ---------------------------------------------------------------------
44/* The legacy translations here of input Pkg iterators is obsolete,
45 this is not necessary since the pkgCaches are fully shared now. */
46pkgSimulate::pkgSimulate(pkgDepCache *Cache) : pkgPackageManager(Cache),
47 iPolicy(Cache),
48 Sim(&Cache->GetCache(),&iPolicy),
49 group(Sim)
50{
51 Sim.Init(0);
52 Flags = new unsigned char[Cache->Head().PackageCount];
53 memset(Flags,0,sizeof(*Flags)*Cache->Head().PackageCount);
54
55 // Fake a filename so as not to activate the media swapping
56 string Jnk = "SIMULATE";
57 for (unsigned int I = 0; I != Cache->Head().PackageCount; I++)
58 FileNames[I] = Jnk;
59}
60 /*}}}*/
61// Simulate::~Simulate - Destructor /*{{{*/
62pkgSimulate::~pkgSimulate()
63{
64 delete[] Flags;
65}
66 /*}}}*/
67// Simulate::Describe - Describe a package /*{{{*/
68// ---------------------------------------------------------------------
69/* Parameter Current == true displays the current package version,
70 Parameter Candidate == true displays the candidate package version */
71void pkgSimulate::Describe(PkgIterator Pkg,ostream &out,bool Current,bool Candidate)
72{
73 VerIterator Ver(Sim);
74
75 out << Pkg.FullName(true);
76
77 if (Current == true)
78 {
79 Ver = Pkg.CurrentVer();
80 if (Ver.end() == false)
81 out << " [" << Ver.VerStr() << ']';
82 }
83
84 if (Candidate == true)
85 {
86 Ver = Sim[Pkg].CandidateVerIter(Sim);
87 if (Ver.end() == true)
88 return;
89
90 out << " (" << Ver.VerStr() << ' ' << Ver.RelStr() << ')';
91 }
92}
93 /*}}}*/
94// Simulate::Install - Simulate unpacking of a package /*{{{*/
95// ---------------------------------------------------------------------
96/* */
97bool pkgSimulate::Install(PkgIterator iPkg,string /*File*/)
98{
99 // Adapt the iterator
100 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
101 Flags[Pkg->ID] = 1;
102
103 cout << "Inst ";
104 Describe(Pkg,cout,true,true);
105 Sim.MarkInstall(Pkg,false);
106
107 // Look for broken conflicts+predepends.
108 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; ++I)
109 {
110 if (Sim[I].InstallVer == 0)
111 continue;
112
113 for (DepIterator D = Sim[I].InstVerIter(Sim).DependsList(); D.end() == false;)
114 {
115 DepIterator Start;
116 DepIterator End;
117 D.GlobOr(Start,End);
118 if (Start.IsNegative() == true ||
119 End->Type == pkgCache::Dep::PreDepends)
120 {
121 if ((Sim[End] & pkgDepCache::DepGInstall) == 0)
122 {
123 cout << " [" << I.FullName(false) << " on " << Start.TargetPkg().FullName(false) << ']';
124 if (Start->Type == pkgCache::Dep::Conflicts)
125 _error->Error("Fatal, conflicts violated %s",I.FullName(false).c_str());
126 }
127 }
128 }
129 }
130
131 if (Sim.BrokenCount() != 0)
132 ShortBreaks();
133 else
134 cout << endl;
135 return true;
136}
137 /*}}}*/
138// Simulate::Configure - Simulate configuration of a Package /*{{{*/
139// ---------------------------------------------------------------------
140/* This is not an acurate simulation of relatity, we should really not
141 install the package.. For some investigations it may be necessary
142 however. */
143bool pkgSimulate::Configure(PkgIterator iPkg)
144{
145 // Adapt the iterator
146 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
147
148 Flags[Pkg->ID] = 2;
149
150 if (Sim[Pkg].InstBroken() == true)
151 {
152 cout << "Conf " << Pkg.FullName(false) << " broken" << endl;
153
154 Sim.Update();
155
156 // Print out each package and the failed dependencies
157 for (pkgCache::DepIterator D = Sim[Pkg].InstVerIter(Sim).DependsList(); D.end() == false; ++D)
158 {
159 if (Sim.IsImportantDep(D) == false ||
160 (Sim[D] & pkgDepCache::DepInstall) != 0)
161 continue;
162
163 if (D->Type == pkgCache::Dep::Obsoletes)
164 cout << " Obsoletes:" << D.TargetPkg().FullName(false);
165 else if (D->Type == pkgCache::Dep::Conflicts)
166 cout << " Conflicts:" << D.TargetPkg().FullName(false);
167 else if (D->Type == pkgCache::Dep::DpkgBreaks)
168 cout << " Breaks:" << D.TargetPkg().FullName(false);
169 else
170 cout << " Depends:" << D.TargetPkg().FullName(false);
171 }
172 cout << endl;
173
174 _error->Error("Conf Broken %s",Pkg.FullName(false).c_str());
175 }
176 else
177 {
178 cout << "Conf ";
179 Describe(Pkg,cout,false,true);
180 }
181
182 if (Sim.BrokenCount() != 0)
183 ShortBreaks();
184 else
185 cout << endl;
186
187 return true;
188}
189 /*}}}*/
190// Simulate::Remove - Simulate the removal of a package /*{{{*/
191// ---------------------------------------------------------------------
192/* */
193bool pkgSimulate::Remove(PkgIterator iPkg,bool Purge)
194{
195 // Adapt the iterator
196 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
197 if (Pkg.end() == true)
198 {
199 std::cerr << (Purge ? "Purg" : "Remv") << " invalid package " << iPkg.FullName() << std::endl;
200 return false;
201 }
202
203 Flags[Pkg->ID] = 3;
204 Sim.MarkDelete(Pkg);
205
206 if (Purge == true)
207 cout << "Purg ";
208 else
209 cout << "Remv ";
210 Describe(Pkg,cout,true,false);
211
212 if (Sim.BrokenCount() != 0)
213 ShortBreaks();
214 else
215 cout << endl;
216
217 return true;
218}
219 /*}}}*/
220// Simulate::ShortBreaks - Print out a short line describing all breaks /*{{{*/
221// ---------------------------------------------------------------------
222/* */
223void pkgSimulate::ShortBreaks()
224{
225 cout << " [";
226 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; ++I)
227 {
228 if (Sim[I].InstBroken() == true)
229 {
230 if (Flags[I->ID] == 0)
231 cout << I.FullName(false) << ' ';
232/* else
233 cout << I.Name() << "! ";*/
234 }
235 }
236 cout << ']' << endl;
237}
238 /*}}}*/
239// ApplyStatus - Adjust for non-ok packages /*{{{*/
240// ---------------------------------------------------------------------
241/* We attempt to change the state of the all packages that have failed
242 installation toward their real state. The ordering code will perform
243 the necessary calculations to deal with the problems. */
244bool pkgApplyStatus(pkgDepCache &Cache)
245{
246 pkgDepCache::ActionGroup group(Cache);
247
248 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
249 {
250 if (I->VersionList == 0)
251 continue;
252
253 // Only choice for a ReInstReq package is to reinstall
254 if (I->InstState == pkgCache::State::ReInstReq ||
255 I->InstState == pkgCache::State::HoldReInstReq)
256 {
257 if (I->CurrentVer != 0 && I.CurrentVer().Downloadable() == true)
258 Cache.MarkKeep(I, false, false);
259 else
260 {
261 // Is this right? Will dpkg choke on an upgrade?
262 if (Cache[I].CandidateVer != 0 &&
263 Cache[I].CandidateVerIter(Cache).Downloadable() == true)
264 Cache.MarkInstall(I, false, 0, false);
265 else
266 return _error->Error(_("The package %s needs to be reinstalled, "
267 "but I can't find an archive for it."),I.FullName(true).c_str());
268 }
269
270 continue;
271 }
272
273 switch (I->CurrentState)
274 {
275 /* This means installation failed somehow - it does not need to be
276 re-unpacked (probably) */
277 case pkgCache::State::UnPacked:
278 case pkgCache::State::HalfConfigured:
279 case pkgCache::State::TriggersAwaited:
280 case pkgCache::State::TriggersPending:
281 if ((I->CurrentVer != 0 && I.CurrentVer().Downloadable() == true) ||
282 I.State() != pkgCache::PkgIterator::NeedsUnpack)
283 Cache.MarkKeep(I, false, false);
284 else
285 {
286 if (Cache[I].CandidateVer != 0 &&
287 Cache[I].CandidateVerIter(Cache).Downloadable() == true)
288 Cache.MarkInstall(I, true, 0, false);
289 else
290 Cache.MarkDelete(I, false, 0, false);
291 }
292 break;
293
294 // This means removal failed
295 case pkgCache::State::HalfInstalled:
296 Cache.MarkDelete(I, false, 0, false);
297 break;
298
299 default:
300 if (I->InstState != pkgCache::State::Ok)
301 return _error->Error("The package %s is not ok and I "
302 "don't know how to fix it!",I.FullName(false).c_str());
303 }
304 }
305 return true;
306}
307 /*}}}*/
308// FixBroken - Fix broken packages /*{{{*/
309// ---------------------------------------------------------------------
310/* This autoinstalls every broken package and then runs the problem resolver
311 on the result. */
312bool pkgFixBroken(pkgDepCache &Cache)
313{
314 pkgDepCache::ActionGroup group(Cache);
315
316 // Auto upgrade all broken packages
317 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
318 if (Cache[I].NowBroken() == true)
319 Cache.MarkInstall(I, true, 0, false);
320
321 /* Fix packages that are in a NeedArchive state but don't have a
322 downloadable install version */
323 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
324 {
325 if (I.State() != pkgCache::PkgIterator::NeedsUnpack ||
326 Cache[I].Delete() == true)
327 continue;
328
329 if (Cache[I].InstVerIter(Cache).Downloadable() == false)
330 continue;
331
332 Cache.MarkInstall(I, true, 0, false);
333 }
334
335 pkgProblemResolver Fix(&Cache);
336 return Fix.Resolve(true);
337}
338 /*}}}*/
339// DistUpgrade - Distribution upgrade /*{{{*/
340// ---------------------------------------------------------------------
341/* This autoinstalls every package and then force installs every
342 pre-existing package. This creates the initial set of conditions which
343 most likely contain problems because too many things were installed.
344
345 The problem resolver is used to resolve the problems.
346 */
347bool pkgDistUpgrade(pkgDepCache &Cache)
348{
349 std::string const solver = _config->Find("APT::Solver", "internal");
350 if (solver != "internal") {
351 OpTextProgress Prog(*_config);
352 return EDSP::ResolveExternal(solver.c_str(), Cache, false, true, false, &Prog);
353 }
354
355 pkgDepCache::ActionGroup group(Cache);
356
357 /* Upgrade all installed packages first without autoinst to help the resolver
358 in versioned or-groups to upgrade the old solver instead of installing
359 a new one (if the old solver is not the first one [anymore]) */
360 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
361 if (I->CurrentVer != 0)
362 Cache.MarkInstall(I, false, 0, false);
363
364 /* Auto upgrade all installed packages, this provides the basis
365 for the installation */
366 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
367 if (I->CurrentVer != 0)
368 Cache.MarkInstall(I, true, 0, false);
369
370 /* Now, install each essential package which is not installed
371 (and not provided by another package in the same name group) */
372 std::string essential = _config->Find("pkgCacheGen::Essential", "all");
373 if (essential == "all")
374 {
375 for (pkgCache::GrpIterator G = Cache.GrpBegin(); G.end() == false; ++G)
376 {
377 bool isEssential = false;
378 bool instEssential = false;
379 for (pkgCache::PkgIterator P = G.PackageList(); P.end() == false; P = G.NextPkg(P))
380 {
381 if ((P->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential)
382 continue;
383 isEssential = true;
384 if (Cache[P].Install() == true)
385 {
386 instEssential = true;
387 break;
388 }
389 }
390 if (isEssential == false || instEssential == true)
391 continue;
392 pkgCache::PkgIterator P = G.FindPreferredPkg();
393 Cache.MarkInstall(P, true, 0, false);
394 }
395 }
396 else if (essential != "none")
397 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
398 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
399 Cache.MarkInstall(I, true, 0, false);
400
401 /* We do it again over all previously installed packages to force
402 conflict resolution on them all. */
403 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
404 if (I->CurrentVer != 0)
405 Cache.MarkInstall(I, false, 0, false);
406
407 pkgProblemResolver Fix(&Cache);
408
409 // Hold back held packages.
410 if (_config->FindB("APT::Ignore-Hold",false) == false)
411 {
412 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
413 {
414 if (I->SelectedState == pkgCache::State::Hold)
415 {
416 Fix.Protect(I);
417 Cache.MarkKeep(I, false, false);
418 }
419 }
420 }
421
422 return Fix.Resolve();
423}
424 /*}}}*/
425// AllUpgradeNoNewPackages - Upgrade but no removals or new pkgs /*{{{*/
426bool pkgAllUpgradeNoNewPackages(pkgDepCache &Cache)
427{
428 std::string const solver = _config->Find("APT::Solver", "internal");
429 if (solver != "internal") {
430 OpTextProgress Prog(*_config);
431 return EDSP::ResolveExternal(solver.c_str(), Cache, true, false, false, &Prog);
432 }
433
434 pkgDepCache::ActionGroup group(Cache);
435
436 pkgProblemResolver Fix(&Cache);
437
438 if (Cache.BrokenCount() != 0)
439 return false;
440
441 // Upgrade all installed packages
442 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
443 {
444 if (Cache[I].Install() == true)
445 Fix.Protect(I);
446
447 if (_config->FindB("APT::Ignore-Hold",false) == false)
448 if (I->SelectedState == pkgCache::State::Hold)
449 continue;
450
451 if (I->CurrentVer != 0 && Cache[I].InstallVer != 0)
452 Cache.MarkInstall(I, false, 0, false);
453 }
454
455 return Fix.ResolveByKeep();
456}
457 /*}}}*/
458// AllUpgradeWithNewInstalls - Upgrade + install new packages as needed /*{{{*/
459// ---------------------------------------------------------------------
460/* Right now the system must be consistent before this can be called.
461 * Upgrade as much as possible without deleting anything (useful for
462 * stable systems)
463 */
464bool pkgAllUpgradeWithNewPackages(pkgDepCache &Cache)
465{
466 pkgDepCache::ActionGroup group(Cache);
467
468 pkgProblemResolver Fix(&Cache);
469
470 if (Cache.BrokenCount() != 0)
471 return false;
472
473 // provide the initial set of stuff we want to upgrade by marking
474 // all upgradable packages for upgrade
475 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
476 {
477 if (I->CurrentVer != 0 && Cache[I].InstallVer != 0)
478 {
479 if (_config->FindB("APT::Ignore-Hold",false) == false)
480 if (I->SelectedState == pkgCache::State::Hold)
481 continue;
482
483 Cache.MarkInstall(I, false, 0, false);
484 }
485 }
486
487 // then let auto-install loose
488 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
489 if (Cache[I].Install())
490 Cache.MarkInstall(I, true, 0, false);
491
492 // ... but it may remove stuff, we we need to clean up afterwards again
493 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
494 if (Cache[I].Delete() == true)
495 Cache.MarkKeep(I, false, false);
496
497 // resolve remaining issues via keep
498 return Fix.ResolveByKeep();
499}
500 /*}}}*/
501// AllUpgrade - Upgrade as many packages as possible /*{{{*/
502// ---------------------------------------------------------------------
503/* Right now the system must be consistent before this can be called.
504 It also will not change packages marked for install, it only tries
505 to install packages not marked for install */
506bool pkgAllUpgrade(pkgDepCache &Cache)
507{
508 return pkgAllUpgradeNoNewPackages(Cache);
509}
510 /*}}}*/
511// MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
512// ---------------------------------------------------------------------
513/* This simply goes over the entire set of packages and tries to keep
514 each package marked for upgrade. If a conflict is generated then
515 the package is restored. */
516bool pkgMinimizeUpgrade(pkgDepCache &Cache)
517{
518 pkgDepCache::ActionGroup group(Cache);
519
520 if (Cache.BrokenCount() != 0)
521 return false;
522
523 // We loop for 10 tries to get the minimal set size.
524 bool Change = false;
525 unsigned int Count = 0;
526 do
527 {
528 Change = false;
529 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
530 {
531 // Not interesting
532 if (Cache[I].Upgrade() == false || Cache[I].NewInstall() == true)
533 continue;
534
535 // Keep it and see if that is OK
536 Cache.MarkKeep(I, false, false);
537 if (Cache.BrokenCount() != 0)
538 Cache.MarkInstall(I, false, 0, false);
539 else
540 {
541 // If keep didnt actually do anything then there was no change..
542 if (Cache[I].Upgrade() == false)
543 Change = true;
544 }
545 }
546 ++Count;
547 }
548 while (Change == true && Count < 10);
549
550 if (Cache.BrokenCount() != 0)
551 return _error->Error("Internal Error in pkgMinimizeUpgrade");
552
553 return true;
554}
555 /*}}}*/
556// APT::Upgrade::Upgrade - Upgrade using a specific strategy /*{{{*/
557bool APT::Upgrade::Upgrade(pkgDepCache &Cache, int mode)
558{
559 if (mode == 0)
560 {
561 return pkgDistUpgrade(Cache);
562 }
563 else if ((mode & ~FORBID_REMOVE_PACKAGES) == 0)
564 {
565 return pkgAllUpgradeWithNewPackages(Cache);
566 }
567 else if ((mode & ~(FORBID_REMOVE_PACKAGES|FORBID_NEW_INSTALL_PACKAGES)) == 0)
568 {
569 return pkgAllUpgradeNoNewPackages(Cache);
570 }
571 else
572 _error->Error("pkgAllUpgrade called with unsupported mode %i", mode);
573
574 return false;
575}
576 /*}}}*/
577// ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
578// ---------------------------------------------------------------------
579/* */
580pkgProblemResolver::pkgProblemResolver(pkgDepCache *pCache) : d(NULL), Cache(*pCache)
581{
582 // Allocate memory
583 unsigned long Size = Cache.Head().PackageCount;
584 Scores = new int[Size];
585 Flags = new unsigned char[Size];
586 memset(Flags,0,sizeof(*Flags)*Size);
587
588 // Set debug to true to see its decision logic
589 Debug = _config->FindB("Debug::pkgProblemResolver",false);
590}
591 /*}}}*/
592// ProblemResolver::~pkgProblemResolver - Destructor /*{{{*/
593// ---------------------------------------------------------------------
594/* */
595pkgProblemResolver::~pkgProblemResolver()
596{
597 delete [] Scores;
598 delete [] Flags;
599}
600 /*}}}*/
601// ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
602// ---------------------------------------------------------------------
603/* */
604int pkgProblemResolver::ScoreSort(const void *a,const void *b)
605{
606 Package const **A = (Package const **)a;
607 Package const **B = (Package const **)b;
608 if (This->Scores[(*A)->ID] > This->Scores[(*B)->ID])
609 return -1;
610 if (This->Scores[(*A)->ID] < This->Scores[(*B)->ID])
611 return 1;
612 return 0;
613}
614 /*}}}*/
615// ProblemResolver::MakeScores - Make the score table /*{{{*/
616// ---------------------------------------------------------------------
617/* */
618void pkgProblemResolver::MakeScores()
619{
620 unsigned long Size = Cache.Head().PackageCount;
621 memset(Scores,0,sizeof(*Scores)*Size);
622
623 // maps to pkgCache::State::VerPriority:
624 // Required Important Standard Optional Extra
625 int PrioMap[] = {
626 0,
627 _config->FindI("pkgProblemResolver::Scores::Required",3),
628 _config->FindI("pkgProblemResolver::Scores::Important",2),
629 _config->FindI("pkgProblemResolver::Scores::Standard",1),
630 _config->FindI("pkgProblemResolver::Scores::Optional",-1),
631 _config->FindI("pkgProblemResolver::Scores::Extra",-2)
632 };
633 int PrioEssentials = _config->FindI("pkgProblemResolver::Scores::Essentials",100);
634 int PrioInstalledAndNotObsolete = _config->FindI("pkgProblemResolver::Scores::NotObsolete",1);
635 int PrioDepends = _config->FindI("pkgProblemResolver::Scores::Depends",1);
636 int PrioRecommends = _config->FindI("pkgProblemResolver::Scores::Recommends",1);
637 int AddProtected = _config->FindI("pkgProblemResolver::Scores::AddProtected",10000);
638 int AddEssential = _config->FindI("pkgProblemResolver::Scores::AddEssential",5000);
639
640 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
641 clog << "Settings used to calculate pkgProblemResolver::Scores::" << endl
642 << " Required => " << PrioMap[pkgCache::State::Required] << endl
643 << " Important => " << PrioMap[pkgCache::State::Important] << endl
644 << " Standard => " << PrioMap[pkgCache::State::Standard] << endl
645 << " Optional => " << PrioMap[pkgCache::State::Optional] << endl
646 << " Extra => " << PrioMap[pkgCache::State::Extra] << endl
647 << " Essentials => " << PrioEssentials << endl
648 << " InstalledAndNotObsolete => " << PrioInstalledAndNotObsolete << endl
649 << " Depends => " << PrioDepends << endl
650 << " Recommends => " << PrioRecommends << endl
651 << " AddProtected => " << AddProtected << endl
652 << " AddEssential => " << AddEssential << endl;
653
654 // Generate the base scores for a package based on its properties
655 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
656 {
657 if (Cache[I].InstallVer == 0)
658 continue;
659
660 int &Score = Scores[I->ID];
661
662 /* This is arbitrary, it should be high enough to elevate an
663 essantial package above most other packages but low enough
664 to allow an obsolete essential packages to be removed by
665 a conflicts on a powerfull normal package (ie libc6) */
666 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential
667 || (I->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
668 Score += PrioEssentials;
669
670 // We transform the priority
671 if (Cache[I].InstVerIter(Cache)->Priority <= 5)
672 Score += PrioMap[Cache[I].InstVerIter(Cache)->Priority];
673
674 /* This helps to fix oddball problems with conflicting packages
675 on the same level. We enhance the score of installed packages
676 if those are not obsolete
677 */
678 if (I->CurrentVer != 0 && Cache[I].CandidateVer != 0 && Cache[I].CandidateVerIter(Cache).Downloadable())
679 Score += PrioInstalledAndNotObsolete;
680 }
681
682 // Now that we have the base scores we go and propogate dependencies
683 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
684 {
685 if (Cache[I].InstallVer == 0)
686 continue;
687
688 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false; ++D)
689 {
690 if (D->Type == pkgCache::Dep::Depends ||
691 D->Type == pkgCache::Dep::PreDepends)
692 Scores[D.TargetPkg()->ID] += PrioDepends;
693 else if (D->Type == pkgCache::Dep::Recommends)
694 Scores[D.TargetPkg()->ID] += PrioRecommends;
695 }
696 }
697
698 // Copy the scores to advoid additive looping
699 SPtrArray<int> OldScores = new int[Size];
700 memcpy(OldScores,Scores,sizeof(*Scores)*Size);
701
702 /* Now we cause 1 level of dependency inheritance, that is we add the
703 score of the packages that depend on the target Package. This
704 fortifies high scoring packages */
705 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
706 {
707 if (Cache[I].InstallVer == 0)
708 continue;
709
710 for (pkgCache::DepIterator D = I.RevDependsList(); D.end() == false; ++D)
711 {
712 // Only do it for the install version
713 if ((pkgCache::Version *)D.ParentVer() != Cache[D.ParentPkg()].InstallVer ||
714 (D->Type != pkgCache::Dep::Depends &&
715 D->Type != pkgCache::Dep::PreDepends &&
716 D->Type != pkgCache::Dep::Recommends))
717 continue;
718
719 // Do not propagate negative scores otherwise
720 // an extra (-2) package might score better than an optional (-1)
721 if (OldScores[D.ParentPkg()->ID] > 0)
722 Scores[I->ID] += OldScores[D.ParentPkg()->ID];
723 }
724 }
725
726 /* Now we propogate along provides. This makes the packages that
727 provide important packages extremely important */
728 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
729 {
730 for (pkgCache::PrvIterator P = I.ProvidesList(); P.end() == false; ++P)
731 {
732 // Only do it once per package
733 if ((pkgCache::Version *)P.OwnerVer() != Cache[P.OwnerPkg()].InstallVer)
734 continue;
735 Scores[P.OwnerPkg()->ID] += abs(Scores[I->ID] - OldScores[I->ID]);
736 }
737 }
738
739 /* Protected things are pushed really high up. This number should put them
740 ahead of everything */
741 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
742 {
743 if ((Flags[I->ID] & Protected) != 0)
744 Scores[I->ID] += AddProtected;
745 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential ||
746 (I->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
747 Scores[I->ID] += AddEssential;
748 }
749}
750 /*}}}*/
751// ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
752// ---------------------------------------------------------------------
753/* This goes through and tries to reinstall packages to make this package
754 installable */
755bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg)
756{
757 pkgDepCache::ActionGroup group(Cache);
758
759 if ((Flags[Pkg->ID] & Upgradable) == 0 || Cache[Pkg].Upgradable() == false)
760 return false;
761 if ((Flags[Pkg->ID] & Protected) == Protected)
762 return false;
763
764 Flags[Pkg->ID] &= ~Upgradable;
765
766 bool WasKept = Cache[Pkg].Keep();
767 Cache.MarkInstall(Pkg, false, 0, false);
768
769 // This must be a virtual package or something like that.
770 if (Cache[Pkg].InstVerIter(Cache).end() == true)
771 return false;
772
773 // Isolate the problem dependency
774 bool Fail = false;
775 for (pkgCache::DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList(); D.end() == false;)
776 {
777 // Compute a single dependency element (glob or)
778 pkgCache::DepIterator Start = D;
779 pkgCache::DepIterator End = D;
780 for (bool LastOR = true; D.end() == false && LastOR == true;)
781 {
782 LastOR = (D->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or;
783 ++D;
784 if (LastOR == true)
785 End = D;
786 }
787
788 // We only worry about critical deps.
789 if (End.IsCritical() != true)
790 continue;
791
792 // Iterate over all the members in the or group
793 while (1)
794 {
795 // Dep is ok now
796 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
797 break;
798
799 // Do not change protected packages
800 PkgIterator P = Start.SmartTargetPkg();
801 if ((Flags[P->ID] & Protected) == Protected)
802 {
803 if (Debug == true)
804 clog << " Reinst Failed because of protected " << P.FullName(false) << endl;
805 Fail = true;
806 }
807 else
808 {
809 // Upgrade the package if the candidate version will fix the problem.
810 if ((Cache[Start] & pkgDepCache::DepCVer) == pkgDepCache::DepCVer)
811 {
812 if (DoUpgrade(P) == false)
813 {
814 if (Debug == true)
815 clog << " Reinst Failed because of " << P.FullName(false) << endl;
816 Fail = true;
817 }
818 else
819 {
820 Fail = false;
821 break;
822 }
823 }
824 else
825 {
826 /* We let the algorithm deal with conflicts on its next iteration,
827 it is much smarter than us */
828 if (Start.IsNegative() == true)
829 break;
830
831 if (Debug == true)
832 clog << " Reinst Failed early because of " << Start.TargetPkg().FullName(false) << endl;
833 Fail = true;
834 }
835 }
836
837 if (Start == End)
838 break;
839 ++Start;
840 }
841 if (Fail == true)
842 break;
843 }
844
845 // Undo our operations - it might be smart to undo everything this did..
846 if (Fail == true)
847 {
848 if (WasKept == true)
849 Cache.MarkKeep(Pkg, false, false);
850 else
851 Cache.MarkDelete(Pkg, false, 0, false);
852 return false;
853 }
854
855 if (Debug == true)
856 clog << " Re-Instated " << Pkg.FullName(false) << endl;
857 return true;
858}
859 /*}}}*/
860// ProblemResolver::Resolve - calls a resolver to fix the situation /*{{{*/
861// ---------------------------------------------------------------------
862/* */
863bool pkgProblemResolver::Resolve(bool BrokenFix)
864{
865 std::string const solver = _config->Find("APT::Solver", "internal");
866 if (solver != "internal") {
867 OpTextProgress Prog(*_config);
868 return EDSP::ResolveExternal(solver.c_str(), Cache, false, false, false, &Prog);
869 }
870 return ResolveInternal(BrokenFix);
871}
872 /*}}}*/
873// ProblemResolver::ResolveInternal - Run the resolution pass /*{{{*/
874// ---------------------------------------------------------------------
875/* This routines works by calculating a score for each package. The score
876 is derived by considering the package's priority and all reverse
877 dependents giving an integer that reflects the amount of breakage that
878 adjusting the package will inflict.
879
880 It goes from highest score to lowest and corrects all of the breaks by
881 keeping or removing the dependant packages. If that fails then it removes
882 the package itself and goes on. The routine should be able to intelligently
883 go from any broken state to a fixed state.
884
885 The BrokenFix flag enables a mode where the algorithm tries to
886 upgrade packages to advoid problems. */
887bool pkgProblemResolver::ResolveInternal(bool const BrokenFix)
888{
889 pkgDepCache::ActionGroup group(Cache);
890
891 // Record which packages are marked for install
892 bool Again = false;
893 do
894 {
895 Again = false;
896 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
897 {
898 if (Cache[I].Install() == true)
899 Flags[I->ID] |= PreInstalled;
900 else
901 {
902 if (Cache[I].InstBroken() == true && BrokenFix == true)
903 {
904 Cache.MarkInstall(I, false, 0, false);
905 if (Cache[I].Install() == true)
906 Again = true;
907 }
908
909 Flags[I->ID] &= ~PreInstalled;
910 }
911 Flags[I->ID] |= Upgradable;
912 }
913 }
914 while (Again == true);
915
916 if (Debug == true) {
917 clog << "Starting pkgProblemResolver with broken count: "
918 << Cache.BrokenCount() << endl;
919 }
920
921 MakeScores();
922
923 unsigned long const Size = Cache.Head().PackageCount;
924
925 /* We have to order the packages so that the broken fixing pass
926 operates from highest score to lowest. This prevents problems when
927 high score packages cause the removal of lower score packages that
928 would cause the removal of even lower score packages. */
929 SPtrArray<pkgCache::Package *> PList = new pkgCache::Package *[Size];
930 pkgCache::Package **PEnd = PList;
931 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
932 *PEnd++ = I;
933 This = this;
934 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
935
936 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
937 {
938 clog << "Show Scores" << endl;
939 for (pkgCache::Package **K = PList; K != PEnd; K++)
940 if (Scores[(*K)->ID] != 0)
941 {
942 pkgCache::PkgIterator Pkg(Cache,*K);
943 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
944 }
945 }
946
947 if (Debug == true) {
948 clog << "Starting 2 pkgProblemResolver with broken count: "
949 << Cache.BrokenCount() << endl;
950 }
951
952 /* Now consider all broken packages. For each broken package we either
953 remove the package or fix it's problem. We do this once, it should
954 not be possible for a loop to form (that is a < b < c and fixing b by
955 changing a breaks c) */
956 bool Change = true;
957 bool const TryFixByInstall = _config->FindB("pkgProblemResolver::FixByInstall", true);
958 for (int Counter = 0; Counter != 10 && Change == true; Counter++)
959 {
960 Change = false;
961 for (pkgCache::Package **K = PList; K != PEnd; K++)
962 {
963 pkgCache::PkgIterator I(Cache,*K);
964
965 /* We attempt to install this and see if any breaks result,
966 this takes care of some strange cases */
967 if (Cache[I].CandidateVer != Cache[I].InstallVer &&
968 I->CurrentVer != 0 && Cache[I].InstallVer != 0 &&
969 (Flags[I->ID] & PreInstalled) != 0 &&
970 (Flags[I->ID] & Protected) == 0 &&
971 (Flags[I->ID] & ReInstateTried) == 0)
972 {
973 if (Debug == true)
974 clog << " Try to Re-Instate (" << Counter << ") " << I.FullName(false) << endl;
975 unsigned long OldBreaks = Cache.BrokenCount();
976 pkgCache::Version *OldVer = Cache[I].InstallVer;
977 Flags[I->ID] &= ReInstateTried;
978
979 Cache.MarkInstall(I, false, 0, false);
980 if (Cache[I].InstBroken() == true ||
981 OldBreaks < Cache.BrokenCount())
982 {
983 if (OldVer == 0)
984 Cache.MarkDelete(I, false, 0, false);
985 else
986 Cache.MarkKeep(I, false, false);
987 }
988 else
989 if (Debug == true)
990 clog << "Re-Instated " << I.FullName(false) << " (" << OldBreaks << " vs " << Cache.BrokenCount() << ')' << endl;
991 }
992
993 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
994 continue;
995
996 if (Debug == true)
997 clog << "Investigating (" << Counter << ") " << I << endl;
998
999 // Isolate the problem dependency
1000 PackageKill KillList[100];
1001 PackageKill *LEnd = KillList;
1002 bool InOr = false;
1003 pkgCache::DepIterator Start;
1004 pkgCache::DepIterator End;
1005 PackageKill *OldEnd = LEnd;
1006
1007 enum {OrRemove,OrKeep} OrOp = OrRemove;
1008 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList();
1009 D.end() == false || InOr == true;)
1010 {
1011 // Compute a single dependency element (glob or)
1012 if (Start == End)
1013 {
1014 // Decide what to do
1015 if (InOr == true && OldEnd == LEnd)
1016 {
1017 if (OrOp == OrRemove)
1018 {
1019 if ((Flags[I->ID] & Protected) != Protected)
1020 {
1021 if (Debug == true)
1022 clog << " Or group remove for " << I.FullName(false) << endl;
1023 Cache.MarkDelete(I, false, 0, false);
1024 Change = true;
1025 }
1026 }
1027 else if (OrOp == OrKeep)
1028 {
1029 if (Debug == true)
1030 clog << " Or group keep for " << I.FullName(false) << endl;
1031 Cache.MarkKeep(I, false, false);
1032 Change = true;
1033 }
1034 }
1035
1036 /* We do an extra loop (as above) to finalize the or group
1037 processing */
1038 InOr = false;
1039 OrOp = OrRemove;
1040 D.GlobOr(Start,End);
1041 if (Start.end() == true)
1042 break;
1043
1044 // We only worry about critical deps.
1045 if (End.IsCritical() != true)
1046 continue;
1047
1048 InOr = Start != End;
1049 OldEnd = LEnd;
1050 }
1051 else
1052 {
1053 ++Start;
1054 // We only worry about critical deps.
1055 if (Start.IsCritical() != true)
1056 continue;
1057 }
1058
1059 // Dep is ok
1060 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
1061 {
1062 InOr = false;
1063 continue;
1064 }
1065
1066 if (Debug == true)
1067 clog << "Broken " << Start << endl;
1068
1069 /* Look across the version list. If there are no possible
1070 targets then we keep the package and bail. This is necessary
1071 if a package has a dep on another package that cant be found */
1072 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
1073 if (*VList == 0 && (Flags[I->ID] & Protected) != Protected &&
1074 Start.IsNegative() == false &&
1075 Cache[I].NowBroken() == false)
1076 {
1077 if (InOr == true)
1078 {
1079 /* No keep choice because the keep being OK could be the
1080 result of another element in the OR group! */
1081 continue;
1082 }
1083
1084 Change = true;
1085 Cache.MarkKeep(I, false, false);
1086 break;
1087 }
1088
1089 bool Done = false;
1090 for (pkgCache::Version **V = VList; *V != 0; V++)
1091 {
1092 pkgCache::VerIterator Ver(Cache,*V);
1093 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1094
1095 /* This is a conflicts, and the version we are looking
1096 at is not the currently selected version of the
1097 package, which means it is not necessary to
1098 remove/keep */
1099 if (Cache[Pkg].InstallVer != Ver && Start.IsNegative() == true)
1100 {
1101 if (Debug)
1102 clog << " Conflicts//Breaks against version "
1103 << Ver.VerStr() << " for " << Pkg.Name()
1104 << " but that is not InstVer, ignoring"
1105 << endl;
1106 continue;
1107 }
1108
1109 if (Debug == true)
1110 clog << " Considering " << Pkg.FullName(false) << ' ' << (int)Scores[Pkg->ID] <<
1111 " as a solution to " << I.FullName(false) << ' ' << (int)Scores[I->ID] << endl;
1112
1113 /* Try to fix the package under consideration rather than
1114 fiddle with the VList package */
1115 if (Scores[I->ID] <= Scores[Pkg->ID] ||
1116 ((Cache[Start] & pkgDepCache::DepNow) == 0 &&
1117 End.IsNegative() == false))
1118 {
1119 // Try a little harder to fix protected packages..
1120 if ((Flags[I->ID] & Protected) == Protected)
1121 {
1122 if (DoUpgrade(Pkg) == true)
1123 {
1124 if (Scores[Pkg->ID] > Scores[I->ID])
1125 Scores[Pkg->ID] = Scores[I->ID];
1126 break;
1127 }
1128
1129 continue;
1130 }
1131
1132 /* See if a keep will do, unless the package is protected,
1133 then installing it will be necessary */
1134 bool Installed = Cache[I].Install();
1135 Cache.MarkKeep(I, false, false);
1136 if (Cache[I].InstBroken() == false)
1137 {
1138 // Unwind operation will be keep now
1139 if (OrOp == OrRemove)
1140 OrOp = OrKeep;
1141
1142 // Restore
1143 if (InOr == true && Installed == true)
1144 Cache.MarkInstall(I, false, 0, false);
1145
1146 if (Debug == true)
1147 clog << " Holding Back " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
1148 }
1149 else
1150 {
1151 if (BrokenFix == false || DoUpgrade(I) == false)
1152 {
1153 // Consider other options
1154 if (InOr == false || Cache[I].Garbage == true)
1155 {
1156 if (Debug == true)
1157 clog << " Removing " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
1158 Cache.MarkDelete(I, false, 0, false);
1159 if (Counter > 1 && Scores[Pkg->ID] > Scores[I->ID])
1160 Scores[I->ID] = Scores[Pkg->ID];
1161 }
1162 else if (TryFixByInstall == true &&
1163 Start.TargetPkg()->CurrentVer == 0 &&
1164 Cache[Start.TargetPkg()].Delete() == false &&
1165 (Flags[Start.TargetPkg()->ID] & ToRemove) != ToRemove &&
1166 Cache.GetCandidateVer(Start.TargetPkg()).end() == false)
1167 {
1168 /* Before removing or keeping the package with the broken dependency
1169 try instead to install the first not previously installed package
1170 solving this dependency. This helps every time a previous solver
1171 is removed by the resolver because of a conflict or alike but it is
1172 dangerous as it could trigger new breaks/conflicts… */
1173 if (Debug == true)
1174 clog << " Try Installing " << Start.TargetPkg() << " before changing " << I.FullName(false) << std::endl;
1175 unsigned long const OldBroken = Cache.BrokenCount();
1176 Cache.MarkInstall(Start.TargetPkg(), true, 1, false);
1177 // FIXME: we should undo the complete MarkInstall process here
1178 if (Cache[Start.TargetPkg()].InstBroken() == true || Cache.BrokenCount() > OldBroken)
1179 Cache.MarkDelete(Start.TargetPkg(), false, 1, false);
1180 }
1181 }
1182 }
1183
1184 Change = true;
1185 Done = true;
1186 break;
1187 }
1188 else
1189 {
1190 if (Start->Type == pkgCache::Dep::DpkgBreaks)
1191 {
1192 // first, try upgradring the package, if that
1193 // does not help, the breaks goes onto the
1194 // kill list
1195 //
1196 // FIXME: use DoUpgrade(Pkg) instead?
1197 if (Cache[End] & pkgDepCache::DepGCVer)
1198 {
1199 if (Debug)
1200 clog << " Upgrading " << Pkg.FullName(false) << " due to Breaks field in " << I.FullName(false) << endl;
1201 Cache.MarkInstall(Pkg, false, 0, false);
1202 continue;
1203 }
1204 }
1205
1206 // Skip adding to the kill list if it is protected
1207 if ((Flags[Pkg->ID] & Protected) != 0)
1208 continue;
1209
1210 if (Debug == true)
1211 clog << " Added " << Pkg.FullName(false) << " to the remove list" << endl;
1212
1213 LEnd->Pkg = Pkg;
1214 LEnd->Dep = End;
1215 LEnd++;
1216
1217 if (Start.IsNegative() == false)
1218 break;
1219 }
1220 }
1221
1222 // Hm, nothing can possibly satisify this dep. Nuke it.
1223 if (VList[0] == 0 &&
1224 Start.IsNegative() == false &&
1225 (Flags[I->ID] & Protected) != Protected)
1226 {
1227 bool Installed = Cache[I].Install();
1228 Cache.MarkKeep(I);
1229 if (Cache[I].InstBroken() == false)
1230 {
1231 // Unwind operation will be keep now
1232 if (OrOp == OrRemove)
1233 OrOp = OrKeep;
1234
1235 // Restore
1236 if (InOr == true && Installed == true)
1237 Cache.MarkInstall(I, false, 0, false);
1238
1239 if (Debug == true)
1240 clog << " Holding Back " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
1241 }
1242 else
1243 {
1244 if (Debug == true)
1245 clog << " Removing " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
1246 if (InOr == false)
1247 Cache.MarkDelete(I, false, 0, false);
1248 }
1249
1250 Change = true;
1251 Done = true;
1252 }
1253
1254 // Try some more
1255 if (InOr == true)
1256 continue;
1257
1258 if (Done == true)
1259 break;
1260 }
1261
1262 // Apply the kill list now
1263 if (Cache[I].InstallVer != 0)
1264 {
1265 for (PackageKill *J = KillList; J != LEnd; J++)
1266 {
1267 Change = true;
1268 if ((Cache[J->Dep] & pkgDepCache::DepGNow) == 0)
1269 {
1270 if (J->Dep.IsNegative() == true)
1271 {
1272 if (Debug == true)
1273 clog << " Fixing " << I.FullName(false) << " via remove of " << J->Pkg.FullName(false) << endl;
1274 Cache.MarkDelete(J->Pkg, false, 0, false);
1275 }
1276 }
1277 else
1278 {
1279 if (Debug == true)
1280 clog << " Fixing " << I.FullName(false) << " via keep of " << J->Pkg.FullName(false) << endl;
1281 Cache.MarkKeep(J->Pkg, false, false);
1282 }
1283
1284 if (Counter > 1)
1285 {
1286 if (Scores[I->ID] > Scores[J->Pkg->ID])
1287 Scores[J->Pkg->ID] = Scores[I->ID];
1288 }
1289 }
1290 }
1291 }
1292 }
1293
1294 if (Debug == true)
1295 clog << "Done" << endl;
1296
1297 if (Cache.BrokenCount() != 0)
1298 {
1299 // See if this is the result of a hold
1300 pkgCache::PkgIterator I = Cache.PkgBegin();
1301 for (;I.end() != true; ++I)
1302 {
1303 if (Cache[I].InstBroken() == false)
1304 continue;
1305 if ((Flags[I->ID] & Protected) != Protected)
1306 return _error->Error(_("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages."));
1307 }
1308 return _error->Error(_("Unable to correct problems, you have held broken packages."));
1309 }
1310
1311 // set the auto-flags (mvo: I'm not sure if we _really_ need this)
1312 pkgCache::PkgIterator I = Cache.PkgBegin();
1313 for (;I.end() != true; ++I) {
1314 if (Cache[I].NewInstall() && !(Flags[I->ID] & PreInstalled)) {
1315 if(_config->FindI("Debug::pkgAutoRemove",false)) {
1316 std::clog << "Resolve installed new pkg: " << I.FullName(false)
1317 << " (now marking it as auto)" << std::endl;
1318 }
1319 Cache[I].Flags |= pkgCache::Flag::Auto;
1320 }
1321 }
1322
1323
1324 return true;
1325}
1326 /*}}}*/
1327// ProblemResolver::BreaksInstOrPolicy - Check if the given pkg is broken/*{{{*/
1328// ---------------------------------------------------------------------
1329/* This checks if the given package is broken either by a hard dependency
1330 (InstBroken()) or by introducing a new policy breakage e.g. new
1331 unsatisfied recommends for a package that was in "policy-good" state
1332
1333 Note that this is not perfect as it will ignore further breakage
1334 for already broken policy (recommends)
1335*/
1336bool pkgProblemResolver::InstOrNewPolicyBroken(pkgCache::PkgIterator I)
1337{
1338 // a broken install is always a problem
1339 if (Cache[I].InstBroken() == true)
1340 {
1341 if (Debug == true)
1342 std::clog << " Dependencies are not satisfied for " << I << std::endl;
1343 return true;
1344 }
1345
1346 // a newly broken policy (recommends/suggests) is a problem
1347 if (Cache[I].NowPolicyBroken() == false &&
1348 Cache[I].InstPolicyBroken() == true)
1349 {
1350 if (Debug == true)
1351 std::clog << " Policy breaks with upgrade of " << I << std::endl;
1352 return true;
1353 }
1354
1355 return false;
1356}
1357 /*}}}*/
1358// ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
1359// ---------------------------------------------------------------------
1360/* This is the work horse of the soft upgrade routine. It is very gental
1361 in that it does not install or remove any packages. It is assumed that the
1362 system was non-broken previously. */
1363bool pkgProblemResolver::ResolveByKeep()
1364{
1365 std::string const solver = _config->Find("APT::Solver", "internal");
1366 if (solver != "internal") {
1367 OpTextProgress Prog(*_config);
1368 return EDSP::ResolveExternal(solver.c_str(), Cache, true, false, false, &Prog);
1369 }
1370 return ResolveByKeepInternal();
1371}
1372 /*}}}*/
1373// ProblemResolver::ResolveByKeepInternal - Resolve problems using keep /*{{{*/
1374// ---------------------------------------------------------------------
1375/* This is the work horse of the soft upgrade routine. It is very gental
1376 in that it does not install or remove any packages. It is assumed that the
1377 system was non-broken previously. */
1378bool pkgProblemResolver::ResolveByKeepInternal()
1379{
1380 pkgDepCache::ActionGroup group(Cache);
1381
1382 unsigned long Size = Cache.Head().PackageCount;
1383
1384 MakeScores();
1385
1386 /* We have to order the packages so that the broken fixing pass
1387 operates from highest score to lowest. This prevents problems when
1388 high score packages cause the removal of lower score packages that
1389 would cause the removal of even lower score packages. */
1390 pkgCache::Package **PList = new pkgCache::Package *[Size];
1391 pkgCache::Package **PEnd = PList;
1392 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
1393 *PEnd++ = I;
1394 This = this;
1395 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
1396
1397 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
1398 {
1399 clog << "Show Scores" << endl;
1400 for (pkgCache::Package **K = PList; K != PEnd; K++)
1401 if (Scores[(*K)->ID] != 0)
1402 {
1403 pkgCache::PkgIterator Pkg(Cache,*K);
1404 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
1405 }
1406 }
1407
1408 if (Debug == true)
1409 clog << "Entering ResolveByKeep" << endl;
1410
1411 // Consider each broken package
1412 pkgCache::Package **LastStop = 0;
1413 for (pkgCache::Package **K = PList; K != PEnd; K++)
1414 {
1415 pkgCache::PkgIterator I(Cache,*K);
1416
1417 if (Cache[I].InstallVer == 0)
1418 continue;
1419
1420 if (InstOrNewPolicyBroken(I) == false)
1421 continue;
1422
1423 /* Keep the package. If this works then great, otherwise we have
1424 to be significantly more agressive and manipulate its dependencies */
1425 if ((Flags[I->ID] & Protected) == 0)
1426 {
1427 if (Debug == true)
1428 clog << "Keeping package " << I.FullName(false) << endl;
1429 Cache.MarkKeep(I, false, false);
1430 if (InstOrNewPolicyBroken(I) == false)
1431 {
1432 K = PList - 1;
1433 continue;
1434 }
1435 }
1436
1437 // Isolate the problem dependencies
1438 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false;)
1439 {
1440 DepIterator Start;
1441 DepIterator End;
1442 D.GlobOr(Start,End);
1443
1444 // We only worry about critical deps.
1445 if (End.IsCritical() != true)
1446 continue;
1447
1448 // Dep is ok
1449 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
1450 continue;
1451
1452 /* Hm, the group is broken.. I suppose the best thing to do is to
1453 is to try every combination of keep/not-keep for the set, but thats
1454 slow, and this never happens, just be conservative and assume the
1455 list of ors is in preference and keep till it starts to work. */
1456 while (true)
1457 {
1458 if (Debug == true)
1459 clog << "Package " << I.FullName(false) << " " << Start << endl;
1460
1461 // Look at all the possible provides on this package
1462 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
1463 for (pkgCache::Version **V = VList; *V != 0; V++)
1464 {
1465 pkgCache::VerIterator Ver(Cache,*V);
1466 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1467
1468 // It is not keepable
1469 if (Cache[Pkg].InstallVer == 0 ||
1470 Pkg->CurrentVer == 0)
1471 continue;
1472
1473 if ((Flags[I->ID] & Protected) == 0)
1474 {
1475 if (Debug == true)
1476 clog << " Keeping Package " << Pkg.FullName(false) << " due to " << Start.DepType() << endl;
1477 Cache.MarkKeep(Pkg, false, false);
1478 }
1479
1480 if (InstOrNewPolicyBroken(I) == false)
1481 break;
1482 }
1483
1484 if (InstOrNewPolicyBroken(I) == false)
1485 break;
1486
1487 if (Start == End)
1488 break;
1489 ++Start;
1490 }
1491
1492 if (InstOrNewPolicyBroken(I) == false)
1493 break;
1494 }
1495
1496 if (InstOrNewPolicyBroken(I) == true)
1497 continue;
1498
1499 // Restart again.
1500 if (K == LastStop) {
1501 // I is an iterator based off our temporary package list,
1502 // so copy the name we need before deleting the temporary list
1503 std::string const LoopingPackage = I.FullName(false);
1504 delete[] PList;
1505 return _error->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.", LoopingPackage.c_str());
1506 }
1507 LastStop = K;
1508 K = PList - 1;
1509 }
1510
1511 delete[] PList;
1512 return true;
1513}
1514 /*}}}*/
1515// ProblemResolver::InstallProtect - deprecated cpu-eating no-op /*{{{*/
1516// ---------------------------------------------------------------------
1517/* Actions issued with FromUser bit set are protected from further
1518 modification (expect by other calls with FromUser set) nowadays , so we
1519 don't need to reissue actions here, they are already set in stone. */
1520void pkgProblemResolver::InstallProtect()
1521{
1522 pkgDepCache::ActionGroup group(Cache);
1523
1524 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
1525 {
1526 if ((Flags[I->ID] & Protected) == Protected)
1527 {
1528 if ((Flags[I->ID] & ToRemove) == ToRemove)
1529 Cache.MarkDelete(I);
1530 else
1531 {
1532 // preserve the information whether the package was auto
1533 // or manually installed
1534 bool autoInst = (Cache[I].Flags & pkgCache::Flag::Auto);
1535 Cache.MarkInstall(I, false, 0, !autoInst);
1536 }
1537 }
1538 }
1539}
1540 /*}}}*/
1541// PrioSortList - Sort a list of versions by priority /*{{{*/
1542// ---------------------------------------------------------------------
1543/* This is ment to be used in conjunction with AllTargets to get a list
1544 of versions ordered by preference. */
1545static pkgCache *PrioCache;
1546static int PrioComp(const void *A,const void *B)
1547{
1548 pkgCache::VerIterator L(*PrioCache,*(pkgCache::Version **)A);
1549 pkgCache::VerIterator R(*PrioCache,*(pkgCache::Version **)B);
1550
1551 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential &&
1552 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential)
1553 return 1;
1554 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential &&
1555 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1556 return -1;
1557
1558 if ((L.ParentPkg()->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important &&
1559 (R.ParentPkg()->Flags & pkgCache::Flag::Important) != pkgCache::Flag::Important)
1560 return 1;
1561 if ((L.ParentPkg()->Flags & pkgCache::Flag::Important) != pkgCache::Flag::Important &&
1562 (R.ParentPkg()->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1563 return -1;
1564
1565 if (L->Priority != R->Priority)
1566 return R->Priority - L->Priority;
1567 return strcmp(L.ParentPkg().Name(),R.ParentPkg().Name());
1568}
1569void pkgPrioSortList(pkgCache &Cache,pkgCache::Version **List)
1570{
1571 unsigned long Count = 0;
1572 PrioCache = &Cache;
1573 for (pkgCache::Version **I = List; *I != 0; I++)
1574 Count++;
1575 qsort(List,Count,sizeof(*List),PrioComp);
1576}
1577 /*}}}*/
1578// ListUpdate - construct Fetcher and update the cache files /*{{{*/
1579// ---------------------------------------------------------------------
1580/* This is a simple wrapper to update the cache. it will fetch stuff
1581 * from the network (or any other sources defined in sources.list)
1582 */
1583bool ListUpdate(pkgAcquireStatus &Stat,
1584 pkgSourceList &List,
1585 int PulseInterval)
1586{
1587 pkgAcquire Fetcher;
1588 if (Fetcher.Setup(&Stat, _config->FindDir("Dir::State::Lists")) == false)
1589 return false;
1590
1591 // Populate it with the source selection
1592 if (List.GetIndexes(&Fetcher) == false)
1593 return false;
1594
1595 return AcquireUpdate(Fetcher, PulseInterval, true);
1596}
1597 /*}}}*/
1598// AcquireUpdate - take Fetcher and update the cache files /*{{{*/
1599// ---------------------------------------------------------------------
1600/* This is a simple wrapper to update the cache with a provided acquire
1601 * If you only need control over Status and the used SourcesList use
1602 * ListUpdate method instead.
1603 */
1604bool AcquireUpdate(pkgAcquire &Fetcher, int const PulseInterval,
1605 bool const RunUpdateScripts, bool const ListCleanup)
1606{
1607 // Run scripts
1608 if (RunUpdateScripts == true)
1609 RunScripts("APT::Update::Pre-Invoke");
1610
1611 pkgAcquire::RunResult res;
1612 if(PulseInterval > 0)
1613 res = Fetcher.Run(PulseInterval);
1614 else
1615 res = Fetcher.Run();
1616
1617 if (res == pkgAcquire::Failed)
1618 return false;
1619
1620 bool Failed = false;
1621 bool TransientNetworkFailure = false;
1622 for (pkgAcquire::ItemIterator I = Fetcher.ItemsBegin();
1623 I != Fetcher.ItemsEnd(); ++I)
1624 {
1625 if ((*I)->Status == pkgAcquire::Item::StatDone)
1626 continue;
1627
1628 (*I)->Finished();
1629
1630 ::URI uri((*I)->DescURI());
1631 uri.User.clear();
1632 uri.Password.clear();
1633 string descUri = string(uri);
1634 _error->Warning(_("Failed to fetch %s %s\n"), descUri.c_str(),
1635 (*I)->ErrorText.c_str());
1636
1637 if ((*I)->Status == pkgAcquire::Item::StatTransientNetworkError)
1638 {
1639 TransientNetworkFailure = true;
1640 continue;
1641 }
1642
1643 Failed = true;
1644 }
1645
1646 // Clean out any old list files
1647 // Keep "APT::Get::List-Cleanup" name for compatibility, but
1648 // this is really a global option for the APT library now
1649 if (!TransientNetworkFailure && !Failed && ListCleanup == true &&
1650 (_config->FindB("APT::Get::List-Cleanup",true) == true &&
1651 _config->FindB("APT::List-Cleanup",true) == true))
1652 {
1653 if (Fetcher.Clean(_config->FindDir("Dir::State::lists")) == false ||
1654 Fetcher.Clean(_config->FindDir("Dir::State::lists") + "partial/") == false)
1655 // something went wrong with the clean
1656 return false;
1657 }
1658
1659 if (TransientNetworkFailure == true)
1660 _error->Warning(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1661 else if (Failed == true)
1662 return _error->Error(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1663
1664
1665 // Run the success scripts if all was fine
1666 if (RunUpdateScripts == true)
1667 {
1668 if(!TransientNetworkFailure && !Failed)
1669 RunScripts("APT::Update::Post-Invoke-Success");
1670
1671 // Run the other scripts
1672 RunScripts("APT::Update::Post-Invoke");
1673 }
1674 return true;
1675}
1676 /*}}}*/