]> git.saurik.com Git - apt.git/blame - apt-pkg/algorithms.cc
QT1 license exception
[apt.git] / apt-pkg / algorithms.cc
CommitLineData
6c139d6e
AL
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
0296c633 3// $Id: algorithms.cc,v 1.28 1999/10/31 23:58:35 jgg Exp $
6c139d6e
AL
4/* ######################################################################
5
6 Algorithms - A set of misc algorithms
7
0a8e3465
AL
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
6c139d6e
AL
14 ##################################################################### */
15 /*}}}*/
16// Include Files /*{{{*/
17#ifdef __GNUG__
094a497d 18#pragma implementation "apt-pkg/algorithms.h"
6c139d6e 19#endif
094a497d
AL
20#include <apt-pkg/algorithms.h>
21#include <apt-pkg/error.h>
0a8e3465 22#include <apt-pkg/configuration.h>
6c139d6e
AL
23#include <iostream.h>
24 /*}}}*/
25
26pkgProblemResolver *pkgProblemResolver::This = 0;
27
28// Simulate::Simulate - Constructor /*{{{*/
29// ---------------------------------------------------------------------
30/* */
31pkgSimulate::pkgSimulate(pkgDepCache &Cache) : pkgPackageManager(Cache),
981d20eb 32 Sim(Cache.GetMap())
6c139d6e
AL
33{
34 Flags = new unsigned char[Cache.HeaderP->PackageCount];
35 memset(Flags,0,sizeof(*Flags)*Cache.HeaderP->PackageCount);
281daf46
AL
36
37 // Fake a filename so as not to activate the media swapping
38 string Jnk = "SIMULATE";
727f18af 39 for (unsigned int I = 0; I != Cache.Head().PackageCount; I++)
281daf46 40 FileNames[I] = Jnk;
6c139d6e
AL
41}
42 /*}}}*/
43// Simulate::Install - Simulate unpacking of a package /*{{{*/
44// ---------------------------------------------------------------------
45/* */
46bool pkgSimulate::Install(PkgIterator iPkg,string /*File*/)
47{
48 // Adapt the iterator
49 PkgIterator Pkg = Sim.FindPkg(iPkg.Name());
50 Flags[Pkg->ID] = 1;
51
04aa15a8 52 cout << "Inst " << Pkg.Name();
6c139d6e
AL
53 Sim.MarkInstall(Pkg,false);
54
55 // Look for broken conflicts+predepends.
56 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; I++)
57 {
58 if (Sim[I].InstallVer == 0)
59 continue;
60
61 for (DepIterator D = Sim[I].InstVerIter(Sim).DependsList(); D.end() == false; D++)
b518cca6 62 if (D->Type == pkgCache::Dep::Conflicts || D->Type == pkgCache::Dep::PreDepends)
6c139d6e
AL
63 {
64 if ((Sim[D] & pkgDepCache::DepInstall) == 0)
65 {
04aa15a8 66 cout << " [" << I.Name() << " on " << D.TargetPkg().Name() << ']';
b518cca6 67 if (D->Type == pkgCache::Dep::Conflicts)
6c139d6e
AL
68 _error->Error("Fatal, conflicts violated %s",I.Name());
69 }
70 }
71 }
72
73 if (Sim.BrokenCount() != 0)
74 ShortBreaks();
75 else
04aa15a8 76 cout << endl;
6c139d6e
AL
77 return true;
78}
79 /*}}}*/
80// Simulate::Configure - Simulate configuration of a Package /*{{{*/
81// ---------------------------------------------------------------------
82/* This is not an acurate simulation of relatity, we should really not
83 install the package.. For some investigations it may be necessary
84 however. */
85bool pkgSimulate::Configure(PkgIterator iPkg)
86{
87 // Adapt the iterator
88 PkgIterator Pkg = Sim.FindPkg(iPkg.Name());
89
90 Flags[Pkg->ID] = 2;
91// Sim.MarkInstall(Pkg,false);
92 if (Sim[Pkg].InstBroken() == true)
93 {
04aa15a8 94 cout << "Conf " << Pkg.Name() << " broken" << endl;
6c139d6e
AL
95
96 Sim.Update();
97
98 // Print out each package and the failed dependencies
99 for (pkgCache::DepIterator D = Sim[Pkg].InstVerIter(Sim).DependsList(); D.end() == false; D++)
100 {
101 if (Sim.IsImportantDep(D) == false ||
102 (Sim[D] & pkgDepCache::DepInstall) != 0)
103 continue;
104
b518cca6 105 if (D->Type == pkgCache::Dep::Conflicts)
04aa15a8 106 cout << " Conflicts:" << D.TargetPkg().Name();
6c139d6e 107 else
04aa15a8 108 cout << " Depends:" << D.TargetPkg().Name();
6c139d6e 109 }
04aa15a8 110 cout << endl;
6c139d6e
AL
111
112 _error->Error("Conf Broken %s",Pkg.Name());
113 }
114 else
04aa15a8 115 cout << "Conf " << Pkg.Name();
6c139d6e
AL
116
117 if (Sim.BrokenCount() != 0)
118 ShortBreaks();
119 else
04aa15a8 120 cout << endl;
6c139d6e
AL
121
122 return true;
123}
124 /*}}}*/
125// Simulate::Remove - Simulate the removal of a package /*{{{*/
126// ---------------------------------------------------------------------
127/* */
fc4b5c9f 128bool pkgSimulate::Remove(PkgIterator iPkg,bool Purge)
6c139d6e
AL
129{
130 // Adapt the iterator
131 PkgIterator Pkg = Sim.FindPkg(iPkg.Name());
132
133 Flags[Pkg->ID] = 3;
134 Sim.MarkDelete(Pkg);
fc4b5c9f
AL
135 if (Purge == true)
136 cout << "Purg " << Pkg.Name();
137 else
138 cout << "Remv " << Pkg.Name();
6c139d6e
AL
139
140 if (Sim.BrokenCount() != 0)
141 ShortBreaks();
142 else
04aa15a8 143 cout << endl;
6c139d6e
AL
144
145 return true;
146}
147 /*}}}*/
148// Simulate::ShortBreaks - Print out a short line describing all breaks /*{{{*/
149// ---------------------------------------------------------------------
150/* */
151void pkgSimulate::ShortBreaks()
152{
04aa15a8 153 cout << " [";
6c139d6e
AL
154 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; I++)
155 {
156 if (Sim[I].InstBroken() == true)
157 {
158 if (Flags[I->ID] == 0)
04aa15a8 159 cout << I.Name() << ' ';
6c139d6e 160/* else
04aa15a8 161 cout << I.Name() << "! ";*/
6c139d6e
AL
162 }
163 }
04aa15a8 164 cout << ']' << endl;
6c139d6e
AL
165}
166 /*}}}*/
167// ApplyStatus - Adjust for non-ok packages /*{{{*/
168// ---------------------------------------------------------------------
169/* We attempt to change the state of the all packages that have failed
170 installation toward their real state. The ordering code will perform
171 the necessary calculations to deal with the problems. */
172bool pkgApplyStatus(pkgDepCache &Cache)
173{
174 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
175 {
d38b7b3d
AL
176 // Only choice for a ReInstReq package is to reinstall
177 if (I->InstState == pkgCache::State::ReInstReq ||
178 I->InstState == pkgCache::State::HoldReInstReq)
179 {
813c8eea
AL
180 if (I.CurrentVer().Downloadable() == true)
181 Cache.MarkKeep(I);
182 else
183 {
184 // Is this right? Will dpkg choke on an upgrade?
185 if (Cache[I].CandidateVerIter(Cache).Downloadable() == true)
186 Cache.MarkInstall(I);
187 else
188 return _error->Error("The package %s needs to be reinstalled, "
189 "but I can't find an archive for it.",I.Name());
190 }
191
d38b7b3d
AL
192 continue;
193 }
194
6c139d6e
AL
195 switch (I->CurrentState)
196 {
813c8eea
AL
197 /* This means installation failed somehow - it does not need to be
198 re-unpacked (probably) */
b518cca6
AL
199 case pkgCache::State::UnPacked:
200 case pkgCache::State::HalfConfigured:
813c8eea
AL
201 if (I.CurrentVer().Downloadable() == true ||
202 I.State() != pkgCache::PkgIterator::NeedsUnpack)
203 Cache.MarkKeep(I);
204 else
205 {
206 if (Cache[I].CandidateVerIter(Cache).Downloadable() == true)
207 Cache.MarkInstall(I);
208 else
209 Cache.MarkDelete(I);
210 }
6c139d6e
AL
211 break;
212
213 // This means removal failed
b518cca6 214 case pkgCache::State::HalfInstalled:
6c139d6e
AL
215 Cache.MarkDelete(I);
216 break;
217
218 default:
b518cca6 219 if (I->InstState != pkgCache::State::Ok)
6c139d6e
AL
220 return _error->Error("The package %s is not ok and I "
221 "don't know how to fix it!",I.Name());
222 }
223 }
224 return true;
225}
226 /*}}}*/
227// FixBroken - Fix broken packages /*{{{*/
228// ---------------------------------------------------------------------
0a8e3465
AL
229/* This autoinstalls every broken package and then runs the problem resolver
230 on the result. */
6c139d6e
AL
231bool pkgFixBroken(pkgDepCache &Cache)
232{
233 // Auto upgrade all broken packages
234 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
235 if (Cache[I].NowBroken() == true)
236 Cache.MarkInstall(I,true);
7e798dd7 237
6c139d6e
AL
238 /* Fix packages that are in a NeedArchive state but don't have a
239 downloadable install version */
240 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
241 {
242 if (I.State() != pkgCache::PkgIterator::NeedsUnpack ||
243 Cache[I].Delete() == true)
244 continue;
245
b518cca6 246 if (Cache[I].InstVerIter(Cache).Downloadable() == false)
6c139d6e
AL
247 continue;
248
7e798dd7 249 Cache.MarkInstall(I,true);
6c139d6e
AL
250 }
251
252 pkgProblemResolver Fix(Cache);
253 return Fix.Resolve(true);
254}
255 /*}}}*/
256// DistUpgrade - Distribution upgrade /*{{{*/
257// ---------------------------------------------------------------------
258/* This autoinstalls every package and then force installs every
259 pre-existing package. This creates the initial set of conditions which
260 most likely contain problems because too many things were installed.
261
0a8e3465 262 The problem resolver is used to resolve the problems.
6c139d6e
AL
263 */
264bool pkgDistUpgrade(pkgDepCache &Cache)
265{
266 /* Auto upgrade all installed packages, this provides the basis
267 for the installation */
268 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
269 if (I->CurrentVer != 0)
270 Cache.MarkInstall(I,true);
271
272 /* Now, auto upgrade all essential packages - this ensures that
273 the essential packages are present and working */
274 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
b518cca6 275 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
6c139d6e
AL
276 Cache.MarkInstall(I,true);
277
278 /* We do it again over all previously installed packages to force
279 conflict resolution on them all. */
280 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
281 if (I->CurrentVer != 0)
282 Cache.MarkInstall(I,false);
283
284 pkgProblemResolver Fix(Cache);
c88edf1d 285
6c139d6e 286 // Hold back held packages.
c88edf1d 287 if (_config->FindB("APT::Ingore-Hold",false) == false)
6c139d6e 288 {
c88edf1d 289 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
6c139d6e 290 {
c88edf1d
AL
291 if (I->SelectedState == pkgCache::State::Hold)
292 {
293 Fix.Protect(I);
294 Cache.MarkKeep(I);
295 }
6c139d6e
AL
296 }
297 }
298
299 return Fix.Resolve();
300}
301 /*}}}*/
0a8e3465
AL
302// AllUpgrade - Upgrade as many packages as possible /*{{{*/
303// ---------------------------------------------------------------------
304/* Right now the system must be consistent before this can be called.
305 It also will not change packages marked for install, it only tries
306 to install packages not marked for install */
307bool pkgAllUpgrade(pkgDepCache &Cache)
308{
309 pkgProblemResolver Fix(Cache);
310
311 if (Cache.BrokenCount() != 0)
312 return false;
313
314 // Upgrade all installed packages
315 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
316 {
317 if (Cache[I].Install() == true)
318 Fix.Protect(I);
319
c88edf1d
AL
320 if (_config->FindB("APT::Ingore-Hold",false) == false)
321 if (I->SelectedState == pkgCache::State::Hold)
322 continue;
0a8e3465
AL
323
324 if (I->CurrentVer != 0 && Cache[I].InstallVer != 0)
325 Cache.MarkInstall(I,false);
326 }
327
328 return Fix.ResolveByKeep();
329}
330 /*}}}*/
7e798dd7
AL
331// MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
332// ---------------------------------------------------------------------
333/* This simply goes over the entire set of packages and tries to keep
334 each package marked for upgrade. If a conflict is generated then
335 the package is restored. */
336bool pkgMinimizeUpgrade(pkgDepCache &Cache)
337{
338 if (Cache.BrokenCount() != 0)
339 return false;
340
341 // We loop indefinately to get the minimal set size.
342 bool Change = false;
a005475e 343 unsigned int Count = 0;
7e798dd7
AL
344 do
345 {
346 Change = false;
347 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
348 {
349 // Not interesting
350 if (Cache[I].Upgrade() == false || Cache[I].NewInstall() == true)
351 continue;
a005475e 352
7e798dd7
AL
353 // Keep it and see if that is OK
354 Cache.MarkKeep(I);
355 if (Cache.BrokenCount() != 0)
356 Cache.MarkInstall(I,false);
357 else
a005475e
AL
358 {
359 // If keep didnt actually do anything then there was no change..
360 if (Cache[I].Upgrade() == false)
361 Change = true;
362 }
7e798dd7 363 }
a005475e 364 Count++;
7e798dd7 365 }
a005475e 366 while (Change == true && Count < 10);
7e798dd7
AL
367
368 if (Cache.BrokenCount() != 0)
369 return _error->Error("Internal Error in pkgMinimizeUpgrade");
370
371 return true;
372}
373 /*}}}*/
6c139d6e
AL
374
375// ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
376// ---------------------------------------------------------------------
377/* */
378pkgProblemResolver::pkgProblemResolver(pkgDepCache &Cache) : Cache(Cache)
379{
380 // Allocate memory
381 unsigned long Size = Cache.HeaderP->PackageCount;
382 Scores = new signed short[Size];
383 Flags = new unsigned char[Size];
384 memset(Flags,0,sizeof(*Flags)*Size);
385
386 // Set debug to true to see its decision logic
0a8e3465 387 Debug = _config->FindB("Debug::pkgProblemResolver",false);
6c139d6e
AL
388}
389 /*}}}*/
390// ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
391// ---------------------------------------------------------------------
392/* */
393int pkgProblemResolver::ScoreSort(const void *a,const void *b)
394{
395 Package const **A = (Package const **)a;
396 Package const **B = (Package const **)b;
397 if (This->Scores[(*A)->ID] > This->Scores[(*B)->ID])
398 return -1;
399 if (This->Scores[(*A)->ID] < This->Scores[(*B)->ID])
400 return 1;
401 return 0;
402}
403 /*}}}*/
404// ProblemResolver::MakeScores - Make the score table /*{{{*/
405// ---------------------------------------------------------------------
406/* */
407void pkgProblemResolver::MakeScores()
408{
409 unsigned long Size = Cache.HeaderP->PackageCount;
410 memset(Scores,0,sizeof(*Scores)*Size);
411
412 // Generate the base scores for a package based on its properties
413 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
414 {
415 if (Cache[I].InstallVer == 0)
416 continue;
417
418 signed short &Score = Scores[I->ID];
419
420 /* This is arbitary, it should be high enough to elevate an
421 essantial package above most other packages but low enough
422 to allow an obsolete essential packages to be removed by
423 a conflicts on a powerfull normal package (ie libc6) */
b518cca6 424 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
6c139d6e
AL
425 Score += 100;
426
427 // We transform the priority
428 // Important Required Standard Optional Extra
429 signed short PrioMap[] = {0,3,2,1,-1,-2};
430 if (Cache[I].InstVerIter(Cache)->Priority <= 5)
431 Score += PrioMap[Cache[I].InstVerIter(Cache)->Priority];
432
433 /* This helps to fix oddball problems with conflicting packages
434 on the same level. We enhance the score of installed packages */
435 if (I->CurrentVer != 0)
436 Score += 1;
437 }
438
439 // Now that we have the base scores we go and propogate dependencies
440 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
441 {
442 if (Cache[I].InstallVer == 0)
443 continue;
444
445 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false; D++)
446 {
b518cca6 447 if (D->Type == pkgCache::Dep::Depends || D->Type == pkgCache::Dep::PreDepends)
6c139d6e
AL
448 Scores[D.TargetPkg()->ID]++;
449 }
450 }
451
452 // Copy the scores to advoid additive looping
453 signed short *OldScores = new signed short[Size];
454 memcpy(OldScores,Scores,sizeof(*Scores)*Size);
455
456 /* Now we cause 1 level of dependency inheritance, that is we add the
457 score of the packages that depend on the target Package. This
458 fortifies high scoring packages */
459 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
460 {
461 if (Cache[I].InstallVer == 0)
462 continue;
463
464 for (pkgCache::DepIterator D = I.RevDependsList(); D.end() == false; D++)
465 {
466 // Only do it for the install version
467 if ((pkgCache::Version *)D.ParentVer() != Cache[D.ParentPkg()].InstallVer ||
b518cca6 468 (D->Type != pkgCache::Dep::Depends && D->Type != pkgCache::Dep::PreDepends))
6c139d6e
AL
469 continue;
470
471 Scores[I->ID] += abs(OldScores[D.ParentPkg()->ID]);
472 }
473 }
474
475 /* Now we propogate along provides. This makes the packages that
476 provide important packages extremely important */
477 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
478 {
479 for (pkgCache::PrvIterator P = I.ProvidesList(); P.end() == false; P++)
480 {
481 // Only do it once per package
482 if ((pkgCache::Version *)P.OwnerVer() != Cache[P.OwnerPkg()].InstallVer)
483 continue;
484 Scores[P.OwnerPkg()->ID] += abs(Scores[I->ID] - OldScores[I->ID]);
485 }
486 }
487
488 /* Protected things are pushed really high up. This number should put them
489 ahead of everything */
490 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
d2685fd6 491 {
6c139d6e
AL
492 if ((Flags[I->ID] & Protected) != 0)
493 Scores[I->ID] += 10000;
d2685fd6
AL
494 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
495 Scores[I->ID] += 5000;
496 }
6c139d6e
AL
497
498 delete [] OldScores;
499}
500 /*}}}*/
501// ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
502// ---------------------------------------------------------------------
503/* This goes through and tries to reinstall packages to make this package
504 installable */
505bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg)
506{
507 if ((Flags[Pkg->ID] & Upgradable) == 0 || Cache[Pkg].Upgradable() == false)
508 return false;
0a8e3465 509
6c139d6e
AL
510 Flags[Pkg->ID] &= ~Upgradable;
511
512 bool WasKept = Cache[Pkg].Keep();
513 Cache.MarkInstall(Pkg,false);
514
0a8e3465
AL
515 // This must be a virtual package or something like that.
516 if (Cache[Pkg].InstVerIter(Cache).end() == true)
517 return false;
518
6c139d6e
AL
519 // Isolate the problem dependency
520 bool Fail = false;
521 for (pkgCache::DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList(); D.end() == false;)
522 {
523 // Compute a single dependency element (glob or)
524 pkgCache::DepIterator Start = D;
525 pkgCache::DepIterator End = D;
526 unsigned char State = 0;
4b1b89c5 527 for (bool LastOR = true; D.end() == false && LastOR == true;)
6c139d6e
AL
528 {
529 State |= Cache[D];
b518cca6 530 LastOR = (D->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or;
4b1b89c5 531 D++;
6c139d6e
AL
532 if (LastOR == true)
533 End = D;
534 }
535
536 // We only worry about critical deps.
537 if (End.IsCritical() != true)
538 continue;
4b1b89c5
AL
539
540 // Iterate over all the members in the or group
541 while (1)
0a8e3465 542 {
4b1b89c5
AL
543 // Dep is ok now
544 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
545 break;
546
547 // Do not change protected packages
548 PkgIterator P = Start.SmartTargetPkg();
549 if ((Flags[P->ID] & Protected) == Protected)
550 {
551 if (Debug == true)
648e3cb4 552 clog << " Reinst Failed because of protected " << P.Name() << endl;
4b1b89c5 553 Fail = true;
4b1b89c5 554 }
648e3cb4 555 else
6c139d6e 556 {
648e3cb4
AL
557 // Upgrade the package if the candidate version will fix the problem.
558 if ((Cache[Start] & pkgDepCache::DepCVer) == pkgDepCache::DepCVer)
559 {
560 if (DoUpgrade(P) == false)
561 {
562 if (Debug == true)
563 clog << " Reinst Failed because of " << P.Name() << endl;
564 Fail = true;
565 }
566 else
567 {
568 Fail = false;
569 break;
570 }
571 }
572 else
4b1b89c5 573 {
648e3cb4
AL
574 /* We let the algorithm deal with conflicts on its next iteration,
575 it is much smarter than us */
576 if (Start->Type == pkgCache::Dep::Conflicts)
d0c59649 577 break;
648e3cb4 578
4b1b89c5 579 if (Debug == true)
648e3cb4 580 clog << " Reinst Failed early because of " << Start.TargetPkg().Name() << endl;
4b1b89c5 581 Fail = true;
648e3cb4 582 }
4b1b89c5 583 }
6c139d6e 584
4b1b89c5
AL
585 if (Start == End)
586 break;
587 Start++;
588 }
589 if (Fail == true)
6c139d6e 590 break;
6c139d6e
AL
591 }
592
593 // Undo our operations - it might be smart to undo everything this did..
594 if (Fail == true)
595 {
596 if (WasKept == true)
597 Cache.MarkKeep(Pkg);
598 else
599 Cache.MarkDelete(Pkg);
600 return false;
601 }
602
603 if (Debug == true)
0a8e3465 604 clog << " Re-Instated " << Pkg.Name() << endl;
6c139d6e
AL
605 return true;
606}
607 /*}}}*/
608// ProblemResolver::Resolve - Run the resolution pass /*{{{*/
609// ---------------------------------------------------------------------
610/* This routines works by calculating a score for each package. The score
611 is derived by considering the package's priority and all reverse
612 dependents giving an integer that reflects the amount of breakage that
613 adjusting the package will inflict.
614
615 It goes from highest score to lowest and corrects all of the breaks by
616 keeping or removing the dependant packages. If that fails then it removes
617 the package itself and goes on. The routine should be able to intelligently
618 go from any broken state to a fixed state.
619
620 The BrokenFix flag enables a mode where the algorithm tries to
621 upgrade packages to advoid problems. */
622bool pkgProblemResolver::Resolve(bool BrokenFix)
623{
0a8e3465 624 unsigned long Size = Cache.HeaderP->PackageCount;
6c139d6e
AL
625
626 // Record which packages are marked for install
627 bool Again = false;
628 do
629 {
630 Again = false;
631 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
632 {
633 if (Cache[I].Install() == true)
634 Flags[I->ID] |= PreInstalled;
635 else
636 {
637 if (Cache[I].InstBroken() == true && BrokenFix == true)
638 {
639 Cache.MarkInstall(I,false);
640 if (Cache[I].Install() == true)
641 Again = true;
642 }
643
644 Flags[I->ID] &= ~PreInstalled;
645 }
646 Flags[I->ID] |= Upgradable;
647 }
648 }
649 while (Again == true);
650
651 if (Debug == true)
0a8e3465 652 clog << "Starting" << endl;
6c139d6e
AL
653
654 MakeScores();
655
656 /* We have to order the packages so that the broken fixing pass
657 operates from highest score to lowest. This prevents problems when
658 high score packages cause the removal of lower score packages that
659 would cause the removal of even lower score packages. */
660 pkgCache::Package **PList = new pkgCache::Package *[Size];
661 pkgCache::Package **PEnd = PList;
662 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
663 *PEnd++ = I;
664 This = this;
665 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
666
667/* for (pkgCache::Package **K = PList; K != PEnd; K++)
668 if (Scores[(*K)->ID] != 0)
669 {
670 pkgCache::PkgIterator Pkg(Cache,*K);
0a8e3465 671 clog << Scores[(*K)->ID] << ' ' << Pkg.Name() <<
6c139d6e
AL
672 ' ' << (pkgCache::Version *)Pkg.CurrentVer() << ' ' <<
673 Cache[Pkg].InstallVer << ' ' << Cache[Pkg].CandidateVer << endl;
674 } */
675
676 if (Debug == true)
0a8e3465 677 clog << "Starting 2" << endl;
6c139d6e
AL
678
679 /* Now consider all broken packages. For each broken package we either
680 remove the package or fix it's problem. We do this once, it should
681 not be possible for a loop to form (that is a < b < c and fixing b by
682 changing a breaks c) */
683 bool Change = true;
684 for (int Counter = 0; Counter != 10 && Change == true; Counter++)
685 {
686 Change = false;
687 for (pkgCache::Package **K = PList; K != PEnd; K++)
688 {
689 pkgCache::PkgIterator I(Cache,*K);
690
691 /* We attempt to install this and see if any breaks result,
692 this takes care of some strange cases */
693 if (Cache[I].CandidateVer != Cache[I].InstallVer &&
694 I->CurrentVer != 0 && Cache[I].InstallVer != 0 &&
695 (Flags[I->ID] & PreInstalled) != 0 &&
0a8e3465
AL
696 (Flags[I->ID] & Protected) == 0 &&
697 (Flags[I->ID] & ReInstateTried) == 0)
6c139d6e
AL
698 {
699 if (Debug == true)
0a8e3465 700 clog << " Try to Re-Instate " << I.Name() << endl;
a6568219 701 unsigned long OldBreaks = Cache.BrokenCount();
6c139d6e 702 pkgCache::Version *OldVer = Cache[I].InstallVer;
0a8e3465
AL
703 Flags[I->ID] &= ReInstateTried;
704
6c139d6e
AL
705 Cache.MarkInstall(I,false);
706 if (Cache[I].InstBroken() == true ||
707 OldBreaks < Cache.BrokenCount())
708 {
709 if (OldVer == 0)
710 Cache.MarkDelete(I);
711 else
712 Cache.MarkKeep(I);
713 }
714 else
715 if (Debug == true)
0a8e3465 716 clog << "Re-Instated " << I.Name() << " (" << OldBreaks << " vs " << Cache.BrokenCount() << ')' << endl;
6c139d6e
AL
717 }
718
719 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
720 continue;
721
722 // Isolate the problem dependency
723 PackageKill KillList[100];
724 PackageKill *LEnd = KillList;
421c8d10
AL
725 bool InOr = false;
726 pkgCache::DepIterator Start;
727 pkgCache::DepIterator End;
648e3cb4
AL
728 PackageKill *OldEnd;
729
730 enum {OrRemove,OrKeep} OrOp = OrRemove;
421c8d10
AL
731 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList();
732 D.end() == false || InOr == true;)
6c139d6e
AL
733 {
734 // Compute a single dependency element (glob or)
648e3cb4
AL
735 if (Start == End)
736 {
737 // Decide what to do
738 if (InOr == true)
739 {
740 if (OldEnd == LEnd && OrOp == OrRemove)
741 Cache.MarkDelete(I);
742 if (OldEnd == LEnd && OrOp == OrKeep)
743 Cache.MarkKeep(I);
744 }
745
746 OrOp = OrRemove;
421c8d10 747 D.GlobOr(Start,End);
648e3cb4
AL
748 InOr = Start != End;
749 OldEnd = LEnd;
750 }
421c8d10
AL
751 else
752 Start++;
753
6c139d6e
AL
754 // We only worry about critical deps.
755 if (End.IsCritical() != true)
756 continue;
757
758 // Dep is ok
759 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
760 continue;
648e3cb4 761
6c139d6e 762 if (Debug == true)
421c8d10 763 clog << "Package " << I.Name() << " has broken dep on " << Start.TargetPkg().Name() << endl;
fcf85120
AL
764
765 /* Look across the version list. If there are no possible
766 targets then we keep the package and bail. This is necessary
767 if a package has a dep on another package that cant be found */
421c8d10 768 pkgCache::Version **VList = Start.AllTargets();
fcf85120 769 if (*VList == 0 && (Flags[I->ID] & Protected) != Protected &&
648e3cb4 770 Start->Type != pkgCache::Dep::Conflicts &&
fcf85120 771 Cache[I].NowBroken() == false)
648e3cb4
AL
772 {
773 if (InOr == true)
774 {
775 /* No keep choice because the keep being OK could be the
776 result of another element in the OR group! */
777 continue;
778 }
779
fcf85120 780 Change = true;
648e3cb4 781 Cache.MarkKeep(I);
fcf85120
AL
782 break;
783 }
784
6c139d6e
AL
785 bool Done = false;
786 for (pkgCache::Version **V = VList; *V != 0; V++)
787 {
788 pkgCache::VerIterator Ver(Cache,*V);
789 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
790
791 if (Debug == true)
421c8d10 792 clog << " Considering " << Pkg.Name() << ' ' << (int)Scores[Pkg->ID] <<
6c139d6e
AL
793 " as a solution to " << I.Name() << ' ' << (int)Scores[I->ID] << endl;
794 if (Scores[I->ID] <= Scores[Pkg->ID] ||
421c8d10 795 ((Cache[Start] & pkgDepCache::DepNow) == 0 &&
b518cca6 796 End->Type != pkgCache::Dep::Conflicts))
6c139d6e 797 {
200f8c52 798 // Try a little harder to fix protected packages..
3b5421b4 799 if ((Flags[I->ID] & Protected) == Protected)
200f8c52
AL
800 {
801 if (DoUpgrade(Pkg) == true)
0296c633 802 {
200f8c52 803 Scores[Pkg->ID] = Scores[I->ID];
0296c633
AL
804 break;
805 }
806
6c139d6e 807 continue;
200f8c52
AL
808 }
809
810 /* See if a keep will do, unless the package is protected,
648e3cb4
AL
811 then installing it will be necessary */
812 bool Installed = Cache[I].Install();
6c139d6e
AL
813 Cache.MarkKeep(I);
814 if (Cache[I].InstBroken() == false)
815 {
648e3cb4
AL
816 // Unwind operation will be keep now
817 if (OrOp == OrRemove)
818 OrOp = OrKeep;
819
820 // Restore
821 if (InOr == true && Installed == true)
822 Cache.MarkInstall(I,false);
823
6c139d6e 824 if (Debug == true)
421c8d10 825 clog << " Holding Back " << I.Name() << " rather than change " << Start.TargetPkg().Name() << endl;
6c139d6e
AL
826 }
827 else
421c8d10 828 {
6c139d6e
AL
829 if (BrokenFix == false || DoUpgrade(I) == false)
830 {
421c8d10
AL
831 // Consider other options
832 if (InOr == false)
833 {
834 if (Debug == true)
835 clog << " Removing " << I.Name() << " rather than change " << Start.TargetPkg().Name() << endl;
836 Cache.MarkDelete(I);
837 if (Counter > 1)
838 Scores[I->ID] = Scores[Pkg->ID];
839 }
0a8e3465 840 }
6c139d6e 841 }
b5dc9785 842
6c139d6e
AL
843 Change = true;
844 Done = true;
845 break;
846 }
847 else
848 {
648e3cb4 849 // Skip adding to the kill list if it is protected
6c139d6e
AL
850 if ((Flags[Pkg->ID] & Protected) != 0)
851 continue;
852
853 LEnd->Pkg = Pkg;
854 LEnd->Dep = End;
855 LEnd++;
0a8e3465 856
421c8d10 857 if (Start->Type != pkgCache::Dep::Conflicts)
6c139d6e
AL
858 break;
859 }
860 }
861
862 // Hm, nothing can possibly satisify this dep. Nuke it.
421c8d10 863 if (VList[0] == 0 && Start->Type != pkgCache::Dep::Conflicts &&
648e3cb4 864 (Flags[I->ID] & Protected) != Protected)
6c139d6e 865 {
648e3cb4 866 bool Installed = Cache[I].Install();
6c139d6e
AL
867 Cache.MarkKeep(I);
868 if (Cache[I].InstBroken() == false)
869 {
648e3cb4
AL
870 // Unwind operation will be keep now
871 if (OrOp == OrRemove)
872 OrOp = OrKeep;
873
874 // Restore
875 if (InOr == true && Installed == true)
876 Cache.MarkInstall(I,false);
877
6c139d6e 878 if (Debug == true)
421c8d10 879 clog << " Holding Back " << I.Name() << " because I can't find " << Start.TargetPkg().Name() << endl;
6c139d6e
AL
880 }
881 else
882 {
883 if (Debug == true)
421c8d10 884 clog << " Removing " << I.Name() << " because I can't find " << Start.TargetPkg().Name() << endl;
648e3cb4
AL
885 if (InOr == false)
886 Cache.MarkDelete(I);
6c139d6e
AL
887 }
888
889 Change = true;
890 Done = true;
891 }
892
648e3cb4
AL
893 delete [] VList;
894
421c8d10
AL
895 // Try some more
896 if (InOr == true)
897 continue;
898
6c139d6e
AL
899 if (Done == true)
900 break;
901 }
902
903 // Apply the kill list now
904 if (Cache[I].InstallVer != 0)
648e3cb4 905 {
6c139d6e 906 for (PackageKill *J = KillList; J != LEnd; J++)
6c139d6e 907 {
648e3cb4
AL
908 Change = true;
909 if ((Cache[J->Dep] & pkgDepCache::DepGNow) == 0)
910 {
911 if (J->Dep->Type == pkgCache::Dep::Conflicts)
912 {
913 if (Debug == true)
914 clog << " Fixing " << I.Name() << " via remove of " << J->Pkg.Name() << endl;
915 Cache.MarkDelete(J->Pkg);
916 }
917 }
918 else
6c139d6e
AL
919 {
920 if (Debug == true)
648e3cb4
AL
921 clog << " Fixing " << I.Name() << " via keep of " << J->Pkg.Name() << endl;
922 Cache.MarkKeep(J->Pkg);
6c139d6e 923 }
648e3cb4
AL
924
925 if (Counter > 1)
926 Scores[J->Pkg->ID] = Scores[I->ID];
927 }
928 }
929 }
6c139d6e
AL
930 }
931
932 if (Debug == true)
0a8e3465 933 clog << "Done" << endl;
6c139d6e
AL
934
935 delete [] Scores;
936 delete [] PList;
937
938 if (Cache.BrokenCount() != 0)
b5dc9785
AL
939 {
940 // See if this is the result of a hold
941 pkgCache::PkgIterator I = Cache.PkgBegin();
942 for (;I.end() != true; I++)
943 {
944 if (Cache[I].InstBroken() == false)
945 continue;
946 if ((Flags[I->ID] & Protected) != Protected)
947 return _error->Error("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages.");
948 }
949 return _error->Error("Unable to correct problems, you have held broken packages.");
950 }
951
0a8e3465
AL
952 return true;
953}
954 /*}}}*/
955// ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
956// ---------------------------------------------------------------------
957/* This is the work horse of the soft upgrade routine. It is very gental
958 in that it does not install or remove any packages. It is assumed that the
959 system was non-broken previously. */
960bool pkgProblemResolver::ResolveByKeep()
961{
962 unsigned long Size = Cache.HeaderP->PackageCount;
963
964 if (Debug == true)
965 clog << "Entering ResolveByKeep" << endl;
966
967 MakeScores();
968
969 /* We have to order the packages so that the broken fixing pass
970 operates from highest score to lowest. This prevents problems when
971 high score packages cause the removal of lower score packages that
972 would cause the removal of even lower score packages. */
973 pkgCache::Package **PList = new pkgCache::Package *[Size];
974 pkgCache::Package **PEnd = PList;
975 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
976 *PEnd++ = I;
977 This = this;
978 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
979
980 // Consider each broken package
981 pkgCache::Package **LastStop = 0;
982 for (pkgCache::Package **K = PList; K != PEnd; K++)
983 {
984 pkgCache::PkgIterator I(Cache,*K);
985
986 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
987 continue;
988
989 /* Keep the package. If this works then great, otherwise we have
990 to be significantly more agressive and manipulate its dependencies */
991 if ((Flags[I->ID] & Protected) == 0)
992 {
993 if (Debug == true)
994 clog << "Keeping package " << I.Name() << endl;
995 Cache.MarkKeep(I);
996 if (Cache[I].InstBroken() == false)
997 {
998 K = PList;
999 continue;
1000 }
1001 }
1002
1003 // Isolate the problem dependencies
1004 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false;)
1005 {
1006 // Compute a single dependency element (glob or)
1007 pkgCache::DepIterator Start = D;
1008 pkgCache::DepIterator End = D;
1009 unsigned char State = 0;
1010 for (bool LastOR = true; D.end() == false && LastOR == true; D++)
1011 {
1012 State |= Cache[D];
1013 LastOR = (D->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or;
1014 if (LastOR == true)
1015 End = D;
1016 }
1017
1018 // We only worry about critical deps.
1019 if (End.IsCritical() != true)
1020 continue;
1021
1022 // Dep is ok
1023 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
1024 continue;
1025
1026 // Hm, the group is broken.. I have no idea how to handle this
1027 if (Start != End)
1028 {
1029 clog << "Note, a broken or group was found in " << I.Name() << "." << endl;
1030 if ((Flags[I->ID] & Protected) == 0)
1031 Cache.MarkKeep(I);
1032 break;
1033 }
1034
1035 if (Debug == true)
1036 clog << "Package " << I.Name() << " has broken dep on " << End.TargetPkg().Name() << endl;
1037
1038 // Look at all the possible provides on this package
1039 pkgCache::Version **VList = End.AllTargets();
0a8e3465
AL
1040 for (pkgCache::Version **V = VList; *V != 0; V++)
1041 {
1042 pkgCache::VerIterator Ver(Cache,*V);
1043 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1044
1045 // It is not keepable
1046 if (Cache[Pkg].InstallVer == 0 ||
1047 Pkg->CurrentVer == 0)
1048 continue;
1049
1050 if ((Flags[I->ID] & Protected) == 0)
1051 {
1052 if (Debug == true)
1053 clog << " Keeping Package " << Pkg.Name() << " due to dep" << endl;
1054 Cache.MarkKeep(Pkg);
1055 }
1056
1057 if (Cache[I].InstBroken() == false)
1058 break;
1059 }
1060
1061 if (Cache[I].InstBroken() == false)
1062 break;
1063 }
1064
1065 if (Cache[I].InstBroken() == true)
1066 continue;
1067
1068 // Restart again.
1069 if (K == LastStop)
1070 return _error->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.",I.Name());
1071 LastStop = K;
1072 K = PList;
1073 }
6c139d6e
AL
1074
1075 return true;
1076}
1077 /*}}}*/
3b5421b4
AL
1078// ProblemResolver::InstallProtect - Install all protected packages /*{{{*/
1079// ---------------------------------------------------------------------
1080/* This is used to make sure protected packages are installed */
1081void pkgProblemResolver::InstallProtect()
1082{
1083 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
1084 {
1085 if ((Flags[I->ID] & Protected) == Protected)
1086 {
1087 if ((Flags[I->ID] & ToRemove) == ToRemove)
1088 Cache.MarkDelete(I);
1089 else
1090 Cache.MarkInstall(I,false);
1091 }
1092 }
1093}
1094 /*}}}*/