]> git.saurik.com Git - apt.git/blob - apt-pkg/depcache.cc
[ABI-Break] remove the PACKAGE_MATCHER_ABI_COMPAT defines
[apt.git] / apt-pkg / depcache.cc
1 // -*- mode: cpp; mode: fold -*-
2 // Description /*{{{*/
3 // $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
4 /* ######################################################################
5
6 Dependency Cache - Caches Dependency information.
7
8 ##################################################################### */
9 /*}}}*/
10 // Include Files /*{{{*/
11 #include<config.h>
12
13 #include <apt-pkg/depcache.h>
14 #include <apt-pkg/version.h>
15 #include <apt-pkg/versionmatch.h>
16 #include <apt-pkg/error.h>
17 #include <apt-pkg/sptr.h>
18 #include <apt-pkg/algorithms.h>
19 #include <apt-pkg/fileutl.h>
20 #include <apt-pkg/strutl.h>
21 #include <apt-pkg/configuration.h>
22 #include <apt-pkg/aptconfiguration.h>
23 #include <apt-pkg/pkgsystem.h>
24 #include <apt-pkg/tagfile.h>
25 #include <apt-pkg/progress.h>
26 #include <apt-pkg/cacheset.h>
27
28 #include <algorithm>
29 #include <iostream>
30 #include <sstream>
31 #include <set>
32
33 #include <sys/stat.h>
34
35 #include <apti18n.h>
36 /*}}}*/
37
38 using std::string;
39
40 // helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
41 static bool
42 ConfigValueInSubTree(const char* SubTree, const char *needle)
43 {
44 Configuration::Item const *Opts;
45 Opts = _config->Tree(SubTree);
46 if (Opts != 0 && Opts->Child != 0)
47 {
48 Opts = Opts->Child;
49 for (; Opts != 0; Opts = Opts->Next)
50 {
51 if (Opts->Value.empty() == true)
52 continue;
53 if (strcmp(needle, Opts->Value.c_str()) == 0)
54 return true;
55 }
56 }
57 return false;
58 }
59 /*}}}*/
60 pkgDepCache::ActionGroup::ActionGroup(pkgDepCache &cache) : /*{{{*/
61 cache(cache), released(false)
62 {
63 ++cache.group_level;
64 }
65
66 void pkgDepCache::ActionGroup::release()
67 {
68 if(!released)
69 {
70 if(cache.group_level == 0)
71 std::cerr << "W: Unbalanced action groups, expect badness" << std::endl;
72 else
73 {
74 --cache.group_level;
75
76 if(cache.group_level == 0)
77 cache.MarkAndSweep();
78 }
79
80 released = true;
81 }
82 }
83
84 pkgDepCache::ActionGroup::~ActionGroup()
85 {
86 release();
87 }
88 /*}}}*/
89 // DepCache::pkgDepCache - Constructors /*{{{*/
90 // ---------------------------------------------------------------------
91 /* */
92 pkgDepCache::pkgDepCache(pkgCache *pCache,Policy *Plcy) :
93 group_level(0), Cache(pCache), PkgState(0), DepState(0)
94 {
95 DebugMarker = _config->FindB("Debug::pkgDepCache::Marker", false);
96 DebugAutoInstall = _config->FindB("Debug::pkgDepCache::AutoInstall", false);
97 delLocalPolicy = 0;
98 LocalPolicy = Plcy;
99 if (LocalPolicy == 0)
100 delLocalPolicy = LocalPolicy = new Policy;
101 }
102 /*}}}*/
103 // DepCache::~pkgDepCache - Destructor /*{{{*/
104 // ---------------------------------------------------------------------
105 /* */
106 pkgDepCache::~pkgDepCache()
107 {
108 delete [] PkgState;
109 delete [] DepState;
110 delete delLocalPolicy;
111 }
112 /*}}}*/
113 // DepCache::Init - Generate the initial extra structures. /*{{{*/
114 // ---------------------------------------------------------------------
115 /* This allocats the extension buffers and initializes them. */
116 bool pkgDepCache::Init(OpProgress *Prog)
117 {
118 // Suppress mark updates during this operation (just in case) and
119 // run a mark operation when Init terminates.
120 ActionGroup actions(*this);
121
122 delete [] PkgState;
123 delete [] DepState;
124 PkgState = new StateCache[Head().PackageCount];
125 DepState = new unsigned char[Head().DependsCount];
126 memset(PkgState,0,sizeof(*PkgState)*Head().PackageCount);
127 memset(DepState,0,sizeof(*DepState)*Head().DependsCount);
128
129 if (Prog != 0)
130 {
131 Prog->OverallProgress(0,2*Head().PackageCount,Head().PackageCount,
132 _("Building dependency tree"));
133 Prog->SubProgress(Head().PackageCount,_("Candidate versions"));
134 }
135
136 /* Set the current state of everything. In this state all of the
137 packages are kept exactly as is. See AllUpgrade */
138 int Done = 0;
139 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
140 {
141 if (Prog != 0 && Done%20 == 0)
142 Prog->Progress(Done);
143
144 // Find the proper cache slot
145 StateCache &State = PkgState[I->ID];
146 State.iFlags = 0;
147
148 // Figure out the install version
149 State.CandidateVer = GetCandidateVer(I);
150 State.InstallVer = I.CurrentVer();
151 State.Mode = ModeKeep;
152
153 State.Update(I,*this);
154 }
155
156 if (Prog != 0)
157 {
158
159 Prog->OverallProgress(Head().PackageCount,2*Head().PackageCount,
160 Head().PackageCount,
161 _("Building dependency tree"));
162 Prog->SubProgress(Head().PackageCount,_("Dependency generation"));
163 }
164
165 Update(Prog);
166
167 if(Prog != 0)
168 Prog->Done();
169
170 return true;
171 }
172 /*}}}*/
173 bool pkgDepCache::readStateFile(OpProgress *Prog) /*{{{*/
174 {
175 FileFd state_file;
176 string const state = _config->FindFile("Dir::State::extended_states");
177 if(RealFileExists(state)) {
178 state_file.Open(state, FileFd::ReadOnly);
179 off_t const file_size = state_file.Size();
180 if(Prog != NULL)
181 Prog->OverallProgress(0, file_size, 1,
182 _("Reading state information"));
183
184 pkgTagFile tagfile(&state_file);
185 pkgTagSection section;
186 off_t amt = 0;
187 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
188 while(tagfile.Step(section)) {
189 string const pkgname = section.FindS("Package");
190 string pkgarch = section.FindS("Architecture");
191 if (pkgarch.empty() == true)
192 pkgarch = "any";
193 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
194 // Silently ignore unknown packages and packages with no actual version.
195 if(pkg.end() == true || pkg->VersionList == 0)
196 continue;
197
198 short const reason = section.FindI("Auto-Installed", 0);
199 if(reason > 0)
200 {
201 PkgState[pkg->ID].Flags |= Flag::Auto;
202 if (unlikely(debug_autoremove))
203 std::clog << "Auto-Installed : " << pkg.FullName() << std::endl;
204 if (pkgarch == "any")
205 {
206 pkgCache::GrpIterator G = pkg.Group();
207 for (pkg = G.NextPkg(pkg); pkg.end() != true; pkg = G.NextPkg(pkg))
208 if (pkg->VersionList != 0)
209 PkgState[pkg->ID].Flags |= Flag::Auto;
210 }
211 }
212 amt += section.size();
213 if(Prog != NULL)
214 Prog->OverallProgress(amt, file_size, 1,
215 _("Reading state information"));
216 }
217 if(Prog != NULL)
218 Prog->OverallProgress(file_size, file_size, 1,
219 _("Reading state information"));
220 }
221
222 return true;
223 }
224 /*}}}*/
225 bool pkgDepCache::writeStateFile(OpProgress *prog, bool InstalledOnly) /*{{{*/
226 {
227 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
228
229 if(debug_autoremove)
230 std::clog << "pkgDepCache::writeStateFile()" << std::endl;
231
232 FileFd StateFile;
233 string const state = _config->FindFile("Dir::State::extended_states");
234
235 // if it does not exist, create a empty one
236 if(!RealFileExists(state))
237 {
238 StateFile.Open(state, FileFd::WriteAtomic);
239 StateFile.Close();
240 }
241
242 // open it
243 if(!StateFile.Open(state, FileFd::ReadOnly))
244 return _error->Error(_("Failed to open StateFile %s"),
245 state.c_str());
246
247 FILE *OutFile;
248 string const outfile = state + ".tmp";
249 if((OutFile = fopen(outfile.c_str(),"w")) == NULL)
250 return _error->Error(_("Failed to write temporary StateFile %s"),
251 outfile.c_str());
252
253 // first merge with the existing sections
254 pkgTagFile tagfile(&StateFile);
255 pkgTagSection section;
256 std::set<string> pkgs_seen;
257 const char *nullreorderlist[] = {0};
258 while(tagfile.Step(section)) {
259 string const pkgname = section.FindS("Package");
260 string pkgarch = section.FindS("Architecture");
261 if (pkgarch.empty() == true)
262 pkgarch = "native";
263 // Silently ignore unknown packages and packages with no actual
264 // version.
265 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
266 if(pkg.end() || pkg.VersionList().end())
267 continue;
268 StateCache const &P = PkgState[pkg->ID];
269 bool newAuto = (P.Flags & Flag::Auto);
270 // skip not installed or now-removed ones if requested
271 if (InstalledOnly && (
272 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
273 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
274 {
275 // The section is obsolete if it contains no other tag
276 unsigned int const count = section.Count();
277 if (count < 2 ||
278 (count == 2 && section.Exists("Auto-Installed")) ||
279 (count == 3 && section.Exists("Auto-Installed") && section.Exists("Architecture")))
280 continue;
281 else
282 newAuto = false;
283 }
284 if(_config->FindB("Debug::pkgAutoRemove",false))
285 std::clog << "Update existing AutoInstall info: "
286 << pkg.FullName() << std::endl;
287 TFRewriteData rewrite[3];
288 rewrite[0].Tag = "Architecture";
289 rewrite[0].Rewrite = pkg.Arch();
290 rewrite[0].NewTag = 0;
291 rewrite[1].Tag = "Auto-Installed";
292 rewrite[1].Rewrite = newAuto ? "1" : "0";
293 rewrite[1].NewTag = 0;
294 rewrite[2].Tag = 0;
295 TFRewrite(OutFile, section, nullreorderlist, rewrite);
296 fprintf(OutFile,"\n");
297 pkgs_seen.insert(pkg.FullName());
298 }
299
300 // then write the ones we have not seen yet
301 std::ostringstream ostr;
302 for(pkgCache::PkgIterator pkg=Cache->PkgBegin(); !pkg.end(); ++pkg) {
303 StateCache const &P = PkgState[pkg->ID];
304 if(P.Flags & Flag::Auto) {
305 if (pkgs_seen.find(pkg.FullName()) != pkgs_seen.end()) {
306 if(debug_autoremove)
307 std::clog << "Skipping already written " << pkg.FullName() << std::endl;
308 continue;
309 }
310 // skip not installed ones if requested
311 if (InstalledOnly && (
312 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
313 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
314 continue;
315 const char* const pkgarch = pkg.Arch();
316 if (strcmp(pkgarch, "all") == 0)
317 continue;
318 if(debug_autoremove)
319 std::clog << "Writing new AutoInstall: " << pkg.FullName() << std::endl;
320 ostr.str(string(""));
321 ostr << "Package: " << pkg.Name()
322 << "\nArchitecture: " << pkgarch
323 << "\nAuto-Installed: 1\n\n";
324 fprintf(OutFile,"%s",ostr.str().c_str());
325 }
326 }
327 fclose(OutFile);
328
329 // move the outfile over the real file and set permissions
330 rename(outfile.c_str(), state.c_str());
331 chmod(state.c_str(), 0644);
332
333 return true;
334 }
335 /*}}}*/
336 // DepCache::CheckDep - Checks a single dependency /*{{{*/
337 // ---------------------------------------------------------------------
338 /* This first checks the dependency against the main target package and
339 then walks along the package provides list and checks if each provides
340 will be installed then checks the provides against the dep. Res will be
341 set to the package which was used to satisfy the dep. */
342 bool pkgDepCache::CheckDep(DepIterator Dep,int Type,PkgIterator &Res)
343 {
344 Res = Dep.TargetPkg();
345
346 /* Check simple depends. A depends -should- never self match but
347 we allow it anyhow because dpkg does. Technically it is a packaging
348 bug. Conflicts may never self match */
349 if (Dep.IsIgnorable(Res) == false)
350 {
351 PkgIterator Pkg = Dep.TargetPkg();
352 // Check the base package
353 if (Type == NowVersion && Pkg->CurrentVer != 0)
354 if (Dep.IsSatisfied(Pkg.CurrentVer()) == true)
355 return true;
356
357 if (Type == InstallVersion && PkgState[Pkg->ID].InstallVer != 0)
358 if (Dep.IsSatisfied(PkgState[Pkg->ID].InstVerIter(*this)) == true)
359 return true;
360
361 if (Type == CandidateVersion && PkgState[Pkg->ID].CandidateVer != 0)
362 if (Dep.IsSatisfied(PkgState[Pkg->ID].CandidateVerIter(*this)) == true)
363 return true;
364 }
365
366 if (Dep->Type == Dep::Obsoletes)
367 return false;
368
369 // Check the providing packages
370 PrvIterator P = Dep.TargetPkg().ProvidesList();
371 for (; P.end() != true; ++P)
372 {
373 if (Dep.IsIgnorable(P) == true)
374 continue;
375
376 // Check if the provides is a hit
377 if (Type == NowVersion)
378 {
379 if (P.OwnerPkg().CurrentVer() != P.OwnerVer())
380 continue;
381 }
382
383 if (Type == InstallVersion)
384 {
385 StateCache &State = PkgState[P.OwnerPkg()->ID];
386 if (State.InstallVer != (Version *)P.OwnerVer())
387 continue;
388 }
389
390 if (Type == CandidateVersion)
391 {
392 StateCache &State = PkgState[P.OwnerPkg()->ID];
393 if (State.CandidateVer != (Version *)P.OwnerVer())
394 continue;
395 }
396
397 // Compare the versions.
398 if (Dep.IsSatisfied(P) == true)
399 {
400 Res = P.OwnerPkg();
401 return true;
402 }
403 }
404
405 return false;
406 }
407 /*}}}*/
408 // DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
409 // ---------------------------------------------------------------------
410 /* Call with Inverse = true to preform the inverse opration */
411 void pkgDepCache::AddSizes(const PkgIterator &Pkg, bool const Inverse)
412 {
413 StateCache &P = PkgState[Pkg->ID];
414
415 if (Pkg->VersionList == 0)
416 return;
417
418 if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
419 P.Keep() == true)
420 return;
421
422 // Compute the size data
423 if (P.NewInstall() == true)
424 {
425 if (Inverse == false) {
426 iUsrSize += P.InstVerIter(*this)->InstalledSize;
427 iDownloadSize += P.InstVerIter(*this)->Size;
428 } else {
429 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
430 iDownloadSize -= P.InstVerIter(*this)->Size;
431 }
432 return;
433 }
434
435 // Upgrading
436 if (Pkg->CurrentVer != 0 &&
437 (P.InstallVer != (Version *)Pkg.CurrentVer() ||
438 (P.iFlags & ReInstall) == ReInstall) && P.InstallVer != 0)
439 {
440 if (Inverse == false) {
441 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
442 iUsrSize += P.InstVerIter(*this)->InstalledSize;
443 iDownloadSize += P.InstVerIter(*this)->Size;
444 } else {
445 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
446 iUsrSize += Pkg.CurrentVer()->InstalledSize;
447 iDownloadSize -= P.InstVerIter(*this)->Size;
448 }
449 return;
450 }
451
452 // Reinstall
453 if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
454 P.Delete() == false)
455 {
456 if (Inverse == false)
457 iDownloadSize += P.InstVerIter(*this)->Size;
458 else
459 iDownloadSize -= P.InstVerIter(*this)->Size;
460 return;
461 }
462
463 // Removing
464 if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
465 {
466 if (Inverse == false)
467 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
468 else
469 iUsrSize += Pkg.CurrentVer()->InstalledSize;
470 return;
471 }
472 }
473 /*}}}*/
474 // DepCache::AddStates - Add the package to the state counter /*{{{*/
475 // ---------------------------------------------------------------------
476 /* This routine is tricky to use, you must make sure that it is never
477 called twice for the same package. This means the Remove/Add section
478 should be as short as possible and not encompass any code that will
479 calld Remove/Add itself. Remember, dependencies can be circular so
480 while processing a dep for Pkg it is possible that Add/Remove
481 will be called on Pkg */
482 void pkgDepCache::AddStates(const PkgIterator &Pkg, bool const Invert)
483 {
484 signed char const Add = (Invert == false) ? 1 : -1;
485 StateCache &State = PkgState[Pkg->ID];
486
487 // The Package is broken (either minimal dep or policy dep)
488 if ((State.DepState & DepInstMin) != DepInstMin)
489 iBrokenCount += Add;
490 if ((State.DepState & DepInstPolicy) != DepInstPolicy)
491 iPolicyBrokenCount += Add;
492
493 // Bad state
494 if (Pkg.State() != PkgIterator::NeedsNothing)
495 iBadCount += Add;
496
497 // Not installed
498 if (Pkg->CurrentVer == 0)
499 {
500 if (State.Mode == ModeDelete &&
501 (State.iFlags & Purge) == Purge && Pkg.Purge() == false)
502 iDelCount += Add;
503
504 if (State.Mode == ModeInstall)
505 iInstCount += Add;
506 return;
507 }
508
509 // Installed, no upgrade
510 if (State.Status == 0)
511 {
512 if (State.Mode == ModeDelete)
513 iDelCount += Add;
514 else
515 if ((State.iFlags & ReInstall) == ReInstall)
516 iInstCount += Add;
517
518 return;
519 }
520
521 // Alll 3 are possible
522 if (State.Mode == ModeDelete)
523 iDelCount += Add;
524 if (State.Mode == ModeKeep)
525 iKeepCount += Add;
526 if (State.Mode == ModeInstall)
527 iInstCount += Add;
528 }
529 /*}}}*/
530 // DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
531 // ---------------------------------------------------------------------
532 /* The or group results are stored in the last item of the or group. This
533 allows easy detection of the state of a whole or'd group. */
534 void pkgDepCache::BuildGroupOrs(VerIterator const &V)
535 {
536 unsigned char Group = 0;
537
538 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
539 {
540 // Build the dependency state.
541 unsigned char &State = DepState[D->ID];
542
543 /* Invert for Conflicts. We have to do this twice to get the
544 right sense for a conflicts group */
545 if (D.IsNegative() == true)
546 State = ~State;
547
548 // Add to the group if we are within an or..
549 State &= 0x7;
550 Group |= State;
551 State |= Group << 3;
552 if ((D->CompareOp & Dep::Or) != Dep::Or)
553 Group = 0;
554
555 // Invert for Conflicts
556 if (D.IsNegative() == true)
557 State = ~State;
558 }
559 }
560 /*}}}*/
561 // DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
562 // ---------------------------------------------------------------------
563 /* This is used to run over a dependency list and determine the dep
564 state of the list, filtering it through both a Min check and a Policy
565 check. The return result will have SetMin/SetPolicy low if a check
566 fails. It uses the DepState cache for it's computations. */
567 unsigned char pkgDepCache::VersionState(DepIterator D,unsigned char Check,
568 unsigned char SetMin,
569 unsigned char SetPolicy)
570 {
571 unsigned char Dep = 0xFF;
572
573 while (D.end() != true)
574 {
575 // Compute a single dependency element (glob or)
576 DepIterator Start = D;
577 unsigned char State = 0;
578 for (bool LastOR = true; D.end() == false && LastOR == true; ++D)
579 {
580 State |= DepState[D->ID];
581 LastOR = (D->CompareOp & Dep::Or) == Dep::Or;
582 }
583
584 // Minimum deps that must be satisfied to have a working package
585 if (Start.IsCritical() == true)
586 if ((State & Check) != Check)
587 Dep &= ~SetMin;
588
589 // Policy deps that must be satisfied to install the package
590 if (IsImportantDep(Start) == true &&
591 (State & Check) != Check)
592 Dep &= ~SetPolicy;
593 }
594
595 return Dep;
596 }
597 /*}}}*/
598 // DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
599 // ---------------------------------------------------------------------
600 /* This is the main dependency computation bit. It computes the 3 main
601 results for a dependencys, Now, Install and Candidate. Callers must
602 invert the result if dealing with conflicts. */
603 unsigned char pkgDepCache::DependencyState(DepIterator &D)
604 {
605 unsigned char State = 0;
606
607 if (CheckDep(D,NowVersion) == true)
608 State |= DepNow;
609 if (CheckDep(D,InstallVersion) == true)
610 State |= DepInstall;
611 if (CheckDep(D,CandidateVersion) == true)
612 State |= DepCVer;
613
614 return State;
615 }
616 /*}}}*/
617 // DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
618 // ---------------------------------------------------------------------
619 /* This determines the combined dependency representation of a package
620 for its two states now and install. This is done by using the pre-generated
621 dependency information. */
622 void pkgDepCache::UpdateVerState(PkgIterator Pkg)
623 {
624 // Empty deps are always true
625 StateCache &State = PkgState[Pkg->ID];
626 State.DepState = 0xFF;
627
628 // Check the Current state
629 if (Pkg->CurrentVer != 0)
630 {
631 DepIterator D = Pkg.CurrentVer().DependsList();
632 State.DepState &= VersionState(D,DepNow,DepNowMin,DepNowPolicy);
633 }
634
635 /* Check the candidate state. We do not compare against the whole as
636 a candidate state but check the candidate version against the
637 install states */
638 if (State.CandidateVer != 0)
639 {
640 DepIterator D = State.CandidateVerIter(*this).DependsList();
641 State.DepState &= VersionState(D,DepInstall,DepCandMin,DepCandPolicy);
642 }
643
644 // Check target state which can only be current or installed
645 if (State.InstallVer != 0)
646 {
647 DepIterator D = State.InstVerIter(*this).DependsList();
648 State.DepState &= VersionState(D,DepInstall,DepInstMin,DepInstPolicy);
649 }
650 }
651 /*}}}*/
652 // DepCache::Update - Figure out all the state information /*{{{*/
653 // ---------------------------------------------------------------------
654 /* This will figure out the state of all the packages and all the
655 dependencies based on the current policy. */
656 void pkgDepCache::Update(OpProgress *Prog)
657 {
658 iUsrSize = 0;
659 iDownloadSize = 0;
660 iDelCount = 0;
661 iInstCount = 0;
662 iKeepCount = 0;
663 iBrokenCount = 0;
664 iBadCount = 0;
665
666 // Perform the depends pass
667 int Done = 0;
668 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
669 {
670 if (Prog != 0 && Done%20 == 0)
671 Prog->Progress(Done);
672 for (VerIterator V = I.VersionList(); V.end() != true; ++V)
673 {
674 unsigned char Group = 0;
675
676 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
677 {
678 // Build the dependency state.
679 unsigned char &State = DepState[D->ID];
680 State = DependencyState(D);
681
682 // Add to the group if we are within an or..
683 Group |= State;
684 State |= Group << 3;
685 if ((D->CompareOp & Dep::Or) != Dep::Or)
686 Group = 0;
687
688 // Invert for Conflicts
689 if (D.IsNegative() == true)
690 State = ~State;
691 }
692 }
693
694 // Compute the package dependency state and size additions
695 AddSizes(I);
696 UpdateVerState(I);
697 AddStates(I);
698 }
699
700 if (Prog != 0)
701 Prog->Progress(Done);
702
703 readStateFile(Prog);
704 }
705 /*}}}*/
706 // DepCache::Update - Update the deps list of a package /*{{{*/
707 // ---------------------------------------------------------------------
708 /* This is a helper for update that only does the dep portion of the scan.
709 It is mainly meant to scan reverse dependencies. */
710 void pkgDepCache::Update(DepIterator D)
711 {
712 // Update the reverse deps
713 for (;D.end() != true; ++D)
714 {
715 unsigned char &State = DepState[D->ID];
716 State = DependencyState(D);
717
718 // Invert for Conflicts
719 if (D.IsNegative() == true)
720 State = ~State;
721
722 RemoveStates(D.ParentPkg());
723 BuildGroupOrs(D.ParentVer());
724 UpdateVerState(D.ParentPkg());
725 AddStates(D.ParentPkg());
726 }
727 }
728 /*}}}*/
729 // DepCache::Update - Update the related deps of a package /*{{{*/
730 // ---------------------------------------------------------------------
731 /* This is called whenever the state of a package changes. It updates
732 all cached dependencies related to this package. */
733 void pkgDepCache::Update(PkgIterator const &Pkg)
734 {
735 // Recompute the dep of the package
736 RemoveStates(Pkg);
737 UpdateVerState(Pkg);
738 AddStates(Pkg);
739
740 // Update the reverse deps
741 Update(Pkg.RevDependsList());
742
743 // Update the provides map for the current ver
744 if (Pkg->CurrentVer != 0)
745 for (PrvIterator P = Pkg.CurrentVer().ProvidesList();
746 P.end() != true; ++P)
747 Update(P.ParentPkg().RevDependsList());
748
749 // Update the provides map for the candidate ver
750 if (PkgState[Pkg->ID].CandidateVer != 0)
751 for (PrvIterator P = PkgState[Pkg->ID].CandidateVerIter(*this).ProvidesList();
752 P.end() != true; ++P)
753 Update(P.ParentPkg().RevDependsList());
754 }
755 /*}}}*/
756 // DepCache::MarkKeep - Put the package in the keep state /*{{{*/
757 // ---------------------------------------------------------------------
758 /* */
759 bool pkgDepCache::MarkKeep(PkgIterator const &Pkg, bool Soft, bool FromUser,
760 unsigned long Depth)
761 {
762 if (IsModeChangeOk(ModeKeep, Pkg, Depth, FromUser) == false)
763 return false;
764
765 /* Reject an attempt to keep a non-source broken installed package, those
766 must be upgraded */
767 if (Pkg.State() == PkgIterator::NeedsUnpack &&
768 Pkg.CurrentVer().Downloadable() == false)
769 return false;
770
771 /* We changed the soft state all the time so the UI is a bit nicer
772 to use */
773 StateCache &P = PkgState[Pkg->ID];
774
775 // Check that it is not already kept
776 if (P.Mode == ModeKeep)
777 return true;
778
779 if (Soft == true)
780 P.iFlags |= AutoKept;
781 else
782 P.iFlags &= ~AutoKept;
783
784 ActionGroup group(*this);
785
786 #if 0 // reseting the autoflag here means we lose the
787 // auto-mark information if a user selects a package for removal
788 // but changes his mind then and sets it for keep again
789 // - this makes sense as default when all Garbage dependencies
790 // are automatically marked for removal (as aptitude does).
791 // setting a package for keep then makes it no longer autoinstalled
792 // for all other use-case this action is rather suprising
793 if(FromUser && !P.Marked)
794 P.Flags &= ~Flag::Auto;
795 #endif
796
797 if (DebugMarker == true)
798 std::clog << OutputInDepth(Depth) << "MarkKeep " << Pkg << " FU=" << FromUser << std::endl;
799
800 RemoveSizes(Pkg);
801 RemoveStates(Pkg);
802
803 P.Mode = ModeKeep;
804 if (Pkg->CurrentVer == 0)
805 P.InstallVer = 0;
806 else
807 P.InstallVer = Pkg.CurrentVer();
808
809 AddStates(Pkg);
810 Update(Pkg);
811 AddSizes(Pkg);
812
813 return true;
814 }
815 /*}}}*/
816 // DepCache::MarkDelete - Put the package in the delete state /*{{{*/
817 // ---------------------------------------------------------------------
818 /* */
819 bool pkgDepCache::MarkDelete(PkgIterator const &Pkg, bool rPurge,
820 unsigned long Depth, bool FromUser)
821 {
822 if (IsModeChangeOk(ModeDelete, Pkg, Depth, FromUser) == false)
823 return false;
824
825 StateCache &P = PkgState[Pkg->ID];
826
827 // Check that it is not already marked for delete
828 if ((P.Mode == ModeDelete || P.InstallVer == 0) &&
829 (Pkg.Purge() == true || rPurge == false))
830 return true;
831
832 // check if we are allowed to remove the package
833 if (IsDeleteOk(Pkg,rPurge,Depth,FromUser) == false)
834 return false;
835
836 P.iFlags &= ~(AutoKept | Purge);
837 if (rPurge == true)
838 P.iFlags |= Purge;
839
840 ActionGroup group(*this);
841
842 if (DebugMarker == true)
843 std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << Pkg << " FU=" << FromUser << std::endl;
844
845 RemoveSizes(Pkg);
846 RemoveStates(Pkg);
847
848 if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
849 P.Mode = ModeKeep;
850 else
851 P.Mode = ModeDelete;
852 P.InstallVer = 0;
853
854 AddStates(Pkg);
855 Update(Pkg);
856 AddSizes(Pkg);
857
858 return true;
859 }
860 /*}}}*/
861 // DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
862 // ---------------------------------------------------------------------
863 /* The default implementation tries to prevent deletion of install requests.
864 dpkg holds are enforced by the private IsModeChangeOk */
865 bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
866 unsigned long Depth, bool FromUser)
867 {
868 return IsDeleteOkProtectInstallRequests(Pkg, rPurge, Depth, FromUser);
869 }
870 bool pkgDepCache::IsDeleteOkProtectInstallRequests(PkgIterator const &Pkg,
871 bool const rPurge, unsigned long const Depth, bool const FromUser)
872 {
873 if (FromUser == false && Pkg->CurrentVer == 0)
874 {
875 StateCache &P = PkgState[Pkg->ID];
876 if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
877 {
878 if (DebugMarker == true)
879 std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << Pkg << std::endl;
880 return false;
881 }
882 }
883 return true;
884 }
885 /*}}}*/
886 // DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
887 // ---------------------------------------------------------------------
888 /* this is used by all Mark methods on the very first line to check sanity
889 and prevents mode changes for packages on hold for example.
890 If you want to check Mode specific stuff you can use the virtual public
891 Is<Mode>Ok methods instead */
892 char const* PrintMode(char const mode)
893 {
894 switch (mode)
895 {
896 case pkgDepCache::ModeInstall: return "Install";
897 case pkgDepCache::ModeKeep: return "Keep";
898 case pkgDepCache::ModeDelete: return "Delete";
899 default: return "UNKNOWN";
900 }
901 }
902 bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
903 unsigned long const Depth, bool const FromUser)
904 {
905 // we are not trying to hard…
906 if (unlikely(Depth > 100))
907 return false;
908
909 // general sanity
910 if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
911 return false;
912
913 // the user is always right
914 if (FromUser == true)
915 return true;
916
917 StateCache &P = PkgState[Pkg->ID];
918 // not changing the mode is obviously also fine as we might want to call
919 // e.g. MarkInstall multiple times with different arguments for the same package
920 if (P.Mode == mode)
921 return true;
922
923 // if previous state was set by user only user can reset it
924 if ((P.iFlags & Protected) == Protected)
925 {
926 if (unlikely(DebugMarker == true))
927 std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
928 << " of " << Pkg << " as its mode (" << PrintMode(P.Mode)
929 << ") is protected" << std::endl;
930 return false;
931 }
932 // enforce dpkg holds
933 else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
934 _config->FindB("APT::Ignore-Hold",false) == false)
935 {
936 if (unlikely(DebugMarker == true))
937 std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
938 << " of " << Pkg << std::endl;
939 return false;
940 }
941
942 return true;
943 }
944 /*}}}*/
945 // DepCache::MarkInstall - Put the package in the install state /*{{{*/
946 // ---------------------------------------------------------------------
947 /* */
948 struct CompareProviders {
949 pkgCache::PkgIterator const Pkg;
950 CompareProviders(pkgCache::DepIterator const &Dep) : Pkg(Dep.TargetPkg()) {};
951 //bool operator() (APT::VersionList::iterator const &AV, APT::VersionList::iterator const &BV)
952 bool operator() (pkgCache::VerIterator const &AV, pkgCache::VerIterator const &BV)
953 {
954 pkgCache::PkgIterator const A = AV.ParentPkg();
955 pkgCache::PkgIterator const B = BV.ParentPkg();
956 // Prefer MA:same packages if other architectures for it are installed
957 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same ||
958 (BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
959 {
960 bool instA = false;
961 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
962 {
963 pkgCache::GrpIterator Grp = A.Group();
964 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
965 if (P->CurrentVer != 0)
966 {
967 instA = true;
968 break;
969 }
970 }
971 bool instB = false;
972 if ((BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
973 {
974 pkgCache::GrpIterator Grp = B.Group();
975 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
976 {
977 if (P->CurrentVer != 0)
978 {
979 instB = true;
980 break;
981 }
982 }
983 }
984 if (instA != instB)
985 return instA == false;
986 }
987 // Prefer packages in the same group as the target; e.g. foo:i386, foo:amd64
988 if (A->Group != B->Group)
989 {
990 if (A->Group == Pkg->Group && B->Group != Pkg->Group)
991 return false;
992 else if (B->Group == Pkg->Group && A->Group != Pkg->Group)
993 return true;
994 }
995 // we like essentials
996 if ((A->Flags & pkgCache::Flag::Essential) != (B->Flags & pkgCache::Flag::Essential))
997 {
998 if ((A->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
999 return false;
1000 else if ((B->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1001 return true;
1002 }
1003 if ((A->Flags & pkgCache::Flag::Important) != (B->Flags & pkgCache::Flag::Important))
1004 {
1005 if ((A->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1006 return false;
1007 else if ((B->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1008 return true;
1009 }
1010 // prefer native architecture
1011 if (strcmp(A.Arch(), B.Arch()) != 0)
1012 {
1013 if (strcmp(A.Arch(), A.Cache()->NativeArch()) == 0)
1014 return false;
1015 else if (strcmp(B.Arch(), B.Cache()->NativeArch()) == 0)
1016 return true;
1017 std::vector<std::string> archs = APT::Configuration::getArchitectures();
1018 for (std::vector<std::string>::const_iterator a = archs.begin(); a != archs.end(); ++a)
1019 if (*a == A.Arch())
1020 return false;
1021 else if (*a == B.Arch())
1022 return true;
1023 }
1024 // higher priority seems like a good idea
1025 if (AV->Priority != BV->Priority)
1026 return AV->Priority > BV->Priority;
1027 // unable to decide…
1028 return A->ID < B->ID;
1029 }
1030 };
1031 bool pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
1032 unsigned long Depth, bool FromUser,
1033 bool ForceImportantDeps)
1034 {
1035 if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
1036 return false;
1037
1038 StateCache &P = PkgState[Pkg->ID];
1039
1040 // See if there is even any possible instalation candidate
1041 if (P.CandidateVer == 0)
1042 return false;
1043
1044 /* Check that it is not already marked for install and that it can be
1045 installed */
1046 if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
1047 (P.Mode == ModeInstall ||
1048 P.CandidateVer == (Version *)Pkg.CurrentVer()))
1049 {
1050 if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
1051 return MarkKeep(Pkg, false, FromUser, Depth+1);
1052 return true;
1053 }
1054
1055 // check if we are allowed to install the package (if we haven't already)
1056 if (P.Mode != ModeInstall || P.InstallVer != P.CandidateVer)
1057 if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
1058 return false;
1059
1060 ActionGroup group(*this);
1061 P.iFlags &= ~AutoKept;
1062
1063 /* Target the candidate version and remove the autoflag. We reset the
1064 autoflag below if this was called recursively. Otherwise the user
1065 should have the ability to de-auto a package by changing its state */
1066 RemoveSizes(Pkg);
1067 RemoveStates(Pkg);
1068
1069 P.Mode = ModeInstall;
1070 P.InstallVer = P.CandidateVer;
1071
1072 if(FromUser)
1073 {
1074 // Set it to manual if it's a new install or already installed,
1075 // but only if its not marked by the autoremover (aptitude depend on this behavior)
1076 // or if we do automatic installation (aptitude never does it)
1077 if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
1078 P.Flags &= ~Flag::Auto;
1079 }
1080 else
1081 {
1082 // Set it to auto if this is a new install.
1083 if(P.Status == 2)
1084 P.Flags |= Flag::Auto;
1085 }
1086 if (P.CandidateVer == (Version *)Pkg.CurrentVer())
1087 P.Mode = ModeKeep;
1088
1089 AddStates(Pkg);
1090 Update(Pkg);
1091 AddSizes(Pkg);
1092
1093 if (AutoInst == false || _config->Find("APT::Solver", "internal") != "internal")
1094 return true;
1095
1096 if (DebugMarker == true)
1097 std::clog << OutputInDepth(Depth) << "MarkInstall " << Pkg << " FU=" << FromUser << std::endl;
1098
1099 DepIterator Dep = P.InstVerIter(*this).DependsList();
1100 for (; Dep.end() != true;)
1101 {
1102 // Grok or groups
1103 DepIterator Start = Dep;
1104 bool Result = true;
1105 unsigned Ors = 0;
1106 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
1107 {
1108 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1109
1110 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1111 Result = false;
1112 }
1113
1114 // Dep is satisfied okay.
1115 if (Result == false)
1116 continue;
1117
1118 /* Check if this dep should be consider for install. If it is a user
1119 defined important dep and we are installed a new package then
1120 it will be installed. Otherwise we only check for important
1121 deps that have changed from the installed version
1122 */
1123 if (IsImportantDep(Start) == false)
1124 continue;
1125
1126 /* If we are in an or group locate the first or that can
1127 succeed. We have already cached this.. */
1128 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1129 ++Start;
1130 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
1131 {
1132 if(DebugAutoInstall == true)
1133 std::clog << OutputInDepth(Depth) << Start << " can't be satisfied!" << std::endl;
1134 if (Start.IsCritical() == false)
1135 continue;
1136 // if the dependency was critical, we can't install it, so remove it again
1137 MarkDelete(Pkg,false,Depth + 1, false);
1138 return false;
1139 }
1140
1141 /* Check if any ImportantDep() (but not Critical) were added
1142 * since we installed the package. Also check for deps that
1143 * were satisfied in the past: for instance, if a version
1144 * restriction in a Recommends was tightened, upgrading the
1145 * package should follow that Recommends rather than causing the
1146 * dependency to be removed. (bug #470115)
1147 */
1148 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1149 {
1150 bool isNewImportantDep = true;
1151 bool isPreviouslySatisfiedImportantDep = false;
1152 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1153 {
1154 //FIXME: Should we handle or-group better here?
1155 // We do not check if the package we look for is part of the same or-group
1156 // we might find while searching, but could that really be a problem?
1157 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1158 Start.TargetPkg() != D.TargetPkg())
1159 continue;
1160
1161 isNewImportantDep = false;
1162
1163 while ((D->CompareOp & Dep::Or) != 0)
1164 ++D;
1165
1166 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1167 if (isPreviouslySatisfiedImportantDep == true)
1168 break;
1169 }
1170
1171 if(isNewImportantDep == true)
1172 {
1173 if (DebugAutoInstall == true)
1174 std::clog << OutputInDepth(Depth) << "new important dependency: "
1175 << Start.TargetPkg().FullName() << std::endl;
1176 }
1177 else if(isPreviouslySatisfiedImportantDep == true)
1178 {
1179 if (DebugAutoInstall == true)
1180 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1181 << Start.TargetPkg().FullName() << std::endl;
1182 }
1183 else
1184 {
1185 if (DebugAutoInstall == true)
1186 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1187 << Start.TargetPkg().FullName() << std::endl;
1188 continue;
1189 }
1190 }
1191
1192 /* This bit is for processing the possibilty of an install/upgrade
1193 fixing the problem for "positive" dependencies */
1194 if (Start.IsNegative() == false && (DepState[Start->ID] & DepCVer) == DepCVer)
1195 {
1196 APT::VersionList verlist;
1197 pkgCache::VerIterator Cand = PkgState[Start.TargetPkg()->ID].CandidateVerIter(*this);
1198 if (Cand.end() == false && Start.IsSatisfied(Cand) == true)
1199 verlist.insert(Cand);
1200 for (PrvIterator Prv = Start.TargetPkg().ProvidesList(); Prv.end() != true; ++Prv)
1201 {
1202 pkgCache::VerIterator V = Prv.OwnerVer();
1203 pkgCache::VerIterator Cand = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1204 if (Cand.end() == true || V != Cand || Start.IsSatisfied(Prv) == false)
1205 continue;
1206 verlist.insert(Cand);
1207 }
1208 CompareProviders comp(Start);
1209
1210 do {
1211 APT::VersionList::iterator InstVer = std::max_element(verlist.begin(), verlist.end(), comp);
1212
1213 if (InstVer == verlist.end())
1214 break;
1215
1216 pkgCache::PkgIterator InstPkg = InstVer.ParentPkg();
1217 if(DebugAutoInstall == true)
1218 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1219 << " as " << Start.DepType() << " of " << Pkg.Name()
1220 << std::endl;
1221 if (MarkInstall(InstPkg, true, Depth + 1, false, ForceImportantDeps) == false)
1222 {
1223 verlist.erase(InstVer);
1224 continue;
1225 }
1226 // now check if we should consider it a automatic dependency or not
1227 if(InstPkg->CurrentVer == 0 && Pkg->Section != 0 && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg.Section()))
1228 {
1229 if(DebugAutoInstall == true)
1230 std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1231 << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
1232 MarkAuto(InstPkg, false);
1233 }
1234 break;
1235 } while(true);
1236 continue;
1237 }
1238 /* Negative dependencies have no or-group
1239 If the dependency isn't versioned, we try if an upgrade might solve the problem.
1240 Otherwise we remove the offender if needed */
1241 else if (Start.IsNegative() == true && Start->Type != pkgCache::Dep::Obsoletes)
1242 {
1243 SPtrArray<Version *> List = Start.AllTargets();
1244 pkgCache::PkgIterator TrgPkg = Start.TargetPkg();
1245 for (Version **I = List; *I != 0; I++)
1246 {
1247 VerIterator Ver(*this,*I);
1248 PkgIterator Pkg = Ver.ParentPkg();
1249
1250 /* The List includes all packages providing this dependency,
1251 even providers which are not installed, so skip them. */
1252 if (PkgState[Pkg->ID].InstallVer == 0)
1253 continue;
1254
1255 if ((Start->Version != 0 || TrgPkg != Pkg) &&
1256 PkgState[Pkg->ID].CandidateVer != PkgState[Pkg->ID].InstallVer &&
1257 PkgState[Pkg->ID].CandidateVer != *I &&
1258 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps) == true)
1259 continue;
1260 else if (Start->Type == pkgCache::Dep::Conflicts ||
1261 Start->Type == pkgCache::Dep::DpkgBreaks)
1262 {
1263 if(DebugAutoInstall == true)
1264 std::clog << OutputInDepth(Depth)
1265 << " Removing: " << Pkg.Name()
1266 << std::endl;
1267 if (MarkDelete(Pkg,false,Depth + 1, false) == false)
1268 break;
1269 }
1270 }
1271 continue;
1272 }
1273 }
1274
1275 return Dep.end() == true;
1276 }
1277 /*}}}*/
1278 // DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
1279 // ---------------------------------------------------------------------
1280 /* The default implementation checks if the installation of an M-A:same
1281 package would lead us into a version-screw and if so forbids it.
1282 dpkg holds are enforced by the private IsModeChangeOk */
1283 bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1284 unsigned long Depth, bool FromUser)
1285 {
1286 return IsInstallOkMultiArchSameVersionSynced(Pkg,AutoInst, Depth, FromUser);
1287 }
1288 bool pkgDepCache::IsInstallOkMultiArchSameVersionSynced(PkgIterator const &Pkg,
1289 bool const AutoInst, unsigned long const Depth, bool const FromUser)
1290 {
1291 if (FromUser == true) // as always: user is always right
1292 return true;
1293
1294 // ignore packages with none-M-A:same candidates
1295 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1296 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer() ||
1297 (CandVer->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
1298 return true;
1299
1300 GrpIterator const Grp = Pkg.Group();
1301 for (PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1302 {
1303 // not installed or version synced: fine by definition
1304 // (simple string-compare as stuff like '1' == '0:1-0' can't happen here)
1305 if (P->CurrentVer == 0 || strcmp(Pkg.CandVersion(), P.CandVersion()) == 0)
1306 continue;
1307 // packages loosing M-A:same can be out-of-sync
1308 VerIterator CV = PkgState[P->ID].CandidateVerIter(*this);
1309 if (unlikely(CV.end() == true) ||
1310 (CV->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
1311 continue;
1312
1313 // not downloadable means the package is obsolete, so allow out-of-sync
1314 if (CV.Downloadable() == false)
1315 continue;
1316
1317 PkgState[Pkg->ID].iFlags |= AutoKept;
1318 if (unlikely(DebugMarker == true))
1319 std::clog << OutputInDepth(Depth) << "Ignore MarkInstall of " << Pkg
1320 << " as its M-A:same siblings are not version-synced" << std::endl;
1321 return false;
1322 }
1323
1324 return true;
1325 }
1326 /*}}}*/
1327 // DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1328 // ---------------------------------------------------------------------
1329 /* */
1330 void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1331 {
1332 if (unlikely(Pkg.end() == true))
1333 return;
1334
1335 APT::PackageList pkglist;
1336 if (Pkg->CurrentVer != 0 &&
1337 (Pkg.CurrentVer()-> MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1338 {
1339 pkgCache::GrpIterator Grp = Pkg.Group();
1340 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1341 {
1342 if (P->CurrentVer != 0)
1343 pkglist.insert(P);
1344 }
1345 }
1346 else
1347 pkglist.insert(Pkg);
1348
1349 ActionGroup group(*this);
1350
1351 for (APT::PackageList::const_iterator Pkg = pkglist.begin(); Pkg != pkglist.end(); ++Pkg)
1352 {
1353 RemoveSizes(Pkg);
1354 RemoveStates(Pkg);
1355
1356 StateCache &P = PkgState[Pkg->ID];
1357 if (To == true)
1358 P.iFlags |= ReInstall;
1359 else
1360 P.iFlags &= ~ReInstall;
1361
1362 AddStates(Pkg);
1363 AddSizes(Pkg);
1364 }
1365 }
1366 /*}}}*/
1367 // DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1368 // ---------------------------------------------------------------------
1369 /* */
1370 void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
1371 {
1372 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1373 StateCache &P = PkgState[Pkg->ID];
1374
1375 if (P.CandidateVer == TargetVer)
1376 return;
1377
1378 ActionGroup group(*this);
1379
1380 RemoveSizes(Pkg);
1381 RemoveStates(Pkg);
1382
1383 if (P.CandidateVer == P.InstallVer && P.Install() == true)
1384 P.InstallVer = (Version *)TargetVer;
1385 P.CandidateVer = (Version *)TargetVer;
1386 P.Update(Pkg,*this);
1387
1388 AddStates(Pkg);
1389 Update(Pkg);
1390 AddSizes(Pkg);
1391
1392 }
1393 /*}}}*/
1394 // DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1395 // ---------------------------------------------------------------------
1396 /* changes the candidate of a package and walks over all its dependencies
1397 to check if it needs to change the candidate of the dependency, too,
1398 to reach a installable versionstate */
1399 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1400 std::string const &TargetRel)
1401 {
1402 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1403 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1404 }
1405 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1406 std::string const &TargetRel,
1407 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1408 {
1409 ActionGroup group(*this);
1410 SetCandidateVersion(TargetVer);
1411
1412 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1413 return true;
1414
1415 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1416 // save the position of the last element we will not undo - if we have to
1417 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1418
1419 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1420 {
1421 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1422 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1423 IsImportantDep(D) == false))
1424 continue;
1425
1426 // walk over an or-group and check if we need to do anything
1427 // for simpilicity no or-group is handled as a or-group including one dependency
1428 pkgCache::DepIterator Start = D;
1429 bool itsFine = false;
1430 for (bool stillOr = true; stillOr == true; ++Start)
1431 {
1432 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1433 pkgCache::PkgIterator const P = Start.TargetPkg();
1434 // virtual packages can't be a solution
1435 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1436 continue;
1437 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1438 // no versioned dependency - but is it installable?
1439 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1440 {
1441 // Check if one of the providers is installable
1442 if (P->ProvidesList != 0)
1443 {
1444 pkgCache::PrvIterator Prv = P.ProvidesList();
1445 for (; Prv.end() == false; ++Prv)
1446 {
1447 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1448 if (C.end() == true || C != Prv.OwnerVer() ||
1449 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1450 continue;
1451 break;
1452 }
1453 if (Prv.end() == true)
1454 continue;
1455 }
1456 // no providers, so check if we have an installable candidate version
1457 else if (Cand.end() == true ||
1458 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1459 continue;
1460 itsFine = true;
1461 break;
1462 }
1463 if (Cand.end() == true)
1464 continue;
1465 // check if the current candidate is enough for the versioned dependency - and installable?
1466 if (Start.IsSatisfied(Cand) == true &&
1467 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1468 {
1469 itsFine = true;
1470 break;
1471 }
1472 }
1473
1474 if (itsFine == true) {
1475 // something in the or-group was fine, skip all other members
1476 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1477 continue;
1478 }
1479
1480 // walk again over the or-group and check each if a candidate switch would help
1481 itsFine = false;
1482 for (bool stillOr = true; stillOr == true; ++D)
1483 {
1484 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1485 // changing candidate will not help if the dependency is not versioned
1486 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1487 {
1488 if (stillOr == true)
1489 continue;
1490 break;
1491 }
1492
1493 pkgCache::VerIterator V;
1494 if (TargetRel == "newest")
1495 V = D.TargetPkg().VersionList();
1496 else
1497 V = Match.Find(D.TargetPkg());
1498
1499 // check if the version from this release could satisfy the dependency
1500 if (V.end() == true || D.IsSatisfied(V) == false)
1501 {
1502 if (stillOr == true)
1503 continue;
1504 break;
1505 }
1506
1507 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1508 if (V == oldCand)
1509 {
1510 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1511 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1512 c != Changed.end(); ++c)
1513 {
1514 if (c->first->ParentPkg != V->ParentPkg)
1515 continue;
1516 itsFine = true;
1517 break;
1518 }
1519 }
1520
1521 if (itsFine == false)
1522 {
1523 // change the candidate
1524 Changed.push_back(make_pair(oldCand, TargetVer));
1525 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1526 {
1527 if (stillOr == false)
1528 break;
1529 // undo the candidate changing
1530 SetCandidateVersion(oldCand);
1531 Changed.pop_back();
1532 continue;
1533 }
1534 itsFine = true;
1535 }
1536
1537 // something in the or-group was fine, skip all other members
1538 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1539 break;
1540 }
1541
1542 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1543 {
1544 // undo all changes which aren't lead to a solution
1545 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1546 c != Changed.end(); ++c)
1547 SetCandidateVersion(c->first);
1548 Changed.erase(newChanged, Changed.end());
1549 return false;
1550 }
1551 }
1552 return true;
1553 }
1554 /*}}}*/
1555 // DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1556 // ---------------------------------------------------------------------
1557 /* */
1558 void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1559 {
1560 StateCache &state = PkgState[Pkg->ID];
1561
1562 ActionGroup group(*this);
1563
1564 if(Auto)
1565 state.Flags |= Flag::Auto;
1566 else
1567 state.Flags &= ~Flag::Auto;
1568 }
1569 /*}}}*/
1570 // StateCache::Update - Compute the various static display things /*{{{*/
1571 // ---------------------------------------------------------------------
1572 /* This is called whenever the Candidate version changes. */
1573 void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1574 {
1575 // Some info
1576 VerIterator Ver = CandidateVerIter(Cache);
1577
1578 // Use a null string or the version string
1579 if (Ver.end() == true)
1580 CandVersion = "";
1581 else
1582 CandVersion = Ver.VerStr();
1583
1584 // Find the current version
1585 CurVersion = "";
1586 if (Pkg->CurrentVer != 0)
1587 CurVersion = Pkg.CurrentVer().VerStr();
1588
1589 // Strip off the epochs for display
1590 CurVersion = StripEpoch(CurVersion);
1591 CandVersion = StripEpoch(CandVersion);
1592
1593 // Figure out if its up or down or equal
1594 Status = Ver.CompareVer(Pkg.CurrentVer());
1595 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1596 Status = 2;
1597 }
1598 /*}}}*/
1599 // StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1600 // ---------------------------------------------------------------------
1601 /* */
1602 const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1603 {
1604 if (Ver == 0)
1605 return 0;
1606
1607 // Strip any epoch
1608 for (const char *I = Ver; *I != 0; I++)
1609 if (*I == ':')
1610 return I + 1;
1611 return Ver;
1612 }
1613 /*}}}*/
1614 // Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
1615 // ---------------------------------------------------------------------
1616 /* The default just returns the highest available version that is not
1617 a source and automatic. */
1618 pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
1619 {
1620 /* Not source/not automatic versions cannot be a candidate version
1621 unless they are already installed */
1622 VerIterator Last(*(pkgCache *)this,0);
1623
1624 for (VerIterator I = Pkg.VersionList(); I.end() == false; ++I)
1625 {
1626 if (Pkg.CurrentVer() == I)
1627 return I;
1628
1629 for (VerFileIterator J = I.FileList(); J.end() == false; ++J)
1630 {
1631 if ((J.File()->Flags & Flag::NotSource) != 0)
1632 continue;
1633
1634 /* Stash the highest version of a not-automatic source, we use it
1635 if there is nothing better */
1636 if ((J.File()->Flags & Flag::NotAutomatic) != 0 ||
1637 (J.File()->Flags & Flag::ButAutomaticUpgrades) != 0)
1638 {
1639 if (Last.end() == true)
1640 Last = I;
1641 continue;
1642 }
1643
1644 return I;
1645 }
1646 }
1647
1648 return Last;
1649 }
1650 /*}}}*/
1651 // Policy::IsImportantDep - True if the dependency is important /*{{{*/
1652 // ---------------------------------------------------------------------
1653 /* */
1654 bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep)
1655 {
1656 if(Dep.IsCritical())
1657 return true;
1658 else if(Dep->Type == pkgCache::Dep::Recommends)
1659 {
1660 if (InstallRecommends)
1661 return true;
1662 // we suport a special mode to only install-recommends for certain
1663 // sections
1664 // FIXME: this is a meant as a temporarly solution until the
1665 // recommends are cleaned up
1666 const char *sec = Dep.ParentVer().Section();
1667 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1668 return true;
1669 }
1670 else if(Dep->Type == pkgCache::Dep::Suggests)
1671 return InstallSuggests;
1672
1673 return false;
1674 }
1675 /*}}}*/
1676 // Policy::GetPriority - Get the priority of the package pin /*{{{*/
1677 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &Pkg)
1678 { return 0; };
1679 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &File)
1680 { return 0; };
1681 /*}}}*/
1682 pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
1683 {
1684 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1685 if(f->wasConstructedSuccessfully())
1686 return f;
1687 else
1688 {
1689 delete f;
1690 return NULL;
1691 }
1692 }
1693 /*}}}*/
1694 bool pkgDepCache::MarkFollowsRecommends()
1695 {
1696 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1697 }
1698
1699 bool pkgDepCache::MarkFollowsSuggests()
1700 {
1701 return _config->FindB("APT::AutoRemove::SuggestsImportant", true);
1702 }
1703
1704 // pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
1705 bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1706 {
1707 if (_config->Find("APT::Solver", "internal") != "internal")
1708 return true;
1709
1710 bool follow_recommends;
1711 bool follow_suggests;
1712 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1713
1714 // init the states
1715 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1716 {
1717 PkgState[p->ID].Marked = false;
1718 PkgState[p->ID].Garbage = false;
1719
1720 // debug output
1721 if(debug_autoremove && PkgState[p->ID].Flags & Flag::Auto)
1722 std::clog << "AutoDep: " << p.FullName() << std::endl;
1723 }
1724
1725 // init vars
1726 follow_recommends = MarkFollowsRecommends();
1727 follow_suggests = MarkFollowsSuggests();
1728
1729
1730
1731 // do the mark part, this is the core bit of the algorithm
1732 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1733 {
1734 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1735 (p->Flags & Flag::Essential) ||
1736 (p->Flags & Flag::Important) ||
1737 userFunc.InRootSet(p) ||
1738 // be nice even then a required package violates the policy (#583517)
1739 // and do the full mark process also for required packages
1740 (p.CurrentVer().end() != true &&
1741 p.CurrentVer()->Priority == pkgCache::State::Required))
1742 {
1743 // the package is installed (and set to keep)
1744 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
1745 MarkPackage(p, p.CurrentVer(),
1746 follow_recommends, follow_suggests);
1747 // the package is to be installed
1748 else if(PkgState[p->ID].Install())
1749 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1750 follow_recommends, follow_suggests);
1751 }
1752 }
1753
1754 return true;
1755 }
1756 /*}}}*/
1757 // MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
1758 void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1759 const pkgCache::VerIterator &ver,
1760 bool const &follow_recommends,
1761 bool const &follow_suggests)
1762 {
1763 pkgDepCache::StateCache &state = PkgState[pkg->ID];
1764
1765 // if we are marked already we are done
1766 if(state.Marked)
1767 return;
1768
1769 VerIterator const currver = pkg.CurrentVer();
1770 VerIterator const instver = state.InstVerIter(*this);
1771
1772 #if 0
1773 VerIterator const candver = state.CandidateVerIter(*this);
1774
1775 // If a package was garbage-collected but is now being marked, we
1776 // should re-select it
1777 // For cases when a pkg is set to upgrade and this trigger the
1778 // removal of a no-longer used dependency. if the pkg is set to
1779 // keep again later it will result in broken deps
1780 if(state.Delete() && state.RemoveReason = Unused)
1781 {
1782 if(ver==candver)
1783 mark_install(pkg, false, false, NULL);
1784 else if(ver==pkg.CurrentVer())
1785 MarkKeep(pkg, false, false);
1786
1787 instver=state.InstVerIter(*this);
1788 }
1789 #endif
1790
1791 // For packages that are not going to be removed, ignore versions
1792 // other than the InstVer. For packages that are going to be
1793 // removed, ignore versions other than the current version.
1794 if(!(ver == instver && !instver.end()) &&
1795 !(ver == currver && instver.end() && !ver.end()))
1796 return;
1797
1798 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
1799
1800 if(debug_autoremove)
1801 {
1802 std::clog << "Marking: " << pkg.FullName();
1803 if(!ver.end())
1804 std::clog << " " << ver.VerStr();
1805 if(!currver.end())
1806 std::clog << ", Curr=" << currver.VerStr();
1807 if(!instver.end())
1808 std::clog << ", Inst=" << instver.VerStr();
1809 std::clog << std::endl;
1810 }
1811
1812 state.Marked=true;
1813
1814 if(ver.end() == true)
1815 return;
1816
1817 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1818 {
1819 if(d->Type == Dep::Depends ||
1820 d->Type == Dep::PreDepends ||
1821 (follow_recommends &&
1822 d->Type == Dep::Recommends) ||
1823 (follow_suggests &&
1824 d->Type == Dep::Suggests))
1825 {
1826 // Try all versions of this package.
1827 for(VerIterator V = d.TargetPkg().VersionList();
1828 !V.end(); ++V)
1829 {
1830 if(d.IsSatisfied(V))
1831 {
1832 if(debug_autoremove)
1833 {
1834 std::clog << "Following dep: " << d.ParentPkg().FullName()
1835 << " " << d.ParentVer().VerStr() << " "
1836 << d.DepType() << " " << d.TargetPkg().FullName();
1837 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1838 {
1839 std::clog << " (" << d.CompType() << " "
1840 << d.TargetVer() << ")";
1841 }
1842 std::clog << std::endl;
1843 }
1844 MarkPackage(V.ParentPkg(), V,
1845 follow_recommends, follow_suggests);
1846 }
1847 }
1848 // Now try virtual packages
1849 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1850 !prv.end(); ++prv)
1851 {
1852 if(d.IsSatisfied(prv))
1853 {
1854 if(debug_autoremove)
1855 {
1856 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1857 << d.ParentVer().VerStr() << " "
1858 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
1859 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1860 {
1861 std::clog << " (" << d.CompType() << " "
1862 << d.TargetVer() << ")";
1863 }
1864 std::clog << ", provided by "
1865 << prv.OwnerPkg().FullName() << " "
1866 << prv.OwnerVer().VerStr()
1867 << std::endl;
1868 }
1869
1870 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1871 follow_recommends, follow_suggests);
1872 }
1873 }
1874 }
1875 }
1876 }
1877 /*}}}*/
1878 bool pkgDepCache::Sweep() /*{{{*/
1879 {
1880 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1881
1882 // do the sweep
1883 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
1884 {
1885 StateCache &state=PkgState[p->ID];
1886
1887 // skip required packages
1888 if (!p.CurrentVer().end() &&
1889 (p.CurrentVer()->Priority == pkgCache::State::Required))
1890 continue;
1891
1892 // if it is not marked and it is installed, it's garbage
1893 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
1894 {
1895 state.Garbage=true;
1896 if(debug_autoremove)
1897 std::clog << "Garbage: " << p.FullName() << std::endl;
1898 }
1899 }
1900
1901 return true;
1902 }
1903 /*}}}*/