razor: razor.c@28e203d118c7 (annotated)

krh@15	1	#define _GNU_SOURCE
krh@15	2
krh@0	3	#include <stdlib.h>
krh@19	4	#include <stddef.h>
danw@108	5	#include <stdint.h>
krh@0	6	#include <stdio.h>
krh@0	7	#include <string.h>
krh@0	8	#include <sys/types.h>
krh@0	9	#include <sys/stat.h>
krh@0	10	#include <sys/mman.h>
krh@0	11	#include <unistd.h>
krh@0	12	#include <fcntl.h>
krh@15	13	#include <errno.h>
krh@35	14	#include <ctype.h>
krh@54	15	#include <fnmatch.h>
krh@0	16
krh@27	17	#include "razor.h"
krh@91	18	#include "razor-internal.h"
danw@115	19	#include "types.h"
krh@30	20
krh@30	21	struct razor_set_section {
danw@108	22	uint32_t type;
danw@108	23	uint32_t offset;
danw@108	24	uint32_t size;
krh@30	25	};
krh@30	26
krh@30	27	struct razor_set_header {
danw@108	28	uint32_t magic;
danw@108	29	uint32_t version;
krh@30	30	struct razor_set_section sections[0];
krh@30	31	};
krh@30	32
krh@30	33	#define RAZOR_MAGIC 0x7a7a7a7a
krh@30	34	#define RAZOR_VERSION 1
krh@30	35
krh@66	36	#define RAZOR_STRING_POOL 0
krh@66	37	#define RAZOR_PACKAGES 1
krh@66	38	#define RAZOR_PROPERTIES 2
krh@66	39	#define RAZOR_FILES 3
krh@66	40	#define RAZOR_PACKAGE_POOL 4
krh@66	41	#define RAZOR_PROPERTY_POOL 5
krh@66	42	#define RAZOR_FILE_POOL 6
krh@30	43
krh@30	44	struct razor_package {
danw@120	45	uint name : 24;
danw@120	46	uint flags : 8;
danw@108	47	uint32_t version;
danw@117	48	struct list_head properties;
danw@117	49	struct list_head files;
krh@30	50	};
krh@30	51
krh@30	52	struct razor_property {
danw@119	53	uint name : 24;
danw@119	54	uint flags : 6;
danw@162	55	enum razor_property_type type : 2;
danw@162	56	enum razor_version_relation relation : 32;
danw@108	57	uint32_t version;
danw@117	58	struct list_head packages;
krh@30	59	};
krh@30	60
krh@48	61	struct razor_entry {
danw@120	62	uint name : 24;
danw@120	63	uint flags : 8;
danw@108	64	uint32_t start;
danw@117	65	struct list_head packages;
krh@48	66	};
krh@48	67
danw@120	68	#define RAZOR_ENTRY_LAST 0x80
danw@120	69
krh@30	70	struct razor_set {
krh@30	71	struct array string_pool;
krh@30	72	struct array packages;
krh@66	73	struct array properties;
krh@56	74	struct array files;
krh@56	75	struct array package_pool;
krh@66	76	struct array property_pool;
krh@56	77	struct array file_pool;
krh@30	78	struct razor_set_header *header;
krh@30	79	};
krh@30	80
krh@52	81	struct import_entry {
danw@108	82	uint32_t package;
krh@52	83	char *name;
krh@52	84	};
krh@52	85
krh@52	86	struct import_directory {
danw@108	87	uint32_t name, count;
krh@52	88	struct array files;
krh@52	89	struct array packages;
krh@52	90	struct import_directory *last;
krh@52	91	};
krh@52	92
krh@30	93	struct razor_importer {
krh@30	94	struct razor_set *set;
krh@78	95	struct hashtable table;
krh@30	96	struct razor_package *package;
krh@66	97	struct array properties;
krh@48	98	struct array files;
danw@159	99	struct array file_requires;
krh@30	100	};
krh@30	101
krh@0	102	static void *
krh@0	103	zalloc(size_t size)
krh@0	104	{
krh@0	105	void *p;
krh@0	106
krh@0	107	p = malloc(size);
krh@0	108	memset(p, 0, size);
krh@0	109
krh@0	110	return p;
krh@0	111	}
krh@0	112
krh@19	113	struct razor_set_section razor_sections[] = {
krh@56	114	{ RAZOR_STRING_POOL, offsetof(struct razor_set, string_pool) },
krh@19	115	{ RAZOR_PACKAGES, offsetof(struct razor_set, packages) },
krh@66	116	{ RAZOR_PROPERTIES, offsetof(struct razor_set, properties) },
krh@56	117	{ RAZOR_FILES, offsetof(struct razor_set, files) },
krh@39	118	{ RAZOR_PACKAGE_POOL, offsetof(struct razor_set, package_pool) },
krh@66	119	{ RAZOR_PROPERTY_POOL, offsetof(struct razor_set, property_pool) },
krh@56	120	{ RAZOR_FILE_POOL, offsetof(struct razor_set, file_pool) },
krh@19	121	};
krh@19	122
krh@4	123	struct razor_set *
krh@4	124	razor_set_create(void)
krh@0	125	{
krh@150	126	struct razor_set *set;
krh@150	127	struct razor_entry *e;
danw@167	128	char *empty;
krh@150	129
krh@150	130	set = zalloc(sizeof *set);
krh@150	131
krh@150	132	e = array_add(&set->files, sizeof *e);
danw@167	133	empty = array_add(&set->string_pool, 1);
danw@167	134	*empty = '\0';
krh@150	135	e->name = 0;
krh@150	136	e->flags = RAZOR_ENTRY_LAST;
krh@150	137	e->start = 0;
krh@150	138	list_set_empty(&e->packages);
krh@150	139
krh@150	140	return set;
krh@0	141	}
krh@0	142
krh@4	143	struct razor_set *
krh@4	144	razor_set_open(const char *filename)
krh@0	145	{
krh@4	146	struct razor_set *set;
krh@19	147	struct razor_set_section *s;
krh@0	148	struct stat stat;
krh@19	149	struct array *array;
krh@19	150	int fd;
krh@0	151
krh@4	152	set = zalloc(sizeof *set);
krh@0	153	fd = open(filename, O_RDONLY);
krh@0	154	if (fstat(fd, &stat) < 0)
krh@0	155	return NULL;
krh@4	156	set->header = mmap(NULL, stat.st_size, PROT_READ, MAP_PRIVATE, fd, 0);
krh@4	157	if (set->header == MAP_FAILED) {
krh@4	158	free(set);
krh@0	159	return NULL;
krh@0	160	}
krh@0	161
krh@19	162	for (s = set->header->sections; ~s->type; s++) {
krh@19	163	if (s->type >= ARRAY_SIZE(razor_sections))
krh@19	164	continue;
krh@19	165	if (s->type != razor_sections[s->type].type)
krh@19	166	continue;
krh@19	167	array = (void *) set + razor_sections[s->type].offset;
krh@19	168	array->data = (void *) set->header + s->offset;
krh@19	169	array->size = s->size;
krh@19	170	array->alloc = s->size;
krh@0	171	}
krh@0	172	close(fd);
krh@0	173
krh@4	174	return set;
krh@0	175	}
krh@0	176
krh@0	177	void
krh@4	178	razor_set_destroy(struct razor_set *set)
krh@0	179	{
krh@0	180	unsigned int size;
krh@19	181	struct array *a;
krh@0	182	int i;
krh@0	183
krh@4	184	if (set->header) {
krh@4	185	for (i = 0; set->header->sections[i].type; i++)
krh@0	186	;
krh@4	187	size = set->header->sections[i].type;
krh@4	188	munmap(set->header, size);
krh@0	189	} else {
krh@19	190	for (i = 0; i < ARRAY_SIZE(razor_sections); i++) {
krh@19	191	a = (void *) set + razor_sections[i].offset;
krh@19	192	free(a->data);
krh@19	193	}
krh@0	194	}
krh@0	195
krh@4	196	free(set);
krh@0	197	}
krh@0	198
krh@43	199	int
krh@4	200	razor_set_write(struct razor_set set, const char filename)
krh@0	201	{
krh@0	202	char data[4096];
krh@4	203	struct razor_set_header header = (struct razor_set_header ) data;
krh@19	204	struct array *a;
danw@108	205	uint32_t offset;
krh@17	206	int i, fd;
krh@0	207
krh@0	208	memset(data, 0, sizeof data);
krh@4	209	header->magic = RAZOR_MAGIC;
krh@4	210	header->version = RAZOR_VERSION;
krh@17	211	offset = sizeof data;
krh@0	212
krh@19	213	for (i = 0; i < ARRAY_SIZE(razor_sections); i++) {
krh@19	214	if (razor_sections[i].type != i)
krh@19	215	continue;
krh@19	216	a = (void *) set + razor_sections[i].offset;
krh@19	217	header->sections[i].type = i;
krh@17	218	header->sections[i].offset = offset;
krh@19	219	header->sections[i].size = a->size;
krh@91	220	offset += ALIGN(a->size, 4096);
krh@17	221	}
krh@0	222
krh@19	223	header->sections[i].type = ~0;
krh@17	224	header->sections[i].offset = 0;
krh@17	225	header->sections[i].size = 0;
krh@10	226
krh@0	227	fd = open(filename, O_CREAT \| O_WRONLY \| O_TRUNC, 0666);
krh@0	228	if (fd < 0)
krh@0	229	return -1;
krh@0	230
krh@91	231	razor_write(fd, data, sizeof data);
danw@113	232	memset(data, 0, sizeof data);
krh@19	233	for (i = 0; i < ARRAY_SIZE(razor_sections); i++) {
krh@19	234	if (razor_sections[i].type != i)
krh@19	235	continue;
krh@19	236	a = (void *) set + razor_sections[i].offset;
danw@113	237	razor_write(fd, a->data, a->size);
danw@113	238	razor_write(fd, data, ALIGN(a->size, 4096) - a->size);
krh@19	239	}
krh@17	240
krh@17	241	close(fd);
krh@0	242
krh@0	243	return 0;
krh@0	244	}
krh@0	245
krh@27	246	void
danw@143	247	razor_build_evr(char evr_buf, int size, const char epoch,
danw@143	248	const char version, const char release)
danw@143	249	{
danw@143	250	int len;
danw@143	251
danw@143	252	if (!version \|\| !*version) {
danw@143	253	*evr_buf = '\0';
danw@143	254	return;
danw@143	255	}
danw@143	256
danw@143	257	if (epoch && *epoch && strcmp(epoch, "0") != 0) {
danw@143	258	len = snprintf(evr_buf, size, "%s:", epoch);
danw@143	259	evr_buf += len;
danw@143	260	size -= len;
danw@143	261	}
danw@143	262	len = snprintf(evr_buf, size, "%s", version);
danw@143	263	evr_buf += len;
danw@143	264	size -= len;
danw@143	265	if (release && *release)
danw@143	266	snprintf(evr_buf, size, "-%s", release);
danw@143	267	}
danw@143	268
danw@143	269	void
krh@30	270	razor_importer_begin_package(struct razor_importer *importer,
krh@30	271	const char name, const char version)
krh@13	272	{
krh@25	273	struct razor_package *p;
krh@13	274
krh@30	275	p = array_add(&importer->set->packages, sizeof *p);
krh@95	276	p->name = hashtable_tokenize(&importer->table, name);
danw@120	277	p->flags = 0;
krh@95	278	p->version = hashtable_tokenize(&importer->table, version);
krh@13	279
krh@30	280	importer->package = p;
krh@66	281	array_init(&importer->properties);
krh@13	282	}
krh@13	283
krh@13	284	void
krh@30	285	razor_importer_finish_package(struct razor_importer *importer)
krh@13	286	{
danw@117	287	list_set_array(&importer->package->properties,
danw@117	288	&importer->set->property_pool,
danw@124	289	&importer->properties,
danw@124	290	1);
krh@13	291
krh@66	292	array_release(&importer->properties);
krh@13	293	}
krh@13	294
krh@66	295	void
krh@30	296	razor_importer_add_property(struct razor_importer *importer,
danw@109	297	const char *name,
danw@109	298	enum razor_version_relation relation,
danw@109	299	const char *version,
krh@66	300	enum razor_property_type type)
krh@13	301	{
krh@25	302	struct razor_property *p;
danw@108	303	uint32_t *r;
krh@13	304
krh@66	305	p = array_add(&importer->set->properties, sizeof *p);
danw@119	306	p->name = hashtable_tokenize(&importer->table, name);
danw@119	307	p->flags = 0;
danw@119	308	p->type = type;
danw@109	309	p->relation = relation;
krh@95	310	p->version = hashtable_tokenize(&importer->table, version);
danw@117	311	list_set_ptr(&p->packages, importer->package -
danw@117	312	(struct razor_package *) importer->set->packages.data);
krh@13	313
krh@66	314	r = array_add(&importer->properties, sizeof *r);
krh@66	315	r = p - (struct razor_property ) importer->set->properties.data;
danw@159	316
danw@159	317	if (type == RAZOR_PROPERTY_REQUIRES && *name == '/') {
danw@159	318	r = array_add(&importer->file_requires, sizeof *r);
danw@159	319	*r = p->name;
danw@159	320	}
krh@30	321	}
krh@30	322
krh@46	323	void
krh@46	324	razor_importer_add_file(struct razor_importer importer, const char name)
krh@46	325	{
krh@52	326	struct import_entry *e;
krh@48	327
krh@52	328	e = array_add(&importer->files, sizeof *e);
krh@52	329
krh@52	330	e->package = importer->package -
krh@52	331	(struct razor_package *) importer->set->packages.data;
krh@52	332	e->name = strdup(name);
krh@46	333	}
krh@46	334
krh@30	335	struct razor_importer *
krh@30	336	razor_importer_new(void)
krh@30	337	{
krh@30	338	struct razor_importer *importer;
krh@30	339
krh@30	340	importer = zalloc(sizeof *importer);
krh@30	341	importer->set = razor_set_create();
krh@78	342	hashtable_init(&importer->table, &importer->set->string_pool);
krh@30	343
krh@30	344	return importer;
krh@9	345	}
krh@9	346
krh@75	347	/* Destroy an importer without creating the set. */
krh@75	348	void
krh@75	349	razor_importer_destroy(struct razor_importer *importer)
krh@75	350	{
krh@75	351	/* FIXME: write this */
krh@75	352	}
krh@75	353
krh@75	354
krh@22	355	typedef int (compare_with_data_func_t)(const void p1,
krh@22	356	const void *p,
krh@22	357	void *data);
krh@22	358
krh@25	359	struct qsort_context {
krh@25	360	size_t size;
krh@25	361	compare_with_data_func_t compare;
krh@25	362	void *data;
krh@25	363	};
krh@25	364
krh@22	365	static void
krh@22	366	qsort_swap(void p1, void p2, size_t size)
krh@22	367	{
krh@22	368	char buffer[size];
krh@22	369
krh@22	370	memcpy(buffer, p1, size);
krh@22	371	memcpy(p1, p2, size);
krh@22	372	memcpy(p2, buffer, size);
krh@22	373	}
krh@22	374
krh@25	375	static void
danw@108	376	__qsort_with_data(void base, size_t nelem, uint32_t map,
krh@25	377	struct qsort_context *ctx)
krh@22	378	{
krh@22	379	void p, start, end, pivot;
danw@108	380	uint32_t mp, mstart, *mend, tmp;
krh@22	381	int left, right, result;
krh@25	382	size_t size = ctx->size;
krh@22	383
krh@22	384	p = base;
krh@22	385	start = base;
krh@22	386	end = base + nelem * size;
krh@25	387	mp = map;
krh@25	388	mstart = map;
krh@25	389	mend = map + nelem;
krh@22	390	pivot = base + (random() % nelem) * size;
krh@25	391
krh@22	392	while (p < end) {
krh@25	393	result = ctx->compare(p, pivot, ctx->data);
krh@22	394	if (result < 0) {
krh@22	395	qsort_swap(p, start, size);
krh@25	396	tmp = *mp;
krh@25	397	mp = mstart;
krh@25	398	*mstart = tmp;
krh@22	399	if (start == pivot)
krh@22	400	pivot = p;
krh@22	401	start += size;
krh@25	402	mstart++;
krh@22	403	p += size;
krh@29	404	mp++;
krh@22	405	} else if (result == 0) {
krh@22	406	p += size;
krh@25	407	mp++;
krh@22	408	} else {
krh@22	409	end -= size;
krh@25	410	mend--;
krh@22	411	qsort_swap(p, end, size);
krh@25	412	tmp = *mp;
krh@29	413	mp = mend;
krh@29	414	*mend = tmp;
krh@22	415	if (end == pivot)
krh@22	416	pivot = p;
krh@22	417	}
krh@22	418	}
krh@22	419
krh@22	420	left = (start - base) / size;
krh@22	421	right = (base + nelem * size - end) / size;
krh@22	422	if (left > 1)
krh@25	423	__qsort_with_data(base, left, map, ctx);
krh@22	424	if (right > 1)
krh@25	425	__qsort_with_data(end, right, mend, ctx);
krh@25	426	}
krh@25	427
danw@137	428	static uint32_t *
krh@25	429	qsort_with_data(void *base, size_t nelem, size_t size,
krh@25	430	compare_with_data_func_t compare, void *data)
krh@25	431	{
krh@25	432	struct qsort_context ctx;
danw@108	433	uint32_t *map;
krh@25	434	int i;
krh@25	435
krh@75	436	if (nelem == 0)
krh@75	437	return NULL;
krh@75	438
krh@25	439	ctx.size = size;
krh@25	440	ctx.compare = compare;
krh@25	441	ctx.data = data;
krh@25	442
danw@108	443	map = malloc(nelem * sizeof (uint32_t));
krh@25	444	for (i = 0; i < nelem; i++)
krh@25	445	map[i] = i;
krh@25	446
krh@25	447	__qsort_with_data(base, nelem, map, &ctx);
krh@25	448
krh@25	449	return map;
krh@22	450	}
krh@9	451
krh@9	452	static int
krh@35	453	versioncmp(const char s1, const char s2)
krh@35	454	{
krh@35	455	const char p1, p2;
krh@35	456	long n1, n2;
krh@35	457	int res;
krh@35	458
danw@153	459	n1 = strtol(s1, (char **) &p1, 10);
danw@153	460	n2 = strtol(s2, (char **) &p2, 10);
krh@35	461
krh@35	462	/* Epoch; if one but not the other has an epoch set, default
krh@35	463	* the epoch-less version to 0. */
krh@35	464	res = (p1 == ':') - (p2 == ':');
krh@35	465	if (res < 0) {
krh@35	466	n1 = 0;
krh@35	467	p1 = s1;
krh@35	468	p2++;
krh@35	469	} else if (res > 0) {
krh@35	470	p1++;
krh@35	471	n2 = 0;
krh@35	472	p2 = s2;
krh@35	473	}
krh@35	474
krh@35	475	if (n1 != n2)
krh@35	476	return n1 - n2;
krh@35	477	while (p1 && p2) {
krh@35	478	if (p1 != p2)
krh@35	479	return p1 - p2;
krh@35	480	p1++;
krh@35	481	p2++;
krh@35	482	if (isdigit(p1) && isdigit(p2))
krh@35	483	return versioncmp(p1, p2);
krh@35	484	}
krh@35	485
krh@35	486	return p1 - p2;
krh@35	487	}
krh@35	488
krh@35	489	static int
krh@22	490	compare_packages(const void p1, const void p2, void *data)
krh@9	491	{
krh@25	492	const struct razor_package pkg1 = p1, pkg2 = p2;
krh@22	493	struct razor_set *set = data;
krh@22	494	char *pool = set->string_pool.data;
krh@9	495
danw@120	496	/* FIXME: what if the flags are different? */
krh@23	497	if (pkg1->name == pkg2->name)
krh@35	498	return versioncmp(&pool[pkg1->version], &pool[pkg2->version]);
krh@23	499	else
krh@23	500	return strcmp(&pool[pkg1->name], &pool[pkg2->name]);
krh@9	501	}
krh@9	502
krh@9	503	static int
krh@22	504	compare_properties(const void p1, const void p2, void *data)
krh@9	505	{
krh@25	506	const struct razor_property prop1 = p1, prop2 = p2;
krh@22	507	struct razor_set *set = data;
krh@22	508	char *pool = set->string_pool.data;
krh@9	509
danw@119	510	if (prop1->name != prop2->name)
danw@119	511	return strcmp(&pool[prop1->name], &pool[prop2->name]);
danw@119	512	else if (prop1->type != prop2->type)
danw@119	513	return prop1->type - prop2->type;
danw@119	514	else if (prop1->relation != prop2->relation)
danw@119	515	return prop1->relation - prop2->relation;
krh@12	516	else
danw@119	517	return versioncmp(&pool[prop1->version], &pool[prop2->version]);
krh@9	518	}
krh@9	519
danw@108	520	static uint32_t *
krh@66	521	uniqueify_properties(struct razor_set *set)
krh@9	522	{
krh@25	523	struct razor_property rp, up, *rp_end;
krh@18	524	struct array pkgs, p;
danw@117	525	struct list_head *r;
danw@117	526	uint32_t map, rmap;
krh@18	527	int i, count, unique;
krh@9	528
krh@66	529	count = set->properties.size / sizeof(struct razor_property);
krh@66	530	map = qsort_with_data(set->properties.data,
krh@25	531	count,
krh@25	532	sizeof(struct razor_property),
krh@25	533	compare_properties,
krh@25	534	set);
krh@9	535
krh@66	536	rp_end = set->properties.data + set->properties.size;
krh@25	537	rmap = malloc(count * sizeof *map);
krh@25	538	pkgs = zalloc(count * sizeof *pkgs);
krh@66	539	for (rp = set->properties.data, up = rp, i = 0; rp < rp_end; rp++, i++) {
danw@119	540	if (rp->name != up->name \|\| rp->type != up->type \|\|
danw@119	541	rp->relation != up->relation \|\| rp->version != up->version) {
krh@25	542	up++;
krh@25	543	up->name = rp->name;
danw@119	544	up->flags = 0;
danw@119	545	up->type = rp->type;
danw@109	546	up->relation = rp->relation;
krh@25	547	up->version = rp->version;
krh@10	548	}
krh@25	549
krh@66	550	unique = up - (struct razor_property *) set->properties.data;
krh@25	551	rmap[map[i]] = unique;
krh@25	552	r = array_add(&pkgs[unique], sizeof *r);
krh@25	553	*r = rp->packages;
krh@10	554	}
krh@25	555	free(map);
krh@9	556
danw@124	557	if (up != rp)
danw@124	558	up++;
krh@66	559	set->properties.size = (void *) up - set->properties.data;
krh@25	560	rp_end = up;
krh@66	561	for (rp = set->properties.data, p = pkgs; rp < rp_end; rp++, p++) {
danw@124	562	list_set_array(&rp->packages, &set->package_pool, p, 0);
krh@25	563	array_release(p);
krh@18	564	}
krh@18	565
krh@18	566	free(pkgs);
krh@18	567
krh@25	568	return rmap;
krh@10	569	}
krh@10	570
krh@48	571	static int
krh@48	572	compare_filenames(const void p1, const void p2, void *data)
krh@48	573	{
krh@52	574	const struct import_entry *e1 = p1;
krh@52	575	const struct import_entry *e2 = p2;
danw@126	576	const char *n1 = e1->name;
danw@126	577	const char *n2 = e2->name;
krh@48	578
danw@126	579	/* Need to make sure that the contents of a directory
danw@126	580	* are sorted immediately after it. So "foo/bar" has to
danw@126	581	* sort before "foo.conf"
danw@126	582	*
danw@126	583	* FIXME: this is about 60% slower than strcmp
danw@126	584	*/
danw@126	585	while (n1 && n2) {
danw@126	586	if (n1 < n2)
danw@126	587	return *n2 == '/' ? 1 : -1;
danw@126	588	else if (n1 > n2)
danw@126	589	return *n1 == '/' ? -1 : 1;
danw@126	590	n1++;
danw@126	591	n2++;
danw@126	592	}
danw@126	593	if (*n1)
danw@126	594	return 1;
danw@126	595	else if (*n2)
danw@126	596	return -1;
danw@126	597	else
danw@126	598	return 0;
krh@48	599	}
krh@48	600
krh@48	601	static void
krh@52	602	count_entries(struct import_directory *d)
krh@48	603	{
krh@52	604	struct import_directory p, end;
krh@48	605
krh@48	606	p = d->files.data;
krh@48	607	end = d->files.data + d->files.size;
krh@48	608	d->count = 0;
krh@48	609	while (p < end) {
krh@48	610	count_entries(p);
krh@48	611	d->count += p->count + 1;
krh@48	612	p++;
krh@48	613	}
krh@48	614	}
krh@48	615
krh@48	616	static void
krh@52	617	serialize_files(struct razor_set *set,
krh@52	618	struct import_directory d, struct array array)
krh@48	619	{
krh@52	620	struct import_directory p, end;
krh@56	621	struct razor_entry *e = NULL;
danw@114	622	uint32_t s;
krh@48	623
krh@48	624	p = d->files.data;
krh@48	625	end = d->files.data + d->files.size;
krh@48	626	s = array->size / sizeof e + d->files.size / sizeof p;
krh@48	627	while (p < end) {
krh@48	628	e = array_add(array, sizeof *e);
krh@48	629	e->name = p->name;
danw@120	630	e->flags = 0;
krh@56	631	e->start = p->count > 0 ? s : 0;
krh@48	632	s += p->count;
krh@60	633
danw@124	634	list_set_array(&e->packages, &set->package_pool, &p->packages, 0);
krh@52	635	array_release(&p->packages);
krh@48	636	p++;
krh@48	637	}
krh@56	638	if (e != NULL)
danw@120	639	e->flags \|= RAZOR_ENTRY_LAST;
krh@48	640
krh@48	641	p = d->files.data;
krh@48	642	end = d->files.data + d->files.size;
krh@48	643	while (p < end) {
krh@52	644	serialize_files(set, p, array);
krh@48	645	p++;
krh@48	646	}
krh@48	647	}
krh@48	648
krh@48	649	static void
danw@108	650	remap_property_package_links(struct array properties, uint32_t rmap)
krh@61	651	{
krh@61	652	struct razor_property p, end;
krh@61	653
krh@61	654	end = properties->data + properties->size;
krh@61	655	for (p = properties->data; p < end; p++)
danw@117	656	list_remap_head(&p->packages, rmap);
krh@61	657	}
krh@61	658
krh@61	659	static void
krh@48	660	build_file_tree(struct razor_importer *importer)
krh@48	661	{
krh@48	662	int count, i, length;
krh@52	663	struct import_entry *filenames;
krh@52	664	char f, end;
danw@108	665	uint32_t name, *r;
krh@48	666	char dirname[256];
krh@52	667	struct import_directory *d, root;
krh@48	668	struct razor_entry *e;
krh@48	669
krh@52	670	count = importer->files.size / sizeof (struct import_entry);
krh@48	671	qsort_with_data(importer->files.data,
krh@48	672	count,
krh@52	673	sizeof (struct import_entry),
krh@48	674	compare_filenames,
krh@48	675	NULL);
krh@48	676
krh@95	677	root.name = hashtable_tokenize(&importer->table, "");
krh@48	678	array_init(&root.files);
krh@52	679	array_init(&root.packages);
krh@48	680	root.last = NULL;
krh@48	681
krh@48	682	filenames = importer->files.data;
krh@48	683	for (i = 0; i < count; i++) {
krh@52	684	f = filenames[i].name;
krh@48	685	if (*f != '/')
krh@48	686	continue;
krh@57	687	f++;
krh@48	688
krh@48	689	d = &root;
krh@48	690	while (*f) {
krh@57	691	end = strchr(f, '/');
krh@48	692	if (end == NULL)
krh@48	693	end = f + strlen(f);
krh@57	694	length = end - f;
krh@57	695	memcpy(dirname, f, length);
krh@48	696	dirname[length] ='\0';
krh@95	697	name = hashtable_tokenize(&importer->table, dirname);
krh@48	698	if (d->last == NULL \|\| d->last->name != name) {
krh@48	699	d->last = array_add(&d->files, sizeof *d);
krh@48	700	d->last->name = name;
krh@48	701	d->last->last = NULL;
krh@48	702	array_init(&d->last->files);
krh@52	703	array_init(&d->last->packages);
krh@48	704	}
krh@48	705	d = d->last;
krh@57	706	f = end + 1;
krh@57	707	if (*end == '\0')
krh@57	708	break;
krh@48	709	}
krh@48	710
krh@52	711	r = array_add(&d->packages, sizeof *r);
krh@52	712	*r = filenames[i].package;
krh@52	713	free(filenames[i].name);
krh@48	714	}
krh@48	715
krh@48	716	count_entries(&root);
krh@150	717	e = importer->set->files.data;
danw@120	718	e->name = root.name;
danw@120	719	e->flags = RAZOR_ENTRY_LAST;
danw@129	720	e->start = importer->files.size ? 1 : 0;
danw@117	721	list_set_empty(&e->packages);
krh@48	722
krh@56	723	serialize_files(importer->set, &root, &importer->set->files);
krh@48	724
krh@48	725	array_release(&importer->files);
krh@48	726	}
krh@48	727
danw@159	728	static struct razor_entry *
danw@159	729	find_entry(struct razor_set set, struct razor_entry dir, const char *pattern);
danw@159	730
danw@159	731	static void
danw@159	732	list_to_array(struct list list, struct array array)
danw@159	733	{
danw@159	734	uint32_t *item;
danw@159	735
danw@159	736	while (list) {
danw@159	737	item = array_add(array, sizeof *item);
danw@159	738	*item = list->data;
danw@159	739	list = list_next(list);
danw@159	740	}
danw@159	741	}
danw@159	742
danw@159	743	static int
danw@159	744	compare_file_requires(const void p1, const void p2, void *data)
danw@159	745	{
danw@159	746	uint32_t f1 = (void )p1, f2 = (void )p2;
danw@159	747	const char *pool = data;
danw@159	748
danw@159	749	return strcmp(&pool[f1], &pool[f2]);
danw@159	750	}
danw@159	751
danw@159	752	static void
danw@159	753	find_file_provides(struct razor_importer *importer)
danw@159	754	{
danw@159	755	struct razor_property *prop;
danw@159	756	struct razor_entry top, entry;
danw@159	757	struct razor_package *packages;
danw@163	758	struct array pkgprops;
danw@163	759	struct list *pkg;
danw@163	760	uint32_t req, req_start, *req_end;
danw@163	761	uint32_t map, newprop;
danw@159	762	char *pool;
danw@159	763
danw@159	764	pool = importer->set->string_pool.data;
danw@159	765	packages = importer->set->packages.data;
danw@159	766	top = importer->set->files.data;
danw@159	767
danw@159	768	req = req_start = importer->file_requires.data;
danw@159	769	req_end = importer->file_requires.data + importer->file_requires.size;
danw@159	770	map = qsort_with_data(req, req_end - req, sizeof *req,
danw@159	771	compare_file_requires, pool);
danw@159	772	free(map);
danw@159	773
danw@159	774	for (req = req_start; req < req_end; req++) {
danw@159	775	if (req > req_start && req[0] == req[-1])
danw@159	776	continue;
danw@159	777	entry = find_entry(importer->set, top, &pool[*req]);
danw@163	778	if (!entry)
danw@163	779	continue;
danw@163	780
danw@163	781	for (pkg = list_first(&entry->packages, &importer->set->package_pool); pkg; pkg = list_next(pkg)) {
danw@159	782	prop = array_add(&importer->set->properties, sizeof *prop);
danw@159	783	prop->name = *req;
danw@159	784	prop->type = RAZOR_PROPERTY_PROVIDES;
danw@159	785	prop->relation = RAZOR_VERSION_EQUAL;
danw@159	786	prop->version = hashtable_tokenize(&importer->table, "");
danw@163	787	list_set_ptr(&prop->packages, pkg->data);
danw@163	788
danw@163	789	/* Update property list of pkg */
danw@163	790	array_init(&pkgprops);
danw@163	791	list_to_array(list_first(&packages[pkg->data].properties, &importer->set->property_pool), &pkgprops);
danw@163	792	newprop = array_add(&pkgprops, sizeof *newprop);
danw@163	793	newprop = prop - (struct razor_property )importer->set->properties.data;
danw@163	794	list_set_array(&packages[pkg->data].properties, &importer->set->property_pool, &pkgprops, 1);
danw@163	795	array_release(&pkgprops);
danw@159	796	}
danw@159	797	}
danw@159	798
danw@159	799	array_release(&importer->file_requires);
danw@159	800	}
danw@159	801
krh@56	802	static void
danw@108	803	build_package_file_lists(struct razor_set set, uint32_t rmap)
krh@54	804	{
krh@56	805	struct razor_package p, packages;
krh@56	806	struct array *pkgs;
krh@54	807	struct razor_entry e, end;
danw@117	808	struct list *r;
danw@117	809	uint32_t *q;
krh@56	810	int i, count;
krh@54	811
krh@56	812	count = set->packages.size / sizeof *p;
krh@56	813	pkgs = zalloc(count * sizeof *pkgs);
krh@54	814
krh@56	815	end = set->files.data + set->files.size;
krh@92	816	for (e = set->files.data; e < end; e++) {
danw@117	817	list_remap_head(&e->packages, rmap);
danw@116	818	r = list_first(&e->packages, &set->package_pool);
danw@116	819	while (r) {
danw@117	820	q = array_add(&pkgs[r->data], sizeof *q);
krh@56	821	q = e - (struct razor_entry ) set->files.data;
danw@116	822	r = list_next(r);
krh@54	823	}
krh@54	824	}
krh@54	825
krh@56	826	packages = set->packages.data;
krh@56	827	for (i = 0; i < count; i++) {
danw@124	828	list_set_array(&packages[i].files, &set->file_pool, &pkgs[i], 0);
krh@56	829	array_release(&pkgs[i]);
krh@48	830	}
krh@56	831	free(pkgs);
krh@52	832	}
krh@52	833
krh@27	834	struct razor_set *
krh@30	835	razor_importer_finish(struct razor_importer *importer)
krh@9	836	{
krh@30	837	struct razor_set *set;
danw@108	838	uint32_t map, rmap;
krh@39	839	int i, count;
krh@18	840
danw@159	841	build_file_tree(importer);
danw@159	842	find_file_provides(importer);
danw@159	843
krh@66	844	map = uniqueify_properties(importer->set);
danw@116	845	list_remap_pool(&importer->set->property_pool, map);
krh@39	846	free(map);
krh@25	847
krh@30	848	count = importer->set->packages.size / sizeof(struct razor_package);
krh@30	849	map = qsort_with_data(importer->set->packages.data,
krh@25	850	count,
krh@25	851	sizeof(struct razor_package),
krh@25	852	compare_packages,
krh@30	853	importer->set);
krh@39	854
krh@39	855	rmap = malloc(count * sizeof *rmap);
krh@39	856	for (i = 0; i < count; i++)
krh@39	857	rmap[map[i]] = i;
krh@25	858	free(map);
krh@13	859
danw@116	860	list_remap_pool(&importer->set->package_pool, rmap);
krh@60	861	build_package_file_lists(importer->set, rmap);
krh@66	862	remap_property_package_links(&importer->set->properties, rmap);
krh@52	863	free(rmap);
krh@48	864
krh@30	865	set = importer->set;
krh@78	866	hashtable_release(&importer->table);
krh@30	867	free(importer);
krh@30	868
krh@30	869	return set;
krh@9	870	}
krh@9	871
krh@92	872	struct razor_package_iterator {
krh@92	873	struct razor_set *set;
krh@92	874	struct razor_package package, end;
danw@117	875	struct list *index;
krh@92	876	};
krh@92	877
danw@137	878	static struct razor_package_iterator *
krh@101	879	razor_package_iterator_create_with_index(struct razor_set *set,
danw@117	880	struct list *index)
krh@3	881	{
krh@92	882	struct razor_package_iterator *pi;
krh@92	883
krh@92	884	pi = zalloc(sizeof *pi);
krh@92	885	pi->set = set;
krh@101	886	pi->index = index;
krh@92	887
krh@92	888	return pi;
krh@92	889	}
krh@92	890
krh@101	891	struct razor_package_iterator *
krh@101	892	razor_package_iterator_create(struct razor_set *set)
krh@101	893	{
danw@116	894	struct razor_package_iterator *pi;
danw@116	895
danw@116	896	pi = zalloc(sizeof *pi);
danw@116	897	pi->set = set;
danw@116	898	pi->end = set->packages.data + set->packages.size;
danw@116	899	pi->package = set->packages.data;
danw@116	900
danw@116	901	return pi;
krh@101	902	}
krh@101	903
krh@101	904	struct razor_package_iterator *
krh@101	905	razor_package_iterator_create_for_property(struct razor_set *set,
krh@101	906	struct razor_property *property)
krh@101	907	{
danw@117	908	struct list *index;
krh@101	909
danw@116	910	index = list_first(&property->packages, &set->package_pool);
krh@101	911	return razor_package_iterator_create_with_index(set, index);
krh@101	912	}
krh@101	913
krh@92	914	int
krh@92	915	razor_package_iterator_next(struct razor_package_iterator *pi,
krh@92	916	struct razor_package **package,
krh@92	917	const char name, const char version)
krh@92	918	{
krh@6	919	char *pool;
krh@101	920	int valid;
krh@101	921	struct razor_package p, packages;
krh@3	922
danw@116	923	if (pi->package) {
krh@101	924	p = pi->package++;
krh@101	925	valid = p < pi->end;
danw@116	926	} else if (pi->index) {
danw@116	927	packages = pi->set->packages.data;
danw@117	928	p = &packages[pi->index->data];
danw@116	929	pi->index = list_next(pi->index);
danw@116	930	valid = 1;
danw@116	931	} else
danw@116	932	valid = 0;
krh@92	933
krh@101	934	if (valid) {
krh@101	935	pool = pi->set->string_pool.data;
krh@101	936	*package = p;
danw@120	937	*name = &pool[p->name];
krh@101	938	*version = &pool[p->version];
krh@101	939	} else {
krh@101	940	*package = NULL;
krh@101	941	}
krh@101	942
krh@101	943	return valid;
krh@92	944	}
krh@92	945
krh@92	946	void
krh@92	947	razor_package_iterator_destroy(struct razor_package_iterator *pi)
krh@92	948	{
krh@92	949	free(pi);
krh@3	950	}
krh@3	951
krh@10	952	struct razor_package *
krh@10	953	razor_set_get_package(struct razor_set set, const char package)
krh@10	954	{
krh@97	955	struct razor_package_iterator *pi;
krh@97	956	struct razor_package *p;
krh@97	957	const char name, version;
krh@97	958
krh@97	959	pi = razor_package_iterator_create(set);
krh@97	960	while (razor_package_iterator_next(pi, &p, &name, &version)) {
krh@97	961	if (strcmp(package, name) == 0)
krh@97	962	break;
krh@97	963	}
krh@97	964	razor_package_iterator_destroy(pi);
krh@97	965
krh@97	966	return p;
krh@10	967	}
krh@10	968
krh@92	969	struct razor_property_iterator {
krh@92	970	struct razor_set *set;
krh@92	971	struct razor_property property, end;
danw@117	972	struct list *index;
krh@92	973	};
krh@92	974
krh@92	975	struct razor_property_iterator *
krh@92	976	razor_property_iterator_create(struct razor_set *set,
krh@92	977	struct razor_package *package)
krh@92	978	{
krh@92	979	struct razor_property_iterator *pi;
krh@92	980
krh@92	981	pi = zalloc(sizeof *pi);
krh@92	982	pi->set = set;
krh@98	983
danw@116	984	if (package) {
danw@117	985	pi->index = list_first(&package->properties,
danw@117	986	&set->property_pool);
danw@116	987	} else {
danw@116	988	pi->property = set->properties.data;
danw@116	989	pi->end = set->properties.data + set->properties.size;
danw@116	990	}
krh@92	991
krh@92	992	return pi;
krh@92	993	}
krh@92	994
krh@92	995	int
krh@92	996	razor_property_iterator_next(struct razor_property_iterator *pi,
krh@92	997	struct razor_property **property,
danw@109	998	const char **name,
danw@109	999	enum razor_version_relation *relation,
danw@109	1000	const char **version,
krh@92	1001	enum razor_property_type *type)
krh@92	1002	{
krh@92	1003	char *pool;
krh@92	1004	int valid;
krh@92	1005	struct razor_property p, properties;
krh@92	1006
danw@116	1007	if (pi->property) {
krh@92	1008	p = pi->property++;
krh@92	1009	valid = p < pi->end;
danw@116	1010	} else if (pi->index) {
danw@116	1011	properties = pi->set->properties.data;
danw@117	1012	p = &properties[pi->index->data];
danw@116	1013	pi->index = list_next(pi->index);
danw@116	1014	valid = 1;
danw@116	1015	} else
danw@116	1016	valid = 0;
krh@92	1017
krh@96	1018	if (valid) {
krh@96	1019	pool = pi->set->string_pool.data;
krh@96	1020	*property = p;
danw@119	1021	*name = &pool[p->name];
danw@109	1022	*relation = p->relation;
krh@96	1023	*version = &pool[p->version];
danw@119	1024	*type = p->type;
krh@96	1025	} else {
krh@96	1026	*property = NULL;
krh@96	1027	}
krh@92	1028
krh@92	1029	return valid;
krh@92	1030	}
krh@92	1031
krh@66	1032	void
krh@92	1033	razor_property_iterator_destroy(struct razor_property_iterator *pi)
krh@8	1034	{
krh@92	1035	free(pi);
krh@10	1036	}
krh@10	1037
krh@56	1038	static struct razor_entry *
krh@56	1039	find_entry(struct razor_set set, struct razor_entry dir, const char *pattern)
krh@56	1040	{
krh@56	1041	struct razor_entry *e;
krh@56	1042	const char n, pool = set->string_pool.data;
krh@56	1043	int len;
krh@56	1044
krh@56	1045	e = (struct razor_entry *) set->files.data + dir->start;
krh@56	1046	do {
danw@120	1047	n = pool + e->name;
krh@56	1048	if (strcmp(pattern + 1, n) == 0)
krh@56	1049	return e;
krh@57	1050	len = strlen(n);
krh@56	1051	if (e->start != 0 && strncmp(pattern + 1, n, len) == 0 &&
krh@56	1052	pattern[len + 1] == '/') {
krh@56	1053	return find_entry(set, e, pattern + len + 1);
krh@56	1054	}
danw@120	1055	} while (!((e++)->flags & RAZOR_ENTRY_LAST));
krh@56	1056
krh@56	1057	return NULL;
krh@56	1058	}
krh@56	1059
krh@56	1060	static void
krh@56	1061	list_dir(struct razor_set set, struct razor_entry dir,
danw@127	1062	char prefix, const char pattern)
krh@56	1063	{
krh@56	1064	struct razor_entry *e;
krh@56	1065	const char n, pool = set->string_pool.data;
krh@56	1066
krh@56	1067	e = (struct razor_entry *) set->files.data + dir->start;
krh@56	1068	do {
danw@120	1069	n = pool + e->name;
krh@56	1070	if (pattern && pattern[0] && fnmatch(pattern, n, 0) != 0)
krh@56	1071	continue;
danw@127	1072	printf("%s/%s\n", prefix, n);
danw@127	1073	if (e->start) {
danw@127	1074	char *sub = prefix + strlen (prefix);
danw@127	1075	*sub = '/';
danw@127	1076	strcpy (sub + 1, n);
danw@127	1077	list_dir(set, e, prefix, pattern);
danw@127	1078	*sub = '\0';
danw@127	1079	}
danw@120	1080	} while (!((e++)->flags & RAZOR_ENTRY_LAST));
krh@56	1081	}
krh@56	1082
krh@56	1083	void
krh@56	1084	razor_set_list_files(struct razor_set set, const char pattern)
krh@56	1085	{
krh@56	1086	struct razor_entry *e;
krh@56	1087	char buffer[512], p, base;
krh@56	1088
danw@127	1089	if (pattern == NULL \|\| !strcmp (pattern, "/")) {
danw@127	1090	buffer[0] = '\0';
danw@127	1091	list_dir(set, set->files.data, buffer, NULL);
danw@127	1092	return;
danw@127	1093	}
krh@56	1094
krh@56	1095	strcpy(buffer, pattern);
krh@56	1096	e = find_entry(set, set->files.data, buffer);
krh@56	1097	if (e && e->start > 0) {
krh@56	1098	base = NULL;
krh@56	1099	} else {
krh@56	1100	p = strrchr(buffer, '/');
krh@56	1101	if (p) {
krh@56	1102	*p = '\0';
krh@56	1103	base = p + 1;
krh@56	1104	} else {
krh@56	1105	base = NULL;
krh@56	1106	}
krh@56	1107	}
krh@56	1108	e = find_entry(set, set->files.data, buffer);
krh@56	1109	if (e->start != 0)
krh@56	1110	list_dir(set, e, buffer, base);
krh@56	1111	}
krh@56	1112
krh@102	1113	struct razor_package_iterator *
krh@102	1114	razor_package_iterator_create_for_file(struct razor_set *set,
krh@102	1115	const char *filename)
krh@56	1116	{
krh@102	1117	struct razor_entry *entry;
danw@117	1118	struct list *index;
krh@56	1119
krh@102	1120	entry = find_entry(set, set->files.data, filename);
krh@102	1121	if (entry == NULL)
krh@102	1122	return NULL;
krh@56	1123
danw@116	1124	index = list_first(&entry->packages, &set->package_pool);
krh@102	1125	return razor_package_iterator_create_with_index(set, index);
krh@56	1126	}
krh@56	1127
danw@117	1128	static struct list *
danw@117	1129	list_package_files(struct razor_set set, struct list r,
danw@108	1130	struct razor_entry *dir, uint32_t end,
krh@56	1131	char *prefix)
krh@56	1132	{
krh@56	1133	struct razor_entry e, f, *entries;
danw@108	1134	uint32_t next, file;
krh@56	1135	char *pool;
krh@56	1136	int len;
krh@56	1137
krh@56	1138	entries = (struct razor_entry *) set->files.data;
krh@56	1139	pool = set->string_pool.data;
krh@56	1140
krh@56	1141	e = entries + dir->start;
krh@56	1142	do {
danw@117	1143	if (entries + r->data == e) {
danw@120	1144	printf("%s/%s\n", prefix, pool + e->name);
danw@116	1145	r = list_next(r);
danw@116	1146	if (!r)
krh@83	1147	return NULL;
danw@117	1148	if (r->data >= end)
krh@83	1149	return r;
krh@56	1150	}
danw@120	1151	} while (!((e++)->flags & RAZOR_ENTRY_LAST));
krh@56	1152
krh@56	1153	e = entries + dir->start;
krh@56	1154	do {
krh@56	1155	if (e->start == 0)
krh@56	1156	continue;
krh@56	1157
danw@120	1158	if (e->flags & RAZOR_ENTRY_LAST)
krh@56	1159	next = end;
krh@56	1160	else {
krh@56	1161	f = e + 1;
danw@120	1162	while (f->start == 0 && !(f->flags & RAZOR_ENTRY_LAST))
krh@56	1163	f++;
krh@56	1164	if (f->start == 0)
krh@56	1165	next = end;
krh@56	1166	else
krh@56	1167	next = f->start;
krh@56	1168	}
krh@56	1169
danw@117	1170	file = r->data;
krh@83	1171	if (e->start <= file && file < next) {
krh@56	1172	len = strlen(prefix);
krh@56	1173	prefix[len] = '/';
danw@120	1174	strcpy(prefix + len + 1, pool + e->name);
krh@56	1175	r = list_package_files(set, r, e, next, prefix);
krh@56	1176	prefix[len] = '\0';
krh@56	1177	}
danw@120	1178	} while (!((e++)->flags & RAZOR_ENTRY_LAST) && r != NULL);
krh@56	1179
krh@56	1180	return r;
krh@56	1181	}
krh@56	1182
krh@56	1183	void
krh@56	1184	razor_set_list_package_files(struct razor_set set, const char name)
krh@56	1185	{
krh@56	1186	struct razor_package *package;
danw@117	1187	struct list *r;
danw@117	1188	uint32_t end;
krh@56	1189	char buffer[512];
krh@56	1190
krh@56	1191	package = razor_set_get_package(set, name);
krh@56	1192
danw@116	1193	r = list_first(&package->files, &set->file_pool);
krh@56	1194	end = set->files.size / sizeof (struct razor_entry);
krh@56	1195	buffer[0] = '\0';
krh@56	1196	list_package_files(set, r, set->files.data, end, buffer);
krh@56	1197	}
krh@56	1198
krh@43	1199	static void
krh@21	1200	razor_set_validate(struct razor_set set, struct array unsatisfied)
krh@21	1201	{
krh@66	1202	struct razor_property r, p, *end;
danw@108	1203	uint32_t *u;
krh@21	1204	char *pool;
krh@21	1205
krh@66	1206	end = set->properties.data + set->properties.size;
krh@21	1207	pool = set->string_pool.data;
krh@21	1208
krh@66	1209	for (r = set->properties.data, p = r; r < end; r++) {
danw@119	1210	if (r->type != RAZOR_PROPERTY_REQUIRES)
krh@66	1211	continue;
krh@66	1212
danw@129	1213	p = r;
danw@129	1214	while (p < end && p->name == r->name &&
danw@129	1215	p->type == r->type)
danw@129	1216	p++;
krh@37	1217
krh@35	1218	/* If there is more than one version of a provides,
krh@35	1219	* seek to the end for the highest version. */
krh@66	1220	/* FIXME: This doesn't work if we have a series of
krh@66	1221	* requires a = 1, provides a = 1, requires a = 2,
krh@66	1222	* provides a = 2, as the kernel and kernel-devel
krh@66	1223	* does.*/
danw@119	1224	while (p + 1 < end && p->name == (p + 1)->name &&
danw@119	1225	p->type == (p + 1)->type)
krh@35	1226	p++;
krh@37	1227
krh@37	1228	/* FIXME: We need to track property flags (<, <=, =
krh@37	1229	* etc) to properly determine if a requires is
krh@37	1230	* satisfied. The current code doesn't track that the
krh@37	1231	* requires a = 1 isn't satisfied by a = 2 provides. */
krh@37	1232
krh@66	1233	if (p == end \|\|
danw@119	1234	p->type != RAZOR_PROPERTY_PROVIDES \|\|
danw@119	1235	r->name != p->name \|\|
krh@35	1236	versioncmp(&pool[r->version], &pool[p->version]) > 0) {
krh@35	1237	/* FIXME: We ignore file requires for now. */
danw@119	1238	if (pool[r->name] == '/')
krh@35	1239	continue;
krh@21	1240	u = array_add(unsatisfied, sizeof *u);
krh@66	1241	u = r - (struct razor_property ) set->properties.data;
krh@21	1242	}
krh@21	1243	}
krh@21	1244	}
krh@21	1245
krh@21	1246	void
krh@21	1247	razor_set_list_unsatisfied(struct razor_set *set)
krh@21	1248	{
krh@21	1249	struct array unsatisfied;
krh@66	1250	struct razor_property properties, r;
danw@108	1251	uint32_t u, end;
krh@21	1252	char *pool;
krh@21	1253
krh@21	1254	array_init(&unsatisfied);
krh@21	1255	razor_set_validate(set, &unsatisfied);
krh@21	1256
krh@21	1257	end = unsatisfied.data + unsatisfied.size;
krh@66	1258	properties = set->properties.data;
krh@21	1259	pool = set->string_pool.data;
krh@21	1260
krh@21	1261	for (u = unsatisfied.data; u < end; u++) {
krh@66	1262	r = properties + *u;
krh@66	1263	if (pool[r->version] == '\0')
krh@66	1264	printf("%ss not satisfied\n",
danw@119	1265	&pool[r->name]);
krh@66	1266	else
krh@66	1267	printf("%s-%s not satisfied\n",
danw@119	1268	&pool[r->name],
krh@66	1269	&pool[r->version]);
krh@21	1270	}
krh@21	1271
krh@21	1272	array_release(&unsatisfied);
krh@21	1273	}
krh@21	1274
danw@120	1275	#define UPSTREAM_SOURCE 0x80
krh@41	1276
krh@41	1277	struct source {
krh@41	1278	struct razor_set *set;
danw@108	1279	uint32_t *property_map;
danw@127	1280	uint32_t *file_map;
krh@41	1281	};
krh@41	1282
krh@79	1283	struct razor_merger {
krh@79	1284	struct razor_set *set;
krh@79	1285	struct hashtable table;
krh@79	1286	struct source source1;
krh@79	1287	struct source source2;
krh@79	1288	};
krh@79	1289
krh@79	1290	static struct razor_merger *
krh@79	1291	razor_merger_create(struct razor_set set1, struct razor_set set2)
krh@41	1292	{
krh@79	1293	struct razor_merger *merger;
krh@41	1294	int count;
krh@41	1295	size_t size;
krh@41	1296
krh@79	1297	merger = zalloc(sizeof *merger);
krh@79	1298	merger->set = razor_set_create();
krh@79	1299	hashtable_init(&merger->table, &merger->set->string_pool);
krh@41	1300
danw@127	1301	merger->source1.set = set1;
krh@79	1302	count = set1->properties.size / sizeof (struct razor_property);
krh@79	1303	size = count * sizeof merger->source1.property_map[0];
krh@79	1304	merger->source1.property_map = zalloc(size);
danw@127	1305	count = set1->files.size / sizeof (struct razor_entry);
danw@127	1306	size = count * sizeof merger->source1.file_map[0];
danw@127	1307	merger->source1.file_map = zalloc(size);
krh@79	1308
danw@127	1309	merger->source2.set = set2;
krh@79	1310	count = set2->properties.size / sizeof (struct razor_property);
krh@79	1311	size = count * sizeof merger->source2.property_map[0];
krh@79	1312	merger->source2.property_map = zalloc(size);
danw@127	1313	count = set2->files.size / sizeof (struct razor_entry);
danw@127	1314	size = count * sizeof merger->source2.file_map[0];
danw@127	1315	merger->source2.file_map = zalloc(size);
krh@79	1316
krh@79	1317	return merger;
krh@41	1318	}
krh@41	1319
krh@33	1320	static void
krh@79	1321	add_package(struct razor_merger *merger,
krh@41	1322	struct razor_package package, struct source source,
danw@108	1323	uint32_t flags)
krh@33	1324	{
krh@33	1325	char *pool;
danw@117	1326	struct list *r;
krh@41	1327	struct razor_package *p;
krh@33	1328
krh@41	1329	pool = source->set->string_pool.data;
krh@79	1330	p = array_add(&merger->set->packages, sizeof *p);
krh@79	1331	p->name = hashtable_tokenize(&merger->table, &pool[package->name]);
danw@120	1332	p->flags = flags;
krh@79	1333	p->version = hashtable_tokenize(&merger->table,
krh@79	1334	&pool[package->version]);
danw@127	1335
krh@66	1336	p->properties = package->properties;
danw@116	1337	r = list_first(&package->properties, &source->set->property_pool);
danw@116	1338	while (r) {
danw@117	1339	source->property_map[r->data] = 1;
danw@116	1340	r = list_next(r);
krh@64	1341	}
danw@127	1342
danw@127	1343	p->files = package->files;
danw@127	1344	r = list_first(&package->files, &source->set->file_pool);
danw@127	1345	while (r) {
danw@127	1346	source->file_map[r->data] = 1;
danw@127	1347	r = list_next(r);
danw@127	1348	}
krh@41	1349	}
krh@41	1350
danw@108	1351	static uint32_t
krh@79	1352	add_property(struct razor_merger *merger,
danw@109	1353	const char *name, enum razor_version_relation relation,
danw@109	1354	const char *version, int type)
krh@41	1355	{
krh@41	1356	struct razor_property *p;
krh@41	1357
krh@79	1358	p = array_add(&merger->set->properties, sizeof *p);
danw@119	1359	p->name = hashtable_tokenize(&merger->table, name);
danw@119	1360	p->flags = 0;
danw@119	1361	p->type = type;
danw@109	1362	p->relation = relation;
krh@79	1363	p->version = hashtable_tokenize(&merger->table, version);
krh@41	1364
krh@79	1365	return p - (struct razor_property *) merger->set->properties.data;
krh@41	1366	}
krh@41	1367
krh@41	1368	static void
krh@79	1369	merge_properties(struct razor_merger *merger)
krh@41	1370	{
krh@41	1371	struct razor_property p1, p2;
krh@79	1372	struct razor_set set1, set2;
danw@108	1373	uint32_t map1, map2;
krh@41	1374	int i, j, cmp, count1, count2;
krh@41	1375	char pool1, pool2;
krh@41	1376
krh@79	1377	set1 = merger->source1.set;
krh@79	1378	set2 = merger->source2.set;
krh@79	1379	map1 = merger->source1.property_map;
krh@79	1380	map2 = merger->source2.property_map;
krh@79	1381
krh@41	1382	i = 0;
krh@41	1383	j = 0;
krh@41	1384	pool1 = set1->string_pool.data;
krh@41	1385	pool2 = set2->string_pool.data;
krh@41	1386
krh@66	1387	count1 = set1->properties.size / sizeof *p1;
krh@66	1388	count2 = set2->properties.size / sizeof *p2;
krh@41	1389	while (i < count1 \|\| j < count2) {
krh@41	1390	if (i < count1 && map1[i] == 0) {
krh@41	1391	i++;
krh@41	1392	continue;
krh@41	1393	}
krh@41	1394	if (j < count2 && map2[j] == 0) {
krh@41	1395	j++;
krh@41	1396	continue;
krh@41	1397	}
krh@66	1398	p1 = (struct razor_property *) set1->properties.data + i;
krh@66	1399	p2 = (struct razor_property *) set2->properties.data + j;
krh@41	1400	if (i < count1 && j < count2)
danw@119	1401	cmp = strcmp(&pool1[p1->name], &pool2[p2->name]);
krh@41	1402	else if (i < count1)
krh@41	1403	cmp = -1;
krh@41	1404	else
krh@41	1405	cmp = 1;
krh@41	1406	if (cmp == 0)
danw@121	1407	cmp = p1->type - p2->type;
danw@121	1408	if (cmp == 0)
danw@109	1409	cmp = p1->relation - p2->relation;
danw@109	1410	if (cmp == 0)
krh@41	1411	cmp = versioncmp(&pool1[p1->version],
krh@41	1412	&pool2[p2->version]);
krh@41	1413	if (cmp < 0) {
krh@79	1414	map1[i++] = add_property(merger,
danw@119	1415	&pool1[p1->name],
danw@109	1416	p1->relation,
krh@69	1417	&pool1[p1->version],
danw@119	1418	p1->type);
krh@41	1419	} else if (cmp > 0) {
krh@79	1420	map2[j++] = add_property(merger,
danw@119	1421	&pool2[p2->name],
danw@109	1422	p2->relation,
krh@69	1423	&pool2[p2->version],
danw@119	1424	p2->type);
krh@41	1425	} else {
krh@79	1426	map1[i++] = map2[j++] = add_property(merger,
danw@119	1427	&pool1[p1->name],
danw@109	1428	p1->relation,
krh@69	1429	&pool1[p1->version],
danw@119	1430	p1->type);
krh@41	1431	}
krh@41	1432	}
krh@41	1433	}
krh@41	1434
danw@116	1435	static void
danw@117	1436	emit_properties(struct list_head properties, struct array source_pool,
danw@108	1437	uint32_t map, struct array pool)
krh@41	1438	{
danw@117	1439	uint32_t r;
danw@117	1440	struct list p, q;
krh@41	1441
krh@41	1442	r = pool->size / sizeof *q;
danw@116	1443	p = list_first(properties, source_pool);
danw@116	1444	while (p) {
krh@41	1445	q = array_add(pool, sizeof *q);
danw@117	1446	q->data = map[p->data];
danw@117	1447	q->flags = p->flags;
danw@116	1448	p = list_next(p);
krh@33	1449	}
krh@33	1450
danw@117	1451	list_set_ptr(properties, r);
krh@41	1452	}
danw@127	1453
danw@127	1454	static uint32_t
danw@127	1455	add_file(struct razor_merger merger, const char name)
danw@127	1456	{
danw@127	1457	struct razor_entry *e;
danw@127	1458
danw@127	1459	e = array_add(&merger->set->files, sizeof *e);
danw@127	1460	e->name = hashtable_tokenize(&merger->table, name);
danw@127	1461	e->flags = 0;
danw@127	1462	e->start = 0;
danw@127	1463
danw@127	1464	return e - (struct razor_entry *)merger->set->files.data;
danw@127	1465	}
danw@127	1466
danw@129	1467	/* FIXME. Blah */
danw@127	1468	static int
danw@127	1469	fix_file_map(uint32_t *map,
danw@127	1470	struct razor_entry *files,
danw@127	1471	struct razor_entry *top)
danw@127	1472	{
danw@127	1473	uint32_t e;
danw@127	1474	int found_file = 0;
danw@127	1475
danw@127	1476	e = top->start;
danw@127	1477	do {
danw@127	1478	if (files[e].start)
danw@127	1479	fix_file_map(map, files, &files[e]);
danw@127	1480	if (map[e])
danw@127	1481	found_file = 1;
danw@127	1482	} while (!(files[e++].flags & RAZOR_ENTRY_LAST));
danw@127	1483
danw@127	1484	if (found_file)
danw@127	1485	map[top - files] = 1;
danw@127	1486	return found_file;
danw@127	1487	}
danw@127	1488
danw@127	1489	struct merge_directory {
danw@127	1490	uint32_t merged, dir1, dir2;
danw@127	1491	};
danw@127	1492
danw@127	1493	static void
danw@127	1494	merge_one_directory(struct razor_merger merger, struct merge_directory md)
danw@127	1495	{
danw@127	1496	struct razor_entry root1, root2, mroot, e1, *e2;
danw@127	1497	struct razor_set set1, set2;
danw@127	1498	struct array merge_stack;
danw@127	1499	struct merge_directory child_md, end_md;
danw@127	1500	uint32_t map1, map2, start, last;
danw@127	1501	int cmp;
danw@127	1502	char pool1, pool2;
danw@127	1503
danw@127	1504	set1 = merger->source1.set;
danw@127	1505	set2 = merger->source2.set;
danw@127	1506	map1 = merger->source1.file_map;
danw@127	1507	map2 = merger->source2.file_map;
danw@127	1508	pool1 = set1->string_pool.data;
danw@127	1509	pool2 = set2->string_pool.data;
danw@127	1510	root1 = (struct razor_entry *) set1->files.data;
danw@127	1511	root2 = (struct razor_entry *) set2->files.data;
danw@127	1512
danw@127	1513	array_init(&merge_stack);
danw@127	1514
danw@127	1515	start = merger->set->files.size / sizeof (struct razor_entry);
danw@127	1516	last = 0;
danw@127	1517	e1 = md->dir1 ? root1 + md->dir1 : NULL;
danw@127	1518	e2 = md->dir2 ? root2 + md->dir2 : NULL;
danw@127	1519	while (e1 \|\| e2) {
danw@127	1520	if (!e2 && !map1[e1 - root1]) {
danw@127	1521	if ((e1++)->flags & RAZOR_ENTRY_LAST)
danw@127	1522	e1 = NULL;
danw@127	1523	continue;
danw@127	1524	}
danw@127	1525	if (!e1 && !map2[e2 - root2]) {
danw@127	1526	if ((e2++)->flags & RAZOR_ENTRY_LAST)
danw@127	1527	e2 = NULL;
danw@127	1528	continue;
danw@127	1529	}
danw@127	1530	if (e1 && !map1[e1 - root1] &&
danw@127	1531	e2 && !map1[e2 - root2]) {
danw@127	1532	if ((e1++)->flags & RAZOR_ENTRY_LAST)
danw@127	1533	e1 = NULL;
danw@127	1534	if ((e2++)->flags & RAZOR_ENTRY_LAST)
danw@127	1535	e2 = NULL;
danw@127	1536	continue;
danw@127	1537	}
danw@127	1538
danw@127	1539	if (!e1)
danw@127	1540	cmp = 1;
danw@127	1541	else if (!e2)
danw@127	1542	cmp = -1;
danw@127	1543	else {
danw@127	1544	cmp = strcmp (&pool1[e1->name],
danw@127	1545	&pool2[e2->name]);
danw@127	1546	}
danw@127	1547
danw@127	1548	if (cmp < 0) {
danw@127	1549	if (map1[e1 - root1]) {
danw@127	1550	map1[e1 - root1] = last =
danw@127	1551	add_file(merger, &pool1[e1->name]);
danw@127	1552	if (e1->start) {
danw@127	1553	child_md = array_add(&merge_stack, sizeof (struct merge_directory));
danw@127	1554	child_md->merged = last;
danw@127	1555	child_md->dir1 = e1->start;
danw@127	1556	child_md->dir2 = 0;
danw@127	1557	}
danw@127	1558	}
danw@127	1559	if ((e1++)->flags & RAZOR_ENTRY_LAST)
danw@127	1560	e1 = NULL;
danw@127	1561	} else if (cmp > 0) {
danw@127	1562	if (map2[e2 - root2]) {
danw@127	1563	map2[e2 - root2] = last =
danw@127	1564	add_file(merger, &pool2[e2->name]);
danw@127	1565	if (e2->start) {
danw@127	1566	child_md = array_add(&merge_stack, sizeof (struct merge_directory));
danw@127	1567	child_md->merged = last;
danw@127	1568	child_md->dir1 = 0;
danw@127	1569	child_md->dir2 = e2->start;
danw@127	1570	}
danw@127	1571	}
danw@127	1572	if ((e2++)->flags & RAZOR_ENTRY_LAST)
danw@127	1573	e2 = NULL;
danw@127	1574	} else {
danw@127	1575	map1[e1 - root1] = map2[e2- root2] = last =
danw@127	1576	add_file(merger, &pool1[e1->name]);
danw@127	1577	if (e1->start \|\| e2->start) {
danw@127	1578	child_md = array_add(&merge_stack, sizeof (struct merge_directory));
danw@127	1579	child_md->merged = last;
danw@127	1580	child_md->dir1 = e1->start;
danw@127	1581	child_md->dir2 = e2->start;
danw@127	1582	}
danw@127	1583	if ((e1++)->flags & RAZOR_ENTRY_LAST)
danw@127	1584	e1 = NULL;
danw@127	1585	if ((e2++)->flags & RAZOR_ENTRY_LAST)
danw@127	1586	e2 = NULL;
danw@127	1587	}
danw@127	1588	}
danw@127	1589
danw@127	1590	mroot = (struct razor_entry *)merger->set->files.data;
danw@127	1591	if (last) {
danw@127	1592	mroot[last].flags = RAZOR_ENTRY_LAST;
danw@127	1593	mroot[md->merged].start = start;
danw@127	1594	} else
danw@127	1595	mroot[md->merged].start = 0;
danw@127	1596
danw@127	1597	end_md = merge_stack.data + merge_stack.size;
danw@127	1598	for (child_md = merge_stack.data; child_md < end_md; child_md++)
danw@127	1599	merge_one_directory(merger, child_md);
danw@127	1600	array_release(&merge_stack);
danw@127	1601	}
danw@127	1602
danw@127	1603	static void
danw@127	1604	merge_files(struct razor_merger *merger)
danw@127	1605	{
danw@129	1606	struct razor_entry *root;
danw@127	1607	struct merge_directory md;
danw@127	1608	uint32_t map1, map2;
danw@127	1609
danw@127	1610	map1 = merger->source1.file_map;
danw@127	1611	map2 = merger->source2.file_map;
danw@127	1612
danw@164	1613	md.merged = 0;
danw@129	1614
danw@129	1615	if (merger->source1.set->files.size) {
danw@129	1616	root = (struct razor_entry *) merger->source1.set->files.data;
danw@129	1617	if (root->start)
danw@129	1618	fix_file_map(map1, root, root);
danw@129	1619	md.dir1 = root->start;
danw@129	1620	} else
danw@129	1621	md.dir1 = 0;
danw@129	1622
danw@129	1623	if (merger->source2.set->files.size) {
danw@129	1624	root = (struct razor_entry *) merger->source2.set->files.data;
danw@129	1625	if (root->start)
danw@129	1626	fix_file_map(map2, root, root);
danw@129	1627	md.dir2 = root->start;
danw@129	1628	} else
danw@129	1629	md.dir2 = 0;
danw@129	1630
danw@127	1631	merge_one_directory(merger, &md);
danw@127	1632	}
danw@127	1633
danw@127	1634	static void
danw@127	1635	emit_files(struct list_head files, struct array source_pool,
danw@127	1636	uint32_t map, struct array pool)
danw@127	1637	{
danw@127	1638	uint32_t r;
danw@127	1639	struct list p, q;
danw@127	1640
danw@127	1641	r = pool->size / sizeof *q;
danw@127	1642	p = list_first(files, source_pool);
danw@127	1643	while (p) {
danw@127	1644	q = array_add(pool, sizeof *q);
danw@127	1645	q->data = map[p->data];
danw@127	1646	q->flags = p->flags;
danw@127	1647	p = list_next(p);
danw@127	1648	}
danw@127	1649
danw@127	1650	list_set_ptr(files, r);
danw@127	1651	}
danw@127	1652
krh@41	1653	/* Rebuild property->packages maps. We can't just remap these, as a
krh@41	1654	* property may have lost or gained a number of packages. Allocate an
krh@41	1655	* array per property and loop through the packages and add them to
krh@41	1656	* the arrays for their properties. */
krh@41	1657	static void
danw@127	1658	rebuild_property_package_lists(struct razor_set *set)
krh@41	1659	{
krh@66	1660	struct array pkgs, a;
krh@41	1661	struct razor_package pkg, pkg_end;
krh@41	1662	struct razor_property prop, prop_end;
danw@117	1663	struct list *r;
danw@117	1664	uint32_t *q;
krh@66	1665	int count;
krh@41	1666
krh@66	1667	count = set->properties.size / sizeof (struct razor_property);
krh@66	1668	pkgs = zalloc(count * sizeof *pkgs);
krh@41	1669	pkg_end = set->packages.data + set->packages.size;
krh@41	1670
krh@41	1671	for (pkg = set->packages.data; pkg < pkg_end; pkg++) {
danw@128	1672	r = list_first(&pkg->properties, &set->property_pool);
danw@116	1673	while (r) {
danw@117	1674	q = array_add(&pkgs[r->data], sizeof *q);
krh@41	1675	q = pkg - (struct razor_package ) set->packages.data;
danw@116	1676	r = list_next(r);
krh@41	1677	}
krh@33	1678	}
krh@33	1679
krh@66	1680	prop_end = set->properties.data + set->properties.size;
krh@66	1681	a = pkgs;
krh@66	1682	for (prop = set->properties.data; prop < prop_end; prop++, a++) {
danw@128	1683	list_set_array(&prop->packages, &set->package_pool, a, 0);
krh@41	1684	array_release(a);
krh@41	1685	}
krh@66	1686	free(pkgs);
krh@33	1687	}
krh@33	1688
danw@127	1689	static void
danw@127	1690	rebuild_file_package_lists(struct razor_set *set)
danw@127	1691	{
danw@127	1692	struct array pkgs, a;
danw@127	1693	struct razor_package pkg, pkg_end;
danw@127	1694	struct razor_entry entry, entry_end;
danw@127	1695	struct list *r;
danw@127	1696	uint32_t *q;
danw@127	1697	int count;
danw@127	1698
danw@127	1699	count = set->files.size / sizeof (struct razor_entry);
danw@127	1700	pkgs = zalloc(count * sizeof *pkgs);
danw@127	1701	pkg_end = set->packages.data + set->packages.size;
danw@127	1702
danw@127	1703	for (pkg = set->packages.data; pkg < pkg_end; pkg++) {
danw@128	1704	r = list_first(&pkg->files, &set->file_pool);
danw@127	1705	while (r) {
danw@127	1706	q = array_add(&pkgs[r->data], sizeof *q);
danw@127	1707	q = pkg - (struct razor_package ) set->packages.data;
danw@127	1708	r = list_next(r);
danw@127	1709	}
danw@127	1710	}
danw@127	1711
danw@127	1712	entry_end = set->files.data + set->files.size;
danw@127	1713	a = pkgs;
danw@127	1714	for (entry = set->files.data; entry < entry_end; entry++, a++) {
danw@128	1715	list_set_array(&entry->packages, &set->package_pool, a, 0);
danw@127	1716	array_release(a);
danw@127	1717	}
danw@127	1718	free(pkgs);
danw@127	1719	}
danw@127	1720
danw@137	1721	static struct razor_set *
krh@79	1722	razor_merger_finish(struct razor_merger *merger)
krh@79	1723	{
krh@79	1724	struct razor_set *result;
krh@41	1725	struct razor_package p, pend;
krh@33	1726
krh@41	1727	/* As we built the package list, we filled out a bitvector of
krh@41	1728	* the properties that are referenced by the packages in the
krh@41	1729	* new set. Now we do a parallel loop through the properties
krh@41	1730	* and emit those marked in the bit vector to the new set. In
krh@41	1731	* the process, we update the bit vector to actually map from
krh@41	1732	* indices in the old property list to indices in the new
krh@41	1733	* property list for both sets. */
krh@41	1734
krh@79	1735	merge_properties(merger);
danw@127	1736	merge_files(merger);
krh@41	1737
krh@41	1738	/* Now we loop through the packages again and emit the
krh@41	1739	* property lists, remapped to point to the new properties. */
krh@41	1740
krh@79	1741	pend = merger->set->packages.data + merger->set->packages.size;
krh@79	1742	for (p = merger->set->packages.data; p < pend; p++) {
krh@41	1743	struct source *src;
krh@41	1744
danw@120	1745	if (p->flags & UPSTREAM_SOURCE)
krh@79	1746	src = &merger->source2;
krh@41	1747	else
krh@79	1748	src = &merger->source1;
krh@41	1749
danw@116	1750	emit_properties(&p->properties,
danw@116	1751	&src->set->property_pool,
danw@116	1752	src->property_map,
danw@116	1753	&merger->set->property_pool);
danw@127	1754	emit_files(&p->files,
danw@127	1755	&src->set->file_pool,
danw@127	1756	src->file_map,
danw@127	1757	&merger->set->file_pool);
danw@120	1758	p->flags &= ~UPSTREAM_SOURCE;
krh@33	1759	}
krh@33	1760
danw@127	1761	rebuild_property_package_lists(merger->set);
danw@127	1762	rebuild_file_package_lists(merger->set);
krh@41	1763
danw@129	1764	result = merger->set;
danw@129	1765	hashtable_release(&merger->table);
danw@129	1766	free(merger);
danw@129	1767
danw@129	1768	return result;
danw@129	1769	}
danw@129	1770
danw@146	1771	/* The diff order matters. We should sort the packages so that a
danw@146	1772	* REMOVE of a package comes before the INSTALL, and so that all
danw@146	1773	* requires for a package have been installed before the package.
danw@146	1774	**/
danw@146	1775
danw@146	1776	void
danw@146	1777	razor_set_diff(struct razor_set set, struct razor_set upstream,
danw@146	1778	razor_package_callback_t callback, void *data)
danw@146	1779	{
danw@146	1780	struct razor_package_iterator pi1, pi2;
danw@146	1781	struct razor_package p1, p2;
danw@146	1782	const char name1, name2, version1, version2;
danw@146	1783	int res;
danw@146	1784
danw@146	1785	pi1 = razor_package_iterator_create(set);
danw@146	1786	pi2 = razor_package_iterator_create(upstream);
danw@146	1787
danw@146	1788	razor_package_iterator_next(pi1, &p1, &name1, &version1);
danw@146	1789	razor_package_iterator_next(pi2, &p2, &name2, &version2);
danw@146	1790
danw@146	1791	while (p1 \|\| p2) {
danw@146	1792	if (p1 && p2) {
danw@146	1793	res = strcmp(name1, name2);
danw@146	1794	if (res == 0)
danw@146	1795	res = versioncmp(version1, version2);
danw@146	1796	} else {
danw@146	1797	res = 0;
danw@146	1798	}
danw@146	1799
danw@146	1800	if (p2 == NULL \|\| res < 0)
danw@146	1801	callback(name1, version1, NULL, data);
danw@146	1802	else if (p1 == NULL \|\| res > 0)
danw@146	1803	callback(name2, NULL, version2, data);
danw@146	1804
danw@146	1805	if (p1 != NULL && res <= 0)
danw@146	1806	razor_package_iterator_next(pi1, &p1,
danw@146	1807	&name1, &version1);
danw@146	1808	if (p2 != NULL && res >= 0)
danw@146	1809	razor_package_iterator_next(pi2, &p2,
danw@146	1810	&name2, &version2);
danw@146	1811	}
danw@146	1812
danw@146	1813	razor_package_iterator_destroy(pi1);
danw@146	1814	razor_package_iterator_destroy(pi2);
danw@146	1815	}
danw@146	1816
danw@141	1817
danw@141	1818	struct razor_transaction_resolver {
danw@141	1819	struct razor_set system, upstream;
danw@141	1820	struct bitarray syspkgs, uppkgs;
danw@141	1821	struct array packages;
danw@141	1822	int errors;
danw@141	1823	};
danw@141	1824
danw@144	1825	static int
danw@144	1826	package_in_set(void package, struct razor_set set)
danw@144	1827	{
danw@144	1828	return package >= set->packages.data &&
danw@144	1829	package < set->packages.data + set->packages.size;
danw@144	1830	}
danw@144	1831
danw@144	1832	static int
danw@144	1833	property_in_set(void property, struct razor_set set)
danw@144	1834	{
danw@144	1835	return property >= set->properties.data &&
danw@144	1836	property < set->properties.data + set->properties.size;
danw@144	1837	}
danw@144	1838
danw@144	1839	static int
danw@144	1840	compare_transaction_packages(const void one, const void two)
danw@144	1841	{
danw@160	1842	struct razor_transaction_package *tp1 = (void )one;
danw@160	1843	struct razor_transaction_package *tp2 = (void )two;
danw@160	1844
danw@160	1845	if (!(*tp1)->name)
danw@160	1846	return 1;
danw@160	1847	else if (!(*tp2)->name)
danw@160	1848	return -1;
danw@160	1849	else
danw@160	1850	return strcmp((tp1)->name, (tp2)->name);
danw@144	1851	}
danw@144	1852
danw@141	1853	static void
danw@160	1854	resolve_new_packages(struct razor_transaction_resolver *trans,
danw@160	1855	int start, int end)
krh@38	1856	{
danw@144	1857	struct razor_package sp, spkgs, up, upkgs, send, uend;
danw@160	1858	struct razor_transaction_package **packages;
danw@144	1859	const char spool, upool;
danw@144	1860	int i;
danw@144	1861
danw@144	1862	spkgs = trans->system->packages.data;
danw@144	1863	send = trans->system->packages.data + trans->system->packages.size;
danw@144	1864	spool = trans->system->string_pool.data;
danw@144	1865	upkgs = trans->upstream->packages.data;
danw@144	1866	uend = trans->upstream->packages.data + trans->upstream->packages.size;
danw@144	1867	upool = trans->upstream->string_pool.data;
danw@144	1868
danw@160	1869	packages = calloc(end - start, sizeof *packages);
danw@160	1870	for (i = start; i < end; i++)
danw@160	1871	packages[i - start] = ((struct razor_transaction_package *)trans->packages.data) + i;
danw@160	1872	qsort(packages, end - start, sizeof *packages,
danw@160	1873	compare_transaction_packages);
danw@144	1874
danw@144	1875	sp = spkgs;
danw@144	1876	up = upkgs;
danw@160	1877	for (i = 0; i < end - start; i++) {
danw@160	1878	if (!packages[i]->name)
danw@160	1879	continue;
danw@160	1880	while (sp < send && strcmp(&spool[sp->name], packages[i]->name) < 0)
danw@144	1881	sp++;
danw@160	1882	while (up < uend && strcmp(&upool[up->name], packages[i]->name) < 0)
danw@144	1883	up++;
danw@144	1884
danw@160	1885	if (packages[i]->state == RAZOR_PACKAGE_REMOVE \|\|
danw@160	1886	packages[i]->state == RAZOR_PACKAGE_OBSOLETED) {
danw@160	1887	if (sp < send && strcmp(packages[i]->name, &spool[sp->name]) == 0) {
danw@160	1888	packages[i]->old_package = sp;
danw@160	1889	packages[i]->name = &spool[sp->name];
danw@160	1890	packages[i]->old_version = &spool[sp->version];
danw@144	1891	bitarray_set(&trans->syspkgs, sp - spkgs, 0);
danw@144	1892	} else {
danw@160	1893	packages[i]->name = strdup(packages[i]->name);
danw@160	1894	packages[i]->state = RAZOR_PACKAGE_REMOVE_NOT_INSTALLED;
danw@144	1895	trans->errors++;
danw@144	1896	}
danw@144	1897	} else {
danw@160	1898	if (up < uend && strcmp(packages[i]->name, &upool[up->name]) == 0) {
danw@160	1899	packages[i]->new_package = up;
danw@160	1900	packages[i]->name = &upool[up->name];
danw@160	1901	packages[i]->new_version = &upool[up->version];
danw@160	1902	if (sp < send && strcmp(packages[i]->name, &spool[sp->name]) == 0) {
danw@160	1903	packages[i]->old_package = sp;
danw@160	1904	packages[i]->old_version = &spool[sp->version];
danw@144	1905	if (versioncmp(&spool[sp->version], &upool[up->version]) >= 0) {
danw@160	1906	packages[i]->state = RAZOR_PACKAGE_UP_TO_DATE;
danw@144	1907	trans->errors++;
danw@144	1908	continue;
danw@144	1909	}
danw@144	1910	bitarray_set(&trans->syspkgs, sp - spkgs, 0);
danw@144	1911	}
danw@144	1912	bitarray_set(&trans->uppkgs, up - upkgs, 1);
danw@144	1913	} else {
danw@160	1914	packages[i]->name = strdup(packages[i]->name);
danw@160	1915	packages[i]->state = RAZOR_PACKAGE_INSTALL_UNAVAILABLE;
danw@144	1916	trans->errors++;
krh@105	1917	}
krh@105	1918	}
krh@38	1919	}
krh@38	1920	}
krh@38	1921
krh@38	1922	static void
danw@141	1923	find_all_packages(struct razor_transaction_resolver *trans)
krh@38	1924	{
danw@137	1925	struct razor_transaction_package *tp;
danw@144	1926	struct razor_package sp, spkgs, send, up, upkgs, uend;
danw@144	1927	const char spool, upool;
danw@144	1928
danw@144	1929	spkgs = trans->system->packages.data;
danw@144	1930	send = trans->system->packages.data + trans->system->packages.size;
danw@144	1931	spool = trans->system->string_pool.data;
danw@144	1932	up = upkgs = trans->upstream->packages.data;
danw@141	1933	uend = trans->upstream->packages.data + trans->upstream->packages.size;
danw@141	1934	upool = trans->upstream->string_pool.data;
krh@38	1935
danw@144	1936	for (sp = spkgs; sp < send; sp++) {
danw@144	1937	while (up < uend && strcmp(&spool[sp->name], &upool[up->name]) > 0)
danw@144	1938	up++;
danw@144	1939	if (strcmp(&spool[sp->name], &upool[up->name]) == 0) {
danw@141	1940	tp = array_add(&trans->packages, sizeof *tp);
danw@137	1941	memset(tp, 0, sizeof *tp);
danw@147	1942	tp->old_package = sp;
danw@147	1943	tp->new_package = up;
danw@144	1944	tp->name = &upool[up->name];
danw@147	1945	tp->old_version = &spool[sp->version];
danw@147	1946	tp->new_version = &upool[up->version];
danw@137	1947	tp->state = RAZOR_PACKAGE_INSTALL;
danw@144	1948	bitarray_set(&trans->uppkgs, up - upkgs, 1);
danw@144	1949	bitarray_set(&trans->syspkgs, sp - spkgs, 0);
krh@38	1950	}
krh@38	1951	}
krh@38	1952	}
krh@38	1953
danw@137	1954	static int
danw@137	1955	provider_satisfies_requirement(struct razor_property *provider,
danw@137	1956	const char *provider_strings,
danw@137	1957	struct razor_property *requirement,
danw@137	1958	const char *requirement_strings)
danw@137	1959	{
danw@137	1960	int cmp, len;
danw@137	1961	const char *provided = &provider_strings[provider->version];
danw@137	1962	const char *required = &requirement_strings[requirement->version];
danw@137	1963
danw@137	1964	if (!*required)
danw@137	1965	return 1;
danw@137	1966
danw@137	1967	cmp = versioncmp(provided, required);
danw@137	1968
danw@137	1969	switch (requirement->relation) {
danw@137	1970	case RAZOR_VERSION_LESS:
danw@137	1971	return cmp < 0;
danw@137	1972
danw@137	1973	case RAZOR_VERSION_LESS_OR_EQUAL:
danw@137	1974	if (cmp <= 0)
danw@137	1975	return 1;
danw@137	1976	/* fall through: FIXME, make sure this is correct */
danw@137	1977
danw@137	1978	case RAZOR_VERSION_EQUAL:
danw@137	1979	if (cmp == 0)
danw@137	1980	return 1;
danw@137	1981
danw@137	1982	/* "foo == 1.1" is satisfied by "foo 1.1-2" */
danw@137	1983	len = strlen(required);
danw@137	1984	if (!strncmp(required, provided, len) && provided[len] == '-')
danw@137	1985	return 1;
danw@137	1986	return 0;
danw@137	1987
danw@137	1988	case RAZOR_VERSION_GREATER_OR_EQUAL:
danw@137	1989	return cmp >= 0;
danw@137	1990
danw@137	1991	case RAZOR_VERSION_GREATER:
danw@137	1992	return cmp > 0;
danw@137	1993	}
danw@137	1994
danw@137	1995	/* shouldn't happen */
danw@137	1996	return 0;
danw@137	1997	}
danw@137	1998
danw@142	1999	static struct razor_package *
danw@144	2000	find_package_for_file(struct razor_set set, struct bitarray pkgbits,
danw@144	2001	const char *filename, int installed)
danw@134	2002	{
danw@142	2003	struct razor_package *pkgs = set->packages.data;
danw@140	2004	struct razor_entry *entry;
danw@140	2005	struct list *p;
danw@134	2006
danw@140	2007	if (filename[0] != '/')
danw@140	2008	return 0;
danw@140	2009
danw@142	2010	entry = find_entry(set, set->files.data, filename);
danw@140	2011	if (!entry)
danw@140	2012	return 0;
danw@140	2013
danw@142	2014	for (p = list_first(&entry->packages, &set->package_pool); p; p = list_next(p)) {
danw@142	2015	if (bitarray_get(pkgbits, p->data) == installed)
danw@142	2016	return &pkgs[p->data];
danw@134	2017	}
danw@142	2018	return NULL;
danw@142	2019	}
danw@142	2020
danw@142	2021	static struct razor_package *
danw@144	2022	find_installed_package_for_file(struct razor_transaction_resolver *trans,
danw@144	2023	const char *filename)
danw@142	2024	{
danw@144	2025	struct razor_package *pkg;
danw@144	2026
danw@144	2027	pkg = find_package_for_file(trans->system, &trans->syspkgs,
danw@144	2028	filename, 1);
danw@144	2029	if (!pkg)
danw@144	2030	pkg = find_package_for_file(trans->upstream, &trans->uppkgs,
danw@144	2031	filename, 1);
danw@144	2032	return pkg;
danw@142	2033	}
danw@142	2034
danw@142	2035	static struct razor_package *
danw@144	2036	find_uninstalled_package_for_file(struct razor_transaction_resolver *trans,
danw@144	2037	const char *filename)
danw@142	2038	{
danw@144	2039	struct razor_package *pkg;
danw@144	2040
danw@144	2041	pkg = find_package_for_file(trans->upstream, &trans->uppkgs,
danw@144	2042	filename, 0);
danw@144	2043	if (!pkg)
danw@144	2044	pkg = find_package_for_file(trans->system, &trans->syspkgs,
danw@144	2045	filename, 0);
danw@144	2046	return pkg;
danw@134	2047	}
danw@134	2048
danw@154	2049	static struct razor_property *
danw@154	2050	skip_to_matching_property(struct razor_transaction_resolver *trans,
danw@154	2051	struct razor_property *match,
danw@154	2052	struct razor_property *prop)
danw@154	2053	{
danw@154	2054	struct razor_set mset, pset;
danw@154	2055	const char ppool, mpool;
danw@154	2056	struct razor_property *prop_end;
danw@154	2057
danw@154	2058	if (property_in_set(match, trans->system))
danw@154	2059	mset = trans->system;
danw@154	2060	else
danw@154	2061	mset = trans->upstream;
danw@154	2062
danw@154	2063	if (property_in_set(prop, trans->system))
danw@154	2064	pset = trans->system;
danw@154	2065	else if (property_in_set(prop, trans->upstream))
danw@154	2066	pset = trans->upstream;
danw@154	2067	else
danw@154	2068	return prop;
danw@154	2069
danw@154	2070	prop_end = pset->properties.data + pset->properties.size;
danw@154	2071	ppool = pset->string_pool.data;
danw@154	2072	mpool = mset->string_pool.data;
danw@154	2073
danw@154	2074	while (prop < prop_end &&
danw@154	2075	strcmp(&ppool[prop->name], &mpool[match->name]) < 0)
danw@154	2076	prop++;
danw@154	2077	return prop;
danw@154	2078	}
danw@154	2079
danw@140	2080	static struct razor_package *
danw@144	2081	find_package_matching(struct razor_transaction_resolver *trans, int installed,
danw@154	2082	struct razor_property *prop,
danw@144	2083	struct razor_property *req,
danw@144	2084	struct razor_set *req_set)
danw@138	2085	{
danw@144	2086	struct razor_set *set;
danw@144	2087	struct bitarray *pkgbits;
danw@144	2088	struct razor_package *pkgs;
danw@154	2089	struct razor_property props, prop_end;
danw@144	2090	enum razor_property_type match_type;
danw@144	2091	const char *pool;
danw@154	2092	const char *rpool;
danw@154	2093	int match_name = (req->type == RAZOR_PROPERTY_OBSOLETES);
danw@144	2094	int match;
danw@144	2095
danw@144	2096	if (property_in_set(prop, trans->system)) {
danw@144	2097	set = trans->system;
danw@144	2098	pkgbits = &trans->syspkgs;
danw@144	2099	} else if (property_in_set(prop, trans->upstream)) {
danw@144	2100	set = trans->upstream;
danw@144	2101	pkgbits = &trans->uppkgs;
danw@144	2102	} else
danw@144	2103	return NULL;
danw@144	2104
danw@154	2105	if (!req_set) {
danw@154	2106	if (property_in_set(req, trans->system))
danw@154	2107	req_set = trans->system;
danw@154	2108	else
danw@154	2109	req_set = trans->upstream;
danw@154	2110	}
danw@154	2111	rpool = req_set->string_pool.data;
danw@154	2112
danw@144	2113	if (req->type == RAZOR_PROPERTY_PROVIDES)
danw@144	2114	match_type = RAZOR_PROPERTY_CONFLICTS;
danw@144	2115	else
danw@144	2116	match_type = RAZOR_PROPERTY_PROVIDES;
danw@144	2117
danw@144	2118	pkgs = set->packages.data;
danw@144	2119	props = set->properties.data;
danw@144	2120	prop_end = set->properties.data + set->properties.size;
danw@144	2121	pool = set->string_pool.data;
danw@144	2122
danw@144	2123	/* Find first matching property */
danw@144	2124	while (prop < prop_end &&
danw@144	2125	strcmp(&pool[prop->name], &rpool[req->name]) < 0)
danw@144	2126	prop++;
danw@144	2127	if (prop == prop_end \|\|
danw@144	2128	strcmp(&pool[prop->name], &rpool[req->name]) > 0)
danw@144	2129	return NULL;
danw@144	2130
danw@144	2131	if (prop->type < match_type) {
danw@144	2132	while (prop < prop_end && prop->type != match_type)
danw@144	2133	prop++;
danw@144	2134	} else {
danw@144	2135	while (prop >= props && prop->type != match_type)
danw@144	2136	prop--;
danw@144	2137	while (prop > props + 1 && (prop - 1)->type == match_type)
danw@144	2138	prop--;
danw@144	2139	}
danw@144	2140
danw@153	2141	/* Scan matching properties */
danw@144	2142	while (prop < prop_end && prop->type == match_type &&
danw@144	2143	strcmp(&pool[prop->name], &rpool[req->name]) == 0) {
danw@144	2144	if (match_type == RAZOR_PROPERTY_PROVIDES)
danw@144	2145	match = provider_satisfies_requirement(prop, pool, req, rpool);
danw@144	2146	else
danw@144	2147	match = provider_satisfies_requirement(req, rpool, prop, pool);
danw@144	2148	if (match) {
danw@140	2149	struct list *pkg;
danw@140	2150
danw@144	2151	for (pkg = list_first(&prop->packages, &set->package_pool); pkg; pkg = list_next(pkg)) {
danw@144	2152	if (bitarray_get(pkgbits, pkg->data) != installed)
danw@140	2153	continue;
danw@140	2154	if (!match_name \|\|
danw@144	2155	strcmp(&pool[pkgs[pkg->data].name],
danw@144	2156	&rpool[req->name]) == 0)
danw@144	2157	return &pkgs[pkg->data];
danw@140	2158	}
danw@140	2159	}
danw@144	2160	prop++;
danw@140	2161	}
danw@140	2162
danw@140	2163	return NULL;
danw@138	2164	}
danw@138	2165
danw@140	2166	static struct razor_package *
danw@144	2167	find_installed_package_for_property(struct razor_transaction_resolver *trans,
danw@154	2168	struct razor_property *sys_start,
danw@154	2169	struct razor_property *up_start,
danw@144	2170	struct razor_property *req)
danw@138	2171	{
danw@144	2172	struct razor_package *pkg;
danw@144	2173
danw@154	2174	pkg = find_package_matching(trans, 1, sys_start, req, NULL);
danw@144	2175	if (!pkg)
danw@154	2176	pkg = find_package_matching(trans, 1, up_start, req, NULL);
danw@144	2177	return pkg;
danw@144	2178	}
danw@144	2179
danw@144	2180	static struct razor_package *
danw@144	2181	find_uninstalled_package_for_property(struct razor_transaction_resolver *trans,
danw@154	2182	struct razor_property *sys_start,
danw@154	2183	struct razor_property *up_start,
danw@144	2184	struct razor_property *req)
danw@144	2185	{
danw@144	2186	struct razor_package *pkg;
danw@144	2187
danw@154	2188	pkg = find_package_matching(trans, 0, up_start, req, NULL);
danw@144	2189	if (!pkg)
danw@154	2190	pkg = find_package_matching(trans, 0, sys_start, req, NULL);
danw@144	2191	return pkg;
danw@140	2192	}
danw@140	2193
danw@147	2194	static struct razor_transaction_package *
danw@147	2195	find_transaction_package(struct razor_transaction_resolver *trans,
danw@147	2196	const char *name)
danw@147	2197	{
danw@147	2198	struct razor_transaction_package *packages;
danw@147	2199	int count, i;
danw@147	2200
danw@147	2201	packages = trans->packages.data;
danw@147	2202	count = trans->packages.size / sizeof *packages;
danw@147	2203	for (i = 0; i < count; i++) {
danw@147	2204	if (packages[i].name && !strcmp(packages[i].name, name))
danw@147	2205	return &packages[i];
danw@147	2206	}
danw@147	2207	return NULL;
danw@147	2208	}
danw@147	2209
danw@160	2210	/* FIXME? */
danw@160	2211	static int
danw@160	2212	prop_is_being_installed(struct razor_transaction_resolver *trans,
danw@160	2213	struct razor_property *prop)
danw@160	2214	{
danw@160	2215	struct list *pkg;
danw@160	2216
danw@160	2217	for (pkg = list_first(&prop->packages, &trans->upstream->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2218	if (bitarray_get(&trans->uppkgs, pkg->data))
danw@160	2219	return 1;
danw@160	2220	}
danw@160	2221	return 0;
danw@160	2222	}
danw@160	2223
danw@160	2224	static int
danw@160	2225	prop_is_being_removed(struct razor_transaction_resolver *trans,
danw@160	2226	struct razor_property *prop)
danw@160	2227	{
danw@160	2228	struct list *pkg;
danw@160	2229
danw@160	2230	for (pkg = list_first(&prop->packages, &trans->system->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2231	if (bitarray_get(&trans->syspkgs, pkg->data))
danw@160	2232	return 0;
danw@160	2233	}
danw@160	2234	return 1;
danw@160	2235	}
danw@160	2236
danw@160	2237	static int
danw@160	2238	prop_is_being_updated(struct razor_transaction_resolver *trans,
danw@160	2239	struct razor_property *prop)
danw@160	2240	{
danw@160	2241	struct razor_package *packages = trans->system->packages.data;
danw@160	2242	const char *pool = trans->system->string_pool.data;
danw@160	2243	struct razor_transaction_package *tp;
danw@160	2244	struct list *pkg;
danw@160	2245
danw@160	2246	/* Assumes prop_is_being_removed returns true */
danw@160	2247
danw@160	2248	for (pkg = list_first(&prop->packages, &trans->system->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2249	tp = find_transaction_package(trans, &pool[packages[pkg->data].name]);
danw@160	2250	if (tp && tp->state == RAZOR_PACKAGE_REMOVE)
danw@160	2251	return 0;
danw@160	2252	}
danw@160	2253	return 1;
danw@160	2254	}
danw@160	2255
danw@131	2256	static void
danw@141	2257	add_transaction_package(struct razor_transaction_resolver *trans,
danw@147	2258	struct razor_package *new_package,
danw@147	2259	struct razor_package *old_package,
danw@140	2260	enum razor_transaction_package_state state,
danw@144	2261	const char *req_package,
danw@144	2262	struct razor_property *req_prop)
danw@131	2263	{
danw@147	2264	struct razor_set new_package_set, old_package_set, *req_set;
danw@160	2265	struct bitarray *reqpkgbits;
danw@147	2266	struct razor_transaction_package tp, already;
danw@140	2267	const char *pool;
danw@140	2268	struct razor_package *pkgs;
danw@140	2269	struct list *pkg;
danw@147	2270	int contradiction = 0;
danw@147	2271
danw@160	2272	if (package_in_set(new_package, trans->system))
danw@147	2273	new_package_set = trans->system;
danw@160	2274	else
danw@147	2275	new_package_set = trans->upstream;
danw@160	2276	if (package_in_set(old_package, trans->system))
danw@147	2277	old_package_set = trans->system;
danw@160	2278	else
danw@147	2279	old_package_set = trans->upstream;
danw@145	2280	if (property_in_set(req_prop, trans->system)) {
danw@145	2281	req_set = trans->system;
danw@145	2282	reqpkgbits = &trans->syspkgs;
danw@145	2283	} else {
danw@145	2284	req_set = trans->upstream;
danw@145	2285	reqpkgbits = &trans->uppkgs;
danw@145	2286	}
danw@144	2287
danw@147	2288	if (new_package) {
danw@147	2289	pool = new_package_set->string_pool.data;
danw@147	2290	already = find_transaction_package(trans, &pool[new_package->name]);
danw@147	2291	if (already) {
danw@147	2292	if (already->new_package == new_package) {
danw@147	2293	/* Already taken care of */
danw@147	2294	return;
danw@166	2295	} else if (new_package_set == trans->upstream &&
danw@166	2296	already->state == RAZOR_PACKAGE_FORCED_UPDATE) {
danw@166	2297	already->new_package = new_package;
danw@166	2298	return;
danw@147	2299	}
danw@166	2300
danw@147	2301	/* Oops. We lose */
danw@147	2302	if (state != RAZOR_PACKAGE_CONTRADICTION)
danw@147	2303	contradiction = 1;
danw@147	2304	}
danw@147	2305	} else if (old_package) {
danw@147	2306	pool = old_package_set->string_pool.data;
danw@147	2307	already = find_transaction_package(trans, &pool[old_package->name]);
danw@147	2308	if (already) {
danw@147	2309	if (already->old_package == old_package) {
danw@147	2310	/* Already taken care of */
danw@147	2311	return;
danw@166	2312	} else if (old_package_set == trans->system) {
danw@166	2313	already->old_package = old_package;
danw@166	2314	return;
danw@147	2315	}
danw@166	2316
danw@147	2317	/* Oops. We lose */
danw@147	2318	if (state != RAZOR_PACKAGE_CONTRADICTION)
danw@147	2319	contradiction = 1;
danw@147	2320	}
danw@147	2321	} else
danw@147	2322	state = RAZOR_PACKAGE_UNSATISFIABLE;
danw@147	2323
danw@141	2324	tp = array_add(&trans->packages, sizeof *tp);
danw@140	2325	memset(tp, 0, sizeof *tp);
danw@131	2326
danw@147	2327	if (new_package) {
danw@147	2328	pool = new_package_set->string_pool.data;
danw@147	2329	tp->new_package = new_package;
danw@147	2330	tp->name = &pool[new_package->name];
danw@147	2331	tp->new_version = &pool[new_package->version];
danw@147	2332
danw@147	2333	pkgs = new_package_set->packages.data;
danw@147	2334	}
danw@147	2335	if (old_package) {
danw@147	2336	pool = old_package_set->string_pool.data;
danw@147	2337	tp->old_package = old_package;
danw@147	2338	tp->name = &pool[old_package->name];
danw@147	2339	tp->old_version = &pool[old_package->version];
danw@147	2340
danw@147	2341	pkgs = old_package_set->packages.data;
danw@147	2342	}
danw@147	2343
danw@147	2344	tp->state = state;
danw@147	2345	if (state != RAZOR_PACKAGE_INSTALL &&
danw@154	2346	state != RAZOR_PACKAGE_FORCED_UPDATE &&
danw@154	2347	state != RAZOR_PACKAGE_REMOVE &&
danw@154	2348	state != RAZOR_PACKAGE_OBSOLETED)
danw@145	2349	trans->errors++;
danw@147	2350
danw@147	2351	if (contradiction) {
danw@147	2352	/* Do this now, after adding tp, so that it ends up
danw@147	2353	* after both the INSTALL and the REMOVE in the array.
danw@147	2354	*/
danw@147	2355	add_transaction_package(trans, new_package, old_package,
danw@147	2356	RAZOR_PACKAGE_CONTRADICTION,
danw@147	2357	NULL, NULL);
danw@145	2358	}
danw@140	2359
danw@144	2360	if (req_package)
danw@145	2361	tp->dep_package = req_package;
danw@145	2362	if (!req_prop)
danw@145	2363	return;
danw@145	2364
danw@145	2365	pool = req_set->string_pool.data;
danw@145	2366	pkgs = req_set->packages.data;
danw@145	2367	if (!req_package) {
danw@145	2368	for (pkg = list_first(&req_prop->packages, &req_set->package_pool); pkg; pkg = list_next(pkg)) {
danw@145	2369	if (bitarray_get(reqpkgbits, pkg->data))
danw@144	2370	break;
danw@144	2371	}
danw@145	2372	if (pkg)
danw@145	2373	tp->dep_package = &pool[pkgs[pkg->data].name];
danw@131	2374	}
danw@144	2375
danw@145	2376	tp->dep_type = req_prop->type;
danw@145	2377	tp->dep_property = &pool[req_prop->name];
danw@145	2378	tp->dep_relation = req_prop->relation;
danw@145	2379	tp->dep_version = &pool[req_prop->version];
danw@140	2380	}
danw@140	2381
danw@160	2382	static void
danw@160	2383	razor_transaction_satisfy(struct razor_transaction_resolver *trans)
danw@147	2384	{
danw@160	2385	struct razor_package spkgs, upkgs, *pkg;
danw@144	2386	struct razor_property sp, sprops, *sprop_end;
danw@144	2387	struct razor_property up, uprops, *uprop_end;
danw@160	2388	struct razor_property sr, ur, *first_up;
danw@160	2389	const char spool, upool, *removed_package;
danw@160	2390	struct list *reqpkg;
danw@134	2391
danw@140	2392	spkgs = trans->system->packages.data;
danw@140	2393	sprops = trans->system->properties.data;
danw@144	2394	sprop_end = trans->system->properties.data + trans->system->properties.size;
danw@145	2395	spool = trans->system->string_pool.data;
danw@140	2396	upkgs = trans->upstream->packages.data;
danw@140	2397	uprops = trans->upstream->properties.data;
danw@144	2398	uprop_end = trans->upstream->properties.data + trans->upstream->properties.size;
danw@140	2399	upool = trans->upstream->string_pool.data;
krh@33	2400
danw@144	2401	sp = sprops;
danw@160	2402	for (up = uprops; up < uprop_end; up++) {
danw@140	2403	/* Skip 'up' ahead to a property of a package which is
danw@140	2404	* to-be-installed.
danw@140	2405	*/
danw@144	2406	while (up < uprop_end &&
danw@144	2407	!prop_is_being_installed(trans, up))
danw@140	2408	up++;
danw@144	2409	if (up == uprop_end)
danw@140	2410	break;
danw@154	2411	sp = skip_to_matching_property(trans, up, sp);
krh@33	2412
danw@144	2413	switch (up->type) {
danw@140	2414	case RAZOR_PROPERTY_REQUIRES:
danw@144	2415	if (!strncmp(&upool[up->name], "rpmlib(", 7))
danw@140	2416	break;
danw@131	2417
danw@154	2418	if (find_installed_package_for_property(trans, sp, up, up) \|\|
danw@144	2419	find_installed_package_for_file(trans, &upool[up->name])) {
danw@140	2420	/* Requires something that is either installed
danw@140	2421	* or to-be-installed.
danw@140	2422	*/
danw@140	2423	break;
danw@137	2424	}
danw@137	2425
danw@140	2426	/* See if we can install a new upstream provider */
danw@154	2427	pkg = find_uninstalled_package_for_property(trans, sp, up, up);
danw@154	2428	if (!pkg)
danw@144	2429	pkg = find_uninstalled_package_for_file(trans, &upool[up->name]);
danw@160	2430	add_transaction_package(trans, pkg, NULL,
danw@144	2431	RAZOR_PACKAGE_INSTALL,
danw@144	2432	NULL, up);
danw@144	2433	break;
danw@144	2434
danw@144	2435	case RAZOR_PROPERTY_PROVIDES:
danw@144	2436	/* find_installed_package_for_property works backwards
danw@144	2437	* here, finding a conflicting installed package.
danw@144	2438	*/
danw@154	2439	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@140	2440	if (!pkg)
danw@144	2441	break;
danw@144	2442
danw@145	2443	if (package_in_set(pkg, trans->system)) {
danw@145	2444	/* pkg CONFLICTS with what 'up' PROVIDES. Try
danw@145	2445	* finding an upgrade
danw@145	2446	*/
danw@160	2447	add_transaction_package(trans, NULL, pkg,
danw@160	2448	RAZOR_PACKAGE_FORCED_UPDATE,
danw@165	2449	&upool[up->name], sp);
danw@160	2450	} else {
danw@160	2451	add_transaction_package(trans, NULL, pkg,
danw@160	2452	RAZOR_PACKAGE_CONTRADICTION,
danw@160	2453	NULL, up);
danw@144	2454	}
danw@140	2455	break;
danw@140	2456
danw@140	2457	case RAZOR_PROPERTY_CONFLICTS:
danw@154	2458	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@144	2459	if (!pkg)
danw@144	2460	break;
danw@144	2461
danw@144	2462	if (package_in_set(pkg, trans->system)) {
danw@140	2463	/* Conflicts with something already installed.
danw@140	2464	* Try to upgrade out.
danw@140	2465	*/
danw@160	2466	add_transaction_package(trans, NULL, pkg,
danw@160	2467	RAZOR_PACKAGE_FORCED_UPDATE,
danw@160	2468	NULL, up);
danw@160	2469	} else {
danw@160	2470	add_transaction_package(trans, pkg, NULL,
danw@160	2471	RAZOR_PACKAGE_CONTRADICTION,
danw@160	2472	NULL, up);
danw@140	2473	}
danw@140	2474	break;
danw@140	2475
danw@140	2476	case RAZOR_PROPERTY_OBSOLETES:
danw@154	2477	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@145	2478	if (pkg) {
danw@145	2479	/* If pkg is to-be-installed, this
danw@145	2480	* will add a CONTRADICTION error as well.
danw@145	2481	*/
danw@147	2482	add_transaction_package(trans, NULL, pkg,
danw@154	2483	RAZOR_PACKAGE_OBSOLETED,
danw@144	2484	NULL, up);
danw@140	2485	}
danw@140	2486	break;
danw@140	2487
danw@140	2488	default:
danw@140	2489	/* can't happen */
danw@140	2490	break;
danw@131	2491	}
krh@37	2492	}
danw@154	2493
danw@154	2494	up = uprops;
danw@154	2495	for (sp = sprops; sp < sprop_end; sp++) {
danw@154	2496	/* Skip 'sp' ahead to a PROVIDES of a package which is
danw@154	2497	* to-be-removed.
danw@154	2498	*/
danw@154	2499	while (sp < sprop_end &&
danw@154	2500	(sp->type != RAZOR_PROPERTY_PROVIDES \|\|
danw@154	2501	!prop_is_being_removed(trans, sp)))
danw@154	2502	sp++;
danw@154	2503	if (sp == sprop_end)
danw@154	2504	break;
danw@154	2505
danw@154	2506	removed_package = &spool[spkgs[list_first(&sp->packages, &trans->system->package_pool)->data].name];
danw@154	2507
danw@154	2508	/* Skip 'up' to match */
danw@154	2509	up = skip_to_matching_property(trans, sp, up);
danw@154	2510	ur = first_up = up;
danw@154	2511
danw@154	2512	/* If the package is just being upgraded, we may
danw@154	2513	* already be installing an identical PROVIDES, so
danw@154	2514	* check for that.
danw@154	2515	*/
danw@154	2516	while (up < uprop_end &&
danw@154	2517	strcmp(&spool[sp->name], &upool[up->name]) == 0 &&
danw@154	2518	(up->type != RAZOR_PROPERTY_PROVIDES \|\|
danw@154	2519	sp->relation != up->relation \|\|
danw@154	2520	strcmp(&spool[sp->name], &upool[up->name]) != 0))
danw@154	2521	up++;
danw@154	2522	if (up < uprop_end &&
danw@154	2523	up->type == RAZOR_PROPERTY_PROVIDES &&
danw@154	2524	strcmp(&spool[sp->name], &upool[up->name]) == 0 &&
danw@154	2525	sp->relation == up->relation &&
danw@154	2526	strcmp(&spool[sp->version], &upool[up->version]) == 0 &&
danw@154	2527	prop_is_being_installed(trans, up)) {
danw@154	2528	up = first_up;
danw@154	2529	continue;
danw@154	2530	}
danw@154	2531	up = first_up;
danw@154	2532
danw@154	2533	/* For all still-installed packages that require
danw@154	2534	* sp->name, see if they are satisfied by any other
danw@154	2535	* still-installed or to-be-installed property. If
danw@154	2536	* not, either remove or attempt to update the
danw@154	2537	* package, depending on why the required property has
danw@154	2538	* disappeared
danw@154	2539	*/
danw@154	2540	sr = sp;
danw@154	2541	while (sr > sprops + 1 && (sr - 1)->name == sr->name)
danw@154	2542	sr--;
danw@154	2543	for (; sr->type == RAZOR_PROPERTY_REQUIRES; sr++) {
danw@154	2544	if (prop_is_being_removed(trans, sr))
danw@154	2545	continue;
danw@154	2546	if (find_installed_package_for_property(trans, sp, up, sr))
danw@154	2547	continue;
danw@154	2548
danw@154	2549	for (reqpkg = list_first(&sr->packages, &trans->system->package_pool); reqpkg; reqpkg = list_next(reqpkg)) {
danw@154	2550	if (!bitarray_get(&trans->syspkgs, reqpkg->data))
danw@154	2551	continue;
danw@154	2552	pkg = &spkgs[reqpkg->data];
danw@154	2553	if (prop_is_being_updated(trans, sp)) {
danw@160	2554	add_transaction_package(trans, NULL, pkg,
danw@160	2555	RAZOR_PACKAGE_FORCED_UPDATE,
danw@160	2556	removed_package, NULL);
danw@154	2557	} else {
danw@154	2558	add_transaction_package(trans, NULL, pkg,
danw@154	2559	RAZOR_PACKAGE_REMOVE,
danw@154	2560	removed_package, sr);
danw@154	2561	}
danw@154	2562	}
danw@154	2563	}
danw@154	2564	}
danw@154	2565	}
danw@129	2566
danw@137	2567	struct razor_transaction *
danw@137	2568	razor_transaction_create(struct razor_set system, struct razor_set upstream,
danw@137	2569	int update_count, const char **update_packages,
danw@137	2570	int remove_count, const char **remove_packages)
danw@137	2571	{
danw@141	2572	struct razor_transaction_resolver trans;
danw@141	2573	struct razor_transaction *ret_trans;
danw@160	2574	struct razor_transaction_package *tp;
danw@160	2575	int start, end, i;
danw@137	2576
danw@141	2577	trans.system = system;
danw@141	2578	trans.upstream = upstream ? upstream : razor_set_create();
danw@141	2579	array_init(&trans.packages);
danw@141	2580	bitarray_init(&trans.syspkgs, trans.system->packages.size / sizeof (struct razor_package), 1);
danw@141	2581	bitarray_init(&trans.uppkgs, trans.upstream->packages.size / sizeof (struct razor_package), 0);
danw@141	2582	trans.errors = 0;
danw@137	2583
danw@144	2584	if (update_count > 0 \|\| remove_count > 0) {
danw@160	2585	for (i = 0; i < update_count; i++) {
danw@160	2586	tp = array_add(&trans.packages, sizeof *tp);
danw@160	2587	memset(tp, 0, sizeof *tp);
danw@160	2588	tp->name = update_packages[i];
danw@160	2589	tp->state = RAZOR_PACKAGE_INSTALL;
danw@160	2590	}
danw@160	2591	for (i = 0; i < remove_count; i++) {
danw@160	2592	tp = array_add(&trans.packages, sizeof *tp);
danw@160	2593	memset(tp, 0, sizeof *tp);
danw@160	2594	tp->name = remove_packages[i];
danw@160	2595	tp->state = RAZOR_PACKAGE_REMOVE;
danw@160	2596	}
danw@144	2597	} else
danw@141	2598	find_all_packages(&trans);
danw@137	2599
danw@137	2600	start = 0;
danw@141	2601	end = trans.packages.size / sizeof (struct razor_transaction_package);
danw@137	2602
danw@160	2603	while (start != end) {
danw@160	2604	resolve_new_packages(&trans, start, end);
danw@160	2605	if (trans.errors)
danw@160	2606	break;
danw@160	2607
danw@160	2608	razor_transaction_satisfy(&trans);
danw@137	2609
danw@137	2610	start = end;
danw@141	2611	end = trans.packages.size / sizeof (struct razor_transaction_package);
danw@137	2612	}
danw@137	2613
danw@141	2614	ret_trans = zalloc(sizeof *ret_trans);
danw@141	2615	ret_trans->system = trans.system;
danw@141	2616	ret_trans->upstream = trans.upstream;
danw@141	2617	ret_trans->packages = trans.packages.data;
danw@141	2618	ret_trans->package_count = end;
danw@141	2619	ret_trans->errors = trans.errors;
danw@141	2620	return ret_trans;
danw@137	2621	}
danw@137	2622
danw@137	2623	const char * const razor_version_relations[] = {
danw@137	2624	/* same order as enum razor_version_relation */
danw@137	2625	"<", "<=", "=", ">=", ">"
danw@137	2626	};
danw@137	2627
danw@140	2628	const char * const razor_property_types[] = {
danw@140	2629	/* same order as enum razor_property_type */
danw@140	2630	"requires", "provides", "conflicts with", "obsoletes"
danw@140	2631	};
danw@140	2632
danw@137	2633	void
danw@137	2634	razor_transaction_describe(struct razor_transaction *trans)
danw@137	2635	{
danw@137	2636	struct razor_transaction_package p, pend, *tps;
danw@137	2637	int errors_only = 0;
danw@137	2638
danw@137	2639	tps = trans->packages;
danw@137	2640	pend = trans->packages + trans->package_count;
danw@137	2641	for (p = trans->packages; p < pend; p++) {
danw@137	2642	switch (p->state) {
danw@137	2643	case RAZOR_PACKAGE_INSTALL:
danw@137	2644	if (errors_only)
danw@137	2645	break;
danw@137	2646
danw@147	2647	printf("Installing %s %s", p->name, p->new_version);
danw@145	2648	if (p->dep_package) {
danw@145	2649	if (p->dep_type == RAZOR_PROPERTY_CONFLICTS &&
danw@145	2650	!strcmp(p->dep_package, p->name)) {
danw@147	2651	printf(" because %s %s conflicts with %s",
danw@147	2652	p->name, p->old_version, p->dep_property);
danw@145	2653	if (*p->dep_version) {
danw@145	2654	printf(" %s %s",
danw@145	2655	razor_version_relations[p->dep_relation],
danw@145	2656	p->dep_version);
danw@145	2657	}
danw@145	2658	} else {
danw@145	2659	printf(" for %s", p->dep_package);
danw@145	2660	if (*p->dep_version) {
danw@145	2661	printf(", which %s %s %s %s",
danw@145	2662	razor_property_types[p->dep_type],
danw@145	2663	p->dep_property,
danw@145	2664	razor_version_relations[p->dep_relation],
danw@145	2665	p->dep_version);
danw@145	2666	} else if (strcmp(p->dep_property, p->name) != 0) {
danw@145	2667	printf(", which %s %s",
danw@145	2668	razor_property_types[p->dep_type],
danw@145	2669	p->dep_property);
danw@145	2670	}
danw@137	2671	}
danw@137	2672	}
danw@137	2673	printf("\n");
danw@137	2674	break;
danw@137	2675
danw@154	2676	case RAZOR_PACKAGE_FORCED_UPDATE:
danw@154	2677	if (errors_only)
danw@154	2678	break;
danw@154	2679
danw@154	2680	printf("Updating %s to %s due to update of %s\n",
danw@154	2681	p->name, p->new_version, p->dep_package);
danw@154	2682	break;
danw@154	2683
danw@137	2684	case RAZOR_PACKAGE_REMOVE:
danw@137	2685	if (errors_only)
danw@137	2686	break;
danw@147	2687	printf("Removing %s %s", p->name, p->old_version);
danw@145	2688	if (p->dep_package) {
danw@154	2689	printf(" which required %s",
danw@154	2690	p->dep_package);
danw@162	2691	if (strcmp(p->dep_property, p->dep_package) != 0)
danw@154	2692	printf(" for %s", p->dep_property);
danw@154	2693	}
danw@154	2694	printf("\n");
danw@154	2695	break;
danw@154	2696
danw@154	2697	case RAZOR_PACKAGE_OBSOLETED:
danw@154	2698	if (errors_only)
danw@154	2699	break;
danw@154	2700	printf("Removing %s %s", p->name, p->old_version);
danw@154	2701	if (p->dep_package) {
danw@154	2702	printf(" which is obsoleted by %s",
danw@154	2703	p->dep_package);
danw@137	2704	}
danw@137	2705	printf("\n");
danw@137	2706	break;
danw@137	2707
danw@145	2708	case RAZOR_PACKAGE_INSTALL_UNAVAILABLE:
danw@145	2709	printf("Error: can't install %s: not found\n", p->name);
danw@137	2710	errors_only = 1;
danw@137	2711	break;
danw@137	2712
danw@145	2713	case RAZOR_PACKAGE_REMOVE_NOT_INSTALLED:
danw@145	2714	printf("Error: can't remove %s: not installed\n", p->name);
danw@137	2715	errors_only = 1;
danw@137	2716	break;
danw@137	2717
danw@145	2718	case RAZOR_PACKAGE_UP_TO_DATE:
danw@147	2719	printf("Error: can't upgrade %s: %s is most recent version\n", p->name, p->old_version);
danw@145	2720	errors_only = 1;
danw@145	2721	break;
danw@145	2722
danw@145	2723	case RAZOR_PACKAGE_CONTRADICTION:
danw@147	2724	printf("Error: package %s is marked for both installation and removal\n", p->name);
danw@145	2725	errors_only = 1;
danw@145	2726	break;
danw@145	2727
danw@145	2728	case RAZOR_PACKAGE_OLD_CONFLICT:
danw@145	2729	printf("Error: can't install %s, because installed package %s conflicts with ",
danw@145	2730	p->name, p->dep_package);
danw@145	2731	if (*p->dep_version) {
danw@145	2732	printf("%s %s %s",
danw@145	2733	p->dep_property,
danw@145	2734	razor_version_relations[p->dep_relation],
danw@145	2735	p->dep_version);
danw@145	2736	} else
danw@145	2737	printf("it");
danw@145	2738	printf("\n");
danw@145	2739
danw@145	2740	errors_only = 1;
danw@145	2741	break;
danw@145	2742
danw@145	2743	case RAZOR_PACKAGE_NEW_CONFLICT:
danw@145	2744	printf("Error: can't install %s, because it conflicts with %s",
danw@145	2745	p->name, p->dep_package);
danw@145	2746	if (*p->dep_version) {
danw@145	2747	printf(" %s %s",
danw@145	2748	razor_version_relations[p->dep_relation],
danw@145	2749	p->dep_version);
danw@145	2750	}
danw@145	2751	printf("\n");
danw@145	2752
danw@145	2753	errors_only = 1;
danw@145	2754	break;
danw@145	2755
danw@145	2756	case RAZOR_PACKAGE_UNSATISFIABLE:
danw@145	2757	printf("Error: can't find package for %s", p->dep_property);
danw@145	2758	if (*p->dep_version) {
danw@145	2759	printf(" %s %s",
danw@145	2760	razor_version_relations[p->dep_relation],
danw@145	2761	p->dep_version);
danw@145	2762	}
danw@145	2763	printf(" which is required by %s\n",
danw@145	2764	p->dep_package);
danw@140	2765	errors_only = 1;
danw@140	2766	break;
danw@140	2767
danw@137	2768	default:
danw@137	2769	/* Shouldn't actually happen */
danw@137	2770	break;
danw@137	2771	}
danw@137	2772	}
danw@137	2773	}
danw@137	2774
danw@137	2775	struct razor_set *
danw@137	2776	razor_transaction_run(struct razor_transaction *trans)
danw@137	2777	{
danw@137	2778	struct array install_packages, remove_packages;
danw@137	2779	struct razor_merger *merger;
danw@137	2780	struct razor_package pkg, i, iend, r, rend, s, *send;
danw@137	2781	struct source source1, source2;
danw@137	2782	char spool, ipool, *rpool;
danw@137	2783	uint32_t *map;
danw@137	2784	int p, cmp;
danw@137	2785
danw@137	2786	/* FIXME */
danw@137	2787	if (trans->errors)
danw@137	2788	return NULL;
danw@137	2789
danw@137	2790	/* Sort the transaction packages into two arrays */
danw@137	2791	array_init(&install_packages);
danw@137	2792	array_init(&remove_packages);
danw@137	2793	for (p = 0; p < trans->package_count; p++) {
danw@160	2794	if (trans->packages[p].new_package) {
danw@137	2795	pkg = array_add(&install_packages, sizeof *pkg);
danw@147	2796	pkg = trans->packages[p].new_package;
danw@147	2797	} else {
danw@137	2798	pkg = array_add(&remove_packages, sizeof *pkg);
danw@147	2799	pkg = trans->packages[p].old_package;
danw@147	2800	}
danw@137	2801	}
danw@137	2802	map = qsort_with_data(install_packages.data,
danw@137	2803	install_packages.size / sizeof *pkg,
danw@137	2804	sizeof *pkg,
danw@137	2805	compare_packages,
danw@137	2806	trans->upstream);
danw@137	2807	free(map);
danw@137	2808	map = qsort_with_data(remove_packages.data,
danw@137	2809	remove_packages.size / sizeof *pkg,
danw@137	2810	sizeof *pkg,
danw@137	2811	compare_packages,
danw@137	2812	trans->system);
danw@137	2813	free(map);
danw@137	2814
danw@137	2815	merger = razor_merger_create(trans->system, trans->upstream);
danw@137	2816
danw@137	2817	source1 = &merger->source1;
danw@137	2818	source2 = &merger->source2;
danw@137	2819
danw@137	2820	i = install_packages.data;
danw@137	2821	iend = install_packages.data + install_packages.size;
danw@137	2822	ipool = trans->upstream->string_pool.data;
danw@137	2823
danw@137	2824	r = remove_packages.data;
danw@137	2825	rend = remove_packages.data + remove_packages.size;
danw@137	2826	rpool = trans->system->string_pool.data;
danw@137	2827
danw@137	2828	s = trans->system->packages.data;
danw@137	2829	send = trans->system->packages.data + trans->system->packages.size;
danw@137	2830	spool = trans->system->string_pool.data;
danw@137	2831
danw@137	2832	while (s < send \|\| i < iend) {
danw@137	2833	/* Check if s is being removed */
danw@137	2834	if (s < send && r < rend &&
danw@137	2835	s->name == r->name && s->version && r->version) {
danw@137	2836	s++;
danw@137	2837	r++;
danw@137	2838	continue;
danw@137	2839	}
danw@137	2840
danw@137	2841	if (s < send && i < iend)
danw@137	2842	cmp = strcmp(&spool[s->name], &ipool[i->name]);
danw@137	2843	else if (s < send)
danw@137	2844	cmp = -1;
danw@137	2845	else
danw@137	2846	cmp = 1;
danw@137	2847	if (cmp < 0) {
danw@137	2848	add_package(merger, s, source1, 0);
danw@137	2849	s++;
danw@137	2850	} else if (cmp == 0) {
danw@137	2851	add_package(merger, i, source2, UPSTREAM_SOURCE);
danw@137	2852	s++;
danw@137	2853	i++;
danw@137	2854	} else {
danw@137	2855	add_package(merger, i, source2, UPSTREAM_SOURCE);
danw@137	2856	i++;
danw@137	2857	}
danw@137	2858	}
danw@137	2859
danw@137	2860	array_release(&install_packages);
danw@137	2861	array_release(&remove_packages);
danw@137	2862
danw@137	2863	return razor_merger_finish(merger);
danw@137	2864	}
danw@137	2865
danw@137	2866	void
danw@137	2867	razor_transaction_destroy(struct razor_transaction *trans)
danw@137	2868	{
danw@137	2869	int p;
danw@137	2870
danw@137	2871	for (p = 0; p < trans->package_count; p++) {
danw@145	2872	if (!trans->packages[p].dep_package &&
danw@137	2873	(trans->packages[p].state == RAZOR_PACKAGE_INSTALL_UNAVAILABLE \|\|
danw@137	2874	trans->packages[p].state == RAZOR_PACKAGE_REMOVE_NOT_INSTALLED))
danw@137	2875	free((char *)trans->packages[p].name);
danw@137	2876	}
danw@137	2877	free(trans);
danw@137	2878
danw@137	2879	/* FIXME: free upstream if it was created as an empty set */
danw@137	2880	}

author	Dan Winship <danw@gnome.org>
	Tue Mar 11 18:12:02 2008 -0400 (2008-03-11)
changeset 167	28e203d118c7
parent 166	8a1573991d22
child 168	680d18568209
permissions	-rw-r--r--