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