dselect/pkgdepcon.cc

   1 /*
   2  * dselect - Debian package maintenance user interface
   3  * pkgdepcon.cc - dependency and conflict resolution
   4  *
   5  * Copyright © 1995 Ian Jackson <ijackson@chiark.greenend.org.uk>
   6  * Copyright © 2008-2014 Guillem Jover <guillem@debian.org>
   7  *
   8  * This is free software; you can redistribute it and/or modify
   9  * it under the terms of the GNU General Public License as published by
  10  * the Free Software Foundation; either version 2 of the License, or
  11  * (at your option) any later version.
  12  *
  13  * This is distributed in the hope that it will be useful,
  14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16  * GNU General Public License for more details.
  17  *
  18  * You should have received a copy of the GNU General Public License
  19  * along with this program.  If not, see <https://www.gnu.org/licenses/>.
  20  */
  21
  22 #include <config.h>
  23 #include <compat.h>
  24
  25 #include <string.h>
  26 #include <stdio.h>
  27
  28 #include <dpkg/dpkg.h>
  29 #include <dpkg/dpkg-db.h>
  30
  31 #include "dselect.h"
  32 #include "pkglist.h"
  33
  34 bool
  35 packagelist::useavailable(pkginfo *pkg)
  36 {
  37   if (pkg->clientdata &&
  38       pkg->clientdata->selected == PKG_WANT_INSTALL &&
  39       pkg_is_informative(pkg, &pkg->available) &&
  40       (!(pkg->status == PKG_STAT_INSTALLED ||
  41          pkg->status == PKG_STAT_TRIGGERSAWAITED ||
  42          pkg->status == PKG_STAT_TRIGGERSPENDING) ||
  43        dpkg_version_compare(&pkg->available.version,
  44                             &pkg->installed.version) > 0))
  45     return true;
  46   else
  47     return false;
  48 }
  49
  50 pkgbin *
  51 packagelist::find_pkgbin(pkginfo *pkg)
  52 {
  53   pkgbin *pkgbin;
  54
  55   pkgbin = useavailable(pkg) ? &pkg->available : &pkg->installed;
  56   debug(dbg_general, "packagelist[%p]::find_pkgbin(%s) useavailable=%d",
  57         this, pkgbin_name(pkg, pkgbin, pnaw_always), useavailable(pkg));
  58
  59   return pkgbin;
  60 }
  61
  62 int packagelist::checkdependers(pkginfo *pkg, int changemade) {
  63   struct deppossi *possi;
  64
  65   for (possi = pkg->set->depended.available; possi; possi = possi->rev_next) {
  66     if (!useavailable(possi->up->up))
  67       continue;
  68     changemade = max(changemade, resolvedepcon(possi->up));
  69   }
  70   for (possi = pkg->set->depended.installed; possi; possi = possi->rev_next) {
  71     if (useavailable(possi->up->up))
  72       continue;
  73     changemade = max(changemade, resolvedepcon(possi->up));
  74   }
  75   return changemade;
  76 }
  77
  78 int packagelist::resolvesuggest() {
  79   // We continually go around looking for things to change, but we may
  80   // only change the ‘suggested’ value if we also increase the ‘priority’
  81   // Return 2 if we made a change due to a Recommended, Depends or Conflicts,
  82   // or 1 if we offered or made a change because of an Optional line.
  83   debug(dbg_general, "packagelist[%p]::resolvesuggest()", this);
  84   int changemade, maxchangemade;
  85   maxchangemade= 0;
  86   for (;;) {
  87     changemade= 0;
  88     int index;
  89     for (index=0; index<nitems; index++) {
  90       if (!table[index]->pkg->set->name)
  91         continue;
  92       debug(dbg_depcon, "packagelist[%p]::resolvesuggest() loop[%i] %s / %d",
  93             this, index, pkg_name(table[index]->pkg, pnaw_always), changemade);
  94       dependency *depends;
  95       for (depends = find_pkgbin(table[index]->pkg)->depends;
  96            depends;
  97            depends= depends->next) {
  98         changemade = max(changemade, resolvedepcon(depends));
  99       }
 100       changemade= checkdependers(table[index]->pkg,changemade);
 101       for (depends = find_pkgbin(table[index]->pkg)->depends;
 102            depends;
 103            depends= depends->next) {
 104         if (depends->type != dep_provides) continue;
 105         changemade = checkdependers(&depends->list->ed->pkg, changemade);
 106       }
 107       debug(dbg_depcon, "packagelist[%p]::resolvesuggest() loop[%i] %s / -> %d",
 108             this, index, pkg_name(table[index]->pkg, pnaw_always), changemade);
 109     }
 110     if (!changemade) break;
 111     maxchangemade = max(maxchangemade, changemade);
 112   }
 113   debug(dbg_general, "packagelist[%p]::resolvesuggest() done; maxchangemade=%d",
 114         this, maxchangemade);
 115   return maxchangemade;
 116 }
 117
 118 static bool
 119 dep_update_best_to_change_stop(perpackagestate *& best, pkginfo *trythis)
 120 {
 121   // There's no point trying to select a pure virtual package.
 122   if (!trythis->clientdata)
 123     return false;
 124
 125   debug(dbg_depcon, "update_best_to_change(best=%s{%d}, test=%s{%d});",
 126         best ? pkg_name(best->pkg, pnaw_always) : "",
 127         best ? best->spriority : -1,
 128         trythis->set->name, trythis->clientdata->spriority);
 129
 130   // If the problem is caused by us deselecting one of these packages
 131   // we should not try to select another one instead.
 132   if (trythis->clientdata->spriority == sp_deselecting)
 133     return true;
 134
 135   // If we haven't found anything yet then this is our best so far.
 136   if (!best) goto yes;
 137
 138   // If only one of the packages is available, use that one
 139   if (!pkg_is_informative(trythis, &trythis->available) &&
 140       pkg_is_informative(best->pkg, &best->pkg->available))
 141     return false;
 142   if (pkg_is_informative(trythis, &trythis->available) &&
 143       !pkg_is_informative(best->pkg, &best->pkg->available))
 144     goto yes;
 145
 146   // Select the package with the lowest priority (ie, the one of whom
 147   // we were least sure we wanted it deselected).
 148   if (trythis->clientdata->spriority > best->spriority)
 149     return false;
 150   if (trythis->clientdata->spriority < best->spriority) goto yes;
 151
 152   // Pick the package with the must fundamental recommendation level.
 153   if (trythis->priority > best->pkg->priority)
 154     return false;
 155   if (trythis->priority < best->pkg->priority) goto yes;
 156
 157   // If we're still unsure we'll change the first one in the list.
 158   return false;
 159
 160  yes:
 161   debug(dbg_depcon, "update_best_to_change(); yes");
 162
 163   best = trythis->clientdata;
 164   return false;
 165 }
 166
 167 int
 168 packagelist::deselect_one_of(pkginfo *per, pkginfo *ped, dependency *dep)
 169 {
 170   perpackagestate *er= per->clientdata;
 171   perpackagestate *ed= ped->clientdata;
 172
 173   if (!er || !would_like_to_install(er->selected,per) ||
 174       !ed || !would_like_to_install(ed->selected,ped)) return 0;
 175
 176   add(dep, dp_must);
 177
 178   er= per->clientdata;  // these can be changed by add
 179   ed= ped->clientdata;
 180
 181   debug(dbg_depcon,
 182         "packagelist[%p]::deselect_one_of(): er %s{%d} ed %s{%d} [%p]",
 183         this, pkg_name(er->pkg, pnaw_always), er->spriority,
 184         pkg_name(ed->pkg, pnaw_always), ed->spriority, dep);
 185
 186   perpackagestate *best;
 187
 188   // Try not keep packages needing reinstallation.
 189   if (per->eflag & PKG_EFLAG_REINSTREQ)
 190     best = ed;
 191   else if (ped->eflag & PKG_EFLAG_REINSTREQ)
 192     best = er;
 193   // We'd rather change the one with the lowest priority.
 194   else if (er->spriority > ed->spriority)
 195     best = ed;
 196   else if (er->spriority < ed->spriority)
 197     best = er;
 198   // ... failing that the one with the highest priority.
 199   else if (er->pkg->priority < ed->pkg->priority)
 200     best = ed;
 201   else if (er->pkg->priority > ed->pkg->priority)
 202     best = er;
 203   // ... failing that, the second.
 204   else
 205     best = ed;
 206
 207   debug(dbg_depcon, "packagelist[%p]::deselect_one_of(): best %s{%d}",
 208         this, pkg_name(best->pkg, pnaw_always), best->spriority);
 209
 210   if (best->spriority >= sp_deselecting) return 0;
 211   best->suggested=
 212     best->pkg->status == PKG_STAT_NOTINSTALLED
 213       ? PKG_WANT_PURGE : PKG_WANT_DEINSTALL; // FIXME: configurable.
 214   best->selected= best->suggested;
 215   best->spriority= sp_deselecting;
 216
 217   return 2;
 218 }
 219
 220 int packagelist::resolvedepcon(dependency *depends) {
 221   perpackagestate *best, *fixbyupgrade;
 222   deppossi *possi, *provider;
 223   bool foundany;
 224   int rc;
 225
 226   if (debug_has_flag(dbg_depcon)) {
 227     varbuf pkg_names;
 228
 229     for (possi = depends->list; possi; possi = possi->next) {
 230       pkg_names(' ');
 231       pkg_names(possi->ed->name);
 232     }
 233
 234     debug(dbg_depcon,
 235           "packagelist[%p]::resolvedepcon([%p] %s --%s-->%s); (ing)->want=%s",
 236           this, depends, pkg_name(depends->up, pnaw_always),
 237           relatestrings[depends->type],
 238           pkg_names.string(), depends->up->clientdata ?
 239           wantstrings[depends->up->clientdata->suggested] : "(no clientdata)");
 240   }
 241
 242   if (!depends->up->clientdata) return 0;
 243
 244   switch (depends->type) {
 245
 246   case dep_provides:
 247   case dep_replaces:
 248     return 0;
 249
 250   case dep_enhances:
 251   case dep_suggests:
 252   case dep_recommends:
 253   case dep_depends:
 254   case dep_predepends:
 255     if (would_like_to_install(depends->up->clientdata->selected,depends->up) <= 0)
 256       return 0;
 257
 258     fixbyupgrade = nullptr;
 259
 260     possi = depends->list;
 261     while (possi && !deppossatisfied(possi, &fixbyupgrade))
 262       possi = possi->next;
 263     debug(dbg_depcon, "packagelist[%p]::resolvedepcon([%p]): depends found %s",
 264           this, depends, possi ? possi->ed->name : "[none]");
 265     if (possi) return 0;
 266
 267     // Ensures all in the recursive list; adds info strings; ups priorities
 268     switch (depends->type) {
 269     case dep_enhances:
 270     case dep_suggests:
 271       rc = add(depends, dp_may);
 272       return rc;
 273     case dep_recommends:
 274       rc = add(depends, dp_should);
 275         break;
 276     default:
 277       rc = add(depends, dp_must);
 278     }
 279
 280     if (fixbyupgrade) {
 281       debug(dbg_depcon,
 282             "packagelist[%p]::resolvedepcon([%p]): fixbyupgrade %s",
 283             this, depends, pkg_name(fixbyupgrade->pkg, pnaw_always));
 284       best= fixbyupgrade;
 285     } else {
 286       best = nullptr;
 287       for (possi= depends->list;
 288            possi;
 289            possi= possi->next) {
 290         foundany = false;
 291         if (possi->ed->pkg.clientdata)
 292           foundany = true;
 293         if (dep_update_best_to_change_stop(best, &possi->ed->pkg))
 294           goto mustdeselect;
 295         for (provider = possi->ed->depended.available;
 296              provider;
 297              provider = provider->rev_next) {
 298           if (provider->up->type != dep_provides) continue;
 299           if (provider->up->up->clientdata)
 300             foundany = true;
 301           if (dep_update_best_to_change_stop(best, provider->up->up)) goto mustdeselect;
 302         }
 303         if (!foundany) addunavailable(possi);
 304       }
 305       if (!best) {
 306         debug(dbg_depcon,
 307               "packagelist[%p]::resolvedepcon([%p]): mustdeselect nobest",
 308               this, depends);
 309         return rc;
 310       }
 311     }
 312     debug(dbg_depcon,
 313           "packagelist[%p]::resolvedepcon([%p]): select best=%s{%d}",
 314           this, depends, pkg_name(best->pkg, pnaw_always), best->spriority);
 315     if (best->spriority >= sp_selecting)
 316       return rc;
 317     /* Always select depends. Only select recommends if we got here because
 318      * of a manually-initiated install request. */
 319     if (depends->type != dep_recommends || manual_install) {
 320       best->selected = best->suggested = PKG_WANT_INSTALL;
 321       best->spriority= sp_selecting;
 322     }
 323     return rc ? 2 : 0;
 324
 325   mustdeselect:
 326     best= depends->up->clientdata;
 327     debug(dbg_depcon,
 328           "packagelist[%p]::resolvedepcon([%p]): mustdeselect best=%s{%d}",
 329           this, depends, pkg_name(best->pkg, pnaw_always), best->spriority);
 330
 331     if (best->spriority >= sp_deselecting)
 332       return rc;
 333     /* Always remove depends, but never remove recommends. */
 334     if (depends->type != dep_recommends) {
 335       best->selected= best->suggested=
 336         best->pkg->status == PKG_STAT_NOTINSTALLED
 337           ? PKG_WANT_PURGE : PKG_WANT_DEINSTALL; // FIXME: configurable
 338       best->spriority= sp_deselecting;
 339     }
 340     return rc ? 2 : 0;
 341
 342   case dep_conflicts:
 343   case dep_breaks:
 344     debug(dbg_depcon, "packagelist[%p]::resolvedepcon([%p]): conflict",
 345           this, depends);
 346
 347     if (would_like_to_install(depends->up->clientdata->selected,depends->up) == 0)
 348       return 0;
 349
 350     debug(dbg_depcon,
 351           "packagelist[%p]::resolvedepcon([%p]): conflict installing 1",
 352           this, depends);
 353
 354     if (!deppossatisfied(depends->list, nullptr))
 355       return 0;
 356
 357     debug(dbg_depcon,
 358           "packagelist[%p]::resolvedepcon([%p]): conflict satisfied - ouch",
 359           this, depends);
 360
 361     if (depends->up->set != depends->list->ed) {
 362       rc = deselect_one_of(depends->up, &depends->list->ed->pkg, depends);
 363       if (rc)
 364         return rc;
 365     }
 366     for (provider = depends->list->ed->depended.available;
 367          provider;
 368          provider = provider->rev_next) {
 369       if (provider->up->type != dep_provides) continue;
 370       if (provider->up->up == depends->up) continue; // conflicts & provides same thing
 371       rc = deselect_one_of(depends->up, provider->up->up, depends);
 372       if (rc)
 373         return rc;
 374     }
 375     debug(dbg_depcon, "packagelist[%p]::resolvedepcon([%p]): no desel",
 376           this, depends);
 377     return 0;
 378
 379   default:
 380     internerr("unknown deptype %d", depends->type);
 381   }
 382   /* never reached, make gcc happy */
 383   return 1;
 384 }
 385
 386 bool
 387 packagelist::deppossatisfied(deppossi *possi, perpackagestate **fixbyupgrade)
 388 {
 389   // ‘satisfied’ here for Conflicts and Breaks means that the
 390   //  restriction is violated ie that the target package is wanted
 391   int would;
 392   pkgwant want = PKG_WANT_PURGE;
 393
 394   if (possi->ed->pkg.clientdata) {
 395     want = possi->ed->pkg.clientdata->selected;
 396     would = would_like_to_install(want, &possi->ed->pkg);
 397   } else {
 398     would= 0;
 399   }
 400
 401   if ((possi->up->type == dep_conflicts || possi->up->type == dep_breaks)
 402       ? possi->up->up->set != possi->ed && would != 0
 403       : would > 0) {
 404     // If it's to be installed or left installed, then either it's of
 405     // the right version, and therefore OK, or a version must have
 406     // been specified, in which case we don't need to look at the rest
 407     // anyway.
 408     if (useavailable(&possi->ed->pkg)) {
 409       if (want != PKG_WANT_INSTALL)
 410         internerr("depossi package is not want-install, is %d", want);
 411       return versionsatisfied(&possi->ed->pkg.available, possi);
 412     } else {
 413       if (versionsatisfied(&possi->ed->pkg.installed, possi))
 414         return true;
 415       if (want == PKG_WANT_HOLD && fixbyupgrade && !*fixbyupgrade &&
 416           versionsatisfied(&possi->ed->pkg.available, possi) &&
 417           dpkg_version_compare(&possi->ed->pkg.available.version,
 418                                &possi->ed->pkg.installed.version) > 1)
 419         *fixbyupgrade = possi->ed->pkg.clientdata;
 420       return false;
 421     }
 422   }
 423
 424   deppossi *provider;
 425
 426   for (provider = possi->ed->depended.installed;
 427        provider;
 428        provider = provider->rev_next) {
 429     if (provider->up->type == dep_provides &&
 430         ((possi->up->type != dep_conflicts && possi->up->type != dep_breaks) ||
 431          provider->up->up->set != possi->up->up->set) &&
 432         provider->up->up->clientdata &&
 433         !useavailable(provider->up->up) &&
 434         would_like_to_install(provider->up->up->clientdata->selected,
 435                               provider->up->up) &&
 436         pkg_virtual_deppossi_satisfied(possi, provider))
 437       return true;
 438   }
 439   for (provider = possi->ed->depended.available;
 440        provider;
 441        provider = provider->rev_next) {
 442     if (provider->up->type != dep_provides ||
 443         ((possi->up->type == dep_conflicts || possi->up->type == dep_breaks) &&
 444          provider->up->up->set == possi->up->up->set) ||
 445         !provider->up->up->clientdata ||
 446         !would_like_to_install(provider->up->up->clientdata->selected,
 447                                provider->up->up) ||
 448         !pkg_virtual_deppossi_satisfied(possi, provider))
 449       continue;
 450     if (useavailable(provider->up->up))
 451       return true;
 452     if (fixbyupgrade && !*fixbyupgrade &&
 453         (!(provider->up->up->status == PKG_STAT_INSTALLED ||
 454            provider->up->up->status == PKG_STAT_TRIGGERSPENDING ||
 455            provider->up->up->status == PKG_STAT_TRIGGERSAWAITED) ||
 456          dpkg_version_compare(&provider->up->up->available.version,
 457                               &provider->up->up->installed.version) > 1))
 458       *fixbyupgrade = provider->up->up->clientdata;
 459   }
 460   return false;
 461 }