jaiden
/
apk-tools
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

solver: optimize backjumping 

to be functional when backtracking
cute-signatures
Timo Teräs 2012-10-08 12:25:43 +03:00
parent 831bce5cf9
commit 01d0e4c408
2 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/apk_package.h
View File

@ -60,7 +60,8 @@ struct apk_sign_ctx {
struct apk_dependency {
struct apk_name *name;
apk_blob_t *version;
unsigned short repository_tag;
unsigned solver_state : 22;
unsigned repository_tag : 6;
unsigned conflict : 1;
unsigned result_mask : 3;
};

14
src/solver.c
View File

@ -1029,8 +1029,10 @@ static void apply_constraint(struct apk_solver_state *ss, struct apk_dependency
}
}
if (name->ss.last_touched_decision == 0 || changed)
if (name->ss.last_touched_decision == 0 || changed) {
dep->solver_state = name->ss.last_touched_decision;
name->ss.last_touched_decision = ss->num_decisions;
}
if (!dep->conflict) {
dbg_printf("%s requirers += %d\n", name->name, strength);
@ -1099,12 +1101,10 @@ static void undo_constraint(struct apk_solver_state *ss, struct apk_dependency *
}
}
/* note: for perfection, we should revert here to the
* *previous* value, but that'd require keeping track
* of it which would require dynamic memory allocations
* or additional solver state field in apk_dependency
* to store it (or hefty recalculations). */
name->ss.last_touched_decision = 0;
if (dep->solver_state) {
name->ss.last_touched_decision = dep->solver_state;
dep->solver_state = 0;
}
if (!dep->conflict) {
name->ss.requirers -= strength;