]> git.saurik.com Git - apt.git/blob - apt-pkg/algorithms.cc
Japanese (Kenshi Muto). Closes: #699783
[apt.git] / apt-pkg / algorithms.cc
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 /*}}}*/
38 using namespace std;
39
40 pkgProblemResolver *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. */
46 pkgSimulate::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 /*{{{*/
62 pkgSimulate::~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 */
71 void 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 /* */
97 bool 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. */
143 bool 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 /* */
193 bool 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 /* */
223 void 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. */
244 bool 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. */
312 bool 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 */
347 bool 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 // AllUpgrade - Upgrade as many packages as possible /*{{{*/
426 // ---------------------------------------------------------------------
427 /* Right now the system must be consistent before this can be called.
428 It also will not change packages marked for install, it only tries
429 to install packages not marked for install */
430 bool pkgAllUpgrade(pkgDepCache &Cache)
431 {
432 std::string const solver = _config->Find("APT::Solver", "internal");
433 if (solver != "internal") {
434 OpTextProgress Prog(*_config);
435 return EDSP::ResolveExternal(solver.c_str(), Cache, true, false, false, &Prog);
436 }
437
438 pkgDepCache::ActionGroup group(Cache);
439
440 pkgProblemResolver Fix(&Cache);
441
442 if (Cache.BrokenCount() != 0)
443 return false;
444
445 // Upgrade all installed packages
446 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
447 {
448 if (Cache[I].Install() == true)
449 Fix.Protect(I);
450
451 if (_config->FindB("APT::Ignore-Hold",false) == false)
452 if (I->SelectedState == pkgCache::State::Hold)
453 continue;
454
455 if (I->CurrentVer != 0 && Cache[I].InstallVer != 0)
456 Cache.MarkInstall(I, false, 0, false);
457 }
458
459 return Fix.ResolveByKeep();
460 }
461 /*}}}*/
462 // MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
463 // ---------------------------------------------------------------------
464 /* This simply goes over the entire set of packages and tries to keep
465 each package marked for upgrade. If a conflict is generated then
466 the package is restored. */
467 bool pkgMinimizeUpgrade(pkgDepCache &Cache)
468 {
469 pkgDepCache::ActionGroup group(Cache);
470
471 if (Cache.BrokenCount() != 0)
472 return false;
473
474 // We loop for 10 tries to get the minimal set size.
475 bool Change = false;
476 unsigned int Count = 0;
477 do
478 {
479 Change = false;
480 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
481 {
482 // Not interesting
483 if (Cache[I].Upgrade() == false || Cache[I].NewInstall() == true)
484 continue;
485
486 // Keep it and see if that is OK
487 Cache.MarkKeep(I, false, false);
488 if (Cache.BrokenCount() != 0)
489 Cache.MarkInstall(I, false, 0, false);
490 else
491 {
492 // If keep didnt actually do anything then there was no change..
493 if (Cache[I].Upgrade() == false)
494 Change = true;
495 }
496 }
497 ++Count;
498 }
499 while (Change == true && Count < 10);
500
501 if (Cache.BrokenCount() != 0)
502 return _error->Error("Internal Error in pkgMinimizeUpgrade");
503
504 return true;
505 }
506 /*}}}*/
507 // ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
508 // ---------------------------------------------------------------------
509 /* */
510 pkgProblemResolver::pkgProblemResolver(pkgDepCache *pCache) : d(NULL), Cache(*pCache)
511 {
512 // Allocate memory
513 unsigned long Size = Cache.Head().PackageCount;
514 Scores = new int[Size];
515 Flags = new unsigned char[Size];
516 memset(Flags,0,sizeof(*Flags)*Size);
517
518 // Set debug to true to see its decision logic
519 Debug = _config->FindB("Debug::pkgProblemResolver",false);
520 }
521 /*}}}*/
522 // ProblemResolver::~pkgProblemResolver - Destructor /*{{{*/
523 // ---------------------------------------------------------------------
524 /* */
525 pkgProblemResolver::~pkgProblemResolver()
526 {
527 delete [] Scores;
528 delete [] Flags;
529 }
530 /*}}}*/
531 // ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
532 // ---------------------------------------------------------------------
533 /* */
534 int pkgProblemResolver::ScoreSort(const void *a,const void *b)
535 {
536 Package const **A = (Package const **)a;
537 Package const **B = (Package const **)b;
538 if (This->Scores[(*A)->ID] > This->Scores[(*B)->ID])
539 return -1;
540 if (This->Scores[(*A)->ID] < This->Scores[(*B)->ID])
541 return 1;
542 return 0;
543 }
544 /*}}}*/
545 // ProblemResolver::MakeScores - Make the score table /*{{{*/
546 // ---------------------------------------------------------------------
547 /* */
548 void pkgProblemResolver::MakeScores()
549 {
550 unsigned long Size = Cache.Head().PackageCount;
551 memset(Scores,0,sizeof(*Scores)*Size);
552
553 // Maps to pkgCache::State::VerPriority
554 // which is "Important Required Standard Optional Extra"
555 // (yes, that is confusing, the order of pkgCache::State::VerPriority
556 // needs to be adjusted but that requires a ABI break)
557 int PrioMap[] = {
558 0,
559 _config->FindI("pkgProblemResolver::Scores::Important",2),
560 _config->FindI("pkgProblemResolver::Scores::Required",3),
561 _config->FindI("pkgProblemResolver::Scores::Standard",1),
562 _config->FindI("pkgProblemResolver::Scores::Optional",-1),
563 _config->FindI("pkgProblemResolver::Scores::Extra",-2)
564 };
565 int PrioEssentials = _config->FindI("pkgProblemResolver::Scores::Essentials",100);
566 int PrioInstalledAndNotObsolete = _config->FindI("pkgProblemResolver::Scores::NotObsolete",1);
567 int PrioDepends = _config->FindI("pkgProblemResolver::Scores::Depends",1);
568 int PrioRecommends = _config->FindI("pkgProblemResolver::Scores::Recommends",1);
569 int AddProtected = _config->FindI("pkgProblemResolver::Scores::AddProtected",10000);
570 int AddEssential = _config->FindI("pkgProblemResolver::Scores::AddEssential",5000);
571
572 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
573 clog << "Settings used to calculate pkgProblemResolver::Scores::" << endl
574 << " Required => " << PrioMap[pkgCache::State::Required] << endl
575 << " Important => " << PrioMap[pkgCache::State::Important] << endl
576 << " Standard => " << PrioMap[pkgCache::State::Standard] << endl
577 << " Optional => " << PrioMap[pkgCache::State::Optional] << endl
578 << " Extra => " << PrioMap[pkgCache::State::Extra] << endl
579 << " Essentials => " << PrioEssentials << endl
580 << " InstalledAndNotObsolete => " << PrioInstalledAndNotObsolete << endl
581 << " Depends => " << PrioDepends << endl
582 << " Recommends => " << PrioRecommends << endl
583 << " AddProtected => " << AddProtected << endl
584 << " AddEssential => " << AddEssential << endl;
585
586 // Generate the base scores for a package based on its properties
587 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
588 {
589 if (Cache[I].InstallVer == 0)
590 continue;
591
592 int &Score = Scores[I->ID];
593
594 /* This is arbitrary, it should be high enough to elevate an
595 essantial package above most other packages but low enough
596 to allow an obsolete essential packages to be removed by
597 a conflicts on a powerfull normal package (ie libc6) */
598 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential
599 || (I->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
600 Score += PrioEssentials;
601
602 // We transform the priority
603 if (Cache[I].InstVerIter(Cache)->Priority <= 5)
604 Score += PrioMap[Cache[I].InstVerIter(Cache)->Priority];
605
606 /* This helps to fix oddball problems with conflicting packages
607 on the same level. We enhance the score of installed packages
608 if those are not obsolete
609 */
610 if (I->CurrentVer != 0 && Cache[I].CandidateVer != 0 && Cache[I].CandidateVerIter(Cache).Downloadable())
611 Score += PrioInstalledAndNotObsolete;
612 }
613
614 // Now that we have the base scores we go and propogate dependencies
615 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
616 {
617 if (Cache[I].InstallVer == 0)
618 continue;
619
620 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false; ++D)
621 {
622 if (D->Type == pkgCache::Dep::Depends ||
623 D->Type == pkgCache::Dep::PreDepends)
624 Scores[D.TargetPkg()->ID] += PrioDepends;
625 else if (D->Type == pkgCache::Dep::Recommends)
626 Scores[D.TargetPkg()->ID] += PrioRecommends;
627 }
628 }
629
630 // Copy the scores to advoid additive looping
631 SPtrArray<int> OldScores = new int[Size];
632 memcpy(OldScores,Scores,sizeof(*Scores)*Size);
633
634 /* Now we cause 1 level of dependency inheritance, that is we add the
635 score of the packages that depend on the target Package. This
636 fortifies high scoring packages */
637 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
638 {
639 if (Cache[I].InstallVer == 0)
640 continue;
641
642 for (pkgCache::DepIterator D = I.RevDependsList(); D.end() == false; ++D)
643 {
644 // Only do it for the install version
645 if ((pkgCache::Version *)D.ParentVer() != Cache[D.ParentPkg()].InstallVer ||
646 (D->Type != pkgCache::Dep::Depends &&
647 D->Type != pkgCache::Dep::PreDepends &&
648 D->Type != pkgCache::Dep::Recommends))
649 continue;
650
651 Scores[I->ID] += abs(OldScores[D.ParentPkg()->ID]);
652 }
653 }
654
655 /* Now we propogate along provides. This makes the packages that
656 provide important packages extremely important */
657 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
658 {
659 for (pkgCache::PrvIterator P = I.ProvidesList(); P.end() == false; ++P)
660 {
661 // Only do it once per package
662 if ((pkgCache::Version *)P.OwnerVer() != Cache[P.OwnerPkg()].InstallVer)
663 continue;
664 Scores[P.OwnerPkg()->ID] += abs(Scores[I->ID] - OldScores[I->ID]);
665 }
666 }
667
668 /* Protected things are pushed really high up. This number should put them
669 ahead of everything */
670 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
671 {
672 if ((Flags[I->ID] & Protected) != 0)
673 Scores[I->ID] += AddProtected;
674 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential ||
675 (I->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
676 Scores[I->ID] += AddEssential;
677 }
678 }
679 /*}}}*/
680 // ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
681 // ---------------------------------------------------------------------
682 /* This goes through and tries to reinstall packages to make this package
683 installable */
684 bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg)
685 {
686 pkgDepCache::ActionGroup group(Cache);
687
688 if ((Flags[Pkg->ID] & Upgradable) == 0 || Cache[Pkg].Upgradable() == false)
689 return false;
690 if ((Flags[Pkg->ID] & Protected) == Protected)
691 return false;
692
693 Flags[Pkg->ID] &= ~Upgradable;
694
695 bool WasKept = Cache[Pkg].Keep();
696 Cache.MarkInstall(Pkg, false, 0, false);
697
698 // This must be a virtual package or something like that.
699 if (Cache[Pkg].InstVerIter(Cache).end() == true)
700 return false;
701
702 // Isolate the problem dependency
703 bool Fail = false;
704 for (pkgCache::DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList(); D.end() == false;)
705 {
706 // Compute a single dependency element (glob or)
707 pkgCache::DepIterator Start = D;
708 pkgCache::DepIterator End = D;
709 for (bool LastOR = true; D.end() == false && LastOR == true;)
710 {
711 LastOR = (D->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or;
712 ++D;
713 if (LastOR == true)
714 End = D;
715 }
716
717 // We only worry about critical deps.
718 if (End.IsCritical() != true)
719 continue;
720
721 // Iterate over all the members in the or group
722 while (1)
723 {
724 // Dep is ok now
725 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
726 break;
727
728 // Do not change protected packages
729 PkgIterator P = Start.SmartTargetPkg();
730 if ((Flags[P->ID] & Protected) == Protected)
731 {
732 if (Debug == true)
733 clog << " Reinst Failed because of protected " << P.FullName(false) << endl;
734 Fail = true;
735 }
736 else
737 {
738 // Upgrade the package if the candidate version will fix the problem.
739 if ((Cache[Start] & pkgDepCache::DepCVer) == pkgDepCache::DepCVer)
740 {
741 if (DoUpgrade(P) == false)
742 {
743 if (Debug == true)
744 clog << " Reinst Failed because of " << P.FullName(false) << endl;
745 Fail = true;
746 }
747 else
748 {
749 Fail = false;
750 break;
751 }
752 }
753 else
754 {
755 /* We let the algorithm deal with conflicts on its next iteration,
756 it is much smarter than us */
757 if (Start.IsNegative() == true)
758 break;
759
760 if (Debug == true)
761 clog << " Reinst Failed early because of " << Start.TargetPkg().FullName(false) << endl;
762 Fail = true;
763 }
764 }
765
766 if (Start == End)
767 break;
768 ++Start;
769 }
770 if (Fail == true)
771 break;
772 }
773
774 // Undo our operations - it might be smart to undo everything this did..
775 if (Fail == true)
776 {
777 if (WasKept == true)
778 Cache.MarkKeep(Pkg, false, false);
779 else
780 Cache.MarkDelete(Pkg, false, 0, false);
781 return false;
782 }
783
784 if (Debug == true)
785 clog << " Re-Instated " << Pkg.FullName(false) << endl;
786 return true;
787 }
788 /*}}}*/
789 // ProblemResolver::Resolve - calls a resolver to fix the situation /*{{{*/
790 // ---------------------------------------------------------------------
791 /* */
792 bool pkgProblemResolver::Resolve(bool BrokenFix)
793 {
794 std::string const solver = _config->Find("APT::Solver", "internal");
795 if (solver != "internal") {
796 OpTextProgress Prog(*_config);
797 return EDSP::ResolveExternal(solver.c_str(), Cache, false, false, false, &Prog);
798 }
799 return ResolveInternal(BrokenFix);
800 }
801 /*}}}*/
802 // ProblemResolver::ResolveInternal - Run the resolution pass /*{{{*/
803 // ---------------------------------------------------------------------
804 /* This routines works by calculating a score for each package. The score
805 is derived by considering the package's priority and all reverse
806 dependents giving an integer that reflects the amount of breakage that
807 adjusting the package will inflict.
808
809 It goes from highest score to lowest and corrects all of the breaks by
810 keeping or removing the dependant packages. If that fails then it removes
811 the package itself and goes on. The routine should be able to intelligently
812 go from any broken state to a fixed state.
813
814 The BrokenFix flag enables a mode where the algorithm tries to
815 upgrade packages to advoid problems. */
816 bool pkgProblemResolver::ResolveInternal(bool const BrokenFix)
817 {
818 pkgDepCache::ActionGroup group(Cache);
819
820 // Record which packages are marked for install
821 bool Again = false;
822 do
823 {
824 Again = false;
825 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
826 {
827 if (Cache[I].Install() == true)
828 Flags[I->ID] |= PreInstalled;
829 else
830 {
831 if (Cache[I].InstBroken() == true && BrokenFix == true)
832 {
833 Cache.MarkInstall(I, false, 0, false);
834 if (Cache[I].Install() == true)
835 Again = true;
836 }
837
838 Flags[I->ID] &= ~PreInstalled;
839 }
840 Flags[I->ID] |= Upgradable;
841 }
842 }
843 while (Again == true);
844
845 if (Debug == true)
846 clog << "Starting" << endl;
847
848 MakeScores();
849
850 unsigned long const Size = Cache.Head().PackageCount;
851
852 /* We have to order the packages so that the broken fixing pass
853 operates from highest score to lowest. This prevents problems when
854 high score packages cause the removal of lower score packages that
855 would cause the removal of even lower score packages. */
856 SPtrArray<pkgCache::Package *> PList = new pkgCache::Package *[Size];
857 pkgCache::Package **PEnd = PList;
858 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
859 *PEnd++ = I;
860 This = this;
861 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
862
863 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
864 {
865 clog << "Show Scores" << endl;
866 for (pkgCache::Package **K = PList; K != PEnd; K++)
867 if (Scores[(*K)->ID] != 0)
868 {
869 pkgCache::PkgIterator Pkg(Cache,*K);
870 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
871 }
872 }
873
874 if (Debug == true)
875 clog << "Starting 2" << endl;
876
877 /* Now consider all broken packages. For each broken package we either
878 remove the package or fix it's problem. We do this once, it should
879 not be possible for a loop to form (that is a < b < c and fixing b by
880 changing a breaks c) */
881 bool Change = true;
882 bool const TryFixByInstall = _config->FindB("pkgProblemResolver::FixByInstall", true);
883 for (int Counter = 0; Counter != 10 && Change == true; Counter++)
884 {
885 Change = false;
886 for (pkgCache::Package **K = PList; K != PEnd; K++)
887 {
888 pkgCache::PkgIterator I(Cache,*K);
889
890 /* We attempt to install this and see if any breaks result,
891 this takes care of some strange cases */
892 if (Cache[I].CandidateVer != Cache[I].InstallVer &&
893 I->CurrentVer != 0 && Cache[I].InstallVer != 0 &&
894 (Flags[I->ID] & PreInstalled) != 0 &&
895 (Flags[I->ID] & Protected) == 0 &&
896 (Flags[I->ID] & ReInstateTried) == 0)
897 {
898 if (Debug == true)
899 clog << " Try to Re-Instate (" << Counter << ") " << I.FullName(false) << endl;
900 unsigned long OldBreaks = Cache.BrokenCount();
901 pkgCache::Version *OldVer = Cache[I].InstallVer;
902 Flags[I->ID] &= ReInstateTried;
903
904 Cache.MarkInstall(I, false, 0, false);
905 if (Cache[I].InstBroken() == true ||
906 OldBreaks < Cache.BrokenCount())
907 {
908 if (OldVer == 0)
909 Cache.MarkDelete(I, false, 0, false);
910 else
911 Cache.MarkKeep(I, false, false);
912 }
913 else
914 if (Debug == true)
915 clog << "Re-Instated " << I.FullName(false) << " (" << OldBreaks << " vs " << Cache.BrokenCount() << ')' << endl;
916 }
917
918 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
919 continue;
920
921 if (Debug == true)
922 clog << "Investigating (" << Counter << ") " << I << endl;
923
924 // Isolate the problem dependency
925 PackageKill KillList[100];
926 PackageKill *LEnd = KillList;
927 bool InOr = false;
928 pkgCache::DepIterator Start;
929 pkgCache::DepIterator End;
930 PackageKill *OldEnd = LEnd;
931
932 enum {OrRemove,OrKeep} OrOp = OrRemove;
933 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList();
934 D.end() == false || InOr == true;)
935 {
936 // Compute a single dependency element (glob or)
937 if (Start == End)
938 {
939 // Decide what to do
940 if (InOr == true && OldEnd == LEnd)
941 {
942 if (OrOp == OrRemove)
943 {
944 if ((Flags[I->ID] & Protected) != Protected)
945 {
946 if (Debug == true)
947 clog << " Or group remove for " << I.FullName(false) << endl;
948 Cache.MarkDelete(I, false, 0, false);
949 Change = true;
950 }
951 }
952 else if (OrOp == OrKeep)
953 {
954 if (Debug == true)
955 clog << " Or group keep for " << I.FullName(false) << endl;
956 Cache.MarkKeep(I, false, false);
957 Change = true;
958 }
959 }
960
961 /* We do an extra loop (as above) to finalize the or group
962 processing */
963 InOr = false;
964 OrOp = OrRemove;
965 D.GlobOr(Start,End);
966 if (Start.end() == true)
967 break;
968
969 // We only worry about critical deps.
970 if (End.IsCritical() != true)
971 continue;
972
973 InOr = Start != End;
974 OldEnd = LEnd;
975 }
976 else
977 {
978 ++Start;
979 // We only worry about critical deps.
980 if (Start.IsCritical() != true)
981 continue;
982 }
983
984 // Dep is ok
985 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
986 {
987 InOr = false;
988 continue;
989 }
990
991 if (Debug == true)
992 clog << "Broken " << Start << endl;
993
994 /* Look across the version list. If there are no possible
995 targets then we keep the package and bail. This is necessary
996 if a package has a dep on another package that cant be found */
997 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
998 if (*VList == 0 && (Flags[I->ID] & Protected) != Protected &&
999 Start.IsNegative() == false &&
1000 Cache[I].NowBroken() == false)
1001 {
1002 if (InOr == true)
1003 {
1004 /* No keep choice because the keep being OK could be the
1005 result of another element in the OR group! */
1006 continue;
1007 }
1008
1009 Change = true;
1010 Cache.MarkKeep(I, false, false);
1011 break;
1012 }
1013
1014 bool Done = false;
1015 for (pkgCache::Version **V = VList; *V != 0; V++)
1016 {
1017 pkgCache::VerIterator Ver(Cache,*V);
1018 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1019
1020 /* This is a conflicts, and the version we are looking
1021 at is not the currently selected version of the
1022 package, which means it is not necessary to
1023 remove/keep */
1024 if (Cache[Pkg].InstallVer != Ver && Start.IsNegative() == true)
1025 {
1026 if (Debug)
1027 clog << " Conflicts//Breaks against version "
1028 << Ver.VerStr() << " for " << Pkg.Name()
1029 << " but that is not InstVer, ignoring"
1030 << endl;
1031 continue;
1032 }
1033
1034 if (Debug == true)
1035 clog << " Considering " << Pkg.FullName(false) << ' ' << (int)Scores[Pkg->ID] <<
1036 " as a solution to " << I.FullName(false) << ' ' << (int)Scores[I->ID] << endl;
1037
1038 /* Try to fix the package under consideration rather than
1039 fiddle with the VList package */
1040 if (Scores[I->ID] <= Scores[Pkg->ID] ||
1041 ((Cache[Start] & pkgDepCache::DepNow) == 0 &&
1042 End.IsNegative() == false))
1043 {
1044 // Try a little harder to fix protected packages..
1045 if ((Flags[I->ID] & Protected) == Protected)
1046 {
1047 if (DoUpgrade(Pkg) == true)
1048 {
1049 if (Scores[Pkg->ID] > Scores[I->ID])
1050 Scores[Pkg->ID] = Scores[I->ID];
1051 break;
1052 }
1053
1054 continue;
1055 }
1056
1057 /* See if a keep will do, unless the package is protected,
1058 then installing it will be necessary */
1059 bool Installed = Cache[I].Install();
1060 Cache.MarkKeep(I, false, false);
1061 if (Cache[I].InstBroken() == false)
1062 {
1063 // Unwind operation will be keep now
1064 if (OrOp == OrRemove)
1065 OrOp = OrKeep;
1066
1067 // Restore
1068 if (InOr == true && Installed == true)
1069 Cache.MarkInstall(I, false, 0, false);
1070
1071 if (Debug == true)
1072 clog << " Holding Back " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
1073 }
1074 else
1075 {
1076 if (BrokenFix == false || DoUpgrade(I) == false)
1077 {
1078 // Consider other options
1079 if (InOr == false || Cache[I].Garbage == true)
1080 {
1081 if (Debug == true)
1082 clog << " Removing " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
1083 Cache.MarkDelete(I, false, 0, false);
1084 if (Counter > 1 && Scores[Pkg->ID] > Scores[I->ID])
1085 Scores[I->ID] = Scores[Pkg->ID];
1086 }
1087 else if (TryFixByInstall == true &&
1088 Start.TargetPkg()->CurrentVer == 0 &&
1089 Cache[Start.TargetPkg()].Delete() == false &&
1090 (Flags[Start.TargetPkg()->ID] & ToRemove) != ToRemove &&
1091 Cache.GetCandidateVer(Start.TargetPkg()).end() == false)
1092 {
1093 /* Before removing or keeping the package with the broken dependency
1094 try instead to install the first not previously installed package
1095 solving this dependency. This helps every time a previous solver
1096 is removed by the resolver because of a conflict or alike but it is
1097 dangerous as it could trigger new breaks/conflicts… */
1098 if (Debug == true)
1099 clog << " Try Installing " << Start.TargetPkg() << " before changing " << I.FullName(false) << std::endl;
1100 unsigned long const OldBroken = Cache.BrokenCount();
1101 Cache.MarkInstall(Start.TargetPkg(), true, 1, false);
1102 // FIXME: we should undo the complete MarkInstall process here
1103 if (Cache[Start.TargetPkg()].InstBroken() == true || Cache.BrokenCount() > OldBroken)
1104 Cache.MarkDelete(Start.TargetPkg(), false, 1, false);
1105 }
1106 }
1107 }
1108
1109 Change = true;
1110 Done = true;
1111 break;
1112 }
1113 else
1114 {
1115 if (Start->Type == pkgCache::Dep::DpkgBreaks)
1116 {
1117 // first, try upgradring the package, if that
1118 // does not help, the breaks goes onto the
1119 // kill list
1120 //
1121 // FIXME: use DoUpgrade(Pkg) instead?
1122 if (Cache[End] & pkgDepCache::DepGCVer)
1123 {
1124 if (Debug)
1125 clog << " Upgrading " << Pkg.FullName(false) << " due to Breaks field in " << I.FullName(false) << endl;
1126 Cache.MarkInstall(Pkg, false, 0, false);
1127 continue;
1128 }
1129 }
1130
1131 // Skip adding to the kill list if it is protected
1132 if ((Flags[Pkg->ID] & Protected) != 0)
1133 continue;
1134
1135 if (Debug == true)
1136 clog << " Added " << Pkg.FullName(false) << " to the remove list" << endl;
1137
1138 LEnd->Pkg = Pkg;
1139 LEnd->Dep = End;
1140 LEnd++;
1141
1142 if (Start.IsNegative() == false)
1143 break;
1144 }
1145 }
1146
1147 // Hm, nothing can possibly satisify this dep. Nuke it.
1148 if (VList[0] == 0 &&
1149 Start.IsNegative() == false &&
1150 (Flags[I->ID] & Protected) != Protected)
1151 {
1152 bool Installed = Cache[I].Install();
1153 Cache.MarkKeep(I);
1154 if (Cache[I].InstBroken() == false)
1155 {
1156 // Unwind operation will be keep now
1157 if (OrOp == OrRemove)
1158 OrOp = OrKeep;
1159
1160 // Restore
1161 if (InOr == true && Installed == true)
1162 Cache.MarkInstall(I, false, 0, false);
1163
1164 if (Debug == true)
1165 clog << " Holding Back " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
1166 }
1167 else
1168 {
1169 if (Debug == true)
1170 clog << " Removing " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
1171 if (InOr == false)
1172 Cache.MarkDelete(I, false, 0, false);
1173 }
1174
1175 Change = true;
1176 Done = true;
1177 }
1178
1179 // Try some more
1180 if (InOr == true)
1181 continue;
1182
1183 if (Done == true)
1184 break;
1185 }
1186
1187 // Apply the kill list now
1188 if (Cache[I].InstallVer != 0)
1189 {
1190 for (PackageKill *J = KillList; J != LEnd; J++)
1191 {
1192 Change = true;
1193 if ((Cache[J->Dep] & pkgDepCache::DepGNow) == 0)
1194 {
1195 if (J->Dep.IsNegative() == true)
1196 {
1197 if (Debug == true)
1198 clog << " Fixing " << I.FullName(false) << " via remove of " << J->Pkg.FullName(false) << endl;
1199 Cache.MarkDelete(J->Pkg, false, 0, false);
1200 }
1201 }
1202 else
1203 {
1204 if (Debug == true)
1205 clog << " Fixing " << I.FullName(false) << " via keep of " << J->Pkg.FullName(false) << endl;
1206 Cache.MarkKeep(J->Pkg, false, false);
1207 }
1208
1209 if (Counter > 1)
1210 {
1211 if (Scores[I->ID] > Scores[J->Pkg->ID])
1212 Scores[J->Pkg->ID] = Scores[I->ID];
1213 }
1214 }
1215 }
1216 }
1217 }
1218
1219 if (Debug == true)
1220 clog << "Done" << endl;
1221
1222 if (Cache.BrokenCount() != 0)
1223 {
1224 // See if this is the result of a hold
1225 pkgCache::PkgIterator I = Cache.PkgBegin();
1226 for (;I.end() != true; ++I)
1227 {
1228 if (Cache[I].InstBroken() == false)
1229 continue;
1230 if ((Flags[I->ID] & Protected) != Protected)
1231 return _error->Error(_("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages."));
1232 }
1233 return _error->Error(_("Unable to correct problems, you have held broken packages."));
1234 }
1235
1236 // set the auto-flags (mvo: I'm not sure if we _really_ need this)
1237 pkgCache::PkgIterator I = Cache.PkgBegin();
1238 for (;I.end() != true; ++I) {
1239 if (Cache[I].NewInstall() && !(Flags[I->ID] & PreInstalled)) {
1240 if(_config->FindI("Debug::pkgAutoRemove",false)) {
1241 std::clog << "Resolve installed new pkg: " << I.FullName(false)
1242 << " (now marking it as auto)" << std::endl;
1243 }
1244 Cache[I].Flags |= pkgCache::Flag::Auto;
1245 }
1246 }
1247
1248
1249 return true;
1250 }
1251 /*}}}*/
1252 // ProblemResolver::BreaksInstOrPolicy - Check if the given pkg is broken/*{{{*/
1253 // ---------------------------------------------------------------------
1254 /* This checks if the given package is broken either by a hard dependency
1255 (InstBroken()) or by introducing a new policy breakage e.g. new
1256 unsatisfied recommends for a package that was in "policy-good" state
1257
1258 Note that this is not perfect as it will ignore further breakage
1259 for already broken policy (recommends)
1260 */
1261 bool pkgProblemResolver::InstOrNewPolicyBroken(pkgCache::PkgIterator I)
1262 {
1263 // a broken install is always a problem
1264 if (Cache[I].InstBroken() == true)
1265 {
1266 if (Debug == true)
1267 std::clog << " Dependencies are not satisfied for " << I << std::endl;
1268 return true;
1269 }
1270
1271 // a newly broken policy (recommends/suggests) is a problem
1272 if (Cache[I].NowPolicyBroken() == false &&
1273 Cache[I].InstPolicyBroken() == true)
1274 {
1275 if (Debug == true)
1276 std::clog << " Policy breaks with upgrade of " << I << std::endl;
1277 return true;
1278 }
1279
1280 return false;
1281 }
1282 /*}}}*/
1283 // ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
1284 // ---------------------------------------------------------------------
1285 /* This is the work horse of the soft upgrade routine. It is very gental
1286 in that it does not install or remove any packages. It is assumed that the
1287 system was non-broken previously. */
1288 bool pkgProblemResolver::ResolveByKeep()
1289 {
1290 std::string const solver = _config->Find("APT::Solver", "internal");
1291 if (solver != "internal") {
1292 OpTextProgress Prog(*_config);
1293 return EDSP::ResolveExternal(solver.c_str(), Cache, true, false, false, &Prog);
1294 }
1295 return ResolveByKeepInternal();
1296 }
1297 /*}}}*/
1298 // ProblemResolver::ResolveByKeepInternal - Resolve problems using keep /*{{{*/
1299 // ---------------------------------------------------------------------
1300 /* This is the work horse of the soft upgrade routine. It is very gental
1301 in that it does not install or remove any packages. It is assumed that the
1302 system was non-broken previously. */
1303 bool pkgProblemResolver::ResolveByKeepInternal()
1304 {
1305 pkgDepCache::ActionGroup group(Cache);
1306
1307 unsigned long Size = Cache.Head().PackageCount;
1308
1309 MakeScores();
1310
1311 /* We have to order the packages so that the broken fixing pass
1312 operates from highest score to lowest. This prevents problems when
1313 high score packages cause the removal of lower score packages that
1314 would cause the removal of even lower score packages. */
1315 pkgCache::Package **PList = new pkgCache::Package *[Size];
1316 pkgCache::Package **PEnd = PList;
1317 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
1318 *PEnd++ = I;
1319 This = this;
1320 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
1321
1322 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
1323 {
1324 clog << "Show Scores" << endl;
1325 for (pkgCache::Package **K = PList; K != PEnd; K++)
1326 if (Scores[(*K)->ID] != 0)
1327 {
1328 pkgCache::PkgIterator Pkg(Cache,*K);
1329 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
1330 }
1331 }
1332
1333 if (Debug == true)
1334 clog << "Entering ResolveByKeep" << endl;
1335
1336 // Consider each broken package
1337 pkgCache::Package **LastStop = 0;
1338 for (pkgCache::Package **K = PList; K != PEnd; K++)
1339 {
1340 pkgCache::PkgIterator I(Cache,*K);
1341
1342 if (Cache[I].InstallVer == 0)
1343 continue;
1344
1345 if (InstOrNewPolicyBroken(I) == false)
1346 continue;
1347
1348 /* Keep the package. If this works then great, otherwise we have
1349 to be significantly more agressive and manipulate its dependencies */
1350 if ((Flags[I->ID] & Protected) == 0)
1351 {
1352 if (Debug == true)
1353 clog << "Keeping package " << I.FullName(false) << endl;
1354 Cache.MarkKeep(I, false, false);
1355 if (InstOrNewPolicyBroken(I) == false)
1356 {
1357 K = PList - 1;
1358 continue;
1359 }
1360 }
1361
1362 // Isolate the problem dependencies
1363 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false;)
1364 {
1365 DepIterator Start;
1366 DepIterator End;
1367 D.GlobOr(Start,End);
1368
1369 // We only worry about critical deps.
1370 if (End.IsCritical() != true)
1371 continue;
1372
1373 // Dep is ok
1374 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
1375 continue;
1376
1377 /* Hm, the group is broken.. I suppose the best thing to do is to
1378 is to try every combination of keep/not-keep for the set, but thats
1379 slow, and this never happens, just be conservative and assume the
1380 list of ors is in preference and keep till it starts to work. */
1381 while (true)
1382 {
1383 if (Debug == true)
1384 clog << "Package " << I.FullName(false) << " " << Start << endl;
1385
1386 // Look at all the possible provides on this package
1387 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
1388 for (pkgCache::Version **V = VList; *V != 0; V++)
1389 {
1390 pkgCache::VerIterator Ver(Cache,*V);
1391 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1392
1393 // It is not keepable
1394 if (Cache[Pkg].InstallVer == 0 ||
1395 Pkg->CurrentVer == 0)
1396 continue;
1397
1398 if ((Flags[I->ID] & Protected) == 0)
1399 {
1400 if (Debug == true)
1401 clog << " Keeping Package " << Pkg.FullName(false) << " due to " << Start.DepType() << endl;
1402 Cache.MarkKeep(Pkg, false, false);
1403 }
1404
1405 if (InstOrNewPolicyBroken(I) == false)
1406 break;
1407 }
1408
1409 if (InstOrNewPolicyBroken(I) == false)
1410 break;
1411
1412 if (Start == End)
1413 break;
1414 ++Start;
1415 }
1416
1417 if (InstOrNewPolicyBroken(I) == false)
1418 break;
1419 }
1420
1421 if (InstOrNewPolicyBroken(I) == true)
1422 continue;
1423
1424 // Restart again.
1425 if (K == LastStop) {
1426 // I is an iterator based off our temporary package list,
1427 // so copy the name we need before deleting the temporary list
1428 std::string const LoopingPackage = I.FullName(false);
1429 delete[] PList;
1430 return _error->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.", LoopingPackage.c_str());
1431 }
1432 LastStop = K;
1433 K = PList - 1;
1434 }
1435
1436 delete[] PList;
1437 return true;
1438 }
1439 /*}}}*/
1440 // ProblemResolver::InstallProtect - Install all protected packages /*{{{*/
1441 // ---------------------------------------------------------------------
1442 /* This is used to make sure protected packages are installed */
1443 void pkgProblemResolver::InstallProtect()
1444 {
1445 pkgDepCache::ActionGroup group(Cache);
1446
1447 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
1448 {
1449 if ((Flags[I->ID] & Protected) == Protected)
1450 {
1451 if ((Flags[I->ID] & ToRemove) == ToRemove)
1452 Cache.MarkDelete(I);
1453 else
1454 {
1455 // preserve the information whether the package was auto
1456 // or manually installed
1457 bool autoInst = (Cache[I].Flags & pkgCache::Flag::Auto);
1458 Cache.MarkInstall(I, false, 0, !autoInst);
1459 }
1460 }
1461 }
1462 }
1463 /*}}}*/
1464 // PrioSortList - Sort a list of versions by priority /*{{{*/
1465 // ---------------------------------------------------------------------
1466 /* This is ment to be used in conjunction with AllTargets to get a list
1467 of versions ordered by preference. */
1468 static pkgCache *PrioCache;
1469 static int PrioComp(const void *A,const void *B)
1470 {
1471 pkgCache::VerIterator L(*PrioCache,*(pkgCache::Version **)A);
1472 pkgCache::VerIterator R(*PrioCache,*(pkgCache::Version **)B);
1473
1474 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential &&
1475 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential)
1476 return 1;
1477 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential &&
1478 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1479 return -1;
1480
1481 if ((L.ParentPkg()->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important &&
1482 (R.ParentPkg()->Flags & pkgCache::Flag::Important) != pkgCache::Flag::Important)
1483 return 1;
1484 if ((L.ParentPkg()->Flags & pkgCache::Flag::Important) != pkgCache::Flag::Important &&
1485 (R.ParentPkg()->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1486 return -1;
1487
1488 if (L->Priority != R->Priority)
1489 return R->Priority - L->Priority;
1490 return strcmp(L.ParentPkg().Name(),R.ParentPkg().Name());
1491 }
1492 void pkgPrioSortList(pkgCache &Cache,pkgCache::Version **List)
1493 {
1494 unsigned long Count = 0;
1495 PrioCache = &Cache;
1496 for (pkgCache::Version **I = List; *I != 0; I++)
1497 Count++;
1498 qsort(List,Count,sizeof(*List),PrioComp);
1499 }
1500 /*}}}*/
1501 // ListUpdate - construct Fetcher and update the cache files /*{{{*/
1502 // ---------------------------------------------------------------------
1503 /* This is a simple wrapper to update the cache. it will fetch stuff
1504 * from the network (or any other sources defined in sources.list)
1505 */
1506 bool ListUpdate(pkgAcquireStatus &Stat,
1507 pkgSourceList &List,
1508 int PulseInterval)
1509 {
1510 pkgAcquire Fetcher;
1511 if (Fetcher.Setup(&Stat, _config->FindDir("Dir::State::Lists")) == false)
1512 return false;
1513
1514 // Populate it with the source selection
1515 if (List.GetIndexes(&Fetcher) == false)
1516 return false;
1517
1518 return AcquireUpdate(Fetcher, PulseInterval, true);
1519 }
1520 /*}}}*/
1521 // AcquireUpdate - take Fetcher and update the cache files /*{{{*/
1522 // ---------------------------------------------------------------------
1523 /* This is a simple wrapper to update the cache with a provided acquire
1524 * If you only need control over Status and the used SourcesList use
1525 * ListUpdate method instead.
1526 */
1527 bool AcquireUpdate(pkgAcquire &Fetcher, int const PulseInterval,
1528 bool const RunUpdateScripts, bool const ListCleanup)
1529 {
1530 // Run scripts
1531 if (RunUpdateScripts == true)
1532 RunScripts("APT::Update::Pre-Invoke");
1533
1534 pkgAcquire::RunResult res;
1535 if(PulseInterval > 0)
1536 res = Fetcher.Run(PulseInterval);
1537 else
1538 res = Fetcher.Run();
1539
1540 if (res == pkgAcquire::Failed)
1541 return false;
1542
1543 bool Failed = false;
1544 bool TransientNetworkFailure = false;
1545 for (pkgAcquire::ItemIterator I = Fetcher.ItemsBegin();
1546 I != Fetcher.ItemsEnd(); ++I)
1547 {
1548 if ((*I)->Status == pkgAcquire::Item::StatDone)
1549 continue;
1550
1551 (*I)->Finished();
1552
1553 ::URI uri((*I)->DescURI());
1554 uri.User.clear();
1555 uri.Password.clear();
1556 string descUri = string(uri);
1557 _error->Warning(_("Failed to fetch %s %s\n"), descUri.c_str(),
1558 (*I)->ErrorText.c_str());
1559
1560 if ((*I)->Status == pkgAcquire::Item::StatTransientNetworkError)
1561 {
1562 TransientNetworkFailure = true;
1563 continue;
1564 }
1565
1566 Failed = true;
1567 }
1568
1569 // Clean out any old list files
1570 // Keep "APT::Get::List-Cleanup" name for compatibility, but
1571 // this is really a global option for the APT library now
1572 if (!TransientNetworkFailure && !Failed && ListCleanup == true &&
1573 (_config->FindB("APT::Get::List-Cleanup",true) == true &&
1574 _config->FindB("APT::List-Cleanup",true) == true))
1575 {
1576 if (Fetcher.Clean(_config->FindDir("Dir::State::lists")) == false ||
1577 Fetcher.Clean(_config->FindDir("Dir::State::lists") + "partial/") == false)
1578 // something went wrong with the clean
1579 return false;
1580 }
1581
1582 if (TransientNetworkFailure == true)
1583 _error->Warning(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1584 else if (Failed == true)
1585 return _error->Error(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1586
1587
1588 // Run the success scripts if all was fine
1589 if (RunUpdateScripts == true)
1590 {
1591 if(!TransientNetworkFailure && !Failed)
1592 RunScripts("APT::Update::Post-Invoke-Success");
1593
1594 // Run the other scripts
1595 RunScripts("APT::Update::Post-Invoke");
1596 }
1597 return true;
1598 }
1599 /*}}}*/