summaryrefslogtreecommitdiff
path: root/src/solver.c
diff options
context:
space:
mode:
authorTimo Teräs <timo.teras@iki.fi>2012-02-24 11:13:31 +0200
committerTimo Teräs <timo.teras@iki.fi>2012-02-24 11:13:31 +0200
commitd420d4114863fadc6458b489cff32b3d3ab61349 (patch)
tree2963f3bcffe7659ddc0b251cff604bb94be8b53a /src/solver.c
parente128c95fdfe8293c8838551249c7dec20aa91818 (diff)
downloadapk-tools-d420d4114863fadc6458b489cff32b3d3ab61349.tar.gz
apk-tools-d420d4114863fadc6458b489cff32b3d3ab61349.tar.bz2
apk-tools-d420d4114863fadc6458b489cff32b3d3ab61349.tar.xz
apk-tools-d420d4114863fadc6458b489cff32b3d3ab61349.zip
solver: non preferred actions are worse then non preferred pinning
Otherwise we might start to change packages unexpectedly when not upgrading. This also fixes some other things the solver might've decided to do. Add also few test cases to detect bad behaviour.
Diffstat (limited to 'src/solver.c')
-rw-r--r--src/solver.c22
1 files changed, 16 insertions, 6 deletions
diff --git a/src/solver.c b/src/solver.c
index d12ecff..f8bd4fd 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -39,11 +39,13 @@ struct apk_score {
struct {
#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
unsigned short preference;
+ unsigned short non_preferred_pinnings;
unsigned short non_preferred_actions;
- unsigned int conflicts;
+ unsigned short conflicts;
#elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
- unsigned int conflicts;
+ unsigned short conflicts;
unsigned short non_preferred_actions;
+ unsigned short non_preferred_pinnings;
unsigned short preference;
#else
#error Unknown endianess.
@@ -53,8 +55,8 @@ struct apk_score {
};
};
-#define SCORE_FMT "{%d/%d/%d}"
-#define SCORE_PRINTF(s) (s)->conflicts, (s)->non_preferred_actions, (s)->preference
+#define SCORE_FMT "{%d/%d/%d,%d}"
+#define SCORE_PRINTF(s) (s)->conflicts, (s)->non_preferred_actions, (s)->non_preferred_pinnings, (s)->preference
enum {
DECISION_ASSIGN = 0,
@@ -382,13 +384,21 @@ static int get_topology_score(
preferred_repos = get_pinning_mask_repos(ss->db, preferred_pinning);
if (!(repos & preferred_repos))
- score.non_preferred_actions++;
+ score.non_preferred_pinnings++;
if (ns->locked || (ns->allowed_pinning | ns->maybe_pinning) == ns->allowed_pinning) {
allowed_pinning = ns->allowed_pinning | preferred_pinning | APK_DEFAULT_PINNING_MASK;
allowed_repos = get_pinning_mask_repos(ss->db, allowed_pinning);
if (!(repos & allowed_repos))
- score.non_preferred_actions+=2;
+ score.non_preferred_pinnings += 16;
+
+#if 0
+ if (allowed_pinning & ~APK_DEFAULT_PINNING_MASK)
+ fprintf(stdout, PKG_VER_FMT": allow: %x, in: %x, reallyin: %x. score="SCORE_FMT"\n",
+ PKG_VER_PRINTF(pkg),
+ allowed_repos, repos, pkg->repos,
+ SCORE_PRINTF(&score));
+#endif
} else {
score_locked = FALSE;
}