]> git.saurik.com Git - apt.git/blame - apt-pkg/orderlist.cc
remove -ldl from cdrom and -lutil from apt-get linkage
[apt.git] / apt-pkg / orderlist.cc
CommitLineData
6c139d6e
AL
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
5819a761 3// $Id: orderlist.cc,v 1.14 2001/05/07 05:49:43 jgg Exp $
6c139d6e
AL
4/* ######################################################################
5
6 Order List - Represents and Manipulates an ordered list of packages.
7
8 A list of packages can be ordered by a number of conflicting criteria
9 each given a specific priority. Each package also has a set of flags
b2e465d6 10 indicating some useful things about it that are derived in the
6c139d6e
AL
11 course of sorting. The pkgPackageManager class uses this class for
12 all of it's installation ordering needs.
13
14 This is a modified version of Manoj's Routine B. It consists of four
15 independent ordering algorithms that can be applied at for different
16 points in the ordering. By appling progressivly fewer ordering
17 operations it is possible to give each consideration it's own
18 priority and create an order that satisfies the lowest applicable
19 consideration.
20
21 The rules for unpacking ordering are:
22 1) Unpacking ignores Depends: on all packages
23 2) Unpacking requires Conflicts: on -ALL- packages to be satisfied
24 3) Unpacking requires PreDepends: on this package only to be satisfied
25 4) Removing requires that no packages depend on the package to be
26 removed.
27
28 And the rule for configuration ordering is:
29 1) Configuring requires that the Depends: of the package be satisfied
30 Conflicts+PreDepends are ignored because unpacking says they are
31 already correct [exageration, it does check but we need not be
32 concerned]
33
34 And some features that are valuable for unpacking ordering.
35 f1) Unpacking a new package should advoid breaking dependencies of
36 configured packages
37 f2) Removal should not require a force, corrolory of f1
38 f3) Unpacking should order by depends rather than fall back to random
39 ordering.
40
41 Each of the features can be enabled in the sorting routine at an
7365ff46 42 arbitrary priority to give quite abit of control over the final unpacking
6c139d6e
AL
43 order.
44
281daf46 45 The rules listed above may never be violated and are called Critical.
6c139d6e
AL
46 When a critical rule is violated then a loop condition is recorded
47 and will have to be delt with in the caller.
63d3141a
AL
48
49 The ordering keeps two lists, the main list and the 'After List'. The
50 purpose of the after list is to allow packages to be delayed. This is done
51 by setting the after flag on the package. Any package which requires this
52 package to be ordered before will inherit the after flag and so on. This
53 is used for CD swap ordering where all packages on a second CD have the
54 after flag set. This forces them and all their dependents to be ordered
55 toward the end.
6c139d6e 56
b2e465d6
AL
57 There are complications in this algorithm when presented with cycles.
58 For all known practical cases it works, all cases where it doesn't work
59 is fixable by tweaking the package descriptions. However, it should be
60 possible to impove this further to make some better choices when
61 presented with cycles.
62
6c139d6e
AL
63 ##################################################################### */
64 /*}}}*/
65// Include Files /*{{{*/
ea542140
DK
66#include<config.h>
67
094a497d
AL
68#include <apt-pkg/orderlist.h>
69#include <apt-pkg/depcache.h>
70#include <apt-pkg/error.h>
71#include <apt-pkg/version.h>
b2e465d6
AL
72#include <apt-pkg/sptr.h>
73#include <apt-pkg/configuration.h>
5819a761
AL
74
75#include <iostream>
6c139d6e
AL
76 /*}}}*/
77
5819a761
AL
78using namespace std;
79
6c139d6e
AL
80pkgOrderList *pkgOrderList::Me = 0;
81
82// OrderList::pkgOrderList - Constructor /*{{{*/
83// ---------------------------------------------------------------------
84/* */
dcaa1185
DK
85pkgOrderList::pkgOrderList(pkgDepCache *pCache) : Cache(*pCache),
86 Primary(NULL), Secondary(NULL),
87 RevDepends(NULL), Remove(NULL),
88 AfterEnd(NULL), FileList(NULL),
89 LoopCount(-1), Depth(0)
6c139d6e 90{
b2e465d6 91 Debug = _config->FindB("Debug::pkgOrderList",false);
dcaa1185 92
6c139d6e
AL
93 /* Construct the arrays, egcs 1.0.1 bug requires the package count
94 hack */
b2e465d6 95 unsigned long Size = Cache.Head().PackageCount;
63d3141a 96 Flags = new unsigned short[Size];
6c139d6e
AL
97 End = List = new Package *[Size];
98 memset(Flags,0,sizeof(*Flags)*Size);
99}
100 /*}}}*/
101// OrderList::~pkgOrderList - Destructor /*{{{*/
102// ---------------------------------------------------------------------
103/* */
104pkgOrderList::~pkgOrderList()
105{
106 delete [] List;
107 delete [] Flags;
108}
109 /*}}}*/
2fd65468
AL
110// OrderList::IsMissing - Check if a file is missing /*{{{*/
111// ---------------------------------------------------------------------
112/* */
113bool pkgOrderList::IsMissing(PkgIterator Pkg)
114{
115 // Skip packages to erase
116 if (Cache[Pkg].Delete() == true)
117 return false;
118
119 // Skip Packages that need configure only.
c0ba35fc
DK
120 if ((Pkg.State() == pkgCache::PkgIterator::NeedsConfigure ||
121 Pkg.State() == pkgCache::PkgIterator::NeedsNothing) &&
2fd65468
AL
122 Cache[Pkg].Keep() == true)
123 return false;
7cd4153b
AL
124
125 if (FileList == 0)
126 return false;
2fd65468 127
7cd4153b 128 if (FileList[Pkg->ID].empty() == false)
2fd65468 129 return false;
803ea2a8 130
2fd65468
AL
131 return true;
132}
133 /*}}}*/
6c139d6e
AL
134// OrderList::DoRun - Does an order run /*{{{*/
135// ---------------------------------------------------------------------
136/* The caller is expeted to have setup the desired probe state */
137bool pkgOrderList::DoRun()
281daf46 138{
6c139d6e 139 // Temp list
b2e465d6
AL
140 unsigned long Size = Cache.Head().PackageCount;
141 SPtrArray<Package *> NList = new Package *[Size];
142 SPtrArray<Package *> AfterList = new Package *[Size];
63d3141a
AL
143 AfterEnd = AfterList;
144
6c139d6e
AL
145 Depth = 0;
146 WipeFlags(Added | AddPending | Loop | InList);
147
91c03d37 148 for (iterator I = List; I != End; ++I)
6c139d6e 149 Flag(*I,InList);
63d3141a 150
6c139d6e
AL
151 // Rebuild the main list into the temp list.
152 iterator OldEnd = End;
153 End = NList;
91c03d37 154 for (iterator I = List; I != OldEnd; ++I)
3b8d1773 155 if (VisitNode(PkgIterator(Cache,*I), "DoRun") == false)
6c139d6e
AL
156 {
157 End = OldEnd;
6c139d6e
AL
158 return false;
159 }
160
63d3141a
AL
161 // Copy the after list to the end of the main list
162 for (Package **I = AfterList; I != AfterEnd; I++)
163 *End++ = *I;
164
6c139d6e
AL
165 // Swap the main list to the new list
166 delete [] List;
b2e465d6 167 List = NList.UnGuard();
6c139d6e
AL
168 return true;
169}
170 /*}}}*/
171// OrderList::OrderCritical - Perform critical unpacking ordering /*{{{*/
172// ---------------------------------------------------------------------
173/* This performs predepends and immediate configuration ordering only.
174 This is termed critical unpacking ordering. Any loops that form are
175 fatal and indicate that the packages cannot be installed. */
176bool pkgOrderList::OrderCritical()
177{
281daf46 178 FileList = 0;
5e312de7 179
d5081aee 180 Primary = &pkgOrderList::DepUnPackPreD;
6c139d6e
AL
181 Secondary = 0;
182 RevDepends = 0;
183 Remove = 0;
184 LoopCount = 0;
5e312de7 185
6c139d6e
AL
186 // Sort
187 Me = this;
5e312de7
DK
188 qsort(List,End - List,sizeof(*List),&OrderCompareB);
189
6c139d6e
AL
190 if (DoRun() == false)
191 return false;
5e312de7 192
6c139d6e
AL
193 if (LoopCount != 0)
194 return _error->Error("Fatal, predepends looping detected");
5e312de7
DK
195
196 if (Debug == true)
197 {
198 clog << "** Critical Unpack ordering done" << endl;
199
91c03d37 200 for (iterator I = List; I != End; ++I)
5e312de7
DK
201 {
202 PkgIterator P(Cache,*I);
203 if (IsNow(P) == true)
70ae2409 204 clog << " " << P.FullName() << ' ' << IsMissing(P) << ',' << IsFlag(P,After) << endl;
5e312de7
DK
205 }
206 }
207
6c139d6e
AL
208 return true;
209}
210 /*}}}*/
211// OrderList::OrderUnpack - Perform complete unpacking ordering /*{{{*/
212// ---------------------------------------------------------------------
213/* This performs complete unpacking ordering and creates an order that is
214 suitable for unpacking */
281daf46 215bool pkgOrderList::OrderUnpack(string *FileList)
6c139d6e 216{
281daf46
AL
217 this->FileList = FileList;
218
63d3141a
AL
219 // Setup the after flags
220 if (FileList != 0)
221 {
222 WipeFlags(After);
5e312de7 223
63d3141a 224 // Set the inlist flag
91c03d37 225 for (iterator I = List; I != End; ++I)
63d3141a
AL
226 {
227 PkgIterator P(Cache,*I);
228 if (IsMissing(P) == true && IsNow(P) == true)
229 Flag(*I,After);
230 }
231 }
5e312de7 232
727f18af
AL
233 Primary = &pkgOrderList::DepUnPackCrit;
234 Secondary = &pkgOrderList::DepConfigure;
235 RevDepends = &pkgOrderList::DepUnPackDep;
236 Remove = &pkgOrderList::DepRemove;
6c139d6e
AL
237 LoopCount = -1;
238
239 // Sort
240 Me = this;
241 qsort(List,End - List,sizeof(*List),&OrderCompareA);
281daf46 242
d5081aee
DK
243 if (Debug == true)
244 clog << "** Pass A" << endl;
245 if (DoRun() == false)
246 return false;
5e312de7 247
b2e465d6
AL
248 if (Debug == true)
249 clog << "** Pass B" << endl;
6c139d6e
AL
250 Secondary = 0;
251 if (DoRun() == false)
252 return false;
253
b2e465d6
AL
254 if (Debug == true)
255 clog << "** Pass C" << endl;
6c139d6e
AL
256 LoopCount = 0;
257 RevDepends = 0;
258 Remove = 0; // Otherwise the libreadline remove problem occures
259 if (DoRun() == false)
260 return false;
5e312de7 261
b2e465d6
AL
262 if (Debug == true)
263 clog << "** Pass D" << endl;
6c139d6e 264 LoopCount = 0;
727f18af 265 Primary = &pkgOrderList::DepUnPackPre;
6c139d6e
AL
266 if (DoRun() == false)
267 return false;
268
b2e465d6 269 if (Debug == true)
6c139d6e 270 {
b2e465d6
AL
271 clog << "** Unpack ordering done" << endl;
272
91c03d37 273 for (iterator I = List; I != End; ++I)
b2e465d6
AL
274 {
275 PkgIterator P(Cache,*I);
276 if (IsNow(P) == true)
70ae2409 277 clog << " " << P.FullName() << ' ' << IsMissing(P) << ',' << IsFlag(P,After) << endl;
b2e465d6 278 }
5e312de7 279 }
6c139d6e
AL
280
281 return true;
282}
283 /*}}}*/
284// OrderList::OrderConfigure - Perform configuration ordering /*{{{*/
285// ---------------------------------------------------------------------
286/* This orders by depends only and produces an order which is suitable
287 for configuration */
288bool pkgOrderList::OrderConfigure()
289{
281daf46 290 FileList = 0;
727f18af 291 Primary = &pkgOrderList::DepConfigure;
6c139d6e
AL
292 Secondary = 0;
293 RevDepends = 0;
294 Remove = 0;
295 LoopCount = -1;
296 return DoRun();
297}
298 /*}}}*/
6c139d6e
AL
299// OrderList::Score - Score the package for sorting /*{{{*/
300// ---------------------------------------------------------------------
301/* Higher scores order earlier */
302int pkgOrderList::Score(PkgIterator Pkg)
303{
5e312de7
DK
304 static int const ScoreDelete = _config->FindI("OrderList::Score::Delete", 500);
305
6c139d6e
AL
306 // Removal is always done first
307 if (Cache[Pkg].Delete() == true)
5e312de7
DK
308 return ScoreDelete;
309
281daf46
AL
310 // This should never happen..
311 if (Cache[Pkg].InstVerIter(Cache).end() == true)
312 return -1;
5e312de7
DK
313
314 static int const ScoreEssential = _config->FindI("OrderList::Score::Essential", 200);
315 static int const ScoreImmediate = _config->FindI("OrderList::Score::Immediate", 10);
316 static int const ScorePreDepends = _config->FindI("OrderList::Score::PreDepends", 50);
317
6c139d6e
AL
318 int Score = 0;
319 if ((Pkg->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
5e312de7 320 Score += ScoreEssential;
6c139d6e 321
b2e465d6 322 if (IsFlag(Pkg,Immediate) == true)
5e312de7
DK
323 Score += ScoreImmediate;
324
325 for (DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList();
f7f0d6c7 326 D.end() == false; ++D)
6c139d6e
AL
327 if (D->Type == pkgCache::Dep::PreDepends)
328 {
5e312de7 329 Score += ScorePreDepends;
6c139d6e
AL
330 break;
331 }
5e312de7 332
6c139d6e 333 // Important Required Standard Optional Extra
6c139d6e 334 if (Cache[Pkg].InstVerIter(Cache)->Priority <= 5)
69c2ecbd
DK
335 {
336 signed short PrioMap[] = {0,5,4,3,1,0};
6c139d6e 337 Score += PrioMap[Cache[Pkg].InstVerIter(Cache)->Priority];
69c2ecbd 338 }
6c139d6e
AL
339 return Score;
340}
341 /*}}}*/
342// OrderList::FileCmp - Compare by package file /*{{{*/
343// ---------------------------------------------------------------------
344/* This compares by the package file that the install version is in. */
345int pkgOrderList::FileCmp(PkgIterator A,PkgIterator B)
346{
347 if (Cache[A].Delete() == true && Cache[B].Delete() == true)
348 return 0;
349 if (Cache[A].Delete() == true)
350 return -1;
351 if (Cache[B].Delete() == true)
352 return 1;
353
354 if (Cache[A].InstVerIter(Cache).FileList().end() == true)
355 return -1;
281daf46 356 if (Cache[B].InstVerIter(Cache).FileList().end() == true)
6c139d6e
AL
357 return 1;
358
359 pkgCache::PackageFile *FA = Cache[A].InstVerIter(Cache).FileList().File();
360 pkgCache::PackageFile *FB = Cache[B].InstVerIter(Cache).FileList().File();
361 if (FA < FB)
362 return -1;
363 if (FA > FB)
364 return 1;
365 return 0;
366}
367 /*}}}*/
281daf46
AL
368// BoolCompare - Comparison function for two booleans /*{{{*/
369// ---------------------------------------------------------------------
370/* */
371static int BoolCompare(bool A,bool B)
372{
373 if (A == B)
374 return 0;
375 if (A == false)
376 return -1;
377 return 1;
378}
379 /*}}}*/
6c139d6e
AL
380// OrderList::OrderCompareA - Order the installation by op /*{{{*/
381// ---------------------------------------------------------------------
382/* This provides a first-pass sort of the list and gives a decent starting
383 point for further complete ordering. It is used by OrderUnpack only */
384int pkgOrderList::OrderCompareA(const void *a, const void *b)
385{
386 PkgIterator A(Me->Cache,*(Package **)a);
387 PkgIterator B(Me->Cache,*(Package **)b);
388
281daf46
AL
389 // We order packages with a set state toward the front
390 int Res;
7834cb57 391 if ((Res = BoolCompare(Me->IsNow(A),Me->IsNow(B))) != 0)
281daf46
AL
392 return -1*Res;
393
394 // We order missing files to toward the end
63d3141a 395/* if (Me->FileList != 0)
281daf46 396 {
2fd65468 397 if ((Res = BoolCompare(Me->IsMissing(A),
7834cb57 398 Me->IsMissing(B))) != 0)
2fd65468 399 return Res;
63d3141a 400 }*/
281daf46 401
6c139d6e
AL
402 if (A.State() != pkgCache::PkgIterator::NeedsNothing &&
403 B.State() == pkgCache::PkgIterator::NeedsNothing)
404 return -1;
405
406 if (A.State() == pkgCache::PkgIterator::NeedsNothing &&
407 B.State() != pkgCache::PkgIterator::NeedsNothing)
408 return 1;
409
410 int ScoreA = Me->Score(A);
411 int ScoreB = Me->Score(B);
5e312de7 412
6c139d6e
AL
413 if (ScoreA > ScoreB)
414 return -1;
415
416 if (ScoreA < ScoreB)
417 return 1;
418
419 return strcmp(A.Name(),B.Name());
420}
421 /*}}}*/
422// OrderList::OrderCompareB - Order the installation by source /*{{{*/
423// ---------------------------------------------------------------------
b2e465d6 424/* This orders by installation source. This is useful to handle
6c139d6e
AL
425 inter-source breaks */
426int pkgOrderList::OrderCompareB(const void *a, const void *b)
427{
428 PkgIterator A(Me->Cache,*(Package **)a);
429 PkgIterator B(Me->Cache,*(Package **)b);
430
431 if (A.State() != pkgCache::PkgIterator::NeedsNothing &&
432 B.State() == pkgCache::PkgIterator::NeedsNothing)
433 return -1;
434
435 if (A.State() == pkgCache::PkgIterator::NeedsNothing &&
436 B.State() != pkgCache::PkgIterator::NeedsNothing)
437 return 1;
438
439 int F = Me->FileCmp(A,B);
440 if (F != 0)
441 {
442 if (F > 0)
443 return -1;
444 return 1;
445 }
446
447 int ScoreA = Me->Score(A);
448 int ScoreB = Me->Score(B);
5e312de7 449
6c139d6e
AL
450 if (ScoreA > ScoreB)
451 return -1;
452
453 if (ScoreA < ScoreB)
454 return 1;
455
456 return strcmp(A.Name(),B.Name());
457}
458 /*}}}*/
6c139d6e
AL
459// OrderList::VisitDeps - Visit forward install dependencies /*{{{*/
460// ---------------------------------------------------------------------
461/* This calls the dependency function for the normal forwards dependencies
462 of the package */
463bool pkgOrderList::VisitDeps(DepFunc F,PkgIterator Pkg)
464{
465 if (F == 0 || Pkg.end() == true || Cache[Pkg].InstallVer == 0)
466 return true;
467
468 return (this->*F)(Cache[Pkg].InstVerIter(Cache).DependsList());
469}
470 /*}}}*/
471// OrderList::VisitRDeps - Visit reverse dependencies /*{{{*/
472// ---------------------------------------------------------------------
473/* This calls the dependency function for all of the normal reverse depends
474 of the package */
475bool pkgOrderList::VisitRDeps(DepFunc F,PkgIterator Pkg)
476{
477 if (F == 0 || Pkg.end() == true)
478 return true;
479
480 return (this->*F)(Pkg.RevDependsList());
481}
482 /*}}}*/
483// OrderList::VisitRProvides - Visit provides reverse dependencies /*{{{*/
484// ---------------------------------------------------------------------
485/* This calls the dependency function for all reverse dependencies
486 generated by the provides line on the package. */
487bool pkgOrderList::VisitRProvides(DepFunc F,VerIterator Ver)
488{
489 if (F == 0 || Ver.end() == true)
490 return true;
491
492 bool Res = true;
f7f0d6c7 493 for (PrvIterator P = Ver.ProvidesList(); P.end() == false; ++P)
6c139d6e 494 Res &= (this->*F)(P.ParentPkg().RevDependsList());
92a21ab5 495 return Res;
6c139d6e
AL
496}
497 /*}}}*/
498// OrderList::VisitProvides - Visit all of the providing packages /*{{{*/
499// ---------------------------------------------------------------------
05b64a6f
DK
500/* This routine calls visit on all providing packages.
501
502 If the dependency is negative it first visits packages which are
503 intended to be removed and after that all other packages.
504 It does so to avoid situations in which this package is used to
505 satisfy a (or-group/provides) dependency of another package which
506 could have been satisfied also by upgrading another package -
507 otherwise we have more broken packages dpkg needs to auto-
508 deconfigure and in very complicated situations it even decides
509 against it! */
3fb5f4e4 510bool pkgOrderList::VisitProvides(DepIterator D,bool Critical)
05b64a6f 511{
b2e465d6 512 SPtrArray<Version *> List = D.AllTargets();
05b64a6f 513 for (Version **I = List; *I != 0; ++I)
6c139d6e
AL
514 {
515 VerIterator Ver(Cache,*I);
516 PkgIterator Pkg = Ver.ParentPkg();
25be5a8f 517
05b64a6f
DK
518 if (D.IsNegative() == true && Cache[Pkg].Delete() == false)
519 continue;
520
25be5a8f 521 if (Cache[Pkg].Keep() == true && Pkg.State() == PkgIterator::NeedsNothing)
6c139d6e 522 continue;
05b64a6f 523
359e46db 524 if (D.IsNegative() == false &&
b2e465d6 525 Cache[Pkg].InstallVer != *I)
6c139d6e 526 continue;
05b64a6f 527
359e46db 528 if (D.IsNegative() == true &&
b2e465d6 529 (Version *)Pkg.CurrentVer() != *I)
6c139d6e 530 continue;
05b64a6f 531
3fb5f4e4 532 // Skip over missing files
140fd43f 533 if (Critical == false && IsMissing(D.ParentPkg()) == true)
3fb5f4e4 534 continue;
25be5a8f 535
05b64a6f 536 if (VisitNode(Pkg, "Provides-1") == false)
6c139d6e 537 return false;
6c139d6e 538 }
05b64a6f
DK
539 if (D.IsNegative() == false)
540 return true;
541 for (Version **I = List; *I != 0; ++I)
542 {
543 VerIterator Ver(Cache,*I);
544 PkgIterator Pkg = Ver.ParentPkg();
545
546 if (Cache[Pkg].Delete() == true)
547 continue;
548
549 if (Cache[Pkg].Keep() == true && Pkg.State() == PkgIterator::NeedsNothing)
550 continue;
551
552 if ((Version *)Pkg.CurrentVer() != *I)
553 continue;
554
3fb5f4e4 555 // Skip over missing files
140fd43f 556 if (Critical == false && IsMissing(D.ParentPkg()) == true)
3fb5f4e4 557 continue;
25be5a8f 558
05b64a6f 559 if (VisitNode(Pkg, "Provides-2") == false)
6c139d6e 560 return false;
6c139d6e 561 }
05b64a6f 562
6c139d6e
AL
563 return true;
564}
565 /*}}}*/
566// OrderList::VisitNode - Recursive ordering director /*{{{*/
567// ---------------------------------------------------------------------
568/* This is the core ordering routine. It calls the set dependency
569 consideration functions which then potentialy call this again. Finite
570 depth is achived through the colouring mechinism. */
3b8d1773 571bool pkgOrderList::VisitNode(PkgIterator Pkg, char const* from)
6c139d6e
AL
572{
573 // Looping or irrelevent.
e1b74f61 574 // This should probably trancend not installed packages
6c139d6e
AL
575 if (Pkg.end() == true || IsFlag(Pkg,Added) == true ||
576 IsFlag(Pkg,AddPending) == true || IsFlag(Pkg,InList) == false)
577 return true;
578
b2e465d6
AL
579 if (Debug == true)
580 {
581 for (int j = 0; j != Depth; j++) clog << ' ';
3b8d1773 582 clog << "Visit " << Pkg.FullName() << " from " << from << endl;
b2e465d6
AL
583 }
584
6c139d6e
AL
585 Depth++;
586
587 // Color grey
588 Flag(Pkg,AddPending);
589
590 DepFunc Old = Primary;
591
592 // Perform immedate configuration of the package if so flagged.
727f18af
AL
593 if (IsFlag(Pkg,Immediate) == true && Primary != &pkgOrderList::DepUnPackPre)
594 Primary = &pkgOrderList::DepUnPackPreD;
281daf46
AL
595
596 if (IsNow(Pkg) == true)
6c139d6e 597 {
281daf46
AL
598 bool Res = true;
599 if (Cache[Pkg].Delete() == false)
600 {
601 // Primary
602 Res &= Res && VisitDeps(Primary,Pkg);
603 Res &= Res && VisitRDeps(Primary,Pkg);
604 Res &= Res && VisitRProvides(Primary,Pkg.CurrentVer());
605 Res &= Res && VisitRProvides(Primary,Cache[Pkg].InstVerIter(Cache));
606
607 // RevDep
608 Res &= Res && VisitRDeps(RevDepends,Pkg);
609 Res &= Res && VisitRProvides(RevDepends,Pkg.CurrentVer());
610 Res &= Res && VisitRProvides(RevDepends,Cache[Pkg].InstVerIter(Cache));
611
612 // Secondary
613 Res &= Res && VisitDeps(Secondary,Pkg);
614 Res &= Res && VisitRDeps(Secondary,Pkg);
615 Res &= Res && VisitRProvides(Secondary,Pkg.CurrentVer());
616 Res &= Res && VisitRProvides(Secondary,Cache[Pkg].InstVerIter(Cache));
617 }
618 else
619 {
620 // RevDep
621 Res &= Res && VisitRDeps(Remove,Pkg);
622 Res &= Res && VisitRProvides(Remove,Pkg.CurrentVer());
623 }
6c139d6e 624 }
281daf46 625
6c139d6e
AL
626 if (IsFlag(Pkg,Added) == false)
627 {
628 Flag(Pkg,Added,Added | AddPending);
63d3141a
AL
629 if (IsFlag(Pkg,After) == true)
630 *AfterEnd++ = Pkg;
631 else
632 *End++ = Pkg;
6c139d6e
AL
633 }
634
635 Primary = Old;
636 Depth--;
6c139d6e 637
b2e465d6
AL
638 if (Debug == true)
639 {
640 for (int j = 0; j != Depth; j++) clog << ' ';
70ae2409 641 clog << "Leave " << Pkg.FullName() << ' ' << IsFlag(Pkg,Added) << ',' << IsFlag(Pkg,AddPending) << endl;
b2e465d6
AL
642 }
643
6c139d6e
AL
644 return true;
645}
646 /*}}}*/
6c139d6e
AL
647// OrderList::DepUnPackCrit - Critical UnPacking ordering /*{{{*/
648// ---------------------------------------------------------------------
649/* Critical unpacking ordering strives to satisfy Conflicts: and
650 PreDepends: only. When a prdepends is encountered the Primary
651 DepFunc is changed to be DepUnPackPreD.
652
653 Loops are preprocessed and logged. */
654bool pkgOrderList::DepUnPackCrit(DepIterator D)
655{
f7f0d6c7 656 for (; D.end() == false; ++D)
6c139d6e
AL
657 {
658 if (D.Reverse() == true)
659 {
660 /* Reverse depenanices are only interested in conflicts,
661 predepend breakage is ignored here */
b2e465d6
AL
662 if (D->Type != pkgCache::Dep::Conflicts &&
663 D->Type != pkgCache::Dep::Obsoletes)
6c139d6e
AL
664 continue;
665
666 // Duplication elimination, consider only the current version
667 if (D.ParentPkg().CurrentVer() != D.ParentVer())
668 continue;
669
670 /* For reverse dependencies we wish to check if the
671 dependency is satisifed in the install state. The
672 target package (caller) is going to be in the installed
673 state. */
674 if (CheckDep(D) == true)
675 continue;
676
3b8d1773 677 if (VisitNode(D.ParentPkg(), "UnPackCrit") == false)
6c139d6e
AL
678 return false;
679 }
680 else
681 {
682 /* Forward critical dependencies MUST be correct before the
683 package can be unpacked. */
359e46db 684 if (D.IsNegative() == false &&
b2e465d6 685 D->Type != pkgCache::Dep::PreDepends)
6c139d6e
AL
686 continue;
687
688 /* We wish to check if the dep is okay in the now state of the
689 target package against the install state of this package. */
690 if (CheckDep(D) == true)
691 {
692 /* We want to catch predepends loops with the code below.
693 Conflicts loops that are Dep OK are ignored */
694 if (IsFlag(D.TargetPkg(),AddPending) == false ||
695 D->Type != pkgCache::Dep::PreDepends)
696 continue;
697 }
698
699 // This is the loop detection
700 if (IsFlag(D.TargetPkg(),Added) == true ||
701 IsFlag(D.TargetPkg(),AddPending) == true)
702 {
703 if (IsFlag(D.TargetPkg(),AddPending) == true)
704 AddLoop(D);
705 continue;
706 }
707
708 /* Predepends require a special ordering stage, they must have
709 all dependents installed as well */
710 DepFunc Old = Primary;
711 bool Res = false;
712 if (D->Type == pkgCache::Dep::PreDepends)
727f18af 713 Primary = &pkgOrderList::DepUnPackPreD;
3fb5f4e4 714 Res = VisitProvides(D,true);
6c139d6e
AL
715 Primary = Old;
716 if (Res == false)
717 return false;
718 }
719 }
720 return true;
721}
92fcbfc1 722 /*}}}*/
6c139d6e
AL
723// OrderList::DepUnPackPreD - Critical UnPacking ordering with depends /*{{{*/
724// ---------------------------------------------------------------------
725/* Critical PreDepends (also configure immediate and essential) strives to
726 ensure not only that all conflicts+predepends are met but that this
92fcbfc1 727 package will be immediately configurable when it is unpacked.
6c139d6e
AL
728 Loops are preprocessed and logged. */
729bool pkgOrderList::DepUnPackPreD(DepIterator D)
730{
731 if (D.Reverse() == true)
732 return DepUnPackCrit(D);
733
f7f0d6c7 734 for (; D.end() == false; ++D)
6c139d6e
AL
735 {
736 if (D.IsCritical() == false)
737 continue;
738
739 /* We wish to check if the dep is okay in the now state of the
740 target package against the install state of this package. */
741 if (CheckDep(D) == true)
742 {
743 /* We want to catch predepends loops with the code below.
744 Conflicts loops that are Dep OK are ignored */
745 if (IsFlag(D.TargetPkg(),AddPending) == false ||
746 D->Type != pkgCache::Dep::PreDepends)
747 continue;
748 }
749
750 // This is the loop detection
751 if (IsFlag(D.TargetPkg(),Added) == true ||
752 IsFlag(D.TargetPkg(),AddPending) == true)
753 {
754 if (IsFlag(D.TargetPkg(),AddPending) == true)
755 AddLoop(D);
756 continue;
757 }
758
3fb5f4e4 759 if (VisitProvides(D,true) == false)
6c139d6e
AL
760 return false;
761 }
762 return true;
763}
764 /*}}}*/
765// OrderList::DepUnPackPre - Critical Predepends ordering /*{{{*/
766// ---------------------------------------------------------------------
767/* Critical PreDepends (also configure immediate and essential) strives to
768 ensure not only that all conflicts+predepends are met but that this
769 package will be immediately configurable when it is unpacked.
770
771 Loops are preprocessed and logged. All loops will be fatal. */
772bool pkgOrderList::DepUnPackPre(DepIterator D)
773{
774 if (D.Reverse() == true)
775 return true;
776
f7f0d6c7 777 for (; D.end() == false; ++D)
6c139d6e
AL
778 {
779 /* Only consider the PreDepends or Depends. Depends are only
780 considered at the lowest depth or in the case of immediate
781 configure */
782 if (D->Type != pkgCache::Dep::PreDepends)
783 {
784 if (D->Type == pkgCache::Dep::Depends)
785 {
786 if (Depth == 1 && IsFlag(D.ParentPkg(),Immediate) == false)
787 continue;
788 }
789 else
790 continue;
791 }
b2e465d6 792
6c139d6e
AL
793 /* We wish to check if the dep is okay in the now state of the
794 target package against the install state of this package. */
795 if (CheckDep(D) == true)
796 {
797 /* We want to catch predepends loops with the code below.
798 Conflicts loops that are Dep OK are ignored */
799 if (IsFlag(D.TargetPkg(),AddPending) == false)
800 continue;
801 }
b2e465d6 802
6c139d6e
AL
803 // This is the loop detection
804 if (IsFlag(D.TargetPkg(),Added) == true ||
805 IsFlag(D.TargetPkg(),AddPending) == true)
806 {
807 if (IsFlag(D.TargetPkg(),AddPending) == true)
808 AddLoop(D);
809 continue;
810 }
811
3fb5f4e4 812 if (VisitProvides(D,true) == false)
6c139d6e
AL
813 return false;
814 }
815 return true;
816}
817 /*}}}*/
818// OrderList::DepUnPackDep - Reverse dependency considerations /*{{{*/
819// ---------------------------------------------------------------------
820/* Reverse dependencies are considered to determine if unpacking this
821 package will break any existing dependencies. If so then those
822 packages are ordered before this one so that they are in the
823 UnPacked state.
824
825 The forwards depends loop is designed to bring the packages dependents
826 close to the package. This helps reduce deconfigure time.
827
828 Loops are irrelevent to this. */
829bool pkgOrderList::DepUnPackDep(DepIterator D)
830{
831
f7f0d6c7 832 for (; D.end() == false; ++D)
6c139d6e
AL
833 if (D.IsCritical() == true)
834 {
835 if (D.Reverse() == true)
836 {
837 /* Duplication prevention. We consider rev deps only on
838 the current version, a not installed package
839 cannot break */
840 if (D.ParentPkg()->CurrentVer == 0 ||
841 D.ParentPkg().CurrentVer() != D.ParentVer())
842 continue;
843
844 // The dep will not break so it is irrelevent.
845 if (CheckDep(D) == true)
846 continue;
847
3fb5f4e4
AL
848 // Skip over missing files
849 if (IsMissing(D.ParentPkg()) == true)
850 continue;
851
3b8d1773 852 if (VisitNode(D.ParentPkg(), "UnPackDep-Parent") == false)
6c139d6e
AL
853 return false;
854 }
855 else
308c7d30 856 {
6c139d6e 857 if (D->Type == pkgCache::Dep::Depends)
3fb5f4e4 858 if (VisitProvides(D,false) == false)
6c139d6e 859 return false;
308c7d30
IJ
860
861 if (D->Type == pkgCache::Dep::DpkgBreaks)
862 {
863 if (CheckDep(D) == true)
864 continue;
865
3b8d1773 866 if (VisitNode(D.TargetPkg(), "UnPackDep-Target") == false)
308c7d30
IJ
867 return false;
868 }
869 }
6c139d6e
AL
870 }
871 return true;
872}
873 /*}}}*/
874// OrderList::DepConfigure - Configuration ordering /*{{{*/
875// ---------------------------------------------------------------------
876/* Configuration only ordering orders by the Depends: line only. It
877 orders configuration so that when a package comes to be configured it's
878 dependents are configured.
879
880 Loops are ingored. Depends loop entry points are chaotic. */
881bool pkgOrderList::DepConfigure(DepIterator D)
882{
883 // Never consider reverse configuration dependencies.
884 if (D.Reverse() == true)
885 return true;
886
f7f0d6c7 887 for (; D.end() == false; ++D)
6c139d6e 888 if (D->Type == pkgCache::Dep::Depends)
3fb5f4e4 889 if (VisitProvides(D,false) == false)
6c139d6e
AL
890 return false;
891 return true;
892}
893 /*}}}*/
894// OrderList::DepRemove - Removal ordering /*{{{*/
895// ---------------------------------------------------------------------
896/* Removal visits all reverse depends. It considers if the dependency
897 of the Now state version to see if it is okay with removing this
898 package. This check should always fail, but is provided for symetery
899 with the other critical handlers.
900
901 Loops are preprocessed and logged. Removal loops can also be
902 detected in the critical handler. They are characterized by an
903 old version of A depending on B but the new version of A conflicting
904 with B, thus either A or B must break to install. */
905bool pkgOrderList::DepRemove(DepIterator D)
906{
907 if (D.Reverse() == false)
908 return true;
f7f0d6c7 909 for (; D.end() == false; ++D)
6c139d6e
AL
910 if (D->Type == pkgCache::Dep::Depends || D->Type == pkgCache::Dep::PreDepends)
911 {
912 // Duplication elimination, consider the current version only
913 if (D.ParentPkg().CurrentVer() != D.ParentVer())
914 continue;
915
916 /* We wish to see if the dep on the parent package is okay
966640d8
DK
917 in the removed (install) state of the target pkg. */
918 bool tryFixDeps = false;
6c139d6e
AL
919 if (CheckDep(D) == true)
920 {
921 // We want to catch loops with the code below.
922 if (IsFlag(D.ParentPkg(),AddPending) == false)
923 continue;
924 }
966640d8
DK
925 else
926 tryFixDeps = true;
6c139d6e
AL
927
928 // This is the loop detection
929 if (IsFlag(D.ParentPkg(),Added) == true ||
930 IsFlag(D.ParentPkg(),AddPending) == true)
931 {
932 if (IsFlag(D.ParentPkg(),AddPending) == true)
933 AddLoop(D);
934 continue;
935 }
936
966640d8
DK
937 if (tryFixDeps == true)
938 {
939 for (pkgCache::DepIterator F = D.ParentPkg().CurrentVer().DependsList();
940 F.end() == false; ++F)
941 {
942 if (F->Type != pkgCache::Dep::Depends && F->Type != pkgCache::Dep::PreDepends)
943 continue;
944 // Check the Providers
945 if (F.TargetPkg()->ProvidesList != 0)
946 {
947 pkgCache::PrvIterator Prov = F.TargetPkg().ProvidesList();
948 for (; Prov.end() == false; ++Prov)
949 {
950 pkgCache::PkgIterator const P = Prov.OwnerPkg();
951 if (IsFlag(P, InList) == true &&
952 IsFlag(P, AddPending) == true &&
953 IsFlag(P, Added) == false &&
954 Cache[P].InstallVer == 0)
955 break;
956 }
957 if (Prov.end() == false)
958 for (pkgCache::PrvIterator Prv = F.TargetPkg().ProvidesList();
959 Prv.end() == false; ++Prv)
960 {
961 pkgCache::PkgIterator const P = Prv.OwnerPkg();
962 if (IsFlag(P, InList) == true &&
963 IsFlag(P, AddPending) == false &&
964 Cache[P].InstallVer != 0 &&
3b8d1773 965 VisitNode(P, "Remove-P") == true)
966640d8 966 {
685625bd 967 Flag(P, Immediate);
966640d8
DK
968 tryFixDeps = false;
969 break;
970 }
971 }
972 if (tryFixDeps == false)
973 break;
974 }
975
976 // Check for Or groups
977 if ((F->CompareOp & pkgCache::Dep::Or) != pkgCache::Dep::Or)
978 continue;
979 // Lets see if the package is part of the Or group
980 pkgCache::DepIterator S = F;
981 for (; S.end() == false; ++S)
982 {
983 if (S.TargetPkg() == D.TargetPkg())
984 break;
985 if ((S->CompareOp & pkgCache::Dep::Or) != pkgCache::Dep::Or ||
986 CheckDep(S)) // Or group is satisfied by another package
987 for (;S.end() == false; ++S);
988 }
989 if (S.end() == true)
990 continue;
991 // skip to the end of the or group
992 for (;S.end() == false && (S->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or; ++S);
993 ++S;
994 // The soon to be removed is part of the Or group
995 // start again in the or group and find something which will serve as replacement
996 for (; F.end() == false && F != S; ++F)
997 {
543b0abf
DK
998 if (IsFlag(F.TargetPkg(), InList) == true &&
999 IsFlag(F.TargetPkg(), AddPending) == false &&
1000 Cache[F.TargetPkg()].InstallVer != 0 &&
3b8d1773 1001 VisitNode(F.TargetPkg(), "Remove-Target") == true)
543b0abf
DK
1002 {
1003 Flag(F.TargetPkg(), Immediate);
1004 tryFixDeps = false;
1005 break;
1006 }
1007 else if (F.TargetPkg()->ProvidesList != 0)
1008 {
1009 pkgCache::PrvIterator Prv = F.TargetPkg().ProvidesList();
1010 for (; Prv.end() == false; ++Prv)
1011 {
1012 if (IsFlag(Prv.OwnerPkg(), InList) == true &&
1013 IsFlag(Prv.OwnerPkg(), AddPending) == false &&
1014 Cache[Prv.OwnerPkg()].InstallVer != 0 &&
3b8d1773 1015 VisitNode(Prv.OwnerPkg(), "Remove-Owner") == true)
543b0abf
DK
1016 {
1017 Flag(Prv.OwnerPkg(), Immediate);
1018 tryFixDeps = false;
1019 break;
1020 }
1021 }
1022 if (Prv.end() == false)
1023 break;
1024 }
966640d8
DK
1025 }
1026 if (tryFixDeps == false)
1027 break;
1028 }
1029 }
1030
3fb5f4e4
AL
1031 // Skip over missing files
1032 if (IsMissing(D.ParentPkg()) == true)
1033 continue;
1034
3b8d1773 1035 if (VisitNode(D.ParentPkg(), "Remove-Parent") == false)
6c139d6e
AL
1036 return false;
1037 }
1038
1039 return true;
1040}
1041 /*}}}*/
6c139d6e
AL
1042// OrderList::AddLoop - Add a loop to the loop list /*{{{*/
1043// ---------------------------------------------------------------------
1044/* We record the loops. This is a relic since loop breaking is done
1045 genericaly as part of the safety routines. */
1046bool pkgOrderList::AddLoop(DepIterator D)
1047{
1048 if (LoopCount < 0 || LoopCount >= 20)
1049 return false;
1050
1051 // Skip dups
1052 if (LoopCount != 0)
1053 {
1054 if (Loops[LoopCount - 1].ParentPkg() == D.ParentPkg() ||
1055 Loops[LoopCount - 1].TargetPkg() == D.ParentPkg())
1056 return true;
1057 }
1058
1059 Loops[LoopCount++] = D;
1060
1061 // Mark the packages as being part of a loop.
e2a5ff0c
CB
1062 //Flag(D.TargetPkg(),Loop);
1063 //Flag(D.ParentPkg(),Loop);
e7ecc218
CB
1064 /* This is currently disabled because the Loop flag is being used for
1065 loop management in the package manager. Check the orderlist.h file for more info */
6c139d6e
AL
1066 return true;
1067}
1068 /*}}}*/
1069// OrderList::WipeFlags - Unset the given flags from all packages /*{{{*/
1070// ---------------------------------------------------------------------
1071/* */
1072void pkgOrderList::WipeFlags(unsigned long F)
1073{
b2e465d6 1074 unsigned long Size = Cache.Head().PackageCount;
6c139d6e
AL
1075 for (unsigned long I = 0; I != Size; I++)
1076 Flags[I] &= ~F;
1077}
1078 /*}}}*/
1079// OrderList::CheckDep - Check a dependency for truth /*{{{*/
1080// ---------------------------------------------------------------------
1081/* This performs a complete analysis of the dependency wrt to the
1082 current add list. It returns true if after all events are
1083 performed it is still true. This sort of routine can be approximated
1084 by examining the DepCache, however in convoluted cases of provides
1085 this fails to produce a suitable result. */
1086bool pkgOrderList::CheckDep(DepIterator D)
1087{
b2e465d6 1088 SPtrArray<Version *> List = D.AllTargets();
63d3141a 1089 bool Hit = false;
6c139d6e
AL
1090 for (Version **I = List; *I != 0; I++)
1091 {
1092 VerIterator Ver(Cache,*I);
1093 PkgIterator Pkg = Ver.ParentPkg();
1094
1095 /* The meaning of Added and AddPending is subtle. AddPending is
1096 an indication that the package is looping. Because of the
1097 way ordering works Added means the package will be unpacked
1098 before this one and AddPending means after. It is therefore
1099 correct to ignore AddPending in all cases, but that exposes
63d3141a
AL
1100 reverse-ordering loops which should be ignored. */
1101 if (IsFlag(Pkg,Added) == true ||
6c139d6e
AL
1102 (IsFlag(Pkg,AddPending) == true && D.Reverse() == true))
1103 {
1104 if (Cache[Pkg].InstallVer != *I)
1105 continue;
1106 }
1107 else
1108 if ((Version *)Pkg.CurrentVer() != *I ||
1109 Pkg.State() != PkgIterator::NeedsNothing)
1110 continue;
b2e465d6 1111
6c139d6e
AL
1112 /* Conflicts requires that all versions are not present, depends
1113 just needs one */
359e46db 1114 if (D.IsNegative() == false)
63d3141a 1115 {
cfcdf7fe 1116 // ignore provides by older versions of this package
15657fcc
MV
1117 if (((D.Reverse() == false && Pkg == D.ParentPkg()) ||
1118 (D.Reverse() == true && Pkg == D.TargetPkg())) &&
1119 Cache[Pkg].InstallVer != *I)
1120 continue;
1121
63d3141a
AL
1122 /* Try to find something that does not have the after flag set
1123 if at all possible */
1124 if (IsFlag(Pkg,After) == true)
1125 {
1126 Hit = true;
1127 continue;
1128 }
1129
6c139d6e 1130 return true;
63d3141a 1131 }
6c139d6e 1132 else
63d3141a
AL
1133 {
1134 if (IsFlag(Pkg,After) == true)
1135 Flag(D.ParentPkg(),After);
1136
6c139d6e 1137 return false;
63d3141a 1138 }
6c139d6e 1139 }
63d3141a
AL
1140
1141 // We found a hit, but it had the after flag set
1142 if (Hit == true && D->Type == pkgCache::Dep::PreDepends)
1143 {
1144 Flag(D.ParentPkg(),After);
1145 return true;
1146 }
1147
6c139d6e
AL
1148 /* Conflicts requires that all versions are not present, depends
1149 just needs one */
b2e465d6
AL
1150 if (D->Type == pkgCache::Dep::Conflicts ||
1151 D->Type == pkgCache::Dep::Obsoletes)
6c139d6e
AL
1152 return true;
1153 return false;
1154}
1155 /*}}}*/