introduce Solvable.kind to remove the need for strcmp()/strchr() when
[platform/upstream/libsolv.git] / src / repo_solv.c
1 /*
2  * Copyright (c) 2007, Novell Inc.
3  *
4  * This program is licensed under the BSD license, read LICENSE.BSD
5  * for further information
6  */
7
8 /*
9  * repo_solv.c
10  * 
11  * Read the binary dump of a Repo and create a Repo * from it
12  * 
13  *  See
14  *   Repo *pool_addrepo_solv(Pool *pool, FILE *fp)
15  * below
16  * 
17  */
18
19
20
21 #include <stdio.h>
22 #include <stdlib.h>
23 #include <unistd.h>
24 #include <string.h>
25
26 #include "repo_solv.h"
27 #include "util.h"
28 #if 0
29 #include "attr_store_p.h"
30 #endif
31
32 #define INTERESTED_START        SOLVABLE_NAME
33 #define INTERESTED_END          SOLVABLE_FRESHENS
34
35 #define SOLV_ERROR_NOT_SOLV     1
36 #define SOLV_ERROR_UNSUPPORTED  2
37 #define SOLV_ERROR_EOF          3
38 #define SOLV_ERROR_ID_RANGE     4
39 #define SOLV_ERROR_OVERFLOW     5
40 #define SOLV_ERROR_CORRUPT      6
41
42 static Pool *mypool;            /* for pool_debug... */
43
44 /*-----------------------------------------------------------------*/
45 /* .solv read functions */
46
47 /*
48  * read u32
49  */
50
51 static unsigned int
52 read_u32(Repodata *data)
53 {
54   int c, i;
55   unsigned int x = 0;
56
57   if (data->error)
58     return 0;
59   for (i = 0; i < 4; i++)
60     {
61       c = getc(data->fp);
62       if (c == EOF)
63         {
64           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
65           data->error = SOLV_ERROR_EOF;
66           return 0;
67         }
68       x = (x << 8) | c;
69     }
70   return x;
71 }
72
73
74 /*
75  * read u8
76  */
77
78 static unsigned int
79 read_u8(Repodata *data)
80 {
81   int c;
82
83   if (data->error)
84     return 0;
85   c = getc(data->fp);
86   if (c == EOF)
87     {
88       pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
89       data->error = SOLV_ERROR_EOF;
90       return 0;
91     }
92   return c;
93 }
94
95
96 /*
97  * read Id
98  */
99
100 static Id
101 read_id(Repodata *data, Id max)
102 {
103   unsigned int x = 0;
104   int c, i;
105
106   if (data->error)
107     return 0;
108   for (i = 0; i < 5; i++)
109     {
110       c = getc(data->fp);
111       if (c == EOF)
112         {
113           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
114           data->error = SOLV_ERROR_EOF;
115           return 0;
116         }
117       if (!(c & 128))
118         {
119           x = (x << 7) | c;
120           if (max && x >= max)
121             {
122               pool_debug(mypool, SAT_ERROR, "read_id: id too large (%u/%u)\n", x, max);
123               data->error = SOLV_ERROR_ID_RANGE;
124               return 0;
125             }
126           return x;
127         }
128       x = (x << 7) ^ c ^ 128;
129     }
130   pool_debug(mypool, SAT_ERROR, "read_id: id too long\n");
131   data->error = SOLV_ERROR_CORRUPT;
132   return 0;
133 }
134
135
136 /*
137  * read array of Ids
138  */
139
140 static Id *
141 read_idarray(Repodata *data, Id max, Id *map, Id *store, Id *end, int relative)
142 {
143   unsigned int x = 0;
144   int c;
145   Id old = 0;
146
147   if (data->error)
148     return 0;
149   for (;;)
150     {
151       c = getc(data->fp);
152       if (c == EOF)
153         {
154           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
155           data->error = SOLV_ERROR_EOF;
156           return 0;
157         }
158       if ((c & 128) == 0)
159         {
160           x = (x << 6) | (c & 63);
161           if (relative)
162             {
163               if (x == 0 && c == 0x40)
164                 {
165                   /* prereq hack */
166                   if (store == end)
167                     {
168                       pool_debug(mypool, SAT_ERROR, "read_idarray: array overflow\n");
169                       data->error = SOLV_ERROR_OVERFLOW;
170                       return 0;
171                     }
172                   *store++ = SOLVABLE_PREREQMARKER;
173                   old = 0;
174                   x = 0;
175                   continue;
176                 }
177               x = (x - 1) + old;
178               old = x;
179             }
180           if (max && x >= max)
181             {
182               pool_debug(mypool, SAT_ERROR, "read_idarray: id too large (%u/%u)\n", x, max);
183               data->error = SOLV_ERROR_ID_RANGE;
184               return 0;
185             }
186           if (map)
187             x = map[x];
188           if (store == end)
189             {
190               pool_debug(mypool, SAT_ERROR, "read_idarray: array overflow\n");
191               return 0;
192             }
193           *store++ = x;
194           if ((c & 64) == 0)
195             {
196               if (x == 0)       /* already have trailing zero? */
197                 return store;
198               if (store == end)
199                 {
200                   pool_debug(mypool, SAT_ERROR, "read_idarray: array overflow\n");
201                   data->error = SOLV_ERROR_OVERFLOW;
202                   return 0;
203                 }
204               *store++ = 0;
205               return store;
206             }
207           x = 0;
208           continue;
209         }
210       x = (x << 7) ^ c ^ 128;
211     }
212 }
213
214 static void
215 read_str(Repodata *data, char **inbuf, unsigned *len)
216 {
217   unsigned char *buf = (unsigned char*)*inbuf;
218   if (!buf)
219     {
220       buf = sat_malloc(1024);
221       *len = 1024;
222     }
223   int c;
224   unsigned ofs = 0;
225   while((c = getc(data->fp)) != 0)
226     {
227       if (c == EOF)
228         {
229           pool_debug (mypool, SAT_ERROR, "unexpected EOF\n");
230           data->error = SOLV_ERROR_EOF;
231           return;
232         }
233       /* Plus 1 as we also want to add the 0.  */
234       if (ofs + 1 >= *len)
235         {
236           *len += 256;
237           /* Don't realloc on the inbuf, it might be on the stack.  */
238           if (buf == (unsigned char*)*inbuf)
239             {
240               buf = sat_malloc(*len);
241               memcpy(buf, *inbuf, *len - 256);
242             }
243           else
244             buf = sat_realloc(buf, *len);
245         }
246       buf[ofs++] = c;
247     }
248   buf[ofs++] = 0;
249   *inbuf = (char*)buf;
250 }
251
252 static void
253 skip_item (Repodata *data, unsigned type, unsigned numid, unsigned numrel)
254 {
255   switch (type)
256     {
257       case TYPE_VOID:
258       case TYPE_CONSTANT:
259         break;
260       case TYPE_ID:
261         read_id(data, numid + numrel);          /* just check Id */
262         break;
263       case TYPE_DIR:
264         read_id(data, numid + data->dirpool.ndirs);     /* just check Id */
265         break;
266       case TYPE_NUM:
267         read_id(data, 0);
268         break;
269       case TYPE_U32:
270         read_u32(data);
271         break;
272       case TYPE_ATTR_STRING:
273       case TYPE_STR:
274         while (read_u8(data) != 0)
275           ;
276         break;
277       case TYPE_IDARRAY:
278       case TYPE_REL_IDARRAY:
279       case TYPE_ATTR_INTLIST:
280         while ((read_u8(data) & 0xc0) != 0)
281           ;
282         break;
283       case TYPE_DIRNUMNUMARRAY:
284         for (;;)
285           {
286             read_id(data, numid + data->dirpool.ndirs); /* just check Id */
287             read_id(data, 0);
288             if (!(read_id(data, 0) & 0x40))
289               break;
290           }
291         break;
292       case TYPE_DIRSTRARRAY:
293         for (;;)
294           {
295             Id id = read_id(data, 0);
296             while (read_u8(data) != 0)
297               ;
298             if (!(id & 0x40))
299               break;
300           }
301         break;
302       case TYPE_COUNT_NAMED:
303         {
304           unsigned count = read_id(data, 0);
305           while (count--)
306             {
307               read_id(data, numid);    /* Name */
308               unsigned t = read_id(data, TYPE_ATTR_TYPE_MAX + 1);
309               skip_item(data, t, numid, numrel);
310             }
311         }
312         break;
313       case TYPE_COUNTED:
314         {
315           unsigned count = read_id(data, 0);
316           unsigned t = read_id(data, TYPE_ATTR_TYPE_MAX + 1);
317           while (count--)
318             skip_item(data, t, numid, numrel);
319         }
320         break;
321       case TYPE_ATTR_CHUNK:
322         read_id(data, 0);
323         /* Fallthrough.  */
324       case TYPE_ATTR_INT:
325         read_id(data, 0);
326         break;
327       case TYPE_ATTR_LOCALIDS:
328         while (read_id(data, 0) != 0)
329           ;
330         break;
331       default:
332         pool_debug(mypool, SAT_ERROR, "unknown type %d\n", type);
333         data->error = SOLV_ERROR_CORRUPT;
334         break;
335     }
336 }
337
338 static int
339 key_cmp (const void *pa, const void *pb)
340 {
341   Repokey *a = (Repokey *)pa;
342   Repokey *b = (Repokey *)pb;
343   return a->name - b->name;
344 }
345
346 static void repodata_load_solv(Repodata *data);
347
348 static void
349 parse_repodata(Repodata *maindata, Id *keyp, Repokey *keys, Id *idmap, unsigned numid, unsigned numrel, Repo *repo)
350 {
351   Id key, id;
352   Id *ida, *ide;
353   Repodata *data;
354   int i, n;
355
356   repo->repodata = sat_realloc2(repo->repodata, repo->nrepodata + 1, sizeof (*data));
357   data = repo->repodata + repo->nrepodata++;
358   memset(data, 0, sizeof(*data));
359   data->repo = repo;
360   data->state = REPODATA_STUB;
361   data->loadcallback = repodata_load_solv;
362
363   while ((key = *keyp++) != 0)
364     {
365       id = keys[key].name;
366       switch (keys[key].type)
367         {
368         case TYPE_IDVALUEARRAY:
369           if (id != REPODATA_KEYS)
370             {
371               skip_item(maindata, TYPE_IDVALUEARRAY, numid, numrel);
372               break;
373             }
374           ida = sat_calloc(keys[key].size, sizeof(Id));
375           ide = read_idarray(maindata, 0, 0, ida, ida + keys[key].size, 0);
376           n = ide - ida - 1;
377           if (n & 1)
378             {
379               pool_debug (mypool, SAT_ERROR, "invalid attribute data\n");
380               data->error = SOLV_ERROR_CORRUPT;
381               return;
382             }
383           data->nkeys = 1 + (n >> 1);
384           data->keys = sat_malloc2(data->nkeys, sizeof(data->keys[0]));
385           memset(data->keys, 0, sizeof(Repokey));
386           for (i = 1, ide = ida; i < data->nkeys; i++)
387             {
388               if (*ide >= numid)
389                 {
390                   pool_debug (mypool, SAT_ERROR, "invalid attribute data\n");
391                   data->error = SOLV_ERROR_CORRUPT;
392                   return;
393                 }
394               data->keys[i].name = idmap ? idmap[*ide++] : *ide++;
395               data->keys[i].type = *ide++;
396               data->keys[i].size = 0;
397               data->keys[i].storage = 0;
398             }
399           sat_free(ida);
400           if (data->nkeys > 2)
401             qsort(data->keys + 1, data->nkeys - 1, sizeof(data->keys[0]), key_cmp);
402           break;
403         case TYPE_STR:
404           if (id != REPODATA_LOCATION)
405             skip_item(maindata, TYPE_STR, numid, numrel);
406           else
407             {
408               char buf[1024];
409               unsigned len = sizeof (buf);
410               char *filename = buf;
411               read_str(maindata, &filename, &len);
412 #if 0
413               data->location = strdup(filename);
414 #endif
415               if (filename != buf)
416                 free(filename);
417             }
418           break;
419         default:
420           skip_item(maindata, keys[key].type, numid, numrel);
421           break;
422         }
423     }
424 }
425
426 /*-----------------------------------------------------------------*/
427
428
429 static void
430 skip_schema(Repodata *data, Id *keyp, Repokey *keys, unsigned int numid, unsigned int numrel)
431 {
432   Id key;
433   while ((key = *keyp++) != 0)
434     skip_item(data, keys[key].type, numid, numrel);
435 }
436
437 /*-----------------------------------------------------------------*/
438
439 static void
440 incore_add_id(Repodata *data, Id x)
441 {
442   unsigned char *dp;
443   /* make sure we have at least 5 bytes free */
444   if (data->incoredatafree < 5)
445     {
446       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
447       data->incoredatafree = 1024;
448     }
449   dp = data->incoredata + data->incoredatalen;
450   if (x < 0)
451     abort();
452   if (x >= (1 << 14))
453     {
454       if (x >= (1 << 28))
455         *dp++ = (x >> 28) | 128;
456       if (x >= (1 << 21))
457         *dp++ = (x >> 21) | 128;
458       *dp++ = (x >> 14) | 128;
459     }
460   if (x >= (1 << 7))
461     *dp++ = (x >> 7) | 128;
462   *dp++ = x & 127;
463   data->incoredatafree -= dp - (data->incoredata + data->incoredatalen);
464   data->incoredatalen = dp - data->incoredata;
465 }
466
467 static void
468 incore_add_u32(Repodata *data, unsigned int x)
469 {
470   unsigned char *dp;
471   /* make sure we have at least 4 bytes free */
472   if (data->incoredatafree < 4)
473     {
474       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
475       data->incoredatafree = 1024;
476     }
477   dp = data->incoredata + data->incoredatalen;
478   *dp++ = x >> 24;
479   *dp++ = x >> 16;
480   *dp++ = x >> 8;
481   *dp++ = x;
482   data->incoredatafree -= 4;
483   data->incoredatalen += 4;
484 }
485
486 static void
487 incore_add_u8(Repodata *data, unsigned int x)
488 {
489   unsigned char *dp;
490   /* make sure we have at least 1 byte free */
491   if (data->incoredatafree < 1)
492     {
493       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
494       data->incoredatafree = 1024;
495     }
496   dp = data->incoredata + data->incoredatalen;
497   *dp++ = x;
498   data->incoredatafree--;
499   data->incoredatalen++;
500 }
501
502
503
504 // ----------------------------------------------
505
506
507 /*
508  * read repo from .solv file
509  *  and add it to pool
510  */
511
512 static int
513 repo_add_solv_parent(Repo *repo, FILE *fp, Repodata *parent)
514 {
515   Pool *pool = repo->pool;
516   int i, l;
517   unsigned int numid, numrel, numdir, numsolv;
518   unsigned int numkeys, numschemata, numinfo;
519 #if 0
520   Attrstore *embedded_store = 0;
521 #endif
522
523   Offset sizeid;
524   Offset *str;                         /* map Id -> Offset into string space */
525   char *strsp;                         /* repo string space */
526   char *sp;                            /* pointer into string space */
527   Id *idmap;                           /* map of repo Ids to pool Ids */
528   Id id;
529   unsigned int hashmask, h;
530   int hh;
531   Id *hashtbl;
532   Id name, evr, did;
533   int flags;
534   Reldep *ran;
535   unsigned int size_idarray;
536   Id *idarraydatap, *idarraydataend;
537   Offset ido;
538   Solvable *s;
539   unsigned int solvflags;
540   unsigned int solvversion;
541   Repokey *keys;
542   Id *schemadata, *schemadatap, *schemadataend;
543   Id *schemata, key;
544   int have_xdata;
545
546   struct _Stringpool *spool;
547
548   Repodata data;
549
550   memset(&data, 0, sizeof(data));
551   data.repo = repo;
552   data.fp = fp;
553
554   mypool = pool;
555
556   if (read_u32(&data) != ('S' << 24 | 'O' << 16 | 'L' << 8 | 'V'))
557     {
558       pool_debug(pool, SAT_ERROR, "not a SOLV file\n");
559       return SOLV_ERROR_NOT_SOLV;
560     }
561   solvversion = read_u32(&data);
562   switch (solvversion)
563     {
564       case SOLV_VERSION_1:
565       case SOLV_VERSION_2:
566       case SOLV_VERSION_3:
567       case SOLV_VERSION_4:
568       case SOLV_VERSION_5:
569       case SOLV_VERSION_6:
570         break;
571       default:
572         pool_debug(pool, SAT_ERROR, "unsupported SOLV version\n");
573         return SOLV_ERROR_UNSUPPORTED;
574     }
575
576   pool_freeidhashes(pool);
577
578   numid = read_u32(&data);
579   numrel = read_u32(&data);
580   if (solvversion >= SOLV_VERSION_4)
581     numdir = read_u32(&data);
582   else
583     numdir = 0;
584   numsolv = read_u32(&data);
585   numkeys = read_u32(&data);
586   numschemata = read_u32(&data);
587   numinfo = read_u32(&data);
588   solvflags = read_u32(&data);
589
590   if (solvversion < SOLV_VERSION_5)
591     numschemata++;
592
593   if (numdir && numdir < 2)
594     {
595       pool_debug(pool, SAT_ERROR, "bad number of dirs\n");
596       return SOLV_ERROR_CORRUPT;
597     }
598   if (numinfo && solvversion < SOLV_VERSION_3)
599     {
600       pool_debug(pool, SAT_ERROR, "unsupported SOLV format (has info)\n");
601       return SOLV_ERROR_UNSUPPORTED;
602     }
603
604   if (parent)
605     {
606       if (numrel)
607         {
608           pool_debug(pool, SAT_ERROR, "relations are forbidden in a store\n");
609           return SOLV_ERROR_CORRUPT;
610         }
611       if (numsolv)
612         {
613           pool_debug(pool, SAT_ERROR, "solvables are forbidden in a store\n");
614           return SOLV_ERROR_CORRUPT;
615         }
616       if (numinfo)
617         {
618           pool_debug(pool, SAT_ERROR, "info blocks are forbidden in a store\n");
619           return SOLV_ERROR_CORRUPT;
620         }
621     }
622
623   /*******  Part 1: string IDs  *****************************************/
624
625   sizeid = read_u32(&data);            /* size of string+Id space */
626
627   /*
628    * read strings and Ids
629    * 
630    */
631
632   
633   /*
634    * alloc buffers
635    */
636
637   if (!parent)
638     spool = &pool->ss;
639   else
640     {
641       spool = &data.spool;
642       spool->stringspace = sat_malloc(7);
643       strcpy(spool->stringspace, "<NULL>");
644       spool->sstrings = 7;
645       spool->nstrings = 0;
646     }
647
648   /* alloc string buffer */
649   spool->stringspace = sat_realloc(spool->stringspace, spool->sstrings + sizeid + 1);
650   /* alloc string offsets (Id -> Offset into string space) */
651   spool->strings = sat_realloc2(spool->strings, spool->nstrings + numid, sizeof(Offset));
652
653   strsp = spool->stringspace;
654   str = spool->strings;                /* array of offsets into strsp, indexed by Id */
655
656   /* point to _BEHIND_ already allocated string/Id space */
657   strsp += spool->sstrings;
658
659
660   /*
661    * read new repo at end of pool
662    */
663   
664   if ((solvflags & SOLV_FLAG_PREFIX_POOL) == 0)
665     {
666       if (sizeid && fread(strsp, sizeid, 1, fp) != 1)
667         {
668           pool_debug(pool, SAT_ERROR, "read error while reading strings\n");
669           return SOLV_ERROR_EOF;
670         }
671     }
672   else
673     {
674       unsigned int pfsize = read_u32(&data);
675       char *prefix = sat_malloc(pfsize);
676       char *pp = prefix;
677       char *old_str = 0;
678       char *dest = strsp;
679       if (pfsize && fread(prefix, pfsize, 1, fp) != 1)
680         {
681           pool_debug(pool, SAT_ERROR, "read error while reading strings\n");
682           sat_free(prefix);
683           return SOLV_ERROR_EOF;
684         }
685       for (i = 1; i < numid; i++)
686         {
687           int same = (unsigned char)*pp++;
688           size_t len = strlen (pp) + 1;
689           if (same)
690             memcpy(dest, old_str, same);
691           memcpy(dest + same, pp, len);
692           pp += len;
693           old_str = dest;
694           dest += same + len;
695         }
696       sat_free(prefix);
697     }
698   strsp[sizeid] = 0;                   /* make string space \0 terminated */
699   sp = strsp;
700
701   /* make sure first entry is "" for a store */
702   if (parent)
703     {
704       /* no shared pool, thus no idmap and no unification */
705       idmap = 0;
706       sp += 7;
707       if (*sp)
708         {
709           pool_debug(pool, SAT_ERROR, "store strings don't start with ''\n");
710           return SOLV_ERROR_CORRUPT;
711         }
712       str[0] = 0;
713       for (i = 1; i < spool->nstrings; i++)
714         {
715           if (sp >= strsp + sizeid)
716             {
717               pool_debug(pool, SAT_ERROR, "not enough strings\n");
718               return SOLV_ERROR_OVERFLOW;
719             }
720           str[i] = sp - strsp;
721           sp += strlen(sp) + 1;
722         }
723     }
724   else
725     {
726
727       /* alloc id map for name and rel Ids. this maps ids in the solv files
728        * to the ids in our pool */
729       idmap = sat_calloc(numid + numrel, sizeof(Id));
730
731       /*
732        * build hashes for all read strings
733        * 
734        */
735       
736       hashmask = mkmask(spool->nstrings + numid);
737
738 #if 0
739       POOL_DEBUG(SAT_DEBUG_STATS, "read %d strings\n", numid);
740       POOL_DEBUG(SAT_DEBUG_STATS, "string hash buckets: %d\n", hashmask + 1);
741 #endif
742
743       /*
744        * create hashtable with strings already in pool
745        */
746
747       hashtbl = sat_calloc(hashmask + 1, sizeof(Id));
748       for (i = 1; i < spool->nstrings; i++)  /* leave out our dummy zero id */
749         {
750           h = strhash(spool->stringspace + spool->strings[i]) & hashmask;
751           hh = HASHCHAIN_START;
752           while (hashtbl[h])
753             h = HASHCHAIN_NEXT(h, hh, hashmask);
754           hashtbl[h] = i;
755         }
756
757       /*
758        * run over string space, calculate offsets
759        * 
760        * build id map (maps solv Id -> pool Id)
761        */
762       
763       for (i = 1; i < numid; i++)
764         {
765           if (sp >= strsp + sizeid)
766             {
767               sat_free(hashtbl);
768               sat_free(idmap);
769               pool_debug(pool, SAT_ERROR, "not enough strings\n");
770               return SOLV_ERROR_OVERFLOW;
771             }
772           if (!*sp)                            /* empty string */
773             {
774               idmap[i] = ID_EMPTY;
775               sp++;
776               continue;
777             }
778
779           /* find hash slot */
780           h = strhash(sp) & hashmask;
781           hh = HASHCHAIN_START;
782           for (;;)
783             {
784               id = hashtbl[h];
785               if (id == 0)
786                 break;
787               if (!strcmp(spool->stringspace + spool->strings[id], sp))
788                 break;                 /* existing string */
789               h = HASHCHAIN_NEXT(h, hh, hashmask);
790             }
791
792           /* length == offset to next string */
793           l = strlen(sp) + 1;
794           if (id == ID_NULL)           /* end of hash chain -> new string */
795             {
796               id = spool->nstrings++;
797               hashtbl[h] = id;
798               str[id] = spool->sstrings;    /* save Offset */
799               if (sp != spool->stringspace + spool->sstrings)   /* not at end-of-buffer */
800                 memmove(spool->stringspace + spool->sstrings, sp, l);   /* append to pool buffer */
801               spool->sstrings += l;
802             }
803           idmap[i] = id;                       /* repo relative -> pool relative */
804           sp += l;                             /* next string */
805         }
806       sat_free(hashtbl);
807     }
808   pool_shrink_strings(pool);           /* vacuum */
809
810   
811   /*******  Part 2: Relation IDs  ***************************************/
812
813   /*
814    * read RelDeps
815    * 
816    */
817   
818   if (numrel)
819     {
820       /* extend rels */
821       pool->rels = sat_realloc2(pool->rels, pool->nrels + numrel, sizeof(Reldep));
822       ran = pool->rels;
823
824       hashmask = mkmask(pool->nrels + numrel);
825 #if 0
826       POOL_DEBUG(SAT_DEBUG_STATS, "read %d rels\n", numrel);
827       POOL_DEBUG(SAT_DEBUG_STATS, "rel hash buckets: %d\n", hashmask + 1);
828 #endif
829       /*
830        * prep hash table with already existing RelDeps
831        */
832       
833       hashtbl = sat_calloc(hashmask + 1, sizeof(Id));
834       for (i = 1; i < pool->nrels; i++)
835         {
836           h = relhash(ran[i].name, ran[i].evr, ran[i].flags) & hashmask;
837           hh = HASHCHAIN_START;
838           while (hashtbl[h])
839             h = HASHCHAIN_NEXT(h, hh, hashmask);
840           hashtbl[h] = i;
841         }
842
843       /*
844        * read RelDeps from repo
845        */
846       
847       for (i = 0; i < numrel; i++)
848         {
849           name = read_id(&data, i + numid);     /* read (repo relative) Ids */
850           evr = read_id(&data, i + numid);
851           flags = read_u8(&data);
852           name = idmap[name];           /* map to (pool relative) Ids */
853           evr = idmap[evr];
854           h = relhash(name, evr, flags) & hashmask;
855           hh = HASHCHAIN_START;
856           for (;;)
857             {
858               id = hashtbl[h];
859               if (id == ID_NULL)        /* end of hash chain */
860                 break;
861               if (ran[id].name == name && ran[id].evr == evr && ran[id].flags == flags)
862                 break;
863               h = HASHCHAIN_NEXT(h, hh, hashmask);
864             }
865           if (id == ID_NULL)            /* new RelDep */
866             {
867               id = pool->nrels++;
868               hashtbl[h] = id;
869               ran[id].name = name;
870               ran[id].evr = evr;
871               ran[id].flags = flags;
872             }
873           idmap[i + numid] = MAKERELDEP(id);   /* fill Id map */
874         }
875       sat_free(hashtbl);
876       pool_shrink_rels(pool);           /* vacuum */
877     }
878
879
880   /*******  Part 3: Dirs  ***********************************************/
881   if (numdir)
882     {
883       data.dirpool.dirs = sat_malloc2(numdir, sizeof(Id));
884       data.dirpool.ndirs = numdir;
885       data.dirpool.dirs[0] = 0;         /* dir 0: virtual root */
886       data.dirpool.dirs[1] = 1;         /* dir 1: / */
887       for (i = 2; i < numdir; i++)
888         {
889           id = read_id(&data, i + numid);
890           if (id >= numid)
891             data.dirpool.dirs[i] = -(id - numid);
892           else if (idmap)
893             data.dirpool.dirs[i] = idmap[id];
894           else
895             data.dirpool.dirs[i] = id;
896         }
897     }
898
899   /*******  Part 4: Keys  ***********************************************/
900
901   keys = sat_calloc(numkeys, sizeof(*keys));
902   /* keys start at 1 */
903   for (i = 1; i < numkeys; i++)
904     {
905       id = read_id(&data, numid);
906       if (idmap)
907         id = idmap[id];
908       keys[i].name = id;
909       keys[i].type = read_id(&data, 0);
910       keys[i].size = read_id(&data, 0);
911       if (solvversion >= SOLV_VERSION_5)
912         {
913           keys[i].storage = read_id(&data, 0);
914           continue;
915         }
916       keys[i].storage = KEY_STORAGE_DROPPED;
917       if (parent)
918         {
919           keys[i].storage = KEY_STORAGE_INCORE;
920           continue;
921         }
922       switch (keys[i].type)
923         {
924         case TYPE_VOID:
925         case TYPE_CONSTANT:
926         case TYPE_STR:
927         case TYPE_NUM:
928         case TYPE_DIRNUMNUMARRAY:
929           keys[i].storage = KEY_STORAGE_INCORE;
930           break;
931         case TYPE_ID:
932           switch(id)
933             {
934             case SOLVABLE_NAME:
935             case SOLVABLE_ARCH:
936             case SOLVABLE_EVR:
937             case SOLVABLE_VENDOR:
938               keys[i].storage = KEY_STORAGE_SOLVABLE;
939               break;
940             default:
941               keys[i].storage = KEY_STORAGE_INCORE;
942               break;
943             }
944           break;
945         case TYPE_IDARRAY:
946         case TYPE_REL_IDARRAY:
947           if (id >= INTERESTED_START && id <= INTERESTED_END)
948             keys[i].storage = KEY_STORAGE_SOLVABLE;
949           else
950             keys[i].storage = KEY_STORAGE_INCORE;
951           break;
952         case TYPE_U32:
953           if (id == RPM_RPMDBID)
954             keys[i].storage = KEY_STORAGE_SOLVABLE;
955           else
956             keys[i].storage = KEY_STORAGE_INCORE;
957           break;
958         default:
959           break;
960         }
961     }
962
963   have_xdata = parent ? 1 : 0;
964   for (i = 1; i < numkeys; i++)
965     if (keys[i].storage == KEY_STORAGE_INCORE || keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
966       have_xdata = 1;
967
968   data.keys = keys;
969   data.nkeys = numkeys;
970
971   /*******  Part 5: Schemata ********************************************/
972   
973   id = read_id(&data, 0);
974   schemadata = sat_calloc(id + 1, sizeof(Id));
975   schemadatap = schemadata + 1;
976   schemadataend = schemadatap + id;
977   schemata = sat_calloc(numschemata, sizeof(Id));
978   for (i = 1; i < numschemata; i++)
979     {
980       schemata[i] = schemadatap - schemadata;
981       schemadatap = read_idarray(&data, numid, 0, schemadatap, schemadataend, 0);
982     }
983   data.schemata = schemata;
984   data.nschemata = numschemata;
985   data.schemadata = schemadata;
986   data.schemadatalen = schemadataend - data.schemadata;
987
988
989   /*******  Part 6: Info  ***********************************************/
990   for (i = 0; i < numinfo; i++)
991     {
992       /* for now we're just interested in data that starts with
993        * the repodata_external id
994        */
995       Id *keyp;
996       id = read_id(&data, numschemata);
997       if (solvversion < SOLV_VERSION_5)
998         id++;
999       keyp = schemadata + schemata[id];
1000       key = *keyp;
1001       if (keys[key].name == REPODATA_EXTERNAL && keys[key].type == TYPE_VOID)
1002         {
1003           /* external data for some ids */
1004           parse_repodata(&data, keyp, keys, idmap, numid, numrel, repo);
1005         }
1006       else
1007         skip_schema(&data, keyp, keys, numid, numrel);
1008     }
1009
1010
1011   /*******  Part 7: packed sizes (optional)  ****************************/
1012   char *exists = 0;
1013   if ((solvflags & SOLV_FLAG_PACKEDSIZES) != 0)
1014     {
1015       exists = sat_malloc (numsolv);
1016       for (i = 0; i < numsolv; i++)
1017         exists[i] = read_id(&data, 0) != 0;
1018     }
1019
1020
1021   /*******  Part 8: item data *******************************************/
1022
1023   /* calculate idarray size */
1024   size_idarray = 0;
1025   for (i = 1; i < numkeys; i++)
1026     {
1027       id = keys[i].name;
1028       if ((keys[i].type == TYPE_IDARRAY || keys[i].type == TYPE_REL_IDARRAY)
1029           && id >= INTERESTED_START && id <= INTERESTED_END)
1030         size_idarray += keys[i].size;
1031     }
1032
1033   /* allocate needed space in repo */
1034   if (size_idarray)
1035     {
1036       repo_reserve_ids(repo, 0, size_idarray);
1037       idarraydatap = repo->idarraydata + repo->idarraysize;
1038       repo->idarraysize += size_idarray;
1039       idarraydataend = idarraydatap + size_idarray;
1040       repo->lastoff = 0;
1041     }
1042   else
1043     {
1044       idarraydatap = 0;
1045       idarraydataend = 0;
1046     }
1047
1048   /* read solvables */
1049   if (numsolv)
1050     {
1051       s = pool_id2solvable(pool, repo_add_solvable_block(repo, numsolv));
1052       /* store start and end of our id block */
1053       data.start = s - pool->solvables;
1054       data.end = data.start + numsolv;
1055     }
1056   else
1057     s = 0;
1058
1059   if (have_xdata)
1060     data.incoreoffset = sat_calloc(numsolv, sizeof(Id));
1061   for (i = 0; i < numsolv; i++, s++)
1062     {
1063       Id *keyp;
1064       if (data.error)
1065         break;
1066       if (exists && !exists[i])
1067         continue;
1068       id = read_id(&data, numschemata);
1069       if (solvversion < SOLV_VERSION_5)
1070         id++;
1071       if (have_xdata)
1072         {
1073           data.incoreoffset[i] = data.incoredatalen;
1074           incore_add_id(&data, id);
1075         }
1076       keyp = schemadata + schemata[id];
1077       while ((key = *keyp++) != 0)
1078         {
1079           id = keys[key].name;
1080 #if 0
1081 fprintf(stderr, "solv %d name %d type %d class %d\n", i, id, keys[key].type, keys[key].storage);
1082 #endif
1083           if (keys[key].storage == KEY_STORAGE_VERTICAL_OFFSET)
1084             {
1085               /* copy offset/length into incore */
1086               did = read_id(&data, 0);
1087               incore_add_id(&data, did);
1088               did = read_id(&data, 0);
1089               incore_add_id(&data, did);
1090               continue;
1091             }
1092           switch (keys[key].type)
1093             {
1094             case TYPE_VOID:
1095             case TYPE_CONSTANT:
1096               break;
1097             case TYPE_ID:
1098               did = read_id(&data, numid + numrel);
1099               if (idmap)
1100                 did = idmap[did];
1101               if (id == SOLVABLE_NAME) {
1102                 s->name = did;
1103                 if (s->name) {
1104                   /* Yeah, thats ugly. Better store kind as u8 in .solv files */
1105                   const char *name = id2str(pool, s->name);
1106                   const char *colon = strchr(name, ':');
1107                   if (colon)
1108                     s->kind = colon - name + 1;
1109                 }
1110               }
1111               else if (id == SOLVABLE_ARCH)
1112                 s->arch = did;
1113               else if (id == SOLVABLE_EVR)
1114                 s->evr = did;
1115               else if (id == SOLVABLE_VENDOR)
1116                 s->vendor = did;
1117               else if (keys[key].storage == KEY_STORAGE_INCORE)
1118                 incore_add_id(&data, did);
1119 #if 0
1120               POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %s\n", id2str(pool, id), id2str(pool, did));
1121 #endif
1122               break;
1123             case TYPE_NUM:
1124               did = read_id(&data, 0);
1125               if (keys[key].storage == KEY_STORAGE_INCORE)
1126                 incore_add_id(&data, did);
1127 #if 0
1128               POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %d\n", id2str(pool, id), did);
1129 #endif
1130               break;
1131             case TYPE_U32:
1132               h = read_u32(&data);
1133 #if 0
1134               POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %u\n", id2str(pool, id), h);
1135 #endif
1136               if (id == RPM_RPMDBID)
1137                 {
1138                   if (!repo->rpmdbid)
1139                     repo->rpmdbid = sat_calloc(numsolv, sizeof(Id));
1140                   repo->rpmdbid[i] = h;
1141                 }
1142               else if (keys[key].storage == KEY_STORAGE_INCORE)
1143                 incore_add_u32(&data, h);
1144               break;
1145             case TYPE_STR:
1146               if (keys[key].storage == KEY_STORAGE_INCORE)
1147                 {
1148                   while ((h = read_u8(&data)) != 0)
1149                     incore_add_u8(&data, h);
1150                   incore_add_u8(&data, 0);
1151                 }
1152               else
1153                 {
1154                   while (read_u8(&data) != 0)
1155                     ;
1156                 }
1157               break;
1158             case TYPE_IDARRAY:
1159             case TYPE_REL_IDARRAY:
1160               if (id < INTERESTED_START || id > INTERESTED_END)
1161                 {
1162                   if (keys[key].storage == KEY_STORAGE_INCORE)
1163                     {
1164                       if (idmap)
1165                         {
1166                           Id old = 0, rel = keys[key].type == TYPE_REL_IDARRAY ? SOLVABLE_PREREQMARKER : 0;
1167                           do
1168                             {
1169                               did = read_id(&data, 0);
1170                               h = did & 0x40;
1171                               did = (did & 0x3f) | ((did >> 1) & ~0x3f);
1172                               if (rel)
1173                                 {
1174                                   if (did == 0)
1175                                     {
1176                                       did = rel;
1177                                       old = 0;
1178                                     }
1179                                   else
1180                                     {
1181                                       did += old;
1182                                       old = did;
1183                                     }
1184                                 }
1185                               if (did >= numid + numrel)
1186                                 abort();
1187                               did = idmap[did];
1188                               did = ((did & ~0x3f) << 1) | h;
1189                               incore_add_id(&data, did);
1190                             }
1191                           while (h);
1192                         }
1193                       else
1194                         {
1195                           while (((h = read_u8(&data)) & 0xc0) != 0)
1196                             incore_add_u8(&data, h);
1197                           break;
1198                         }
1199                     }
1200                   else
1201                     {
1202                       while ((read_u8(&data) & 0xc0) != 0)
1203                         ;
1204                       break;
1205                     }
1206                   break;
1207                 }
1208               ido = idarraydatap - repo->idarraydata;
1209               idarraydatap = read_idarray(&data, numid + numrel, idmap, idarraydatap, idarraydataend, keys[key].type == TYPE_REL_IDARRAY);
1210               if (id == SOLVABLE_PROVIDES)
1211                 s->provides = ido;
1212               else if (id == SOLVABLE_OBSOLETES)
1213                 s->obsoletes = ido;
1214               else if (id == SOLVABLE_CONFLICTS)
1215                 s->conflicts = ido;
1216               else if (id == SOLVABLE_REQUIRES)
1217                 s->requires = ido;
1218               else if (id == SOLVABLE_RECOMMENDS)
1219                 s->recommends= ido;
1220               else if (id == SOLVABLE_SUPPLEMENTS)
1221                 s->supplements = ido;
1222               else if (id == SOLVABLE_SUGGESTS)
1223                 s->suggests = ido;
1224               else if (id == SOLVABLE_ENHANCES)
1225                 s->enhances = ido;
1226               else if (id == SOLVABLE_FRESHENS)
1227                 s->freshens = ido;
1228 #if 0
1229               POOL_DEBUG(SAT_DEBUG_STATS, "%s ->\n", id2str(pool, id));
1230               for (; repo->idarraydata[ido]; ido++)
1231                 POOL_DEBUG(SAT_DEBUG_STATS,"  %s\n", dep2str(pool, repo->idarraydata[ido]));
1232 #endif
1233               break;
1234 #if 0
1235             case TYPE_VOID:
1236
1237             case TYPE_ATTR_INT:
1238             case TYPE_ATTR_CHUNK:
1239             case TYPE_ATTR_STRING:
1240             case TYPE_ATTR_INTLIST:
1241             case TYPE_ATTR_LOCALIDS:
1242               if (!embedded_store)
1243                 embedded_store = new_store (pool);
1244               add_attr_from_file (embedded_store, i, id, keys[key].type, idmap, numid, &data, keys[key].size);
1245               break;
1246 #endif
1247             case TYPE_DIRNUMNUMARRAY:
1248               for (;;)
1249                 {
1250                   Id num, num2;
1251                   did = read_id(&data, numdir);
1252                   num = read_id(&data, 0);
1253                   num2 = read_id(&data, 0);
1254                   if (keys[key].storage == KEY_STORAGE_INCORE)
1255                     {
1256 #if 0
1257                       POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %d %d %d\n", id2str(pool, id), did, num, num2);
1258 #endif
1259                       incore_add_id(&data, did);
1260                       incore_add_id(&data, num);
1261                       incore_add_id(&data, num2);
1262                     }
1263                   if (!(num2 & 0x40))
1264                     break;
1265                 }
1266               break;
1267         
1268             default:
1269               skip_item(&data, keys[key].type, numid, numrel);
1270             }
1271         }
1272     }
1273
1274   if (data.error)
1275     {
1276       /* free solvables */
1277       repo_free_solvable_block(repo, data.start, data.end - data.start, 1);
1278       /* free id array */
1279       repo->idarraysize -= size_idarray;
1280       /* free incore data */
1281       data.incoredata = sat_free(data.incoredata);
1282       data.incoredatalen = data.incoredatafree = 0;
1283     }
1284
1285   if (data.incoredatafree)
1286     {
1287       /* shrink excess size */
1288       data.incoredata = sat_realloc(data.incoredata, data.incoredatalen);
1289       data.incoredatafree = 0;
1290     }
1291
1292   for (i = 1; i < numkeys; i++)
1293     if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1294       break;
1295   if (i < numkeys && !data.error)
1296     {
1297       Id fileoffset = 0;
1298       unsigned int pagesize;
1299       
1300       /* we have vertical data, make it available */
1301       data.verticaloffset = sat_calloc(numkeys, sizeof(Id));
1302       for (i = 1; i < numkeys; i++)
1303         if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1304           {
1305             data.verticaloffset[i] = fileoffset;
1306             fileoffset += keys[i].size;
1307           }
1308       data.lastverticaloffset = fileoffset;
1309       pagesize = read_u32(&data);
1310       repodata_read_or_setup_pages(&data, pagesize, fileoffset);
1311     }
1312   else
1313     {
1314       /* no longer needed */
1315       data.fp = 0;
1316     }
1317
1318   if (parent)
1319     {
1320       /* we're a store */
1321       sat_free(parent->schemata);
1322       sat_free(parent->schemadata);
1323       sat_free(parent->keys);
1324       *parent = data;
1325     }
1326   else if (data.incoredatalen || data.fp)
1327     {
1328       /* we got some data, make it available */
1329       repo->repodata = sat_realloc2(repo->repodata, repo->nrepodata + 1, sizeof(data));
1330       repo->repodata[repo->nrepodata++] = data;
1331     }
1332   else
1333     {
1334       /* discard data */
1335       sat_free(data.dirpool.dirs);
1336       sat_free(data.incoreoffset);
1337       sat_free(schemata);
1338       sat_free(schemadata);
1339       sat_free(keys);
1340     }
1341
1342   sat_free(exists);
1343 #if 0
1344   if (embedded_store)
1345     {
1346       attr_store_pack (embedded_store);
1347       /* If we have any attributes we also have pages.  */
1348       read_or_setup_pages (fp, embedded_store);
1349       /* The NULL name here means embedded attributes.  */
1350       repo_add_attrstore (repo, embedded_store, NULL);
1351     }
1352 #endif
1353   sat_free(idmap);
1354   mypool = 0;
1355   return data.error;
1356 }
1357
1358 int
1359 repo_add_solv(Repo *repo, FILE *fp)
1360 {
1361   return repo_add_solv_parent(repo, fp, 0);
1362 }
1363
1364 static void
1365 repodata_load_solv(Repodata *data)
1366 {
1367   FILE *fp;
1368 #if 0
1369   Pool *pool = data->repo->pool;
1370   if (!pool->loadcallback)
1371     {   
1372       data->state = REPODATA_ERROR;
1373       return;
1374     }   
1375   fp = pool->loadcallback(pool->loadcallback_data, pool, data);
1376 #else
1377   fp = 0;
1378 #endif
1379
1380   if (!fp)
1381     {   
1382       data->state = REPODATA_ERROR;
1383       return;
1384     }   
1385   if (repo_add_solv_parent(data->repo, fp, data))
1386     data->state = REPODATA_ERROR;
1387   else
1388     data->state = REPODATA_AVAILABLE;
1389 }