X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=src%2Fpool.h;h=08cf1d06a813d83a6ddf7a7c173e00e3d97ea704;hb=1aac48dff40ef592968a18058bad270da65ed847;hp=05013d56642d01b723bef69fd7b4e97c8892b8e6;hpb=18579bb4c39283c45f3a323652d763097f0186de;p=platform%2Fupstream%2Flibsolv.git diff --git a/src/pool.h b/src/pool.h index 05013d5..08cf1d0 100644 --- a/src/pool.h +++ b/src/pool.h @@ -7,19 +7,15 @@ /* * pool.h - * + * */ -#ifndef SATSOLVER_POOL_H -#define SATSOLVER_POOL_H - -#ifdef __cplusplus -extern "C" { -#endif +#ifndef LIBSOLV_POOL_H +#define LIBSOLV_POOL_H #include -#include "satversion.h" +#include "solvversion.h" #include "pooltypes.h" #include "poolid.h" #include "solvable.h" @@ -30,73 +26,74 @@ extern "C" { /* well known ids */ #include "knownid.h" +#ifdef __cplusplus +extern "C" { +#endif + /* well known solvable */ #define SYSTEMSOLVABLE 1 -/* how many strings to maintain (round robin) */ -#define POOL_TMPSPACEBUF 16 - -//----------------------------------------------- +/*----------------------------------------------- */ -struct _Repo; -struct _Repodata; -struct _Repokey; -struct _KeyValue; +struct s_Repokey; +struct s_KeyValue; -typedef struct _Datapos { - struct _Repo *repo; +typedef struct s_Datapos { + Repo *repo; Id solvid; Id repodataid; Id schema; - Id dp; + Id dp; } Datapos; -struct _Pool { + +#ifdef LIBSOLV_INTERNAL + +/* how many strings to maintain (round robin) */ +#define POOL_TMPSPACEBUF 16 + +struct s_Pool_tmpspace { + char *buf[POOL_TMPSPACEBUF]; + int len[POOL_TMPSPACEBUF]; + int n; +}; + +#endif + +struct s_Pool { void *appdata; /* application private pointer */ - struct _Stringpool ss; + Stringpool ss; Reldep *rels; /* table of rels: Id -> Reldep */ int nrels; /* number of unique rels */ - Hashtable relhashtbl; /* hashtable: (name,evr,op)Hash -> Id */ - Hashmask relhashmask; - struct _Repo **repos; - int nrepos; + Repo **repos; + int nrepos; /* repos allocated */ + int urepos; /* repos in use */ - struct _Repo *installed; /* packages considered installed */ + Repo *installed; /* packages considered installed */ Solvable *solvables; - int nsolvables; + int nsolvables; /* solvables allocated */ const char **languages; int nlanguages; - Id *languagecache; - int languagecacheother; - /* flags to tell the library how the installed rpm works */ - int promoteepoch; /* true: missing epoch is replaced by epoch of dependency */ - int obsoleteusesprovides; /* true: obsoletes are matched against provides, not names */ - int implicitobsoleteusesprovides; /* true: implicit obsoletes due to same name are matched against provides, not names */ - int obsoleteusescolors; /* true: obsoletes check arch color */ - int noinstalledobsoletes; /* true: ignore obsoletes of installed packages */ - int novirtualconflicts; /* true: conflicts on names, not on provides */ - int allowselfconflicts; /* true: packages which conflict with itself are installable */ -#ifdef MULTI_SEMANTICS + /* package manager type, deb/rpm */ int disttype; -#endif Id *id2arch; /* map arch ids to scores */ unsigned char *id2color; /* map arch ids to colors */ - Id lastarch; /* last valid entry in id2arch/id2color */ + Id lastarch; /* size of the id2arch/id2color arrays */ Queue vendormap; /* map vendor to vendorclasses mask */ const char **vendorclasses; /* vendor equivalence classes */ /* providers data, as two-step indirect list * whatprovides[Id] -> Offset into whatprovidesdata for name - * whatprovidesdata[Offset] -> ID_NULL-terminated list of solvables providing Id + * whatprovidesdata[Offset] -> 0-terminated list of solvables providing Id */ Offset *whatprovides; /* Offset to providers of a specific name, Id -> Offset */ Offset *whatprovides_rel; /* Offset to providers of a specific relation, Id -> Offset */ @@ -109,51 +106,106 @@ struct _Pool { bitmap for solving. If zero, consider all solvables. */ Map *considered; - Id (*nscallback)(struct _Pool *, void *data, Id name, Id evr); + /* callback for REL_NAMESPACE dependencies handled by the application */ + Id (*nscallback)(Pool *, void *data, Id name, Id evr); void *nscallbackdata; - /* our tmp space string space */ - char *tmpspacebuf[POOL_TMPSPACEBUF]; - int tmpspacelen[POOL_TMPSPACEBUF]; - int tmpspacen; - /* debug mask and callback */ int debugmask; - void (*debugcallback)(struct _Pool *, void *data, int type, const char *str); + void (*debugcallback)(Pool *, void *data, int type, const char *str); void *debugcallbackdata; /* load callback */ - int (*loadcallback)(struct _Pool *, struct _Repodata *, void *); + int (*loadcallback)(Pool *, Repodata *, void *); void *loadcallbackdata; /* search position */ Datapos pos; -}; -#ifdef MULTI_SEMANTICS -# define DISTTYPE_RPM 0 -# define DISTTYPE_DEB 1 -#endif + Queue pooljobs; /* fixed jobs, like USERINSTALLED/MULTIVERSION */ -#define SAT_FATAL (1<<0) -#define SAT_ERROR (1<<1) -#define SAT_WARN (1<<2) -#define SAT_DEBUG_STATS (1<<3) -#define SAT_DEBUG_RULE_CREATION (1<<4) -#define SAT_DEBUG_PROPAGATE (1<<5) -#define SAT_DEBUG_ANALYZE (1<<6) -#define SAT_DEBUG_UNSOLVABLE (1<<7) -#define SAT_DEBUG_SOLUTIONS (1<<8) -#define SAT_DEBUG_POLICY (1<<9) -#define SAT_DEBUG_RESULT (1<<10) -#define SAT_DEBUG_JOB (1<<11) -#define SAT_DEBUG_SCHUBI (1<<12) -#define SAT_DEBUG_SOLVER (1<<13) -#define SAT_DEBUG_TRANSACTION (1<<14) +#ifdef LIBSOLV_INTERNAL + /* flags to tell the library how the installed package manager works */ + int promoteepoch; /* true: missing epoch is replaced by epoch of dependency */ + int havedistepoch; /* true: thr release part in the evr may contain a distepoch suffix */ + int obsoleteusesprovides; /* true: obsoletes are matched against provides, not names */ + int implicitobsoleteusesprovides; /* true: implicit obsoletes due to same name are matched against provides, not names */ + int obsoleteusescolors; /* true: obsoletes check arch color */ + int implicitobsoleteusescolors; /* true: implicit obsoletes check arch color */ + int noinstalledobsoletes; /* true: ignore obsoletes of installed packages */ + int forbidselfconflicts; /* true: packages which conflict with itself are not installable */ + int noobsoletesmultiversion; /* true: obsoletes are ignored for multiversion installs */ + + Id noarchid; /* ARCH_NOARCH, ARCH_ALL, ARCH_ANY, ... */ + + /* hash for rel unification */ + Hashtable relhashtbl; /* hashtable: (name,evr,op)Hash -> Id */ + Hashval relhashmask; + + Id *languagecache; + int languagecacheother; + + /* our tmp space string space */ + struct s_Pool_tmpspace tmpspace; -#define SAT_DEBUG_TO_STDERR (1<<30) + char *errstr; /* last error string */ + int errstra; /* allocated space for errstr */ -//----------------------------------------------- + char *rootdir; + + int (*custom_vendorcheck)(Pool *, Solvable *, Solvable *); + + int addfileprovidesfiltered; /* 1: only use filtered file list for addfileprovides */ + int addedfileprovides; /* true: application called addfileprovides */ + Queue lazywhatprovidesq; /* queue to store old whatprovides offsets */ + int nowhatprovidesaux; /* don't allocate and use the whatprovides aux helper */ + Offset *whatprovidesaux; + Offset whatprovidesauxoff; + Id *whatprovidesauxdata; + Offset whatprovidesauxdataoff; + + int whatprovideswithdisabled; +#endif +}; + +#define DISTTYPE_RPM 0 +#define DISTTYPE_DEB 1 +#define DISTTYPE_ARCH 2 +#define DISTTYPE_HAIKU 3 +#define DISTTYPE_CONDA 4 + +#define SOLV_FATAL (1<<0) +#define SOLV_ERROR (1<<1) +#define SOLV_WARN (1<<2) +#define SOLV_DEBUG_STATS (1<<3) +#define SOLV_DEBUG_RULE_CREATION (1<<4) +#define SOLV_DEBUG_PROPAGATE (1<<5) +#define SOLV_DEBUG_ANALYZE (1<<6) +#define SOLV_DEBUG_UNSOLVABLE (1<<7) +#define SOLV_DEBUG_SOLUTIONS (1<<8) +#define SOLV_DEBUG_POLICY (1<<9) +#define SOLV_DEBUG_RESULT (1<<10) +#define SOLV_DEBUG_JOB (1<<11) +#define SOLV_DEBUG_SOLVER (1<<12) +#define SOLV_DEBUG_TRANSACTION (1<<13) +#define SOLV_DEBUG_WATCHES (1<<14) + +#define SOLV_DEBUG_TO_STDERR (1<<30) + +#define POOL_FLAG_PROMOTEEPOCH 1 +#define POOL_FLAG_FORBIDSELFCONFLICTS 2 +#define POOL_FLAG_OBSOLETEUSESPROVIDES 3 +#define POOL_FLAG_IMPLICITOBSOLETEUSESPROVIDES 4 +#define POOL_FLAG_OBSOLETEUSESCOLORS 5 +#define POOL_FLAG_NOINSTALLEDOBSOLETES 6 +#define POOL_FLAG_HAVEDISTEPOCH 7 +#define POOL_FLAG_NOOBSOLETESMULTIVERSION 8 +#define POOL_FLAG_ADDFILEPROVIDESFILTERED 9 +#define POOL_FLAG_IMPLICITOBSOLETEUSESCOLORS 10 +#define POOL_FLAG_NOWHATPROVIDESAUX 11 +#define POOL_FLAG_WHATPROVIDESWITHDISABLED 12 + +/* ----------------------------------------------- */ /* mark dependencies with relation by setting bit31 */ @@ -173,27 +225,38 @@ struct _Pool { #define REL_NAMESPACE 19 #define REL_ARCH 20 #define REL_FILECONFLICT 21 +#define REL_COND 22 /* OR_NOT */ +#define REL_COMPAT 23 +#define REL_KIND 24 /* for filters only */ +#define REL_MULTIARCH 25 /* debian multiarch annotation */ +#define REL_ELSE 26 /* only as evr part of REL_COND/REL_UNLESS */ +#define REL_ERROR 27 /* parse errors and the like */ +#define REL_WITHOUT 28 +#define REL_UNLESS 29 /* AND_NOT */ +#define REL_CONDA 30 #if !defined(__GNUC__) && !defined(__attribute__) # define __attribute__(x) #endif -/** - * Creates a new pool - */ extern Pool *pool_create(void); -/** - * Delete a pool - */ extern void pool_free(Pool *pool); +extern void pool_freeallrepos(Pool *pool, int reuseids); extern void pool_setdebuglevel(Pool *pool, int level); -#ifdef MULTI_SEMANTICS -extern void pool_setdisttype(Pool *pool, int disttype); -#endif -extern void pool_setvendorclasses(Pool *pool, const char **vendorclasses); +extern int pool_setdisttype(Pool *pool, int disttype); +extern int pool_set_flag(Pool *pool, int flag, int value); +extern int pool_get_flag(Pool *pool, int flag); extern void pool_debug(Pool *pool, int type, const char *format, ...) __attribute__((format(printf, 3, 4))); +extern void pool_setdebugcallback(Pool *pool, void (*debugcallback)(Pool *pool, void *data, int type, const char *str), void *debugcallbackdata); +extern void pool_setdebugmask(Pool *pool, int mask); +extern void pool_setloadcallback(Pool *pool, int (*cb)(Pool *, Repodata *, void *), void *loadcbdata); +extern void pool_setnamespacecallback(Pool *pool, Id (*cb)(Pool *, void *, Id, Id), void *nscbdata); +extern void pool_flush_namespaceproviders(Pool *pool, Id ns, Id evr); + +extern void pool_set_custom_vendorcheck(Pool *pool, int (*vendorcheck)(Pool *, Solvable *, Solvable *)); +extern int (*pool_get_custom_vendorcheck(Pool *pool))(Pool *, Solvable *, Solvable *); extern char *pool_alloctmpspace(Pool *pool, int len); extern void pool_freetmpspace(Pool *pool, const char *space); @@ -201,7 +264,15 @@ extern char *pool_tmpjoin(Pool *pool, const char *str1, const char *str2, const extern char *pool_tmpappend(Pool *pool, const char *str1, const char *str2, const char *str3); extern const char *pool_bin2hex(Pool *pool, const unsigned char *buf, int len); -extern void pool_set_installed(Pool *pool, struct _Repo *repo); +extern void pool_set_installed(Pool *pool, Repo *repo); + +extern int pool_error(Pool *pool, int ret, const char *format, ...) __attribute__((format(printf, 3, 4))); +extern char *pool_errstr(Pool *pool); + +extern void pool_set_rootdir(Pool *pool, const char *rootdir); +extern const char *pool_get_rootdir(Pool *pool); +extern char *pool_prepend_rootdir(Pool *pool, const char *dir); +extern const char *pool_prepend_rootdir_tmp(Pool *pool, const char *dir); /** * Solvable management @@ -214,38 +285,26 @@ static inline Solvable *pool_id2solvable(const Pool *pool, Id p) { return pool->solvables + p; } +static inline Id pool_solvable2id(const Pool *pool, Solvable *s) +{ + return s - pool->solvables; +} -extern const char *solvable2str(Pool *pool, Solvable *s); -static inline const char *solvid2str(Pool *pool, Id p) +extern const char *pool_solvable2str(Pool *pool, Solvable *s); +static inline const char *pool_solvid2str(Pool *pool, Id p) { - return solvable2str(pool, pool->solvables + p); + return pool_solvable2str(pool, pool->solvables + p); } +extern const char *pool_solvidset2str(Pool *pool, Queue *q); void pool_set_languages(Pool *pool, const char **languages, int nlanguages); Id pool_id2langid(Pool *pool, Id id, const char *lang, int create); -Id solvable_lookup_id(Solvable *s, Id keyname); -unsigned int solvable_lookup_num(Solvable *s, Id keyname, unsigned int notfound); -const char *solvable_lookup_str(Solvable *s, Id keyname); -const char *solvable_lookup_str_poollang(Solvable *s, Id keyname); -const char *solvable_lookup_str_lang(Solvable *s, Id keyname, const char *lang, int usebase); -int solvable_lookup_bool(Solvable *s, Id keyname); -int solvable_lookup_void(Solvable *s, Id keyname); -char * solvable_get_location(Solvable *s, unsigned int *medianrp); -const unsigned char *solvable_lookup_bin_checksum(Solvable *s, Id keyname, Id *typep); -const char *solvable_lookup_checksum(Solvable *s, Id keyname, Id *typep); -int solvable_lookup_idarray(Solvable *s, Id keyname, Queue *q); -int solvable_identical(Solvable *s1, Solvable *s2); -Id solvable_selfprovidedep(Solvable *s); - -int solvable_trivial_installable_map(Solvable *s, Map *installedmap, Map *conflictsmap); -int solvable_trivial_installable_repo(Solvable *s, struct _Repo *installed); -int solvable_trivial_installable_queue(Solvable *s, Queue *installed); - -void pool_create_state_maps(Pool *pool, Queue *installed, Map *installedmap, Map *conflictsmap); +int pool_intersect_evrs(Pool *pool, int pflags, Id pevr, int flags, Id evr); +int pool_match_dep(Pool *pool, Id d1, Id d2); +/* semi private, used in pool_match_nevr */ int pool_match_nevr_rel(Pool *pool, Solvable *s, Id d); -int pool_match_dep(Pool *pool, Id d1, Id d2); static inline int pool_match_nevr(Pool *pool, Solvable *s, Id d) { @@ -261,20 +320,27 @@ static inline int pool_match_nevr(Pool *pool, Solvable *s, Id d) */ extern void pool_createwhatprovides(Pool *pool); extern void pool_addfileprovides(Pool *pool); -extern void pool_addfileprovides_ids(Pool *pool, struct _Repo *installed, Id **idp); +extern void pool_addfileprovides_queue(Pool *pool, Queue *idq, Queue *idqinst); extern void pool_freewhatprovides(Pool *pool); extern Id pool_queuetowhatprovides(Pool *pool, Queue *q); +extern Id pool_ids2whatprovides(Pool *pool, Id *ids, int count); +extern Id pool_searchlazywhatprovidesq(Pool *pool, Id d); extern Id pool_addrelproviders(Pool *pool, Id d); static inline Id pool_whatprovides(Pool *pool, Id d) { - Id v; if (!ISRELDEP(d)) - return pool->whatprovides[d]; - v = GETRELID(d); - if (pool->whatprovides_rel[v]) - return pool->whatprovides_rel[v]; + { + if (pool->whatprovides[d]) + return pool->whatprovides[d]; + } + else + { + Id v = GETRELID(d); + if (pool->whatprovides_rel[v]) + return pool->whatprovides_rel[v]; + } return pool_addrelproviders(pool, d); } @@ -284,50 +350,45 @@ static inline Id *pool_whatprovides_ptr(Pool *pool, Id d) return pool->whatprovidesdata + off; } -static inline void pool_setdebugcallback(Pool *pool, void (*debugcallback)(struct _Pool *, void *data, int type, const char *str), void *debugcallbackdata) -{ - pool->debugcallback = debugcallback; - pool->debugcallbackdata = debugcallbackdata; -} - -static inline void pool_setdebugmask(Pool *pool, int mask) -{ - pool->debugmask = mask; -} +void pool_whatmatchesdep(Pool *pool, Id keyname, Id dep, Queue *q, int marker); +void pool_whatcontainsdep(Pool *pool, Id keyname, Id dep, Queue *q, int marker); +void pool_whatmatchessolvable(Pool *pool, Id keyname, Id solvid, Queue *q, int marker); +void pool_set_whatprovides(Pool *pool, Id id, Id providers); -static inline void pool_setloadcallback(Pool *pool, int (*cb)(struct _Pool *, struct _Repodata *, void *), void *loadcbdata) -{ - pool->loadcallback = cb; - pool->loadcallbackdata = loadcbdata; -} /* search the pool. the following filters are available: * p - search just this solvable * key - search only this key * match - key must match this string */ -void pool_search(Pool *pool, Id p, Id key, const char *match, int flags, int (*callback)(void *cbdata, Solvable *s, struct _Repodata *data, struct _Repokey *key, struct _KeyValue *kv), void *cbdata); +void pool_search(Pool *pool, Id p, Id key, const char *match, int flags, int (*callback)(void *cbdata, Solvable *s, Repodata *data, struct s_Repokey *key, struct s_KeyValue *kv), void *cbdata); void pool_clear_pos(Pool *pool); - -typedef struct _DUChanges { - const char *path; - int kbytes; - int files; -} DUChanges; - -void pool_calc_duchanges(Pool *pool, Map *installedmap, DUChanges *mps, int nmps); -int pool_calc_installsizechange(Pool *pool, Map *installedmap); -void pool_trivial_installable(Pool *pool, Map *installedmap, Queue *pkgs, Queue *res); -void pool_trivial_installable_noobsoletesmap(Pool *pool, Map *installedmap, Queue *pkgs, Queue *res, Map *noobsoletesmap); - +/* lookup functions */ const char *pool_lookup_str(Pool *pool, Id entry, Id keyname); Id pool_lookup_id(Pool *pool, Id entry, Id keyname); -unsigned int pool_lookup_num(Pool *pool, Id entry, Id keyname, unsigned int notfound); +unsigned long long pool_lookup_num(Pool *pool, Id entry, Id keyname, unsigned long long notfound); int pool_lookup_void(Pool *pool, Id entry, Id keyname); const unsigned char *pool_lookup_bin_checksum(Pool *pool, Id entry, Id keyname, Id *typep); +int pool_lookup_idarray(Pool *pool, Id entry, Id keyname, Queue *q); const char *pool_lookup_checksum(Pool *pool, Id entry, Id keyname, Id *typep); +const char *pool_lookup_deltalocation(Pool *pool, Id entry, unsigned int *medianrp); + + +#define DUCHANGES_ONLYADD 1 + +typedef struct s_DUChanges { + const char *path; + long long kbytes; + long long files; + int flags; +} DUChanges; + + +void pool_create_state_maps(Pool *pool, Queue *installed, Map *installedmap, Map *conflictsmap); +void pool_calc_duchanges(Pool *pool, Map *installedmap, DUChanges *mps, int nmps); +long long pool_calc_installsizechange(Pool *pool, Map *installedmap); void pool_add_fileconflicts_deps(Pool *pool, Queue *conflicts); @@ -338,18 +399,28 @@ void pool_add_fileconflicts_deps(Pool *pool, Queue *conflicts); for (vp = pool_whatprovides(pool, d) ; (v = pool->whatprovidesdata[vp++]) != 0; ) /* loop over all repositories */ -/* note that idx is not the repoid */ -#define FOR_REPOS(idx, r) \ - for (idx = 0; idx < pool->nrepos; idx++) \ - if ((r = pool->repos[idx]) != 0) - +#define FOR_REPOS(repoid, r) \ + for (repoid = 1; repoid < pool->nrepos; repoid++) \ + if ((r = pool->repos[repoid]) == 0) \ + continue; \ + else + +#define FOR_POOL_SOLVABLES(p) \ + for (p = 2; p < pool->nsolvables; p++) \ + if (pool->solvables[p].repo == 0) \ + continue; \ + else #define POOL_DEBUG(type, ...) do {if ((pool->debugmask & (type)) != 0) pool_debug(pool, (type), __VA_ARGS__);} while (0) #define IF_POOLDEBUG(type) if ((pool->debugmask & (type)) != 0) +/* weird suse stuff */ +void pool_trivial_installable_multiversionmap(Pool *pool, Map *installedmap, Queue *pkgs, Queue *res, Map *multiversionmap); +void pool_trivial_installable(Pool *pool, Map *installedmap, Queue *pkgs, Queue *res); + #ifdef __cplusplus } #endif -#endif /* SATSOLVER_POOL_H */ +#endif /* LIBSOLV_POOL_H */