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