2 * Copyright (c) 2007, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
11 * Add a repo in solv format
22 #include "repo_solv.h"
28 #include "poolid_private.h" /* WHATPROVIDES_BLOCK */
30 #define INTERESTED_START SOLVABLE_NAME
31 #define INTERESTED_END SOLVABLE_ENHANCES
33 #define SOLV_ERROR_NOT_SOLV 1
34 #define SOLV_ERROR_UNSUPPORTED 2
35 #define SOLV_ERROR_EOF 3
36 #define SOLV_ERROR_ID_RANGE 4
37 #define SOLV_ERROR_OVERFLOW 5
38 #define SOLV_ERROR_CORRUPT 6
42 /*******************************************************************************
43 * functions to extract data from a file handle
51 read_u32(Repodata *data)
58 for (i = 0; i < 4; i++)
63 data->error = pool_error(data->repo->pool, SOLV_ERROR_EOF, "unexpected EOF");
77 read_u8(Repodata *data)
86 data->error = pool_error(data->repo->pool, SOLV_ERROR_EOF, "unexpected EOF");
98 read_id(Repodata *data, Id max)
105 for (i = 0; i < 5; i++)
110 data->error = pool_error(data->repo->pool, SOLV_ERROR_EOF, "unexpected EOF");
116 if (max && x >= (unsigned int)max)
118 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "read_id: id too large (%u/%u)", x, max);
123 x = (x << 7) ^ c ^ 128;
125 data->error = pool_error(data->repo->pool, SOLV_ERROR_CORRUPT, "read_id: id too long");
131 read_idarray(Repodata *data, Id max, Id *map, Id *store, Id *end)
143 data->error = pool_error(data->repo->pool, SOLV_ERROR_EOF, "unexpected EOF");
148 x = (x << 7) ^ c ^ 128;
151 x = (x << 6) | (c & 63);
152 if (max && x >= (unsigned int)max)
154 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "read_idarray: id too large (%u/%u)", x, max);
161 data->error = pool_error(data->repo->pool, SOLV_ERROR_OVERFLOW, "read_idarray: array overflow");
167 if (x == 0) /* already have trailing zero? */
171 data->error = pool_error(data->repo->pool, SOLV_ERROR_OVERFLOW, "read_idarray: array overflow");
182 /*******************************************************************************
183 * functions to extract data from memory
190 static inline unsigned char *
191 data_read_id_max(unsigned char *dp, Id *ret, Id *map, int max, Repodata *data)
194 dp = data_read_id(dp, &x);
195 if (x < 0 || (max && x >= max))
197 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "data_read_id_max: id too large (%u/%u)", x, max);
200 *ret = map ? map[x] : x;
204 static unsigned char *
205 data_read_idarray(unsigned char *dp, Id **storep, Id *map, int max, Repodata *data)
216 x = (x << 7) ^ c ^ 128;
219 x = (x << 6) | (c & 63);
220 if (max && x >= (unsigned int)max)
222 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "data_read_idarray: id too large (%u/%u)", x, max);
223 data->error = SOLV_ERROR_ID_RANGE;
226 *store++ = map ? map[x] : x;
236 static unsigned char *
237 data_read_rel_idarray(unsigned char *dp, Id **storep, Id *map, int max, Repodata *data, Id marker)
249 x = (x << 7) ^ c ^ 128;
252 x = (x << 6) | (c & 63);
264 if (max && x >= (unsigned int)max)
266 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "data_read_rel_idarray: id too large (%u/%u)", x, max);
269 *store++ = map ? map[x] : x;
282 /*******************************************************************************
283 * functions to add data to our incore memory space
286 #define INCORE_ADD_CHUNK 8192
287 #define DATA_READ_CHUNK 8192
290 incore_add_id(Repodata *data, Id sx)
292 unsigned int x = (unsigned int)sx;
294 /* make sure we have at least 5 bytes free */
295 if (data->incoredatafree < 5)
297 data->incoredata = solv_realloc(data->incoredata, data->incoredatalen + INCORE_ADD_CHUNK);
298 data->incoredatafree = INCORE_ADD_CHUNK;
300 dp = data->incoredata + data->incoredatalen;
304 *dp++ = (x >> 28) | 128;
306 *dp++ = (x >> 21) | 128;
307 *dp++ = (x >> 14) | 128;
310 *dp++ = (x >> 7) | 128;
312 data->incoredatafree -= dp - (data->incoredata + data->incoredatalen);
313 data->incoredatalen = dp - data->incoredata;
317 incore_add_sizek(Repodata *data, unsigned int sx)
320 incore_add_id(data, (Id)(sx << 10));
325 incore_add_id(data, (Id)(sx >> 25));
326 data->incoredata[data->incoredatalen - 1] |= 128;
328 incore_add_id(data, (Id)((sx << 10) | 0x80000000));
329 data->incoredata[data->incoredatalen - 5] = (sx >> 18) | 128;
334 incore_add_ideof(Repodata *data, Id sx, int eof)
336 unsigned int x = (unsigned int)sx;
338 /* make sure we have at least 5 bytes free */
339 if (data->incoredatafree < 5)
341 data->incoredata = solv_realloc(data->incoredata, data->incoredatalen + INCORE_ADD_CHUNK);
342 data->incoredatafree = INCORE_ADD_CHUNK;
344 dp = data->incoredata + data->incoredatalen;
348 *dp++ = (x >> 27) | 128;
350 *dp++ = (x >> 20) | 128;
351 *dp++ = (x >> 13) | 128;
354 *dp++ = (x >> 6) | 128;
355 *dp++ = eof ? (x & 63) : (x & 63) | 64;
356 data->incoredatafree -= dp - (data->incoredata + data->incoredatalen);
357 data->incoredatalen = dp - data->incoredata;
361 incore_add_blob(Repodata *data, unsigned char *buf, int len)
363 if (data->incoredatafree < (unsigned int)len)
365 data->incoredata = solv_realloc(data->incoredata, data->incoredatalen + INCORE_ADD_CHUNK + len);
366 data->incoredatafree = INCORE_ADD_CHUNK + len;
368 memcpy(data->incoredata + data->incoredatalen, buf, len);
369 data->incoredatafree -= len;
370 data->incoredatalen += len;
374 incore_map_idarray(Repodata *data, unsigned char *dp, Id *map, Id max)
376 /* We have to map the IDs, which might also change
377 the necessary number of bytes, so we can't just copy
378 over the blob and adjust it. */
383 dp = data_read_ideof(dp, &id, &eof);
384 if (id < 0 || (max && id >= max))
386 data->error = pool_error(data->repo->pool, SOLV_ERROR_ID_RANGE, "incore_map_idarray: id too large (%u/%u)", id, max);
390 incore_add_ideof(data, id, eof);
398 incore_add_u32(Repodata *data, unsigned int x)
401 /* make sure we have at least 4 bytes free */
402 if (data->incoredatafree < 4)
404 data->incoredata = solv_realloc(data->incoredata, data->incoredatalen + INCORE_ADD_CHUNK);
405 data->incoredatafree = INCORE_ADD_CHUNK;
407 dp = data->incoredata + data->incoredatalen;
412 data->incoredatafree -= 4;
413 data->incoredatalen += 4;
417 incore_add_u8(Repodata *data, unsigned int x)
420 /* make sure we have at least 1 byte free */
421 if (data->incoredatafree < 1)
423 data->incoredata = solv_realloc(data->incoredata, data->incoredatalen + 1024);
424 data->incoredatafree = 1024;
426 dp = data->incoredata + data->incoredatalen;
428 data->incoredatafree--;
429 data->incoredatalen++;
434 /*******************************************************************************
439 * read repo from .solv file and add it to pool
443 repo_add_solv(Repo *repo, FILE *fp, int flags)
445 Pool *pool = repo->pool;
447 int numid, numrel, numdir, numsolv;
448 int numkeys, numschemata;
451 Offset *str; /* map Id -> Offset into string space */
452 char *strsp; /* repo string space */
453 char *sp; /* pointer into string space */
454 Id *idmap; /* map of repo Ids to pool Ids */
456 Hashval hashmask, h, hh;
461 unsigned int size_idarray;
462 Id *idarraydatap, *idarraydataend;
465 unsigned int solvflags;
466 unsigned int solvversion;
468 Id *schemadata, *schemadatap, *schemadataend;
469 Id *schemata, key, *keyp;
472 int maxsize, allsize;
473 unsigned char *buf, *bufend, *dp, *dps;
476 int needchunk; /* need a new chunk of data */
478 int oldnstrings = pool->ss.nstrings;
479 int oldnrels = pool->nrels;
481 struct s_Stringpool *spool;
483 Repodata *parent = 0;
486 int extendstart = 0, extendend = 0; /* set in case we're extending */
488 now = solv_timems(0);
490 if ((flags & REPO_USE_LOADING) != 0)
492 /* this is a stub replace operation */
493 flags |= REPO_EXTEND_SOLVABLES;
494 /* use REPO_REUSE_REPODATA hack so that the old repodata is kept */
495 parent = repo_add_repodata(repo, flags | REPO_REUSE_REPODATA);
496 extendstart = parent->start;
497 extendend = parent->end;
499 else if (flags & REPO_EXTEND_SOLVABLES)
501 /* extend all solvables of this repo */
502 extendstart = repo->start;
503 extendend = repo->end;
506 memset(&data, 0, sizeof(data));
509 repopagestore_init(&data.store);
511 if (read_u32(&data) != ('S' << 24 | 'O' << 16 | 'L' << 8 | 'V'))
512 return pool_error(pool, SOLV_ERROR_NOT_SOLV, "not a SOLV file");
513 solvversion = read_u32(&data);
519 return pool_error(pool, SOLV_ERROR_UNSUPPORTED, "unsupported SOLV version");
522 numid = (int)read_u32(&data);
523 numrel = (int)read_u32(&data);
524 numdir = (int)read_u32(&data);
525 numsolv = (int)read_u32(&data);
526 numkeys = (int)read_u32(&data);
527 numschemata = (int)read_u32(&data);
528 solvflags = read_u32(&data);
530 if (numid < 0 || numid >= 0x20000000)
531 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of ids");
532 if (numrel < 0 || numrel >= 0x20000000)
533 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of rels");
534 if (numdir && (numdir < 2 || numdir >= 0x20000000))
535 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of dirs");
536 if (numsolv < 0 || numsolv >= 0x20000000)
537 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of solvables");
538 if (numkeys < 0 || numkeys >= 0x20000000)
539 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of keys");
540 if (numschemata < 0 || numschemata >= 0x20000000)
541 return pool_error(pool, SOLV_ERROR_CORRUPT, "bad number of schematas");
543 if (numrel && (flags & REPO_LOCALPOOL) != 0)
544 return pool_error(pool, SOLV_ERROR_CORRUPT, "relations are forbidden in a local pool");
545 if ((flags & REPO_EXTEND_SOLVABLES) && numsolv)
547 /* make sure that we exactly replace the stub repodata */
548 if (extendend - extendstart != numsolv)
549 return pool_error(pool, SOLV_ERROR_CORRUPT, "sub-repository solvable number does not match main repository (%d - %d)", extendend - extendstart, numsolv);
550 for (i = 0; i < numsolv; i++)
551 if (pool->solvables[extendstart + i].repo != repo)
552 return pool_error(pool, SOLV_ERROR_CORRUPT, "main repository contains holes, cannot extend");
555 /******* Part 1: string IDs *****************************************/
557 sizeid = read_u32(&data); /* size of string space */
560 * read strings and Ids
569 if (!(flags & REPO_LOCALPOOL))
572 /* alloc max needed string buffer and string pointers, will shrink again later */
574 spool->stringspace = solv_realloc(spool->stringspace, spool->sstrings + sizeid + 1);
575 spool->strings = solv_realloc2(spool->strings, spool->nstrings + numid, sizeof(Offset));
577 spool->sstrings += sizeid + 1;
578 spool->nstrings += numid;
579 stringpool_shrink(spool); /* we misuse stringpool_shrink so that the correct BLOCK factor is used */
580 spool->sstrings -= sizeid + 1;
581 spool->nstrings -= numid;
588 spool->stringspace = solv_malloc(7 + sizeid + 1);
589 spool->strings = solv_malloc2(numid < 2 ? 2 : numid, sizeof(Offset));
590 strcpy(spool->stringspace, "<NULL>");
593 spool->strings[0] = 0; /* <NULL> */
598 * read string data and append to old string space
601 strsp = spool->stringspace + spool->sstrings; /* append new entries */
602 if ((solvflags & SOLV_FLAG_PREFIX_POOL) == 0)
604 if (sizeid && fread(strsp, sizeid, 1, fp) != 1)
606 repodata_freedata(&data);
607 return pool_error(pool, SOLV_ERROR_EOF, "read error while reading strings");
612 unsigned int pfsize = read_u32(&data);
613 char *prefix = solv_malloc(pfsize);
615 char *old_str = strsp;
619 if (pfsize && fread(prefix, pfsize, 1, fp) != 1)
622 repodata_freedata(&data);
623 return pool_error(pool, SOLV_ERROR_EOF, "read error while reading strings");
625 for (i = 1; i < numid; i++)
627 int same = (unsigned char)*pp++;
628 size_t len = strlen(pp) + 1;
629 freesp -= same + len;
633 repodata_freedata(&data);
634 return pool_error(pool, SOLV_ERROR_OVERFLOW, "overflow while expanding strings");
637 memcpy(dest, old_str, same);
638 memcpy(dest + same, pp, len);
646 repodata_freedata(&data);
647 return pool_error(pool, SOLV_ERROR_CORRUPT, "expanding strings size mismatch");
650 strsp[sizeid] = 0; /* make string space \0 terminated */
654 str = spool->strings; /* array of offsets into strsp, indexed by Id */
655 if ((flags & REPO_LOCALPOOL) != 0)
657 /* no shared pool, thus no idmap and no unification needed */
659 spool->nstrings = numid < 2 ? 2 : numid; /* make sure we have at least id 0 and 1 */
662 /* we need id 1 to be '' for directories */
663 repodata_freedata(&data);
664 return pool_error(pool, SOLV_ERROR_CORRUPT, "store strings don't start with an empty string");
666 for (i = 1; i < spool->nstrings; i++)
668 if (sp >= strsp + sizeid && numid >= 2)
670 repodata_freedata(&data);
671 return pool_error(pool, SOLV_ERROR_OVERFLOW, "not enough strings");
673 str[i] = sp - spool->stringspace;
674 sp += strlen(sp) + 1;
676 spool->sstrings = sp - spool->stringspace;
680 Offset oldsstrings = spool->sstrings;
682 /* alloc id map for name and rel Ids. this maps ids in the solv files
683 * to the ids in our pool */
684 idmap = solv_calloc(numid + numrel, sizeof(Id));
685 stringpool_resize_hash(spool, numid);
686 hashtbl = spool->stringhashtbl;
687 hashmask = spool->stringhashmask;
689 POOL_DEBUG(SOLV_DEBUG_STATS, "read %d strings\n", numid);
690 POOL_DEBUG(SOLV_DEBUG_STATS, "string hash buckets: %d\n", hashmask + 1);
693 * run over strings and merge with pool.
694 * we could use stringpool_str2id, but this is faster.
695 * also populate id map (maps solv Id -> pool Id)
697 for (i = 1; i < numid; i++)
699 if (sp >= strsp + sizeid)
702 spool->nstrings = oldnstrings;
703 spool->sstrings = oldsstrings;
704 stringpool_freehash(spool);
705 repodata_freedata(&data);
706 return pool_error(pool, SOLV_ERROR_OVERFLOW, "not enough strings %d %d", i, numid);
708 if (!*sp) /* empty string */
716 h = strhash(sp) & hashmask;
717 hh = HASHCHAIN_START;
723 if (!strcmp(spool->stringspace + spool->strings[id], sp))
724 break; /* already in pool */
725 h = HASHCHAIN_NEXT(h, hh, hashmask);
728 /* length == offset to next string */
730 if (!id) /* end of hash chain -> new string */
732 id = spool->nstrings++;
734 str[id] = spool->sstrings; /* save offset */
735 if (sp != spool->stringspace + spool->sstrings)
736 memmove(spool->stringspace + spool->sstrings, sp, l);
737 spool->sstrings += l;
739 idmap[i] = id; /* repo relative -> pool relative */
740 sp += l; /* next string */
742 stringpool_shrink(spool); /* vacuum */
746 /******* Part 2: Relation IDs ***************************************/
756 pool->rels = solv_realloc2(pool->rels, pool->nrels + numrel, sizeof(Reldep));
759 pool_resize_rels_hash(pool, numrel);
760 hashtbl = pool->relhashtbl;
761 hashmask = pool->relhashmask;
763 POOL_DEBUG(SOLV_DEBUG_STATS, "read %d rels\n", numrel);
764 POOL_DEBUG(SOLV_DEBUG_STATS, "rel hash buckets: %d\n", hashmask + 1);
768 * read RelDeps from repo
770 for (i = 0; i < numrel; i++)
772 name = read_id(&data, i + numid); /* read (repo relative) Ids */
773 evr = read_id(&data, i + numid);
774 relflags = read_u8(&data);
775 name = idmap[name]; /* map to (pool relative) Ids */
777 h = relhash(name, evr, relflags) & hashmask;
778 hh = HASHCHAIN_START;
782 if (!id) /* end of hash chain reached */
784 if (ran[id].name == name && ran[id].evr == evr && ran[id].flags == relflags)
786 h = HASHCHAIN_NEXT(h, hh, hashmask);
788 if (!id) /* new RelDep */
794 ran[id].flags = relflags;
796 idmap[i + numid] = MAKERELDEP(id); /* fill Id map */
798 pool_shrink_rels(pool); /* vacuum */
801 /* if we added ids/rels, make room in our whatprovide arrays */
802 if (!(flags & REPO_LOCALPOOL))
804 if (pool->whatprovides && oldnstrings != pool->ss.nstrings)
806 int newlen = (pool->ss.nstrings + WHATPROVIDES_BLOCK) & ~WHATPROVIDES_BLOCK;
807 pool->whatprovides = solv_realloc2(pool->whatprovides, newlen, sizeof(Offset));
808 memset(pool->whatprovides + oldnstrings, 0, (newlen - oldnstrings) * sizeof(Offset));
810 if (pool->whatprovides_rel && oldnrels != pool->nrels)
812 int newlen = (pool->nrels + WHATPROVIDES_BLOCK) & ~WHATPROVIDES_BLOCK;
813 pool->whatprovides_rel = solv_realloc2(pool->whatprovides_rel, newlen, sizeof(Offset));
814 memset(pool->whatprovides_rel + oldnrels, 0, (newlen - oldnrels) * sizeof(Offset));
818 /******* Part 3: Dirs ***********************************************/
821 data.dirpool.dirs = solv_malloc2(numdir, sizeof(Id));
822 data.dirpool.ndirs = numdir;
823 data.dirpool.dirs[0] = 0; /* dir 0: virtual root */
824 data.dirpool.dirs[1] = 1; /* dir 1: / */
825 for (i = 2; i < numdir; i++)
827 id = read_id(&data, i + numid);
830 data.dirpool.dirs[i++] = -(id - numid);
833 data.error = pool_error(pool, SOLV_ERROR_CORRUPT, "last dir entry is not a component");
836 id = read_id(&data, numid);
840 data.dirpool.dirs[i] = id;
842 data.error = pool_error(pool, SOLV_ERROR_CORRUPT, "bad dir component");
846 /******* Part 4: Keys ***********************************************/
848 keys = solv_calloc(numkeys, sizeof(*keys));
849 /* keys start at 1 */
850 for (i = 1; i < numkeys; i++)
852 id = read_id(&data, numid);
855 else if ((flags & REPO_LOCALPOOL) != 0)
856 id = pool_str2id(pool, stringpool_id2str(spool, id), 1);
857 type = read_id(&data, numid);
860 else if ((flags & REPO_LOCALPOOL) != 0)
861 type = pool_str2id(pool, stringpool_id2str(spool, type), 1);
862 if (type < REPOKEY_TYPE_VOID || type > REPOKEY_TYPE_DELETED)
864 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "unsupported data type '%s'", pool_id2str(pool, type));
865 type = REPOKEY_TYPE_VOID;
869 keys[i].size = read_id(&data, keys[i].type == REPOKEY_TYPE_CONSTANTID ? numid + numrel : 0);
870 keys[i].storage = read_id(&data, 0);
871 /* old versions used SOLVABLE for main solvable data */
872 if (keys[i].storage == KEY_STORAGE_SOLVABLE)
873 keys[i].storage = KEY_STORAGE_INCORE;
874 if (keys[i].storage != KEY_STORAGE_INCORE && keys[i].storage != KEY_STORAGE_VERTICAL_OFFSET)
875 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "unsupported storage type %d", keys[i].storage);
876 if (id >= SOLVABLE_NAME && id <= RPM_RPMDBID)
878 if (keys[i].storage != KEY_STORAGE_INCORE)
879 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "main solvable data must use incore storage %d", keys[i].storage);
880 keys[i].storage = KEY_STORAGE_SOLVABLE;
882 if ((type == REPOKEY_TYPE_FIXARRAY || type == REPOKEY_TYPE_FLEXARRAY) && keys[i].storage != KEY_STORAGE_INCORE)
883 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "flex/fixarrays must use incore storage\n");
884 /* cannot handle rel idarrays in incore/vertical */
885 if (type == REPOKEY_TYPE_REL_IDARRAY && keys[i].storage != KEY_STORAGE_SOLVABLE)
886 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "type REL_IDARRAY is only supported for STORAGE_SOLVABLE");
887 /* cannot handle mapped ids in vertical */
888 if (!(flags & REPO_LOCALPOOL) && keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET && (type == REPOKEY_TYPE_ID || type == REPOKEY_TYPE_IDARRAY))
889 data.error = pool_error(pool, SOLV_ERROR_UNSUPPORTED, "mapped ids are not supported for STORAGE_VERTICAL_OFFSET");
891 if (keys[i].type == REPOKEY_TYPE_CONSTANTID && idmap)
892 keys[i].size = idmap[keys[i].size];
894 fprintf(stderr, "key %d %s %s %d %d\n", i, pool_id2str(pool,id), pool_id2str(pool, keys[i].type),
895 keys[i].size, keys[i].storage);
900 for (i = 1; i < numkeys; i++)
901 if (keys[i].storage == KEY_STORAGE_INCORE || keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
905 data.nkeys = numkeys;
906 for (i = 1; i < numkeys; i++)
909 data.keybits[(id >> 3) & (sizeof(data.keybits) - 1)] |= 1 << (id & 7);
912 /******* Part 5: Schemata ********************************************/
914 id = read_id(&data, 0);
915 schemadata = solv_calloc(id + 1, sizeof(Id));
916 schemadatap = schemadata + 1;
917 schemadataend = schemadatap + id;
918 schemata = solv_calloc(numschemata, sizeof(Id));
919 for (i = 1; i < numschemata; i++)
921 schemata[i] = schemadatap - schemadata;
922 schemadatap = read_idarray(&data, numid, 0, schemadatap, schemadataend);
924 Id *sp = schemadata + schemata[i];
925 fprintf(stderr, "schema %d:", i);
927 fprintf(stderr, " %d", *sp);
928 fprintf(stderr, "\n");
931 data.schemata = schemata;
932 data.nschemata = numschemata;
933 data.schemadata = schemadata;
934 data.schemadatalen = schemadataend - data.schemadata;
936 /******* Part 6: Data ********************************************/
938 idarraydatap = idarraydataend = 0;
941 maxsize = read_id(&data, 0);
942 allsize = read_id(&data, 0);
943 maxsize += 5; /* so we can read the next schema of an array */
944 if (maxsize > allsize)
947 buf = solv_calloc(maxsize + DATA_READ_CHUNK + 4, 1); /* 4 extra bytes to detect overflows */
952 if (l < DATA_READ_CHUNK)
956 if (!l || fread(buf, l, 1, data.fp) != 1)
958 data.error = pool_error(pool, SOLV_ERROR_EOF, "unexpected EOF");
965 dp = data_read_id_max(dp, &id, 0, numschemata, &data);
968 incore_add_id(&data, 0); /* so that incoreoffset 0 means schema 0 */
969 incore_add_id(&data, id); /* main schema id */
970 keyp = schemadata + schemata[id];
971 data.mainschema = id;
972 for (i = 0; keyp[i]; i++)
975 data.mainschemaoffsets = solv_calloc(i, sizeof(Id));
983 /* make sure we have enough room */
984 if (keydepth == 0 || needchunk)
986 int left = bufend - dp;
987 /* read data chunk to dp */
992 data.error = pool_error(pool, SOLV_ERROR_EOF, "buffer overrun");
998 memmove(buf, dp, left);
1000 if (l < DATA_READ_CHUNK)
1001 l = DATA_READ_CHUNK;
1004 if (l && fread(buf + left, l, 1, data.fp) != 1)
1006 data.error = pool_error(pool, SOLV_ERROR_EOF, "unexpected EOF");
1011 bufend = buf + left;
1012 if (allsize + left < maxsize)
1013 maxsize = allsize + left;
1021 printf("key %d at %d\n", key, (int)(keyp - 1 - schemadata));
1029 if (s && keydepth == 3)
1031 s++; /* next solvable */
1032 if (have_incoredata)
1033 data.incoreoffset[(s - pool->solvables) - data.start] = data.incoredatalen;
1035 id = stack[keydepth - 1];
1038 dp = data_read_id_max(dp, &id, 0, numschemata, &data);
1039 incore_add_id(&data, id);
1041 keyp = schemadata + schemata[id];
1048 keyp = schemadata + stack[--keydepth];
1049 nentries = stack[--keydepth];
1051 printf("pop flexarray %d %d\n", keydepth, nentries);
1054 s = 0; /* back from solvables */
1059 data.mainschemaoffsets[keyp - 1 - (schemadata + schemata[data.mainschema])] = data.incoredatalen;
1062 printf("=> %s %s %p\n", pool_id2str(pool, keys[key].name), pool_id2str(pool, keys[key].type), s);
1064 id = keys[key].name;
1065 if (keys[key].storage == KEY_STORAGE_VERTICAL_OFFSET)
1068 dp = data_skip(dp, REPOKEY_TYPE_ID);
1069 dp = data_skip(dp, REPOKEY_TYPE_ID);
1070 incore_add_blob(&data, dps, dp - dps); /* just record offset/size */
1073 switch (keys[key].type)
1075 case REPOKEY_TYPE_ID:
1076 dp = data_read_id_max(dp, &did, idmap, numid + numrel, &data);
1077 if (s && id == SOLVABLE_NAME)
1079 else if (s && id == SOLVABLE_ARCH)
1081 else if (s && id == SOLVABLE_EVR)
1083 else if (s && id == SOLVABLE_VENDOR)
1085 else if (keys[key].storage == KEY_STORAGE_INCORE)
1086 incore_add_id(&data, did);
1088 POOL_DEBUG(SOLV_DEBUG_STATS, "%s -> %s\n", pool_id2str(pool, id), pool_id2str(pool, did));
1091 case REPOKEY_TYPE_IDARRAY:
1092 case REPOKEY_TYPE_REL_IDARRAY:
1093 if (!s || id < INTERESTED_START || id > INTERESTED_END)
1096 dp = data_skip(dp, REPOKEY_TYPE_IDARRAY);
1097 if (keys[key].storage != KEY_STORAGE_INCORE)
1100 incore_map_idarray(&data, dps, idmap, numid + numrel);
1102 incore_add_blob(&data, dps, dp - dps);
1105 ido = idarraydatap - repo->idarraydata;
1106 if (keys[key].type == REPOKEY_TYPE_IDARRAY)
1107 dp = data_read_idarray(dp, &idarraydatap, idmap, numid + numrel, &data);
1108 else if (id == SOLVABLE_REQUIRES)
1109 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data, SOLVABLE_PREREQMARKER);
1110 else if (id == SOLVABLE_PROVIDES)
1111 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data, SOLVABLE_FILEMARKER);
1113 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data, 0);
1114 if (idarraydatap > idarraydataend)
1116 data.error = pool_error(pool, SOLV_ERROR_OVERFLOW, "idarray overflow");
1119 if (id == SOLVABLE_PROVIDES)
1121 else if (id == SOLVABLE_OBSOLETES)
1123 else if (id == SOLVABLE_CONFLICTS)
1125 else if (id == SOLVABLE_REQUIRES)
1127 else if (id == SOLVABLE_RECOMMENDS)
1129 else if (id == SOLVABLE_SUPPLEMENTS)
1130 s->supplements = ido;
1131 else if (id == SOLVABLE_SUGGESTS)
1133 else if (id == SOLVABLE_ENHANCES)
1136 POOL_DEBUG(SOLV_DEBUG_STATS, "%s ->\n", pool_id2str(pool, id));
1137 for (; repo->idarraydata[ido]; ido++)
1138 POOL_DEBUG(SOLV_DEBUG_STATS," %s\n", pool_dep2str(pool, repo->idarraydata[ido]));
1141 case REPOKEY_TYPE_FIXARRAY:
1142 case REPOKEY_TYPE_FLEXARRAY:
1145 if (keydepth == sizeof(stack)/sizeof(*stack))
1147 data.error = pool_error(pool, SOLV_ERROR_OVERFLOW, "array stack overflow");
1150 stack[keydepth++] = nentries;
1151 stack[keydepth++] = keyp - schemadata;
1152 stack[keydepth++] = 0;
1153 dp = data_read_id_max(dp, &nentries, 0, 0, &data);
1154 incore_add_id(&data, nentries);
1157 /* zero size array? */
1159 nentries = stack[--keydepth];
1162 if (keydepth == 3 && id == REPOSITORY_SOLVABLES)
1164 /* horray! here come the solvables */
1165 if (nentries != numsolv)
1167 data.error = pool_error(pool, SOLV_ERROR_CORRUPT, "inconsistent number of solvables: %d %d", nentries, numsolv);
1172 data.error = pool_error(pool, SOLV_ERROR_CORRUPT, "more than one solvable block");
1175 if ((flags & REPO_EXTEND_SOLVABLES) != 0)
1176 s = pool_id2solvable(pool, extendstart);
1178 s = pool_id2solvable(pool, repo_add_solvable_block(repo, numsolv));
1179 data.start = s - pool->solvables;
1180 data.end = data.start + numsolv;
1181 repodata_extend_block(&data, data.start, numsolv);
1182 for (i = 1; i < numkeys; i++)
1185 if ((keys[i].type == REPOKEY_TYPE_IDARRAY || keys[i].type == REPOKEY_TYPE_REL_IDARRAY)
1186 && id >= INTERESTED_START && id <= INTERESTED_END)
1187 size_idarray += keys[i].size;
1189 /* allocate needed space in repo */
1190 /* we add maxsize because it is an upper limit for all idarrays, thus we can't overflow */
1191 repo_reserve_ids(repo, 0, size_idarray + maxsize + 1);
1192 idarraydatap = repo->idarraydata + repo->idarraysize;
1193 repo->idarraysize += size_idarray;
1194 idarraydataend = idarraydatap + size_idarray;
1196 if (have_incoredata)
1197 data.incoreoffset[(s - pool->solvables) - data.start] = data.incoredatalen;
1200 dp = data_read_id_max(dp, &id, 0, numschemata, &data);
1201 incore_add_id(&data, id);
1202 if (keys[key].type == REPOKEY_TYPE_FIXARRAY)
1205 data.error = pool_error(pool, SOLV_ERROR_CORRUPT, "illegal fixarray");
1206 stack[keydepth - 1] = id;
1208 keyp = schemadata + schemata[id];
1210 case REPOKEY_TYPE_NUM:
1211 if (!(solvflags & SOLV_FLAG_SIZE_BYTES) && keys[key].storage == KEY_STORAGE_INCORE &&
1212 (id == SOLVABLE_INSTALLSIZE || id == SOLVABLE_DOWNLOADSIZE || id == DELTA_DOWNLOADSIZE))
1214 /* old solv file with sizes in kilos. transcode. */
1215 dp = data_read_id(dp, &id);
1216 incore_add_sizek(&data, (unsigned int)id);
1221 if (id == RPM_RPMDBID && s && keys[key].type == REPOKEY_TYPE_NUM)
1223 dp = data_read_id(dp, &id);
1225 repo->rpmdbid = repo_sidedata_create(repo, sizeof(Id));
1226 repo->rpmdbid[(s - pool->solvables) - repo->start] = id;
1230 dp = data_skip(dp, keys[key].type);
1231 if (keys[key].storage == KEY_STORAGE_INCORE)
1232 incore_add_blob(&data, dps, dp - dps);
1236 /* should shrink idarraydata again */
1239 data.error = pool_error(pool, SOLV_ERROR_EOF, "unexpected EOF, depth = %d", keydepth);
1243 data.error = pool_error(pool, SOLV_ERROR_EOF, "buffer overrun");
1249 /* free solvables */
1250 repo_free_solvable_block(repo, data.start, data.end - data.start, 1);
1252 repo->idarraysize -= size_idarray;
1253 /* free incore data */
1254 data.incoredata = solv_free(data.incoredata);
1255 data.incoredatalen = data.incoredatafree = 0;
1258 if (data.incoredatafree)
1260 /* shrink excess size */
1261 data.incoredata = solv_realloc(data.incoredata, data.incoredatalen);
1262 data.incoredatafree = 0;
1266 /* fixup the special idarray type */
1267 for (i = 1; i < numkeys; i++)
1268 if (keys[i].type == REPOKEY_TYPE_REL_IDARRAY)
1269 keys[i].type = REPOKEY_TYPE_IDARRAY;
1271 for (i = 1; i < numkeys; i++)
1272 if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET && keys[i].size)
1274 if (i < numkeys && !data.error)
1277 unsigned int pagesize;
1279 /* we have vertical data, make it available */
1280 data.verticaloffset = solv_calloc(numkeys, sizeof(Id));
1281 for (i = 1; i < numkeys; i++)
1282 if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1284 data.verticaloffset[i] = fileoffset;
1285 fileoffset += keys[i].size;
1287 data.lastverticaloffset = fileoffset;
1288 pagesize = read_u32(&data);
1291 data.error = repopagestore_read_or_setup_pages(&data.store, data.fp, pagesize, fileoffset);
1292 if (data.error == SOLV_ERROR_EOF)
1293 pool_error(pool, data.error, "repopagestore setup: unexpected EOF");
1294 else if (data.error)
1295 pool_error(pool, data.error, "repopagestore setup failed");
1298 data.fp = 0; /* no longer needed */
1303 repodata_freedata(&data);
1309 /* overwrite stub repodata */
1310 repodata_freedata(parent);
1311 data.repodataid = parent->repodataid;
1312 data.loadcallback = parent->loadcallback;
1317 /* make it available as new repodata */
1318 if (!repo->nrepodata)
1320 repo->nrepodata = 1;
1321 repo->repodata = solv_calloc(2, sizeof(data));
1324 repo->repodata = solv_realloc2(repo->repodata, repo->nrepodata + 1, sizeof(data));
1325 data.repodataid = repo->nrepodata;
1326 repo->repodata[repo->nrepodata++] = data;
1329 if ((flags & REPO_EXTEND_SOLVABLES) != 0)
1331 if (repodata_has_keyname(&data, SOLVABLE_FILELIST))
1332 repodata_set_filelisttype(repo->repodata + data.repodataid, REPODATA_FILELIST_EXTENSION);
1336 if (repodata_lookup_type(&data, SOLVID_META, REPOSITORY_FILTEREDFILELIST))
1337 repodata_set_filelisttype(repo->repodata + data.repodataid, REPODATA_FILELIST_FILTERED);
1340 /* create stub repodata entries for all external */
1341 if (!(flags & SOLV_ADD_NO_STUBS) && !parent)
1343 for (key = 1 ; key < data.nkeys; key++)
1344 if (data.keys[key].name == REPOSITORY_EXTERNAL && data.keys[key].type == REPOKEY_TYPE_FLEXARRAY)
1346 if (key < data.nkeys)
1347 repodata_create_stubs(repo->repodata + data.repodataid);
1350 POOL_DEBUG(SOLV_DEBUG_STATS, "repo_add_solv took %d ms\n", solv_timems(now));
1351 POOL_DEBUG(SOLV_DEBUG_STATS, "repo size: %d solvables\n", repo->nsolvables);
1352 POOL_DEBUG(SOLV_DEBUG_STATS, "repo memory used: %d K incore, %d K idarray\n", data.incoredatalen/1024, repo->idarraysize / (int)(1024/sizeof(Id)));