razor: razor.c@9b84b59d9d50 (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@168	1839	static struct razor_package *
danw@168	1840	property_provider_package(struct razor_transaction_resolver *trans,
danw@168	1841	struct razor_property *prop,
danw@168	1842	int installed)
danw@168	1843	{
danw@168	1844	struct razor_set *set;
danw@168	1845	struct bitarray *pkgbits;
danw@168	1846	struct razor_package *pkgs;
danw@168	1847	struct list *p;
danw@168	1848
danw@168	1849	if (installed && prop->type != RAZOR_PROPERTY_PROVIDES)
danw@168	1850	return NULL;
danw@168	1851	else if (!installed &&
danw@168	1852	prop->type != RAZOR_PROPERTY_PROVIDES &&
danw@168	1853	prop->type != RAZOR_PROPERTY_OBSOLETES)
danw@168	1854	return NULL;
danw@168	1855
danw@168	1856	if (property_in_set(prop, trans->system)) {
danw@168	1857	set = trans->system;
danw@168	1858	pkgbits = &trans->syspkgs;
danw@168	1859	} else {
danw@168	1860	set = trans->upstream;
danw@168	1861	pkgbits = &trans->uppkgs;
danw@168	1862	}
danw@168	1863	pkgs = set->packages.data;
danw@168	1864
danw@168	1865	for (p = list_first(&prop->packages, &set->package_pool); p; p = list_next(p)) {
danw@168	1866	if (bitarray_get(pkgbits, p->data) != installed)
danw@168	1867	continue;
danw@168	1868	if (prop->type == RAZOR_PROPERTY_OBSOLETES \|\|
danw@168	1869	pkgs[p->data].name == prop->name)
danw@168	1870	return &pkgs[p->data];
danw@168	1871	}
danw@168	1872	return NULL;
danw@168	1873	}
danw@168	1874
danw@144	1875	static int
danw@144	1876	compare_transaction_packages(const void one, const void two)
danw@144	1877	{
danw@160	1878	struct razor_transaction_package *tp1 = (void )one;
danw@160	1879	struct razor_transaction_package *tp2 = (void )two;
danw@160	1880
danw@160	1881	if (!(*tp1)->name)
danw@160	1882	return 1;
danw@160	1883	else if (!(*tp2)->name)
danw@160	1884	return -1;
danw@160	1885	else
danw@160	1886	return strcmp((tp1)->name, (tp2)->name);
danw@144	1887	}
danw@144	1888
danw@168	1889	/* FIXME: merge this into the other property loop in razor_transaction_satisfy */
danw@141	1890	static void
danw@160	1891	resolve_new_packages(struct razor_transaction_resolver *trans,
danw@160	1892	int start, int end)
krh@38	1893	{
danw@168	1894	struct razor_property sp, up, sp_end, up_end;
danw@168	1895	struct razor_package spkg, spkgs, upkg, upkgs;
danw@160	1896	struct razor_transaction_package **packages;
danw@144	1897	const char spool, upool;
danw@144	1898	int i;
danw@144	1899
danw@168	1900	sp_end = trans->system->properties.data + trans->system->properties.size;
danw@168	1901	spool = trans->system->string_pool.data;
danw@144	1902	spkgs = trans->system->packages.data;
danw@168	1903	up_end = trans->upstream->properties.data + trans->upstream->properties.size;
danw@168	1904	upool = trans->upstream->string_pool.data;
danw@144	1905	upkgs = trans->upstream->packages.data;
danw@168	1906
danw@168	1907	/* FIXME, check if sorting the packages directly (rather than
danw@168	1908	* sorting pointers-to-packages) still results in confusing
danw@168	1909	* descriptions.
danw@168	1910	*/
danw@160	1911	packages = calloc(end - start, sizeof *packages);
danw@160	1912	for (i = start; i < end; i++)
danw@160	1913	packages[i - start] = ((struct razor_transaction_package *)trans->packages.data) + i;
danw@160	1914	qsort(packages, end - start, sizeof *packages,
danw@160	1915	compare_transaction_packages);
danw@144	1916
danw@168	1917	sp = trans->system->properties.data;
danw@168	1918	up = trans->upstream->properties.data;
danw@160	1919	for (i = 0; i < end - start; i++) {
danw@169	1920	if (!packages[i]->name \|\|
danw@169	1921	packages[i]->state >= RAZOR_PACKAGE_FIRST_ERROR_STATE)
danw@160	1922	continue;
danw@168	1923
danw@168	1924	spkg = NULL;
danw@168	1925	while (sp < sp_end &&
danw@168	1926	strcmp(&spool[sp->name], packages[i]->name) < 0)
danw@144	1927	sp++;
danw@168	1928	while (sp < sp_end &&
danw@168	1929	strcmp(&spool[sp->name], packages[i]->name) == 0 &&
danw@168	1930	!(spkg = property_provider_package(trans, sp, 1)))
danw@168	1931	sp++;
danw@168	1932
danw@168	1933	upkg = NULL;
danw@168	1934	while (up < up_end &&
danw@168	1935	strcmp(&upool[up->name], packages[i]->name) < 0)
danw@168	1936	up++;
danw@168	1937	while (up < up_end &&
danw@168	1938	strcmp(&upool[up->name], packages[i]->name) == 0 &&
danw@168	1939	!(upkg = property_provider_package(trans, up, 0)))
danw@144	1940	up++;
danw@144	1941
danw@160	1942	if (packages[i]->state == RAZOR_PACKAGE_REMOVE \|\|
danw@160	1943	packages[i]->state == RAZOR_PACKAGE_OBSOLETED) {
danw@168	1944	if (spkg) {
danw@168	1945	packages[i]->old_package = spkg;
danw@168	1946	packages[i]->name = &spool[spkg->name];
danw@168	1947	packages[i]->old_version = &spool[spkg->version];
danw@168	1948	bitarray_set(&trans->syspkgs, spkg - spkgs, 0);
danw@169	1949	}
danw@169	1950	if (!packages[i]->old_package) {
danw@160	1951	packages[i]->name = strdup(packages[i]->name);
danw@169	1952	packages[i]->state \|= RAZOR_PACKAGE_UNAVAILABLE_FLAG;
danw@144	1953	trans->errors++;
danw@144	1954	}
danw@144	1955	} else {
danw@168	1956	if (upkg) {
danw@168	1957	packages[i]->new_package = upkg;
danw@168	1958	packages[i]->name = &upool[upkg->name];
danw@168	1959	packages[i]->new_version = &upool[upkg->version];
danw@168	1960
danw@168	1961	if (up->name != upkg->name) {
danw@168	1962	packages[i]->dep_package = &upool[upkg->name];
danw@168	1963	packages[i]->dep_type = up->type;
danw@168	1964	packages[i]->dep_property = &upool[up->name];
danw@168	1965	packages[i]->dep_relation = up->relation;
danw@168	1966	packages[i]->dep_version = &upool[up->version];
danw@168	1967	}
danw@168	1968
danw@168	1969	if (spkg) {
danw@168	1970	packages[i]->old_package = spkg;
danw@168	1971	packages[i]->old_version = &spool[spkg->version];
danw@168	1972	if (versioncmp(&spool[spkg->version], &upool[up->version]) >= 0) {
danw@160	1973	packages[i]->state = RAZOR_PACKAGE_UP_TO_DATE;
danw@144	1974	trans->errors++;
danw@144	1975	continue;
danw@144	1976	}
danw@168	1977	bitarray_set(&trans->syspkgs, spkg - spkgs, 0);
danw@144	1978	}
danw@168	1979	bitarray_set(&trans->uppkgs, upkg - upkgs, 1);
danw@169	1980	}
danw@169	1981	if (!packages[i]->new_package) {
danw@160	1982	packages[i]->name = strdup(packages[i]->name);
danw@169	1983	packages[i]->state \|= RAZOR_PACKAGE_UNAVAILABLE_FLAG;
danw@144	1984	trans->errors++;
krh@105	1985	}
krh@105	1986	}
krh@38	1987	}
krh@38	1988	}
krh@38	1989
krh@38	1990	static void
danw@141	1991	find_all_packages(struct razor_transaction_resolver *trans)
krh@38	1992	{
danw@137	1993	struct razor_transaction_package *tp;
danw@144	1994	struct razor_package sp, spkgs, send, up, upkgs, uend;
danw@144	1995	const char spool, upool;
danw@144	1996
danw@144	1997	spkgs = trans->system->packages.data;
danw@144	1998	send = trans->system->packages.data + trans->system->packages.size;
danw@144	1999	spool = trans->system->string_pool.data;
danw@144	2000	up = upkgs = trans->upstream->packages.data;
danw@141	2001	uend = trans->upstream->packages.data + trans->upstream->packages.size;
danw@141	2002	upool = trans->upstream->string_pool.data;
krh@38	2003
danw@144	2004	for (sp = spkgs; sp < send; sp++) {
danw@144	2005	while (up < uend && strcmp(&spool[sp->name], &upool[up->name]) > 0)
danw@144	2006	up++;
danw@144	2007	if (strcmp(&spool[sp->name], &upool[up->name]) == 0) {
danw@141	2008	tp = array_add(&trans->packages, sizeof *tp);
danw@137	2009	memset(tp, 0, sizeof *tp);
danw@147	2010	tp->old_package = sp;
danw@147	2011	tp->new_package = up;
danw@144	2012	tp->name = &upool[up->name];
danw@147	2013	tp->old_version = &spool[sp->version];
danw@147	2014	tp->new_version = &upool[up->version];
danw@137	2015	tp->state = RAZOR_PACKAGE_INSTALL;
danw@144	2016	bitarray_set(&trans->uppkgs, up - upkgs, 1);
danw@144	2017	bitarray_set(&trans->syspkgs, sp - spkgs, 0);
krh@38	2018	}
krh@38	2019	}
krh@38	2020	}
krh@38	2021
danw@137	2022	static int
danw@137	2023	provider_satisfies_requirement(struct razor_property *provider,
danw@137	2024	const char *provider_strings,
danw@137	2025	struct razor_property *requirement,
danw@137	2026	const char *requirement_strings)
danw@137	2027	{
danw@137	2028	int cmp, len;
danw@137	2029	const char *provided = &provider_strings[provider->version];
danw@137	2030	const char *required = &requirement_strings[requirement->version];
danw@137	2031
danw@137	2032	if (!*required)
danw@137	2033	return 1;
danw@170	2034	if (!*provided) {
danw@170	2035	if (requirement->relation >= RAZOR_VERSION_EQUAL)
danw@170	2036	return 1;
danw@170	2037	else
danw@170	2038	return 0;
danw@170	2039	}
danw@137	2040
danw@137	2041	cmp = versioncmp(provided, required);
danw@137	2042
danw@137	2043	switch (requirement->relation) {
danw@137	2044	case RAZOR_VERSION_LESS:
danw@137	2045	return cmp < 0;
danw@137	2046
danw@137	2047	case RAZOR_VERSION_LESS_OR_EQUAL:
danw@137	2048	if (cmp <= 0)
danw@137	2049	return 1;
danw@137	2050	/* fall through: FIXME, make sure this is correct */
danw@137	2051
danw@137	2052	case RAZOR_VERSION_EQUAL:
danw@137	2053	if (cmp == 0)
danw@137	2054	return 1;
danw@137	2055
danw@137	2056	/* "foo == 1.1" is satisfied by "foo 1.1-2" */
danw@137	2057	len = strlen(required);
danw@137	2058	if (!strncmp(required, provided, len) && provided[len] == '-')
danw@137	2059	return 1;
danw@137	2060	return 0;
danw@137	2061
danw@137	2062	case RAZOR_VERSION_GREATER_OR_EQUAL:
danw@137	2063	return cmp >= 0;
danw@137	2064
danw@137	2065	case RAZOR_VERSION_GREATER:
danw@137	2066	return cmp > 0;
danw@137	2067	}
danw@137	2068
danw@137	2069	/* shouldn't happen */
danw@137	2070	return 0;
danw@137	2071	}
danw@137	2072
danw@142	2073	static struct razor_package *
danw@144	2074	find_package_for_file(struct razor_set set, struct bitarray pkgbits,
danw@144	2075	const char *filename, int installed)
danw@134	2076	{
danw@142	2077	struct razor_package *pkgs = set->packages.data;
danw@140	2078	struct razor_entry *entry;
danw@140	2079	struct list *p;
danw@134	2080
danw@140	2081	if (filename[0] != '/')
danw@140	2082	return 0;
danw@140	2083
danw@142	2084	entry = find_entry(set, set->files.data, filename);
danw@140	2085	if (!entry)
danw@140	2086	return 0;
danw@140	2087
danw@142	2088	for (p = list_first(&entry->packages, &set->package_pool); p; p = list_next(p)) {
danw@142	2089	if (bitarray_get(pkgbits, p->data) == installed)
danw@142	2090	return &pkgs[p->data];
danw@134	2091	}
danw@142	2092	return NULL;
danw@142	2093	}
danw@142	2094
danw@142	2095	static struct razor_package *
danw@144	2096	find_installed_package_for_file(struct razor_transaction_resolver *trans,
danw@144	2097	const char *filename)
danw@142	2098	{
danw@144	2099	struct razor_package *pkg;
danw@144	2100
danw@144	2101	pkg = find_package_for_file(trans->system, &trans->syspkgs,
danw@144	2102	filename, 1);
danw@144	2103	if (!pkg)
danw@144	2104	pkg = find_package_for_file(trans->upstream, &trans->uppkgs,
danw@144	2105	filename, 1);
danw@144	2106	return pkg;
danw@142	2107	}
danw@142	2108
danw@142	2109	static struct razor_package *
danw@144	2110	find_uninstalled_package_for_file(struct razor_transaction_resolver *trans,
danw@144	2111	const char *filename)
danw@142	2112	{
danw@144	2113	struct razor_package *pkg;
danw@144	2114
danw@144	2115	pkg = find_package_for_file(trans->upstream, &trans->uppkgs,
danw@144	2116	filename, 0);
danw@144	2117	if (!pkg)
danw@144	2118	pkg = find_package_for_file(trans->system, &trans->syspkgs,
danw@144	2119	filename, 0);
danw@144	2120	return pkg;
danw@134	2121	}
danw@134	2122
danw@154	2123	static struct razor_property *
danw@154	2124	skip_to_matching_property(struct razor_transaction_resolver *trans,
danw@154	2125	struct razor_property *match,
danw@154	2126	struct razor_property *prop)
danw@154	2127	{
danw@154	2128	struct razor_set mset, pset;
danw@154	2129	const char ppool, mpool;
danw@154	2130	struct razor_property *prop_end;
danw@154	2131
danw@154	2132	if (property_in_set(match, trans->system))
danw@154	2133	mset = trans->system;
danw@154	2134	else
danw@154	2135	mset = trans->upstream;
danw@154	2136
danw@154	2137	if (property_in_set(prop, trans->system))
danw@154	2138	pset = trans->system;
danw@154	2139	else if (property_in_set(prop, trans->upstream))
danw@154	2140	pset = trans->upstream;
danw@154	2141	else
danw@154	2142	return prop;
danw@154	2143
danw@154	2144	prop_end = pset->properties.data + pset->properties.size;
danw@154	2145	ppool = pset->string_pool.data;
danw@154	2146	mpool = mset->string_pool.data;
danw@154	2147
danw@154	2148	while (prop < prop_end &&
danw@154	2149	strcmp(&ppool[prop->name], &mpool[match->name]) < 0)
danw@154	2150	prop++;
danw@154	2151	return prop;
danw@154	2152	}
danw@154	2153
danw@140	2154	static struct razor_package *
danw@144	2155	find_package_matching(struct razor_transaction_resolver *trans, int installed,
danw@154	2156	struct razor_property *prop,
danw@144	2157	struct razor_property *req,
danw@144	2158	struct razor_set *req_set)
danw@138	2159	{
danw@144	2160	struct razor_set *set;
danw@144	2161	struct bitarray *pkgbits;
danw@144	2162	struct razor_package *pkgs;
danw@154	2163	struct razor_property props, prop_end;
danw@144	2164	enum razor_property_type match_type;
danw@144	2165	const char *pool;
danw@154	2166	const char *rpool;
danw@154	2167	int match_name = (req->type == RAZOR_PROPERTY_OBSOLETES);
danw@144	2168	int match;
danw@144	2169
danw@144	2170	if (property_in_set(prop, trans->system)) {
danw@144	2171	set = trans->system;
danw@144	2172	pkgbits = &trans->syspkgs;
danw@144	2173	} else if (property_in_set(prop, trans->upstream)) {
danw@144	2174	set = trans->upstream;
danw@144	2175	pkgbits = &trans->uppkgs;
danw@144	2176	} else
danw@144	2177	return NULL;
danw@144	2178
danw@154	2179	if (!req_set) {
danw@154	2180	if (property_in_set(req, trans->system))
danw@154	2181	req_set = trans->system;
danw@154	2182	else
danw@154	2183	req_set = trans->upstream;
danw@154	2184	}
danw@154	2185	rpool = req_set->string_pool.data;
danw@154	2186
danw@144	2187	if (req->type == RAZOR_PROPERTY_PROVIDES)
danw@144	2188	match_type = RAZOR_PROPERTY_CONFLICTS;
danw@144	2189	else
danw@144	2190	match_type = RAZOR_PROPERTY_PROVIDES;
danw@144	2191
danw@144	2192	pkgs = set->packages.data;
danw@144	2193	props = set->properties.data;
danw@144	2194	prop_end = set->properties.data + set->properties.size;
danw@144	2195	pool = set->string_pool.data;
danw@144	2196
danw@144	2197	/* Find first matching property */
danw@144	2198	while (prop < prop_end &&
danw@144	2199	strcmp(&pool[prop->name], &rpool[req->name]) < 0)
danw@144	2200	prop++;
danw@144	2201	if (prop == prop_end \|\|
danw@144	2202	strcmp(&pool[prop->name], &rpool[req->name]) > 0)
danw@144	2203	return NULL;
danw@144	2204
danw@144	2205	if (prop->type < match_type) {
danw@144	2206	while (prop < prop_end && prop->type != match_type)
danw@144	2207	prop++;
danw@144	2208	} else {
danw@144	2209	while (prop >= props && prop->type != match_type)
danw@144	2210	prop--;
danw@144	2211	while (prop > props + 1 && (prop - 1)->type == match_type)
danw@144	2212	prop--;
danw@144	2213	}
danw@144	2214
danw@153	2215	/* Scan matching properties */
danw@144	2216	while (prop < prop_end && prop->type == match_type &&
danw@144	2217	strcmp(&pool[prop->name], &rpool[req->name]) == 0) {
danw@144	2218	if (match_type == RAZOR_PROPERTY_PROVIDES)
danw@144	2219	match = provider_satisfies_requirement(prop, pool, req, rpool);
danw@144	2220	else
danw@144	2221	match = provider_satisfies_requirement(req, rpool, prop, pool);
danw@144	2222	if (match) {
danw@140	2223	struct list *pkg;
danw@140	2224
danw@144	2225	for (pkg = list_first(&prop->packages, &set->package_pool); pkg; pkg = list_next(pkg)) {
danw@144	2226	if (bitarray_get(pkgbits, pkg->data) != installed)
danw@140	2227	continue;
danw@140	2228	if (!match_name \|\|
danw@144	2229	strcmp(&pool[pkgs[pkg->data].name],
danw@144	2230	&rpool[req->name]) == 0)
danw@144	2231	return &pkgs[pkg->data];
danw@140	2232	}
danw@140	2233	}
danw@144	2234	prop++;
danw@140	2235	}
danw@140	2236
danw@140	2237	return NULL;
danw@138	2238	}
danw@138	2239
danw@140	2240	static struct razor_package *
danw@144	2241	find_installed_package_for_property(struct razor_transaction_resolver *trans,
danw@154	2242	struct razor_property *sys_start,
danw@154	2243	struct razor_property *up_start,
danw@144	2244	struct razor_property *req)
danw@138	2245	{
danw@144	2246	struct razor_package *pkg;
danw@144	2247
danw@154	2248	pkg = find_package_matching(trans, 1, sys_start, req, NULL);
danw@144	2249	if (!pkg)
danw@154	2250	pkg = find_package_matching(trans, 1, up_start, req, NULL);
danw@144	2251	return pkg;
danw@144	2252	}
danw@144	2253
danw@144	2254	static struct razor_package *
danw@144	2255	find_uninstalled_package_for_property(struct razor_transaction_resolver *trans,
danw@154	2256	struct razor_property *sys_start,
danw@154	2257	struct razor_property *up_start,
danw@144	2258	struct razor_property *req)
danw@144	2259	{
danw@144	2260	struct razor_package *pkg;
danw@144	2261
danw@154	2262	pkg = find_package_matching(trans, 0, up_start, req, NULL);
danw@144	2263	if (!pkg)
danw@154	2264	pkg = find_package_matching(trans, 0, sys_start, req, NULL);
danw@144	2265	return pkg;
danw@140	2266	}
danw@140	2267
danw@147	2268	static struct razor_transaction_package *
danw@147	2269	find_transaction_package(struct razor_transaction_resolver *trans,
danw@147	2270	const char *name)
danw@147	2271	{
danw@147	2272	struct razor_transaction_package *packages;
danw@147	2273	int count, i;
danw@147	2274
danw@147	2275	packages = trans->packages.data;
danw@147	2276	count = trans->packages.size / sizeof *packages;
danw@147	2277	for (i = 0; i < count; i++) {
danw@147	2278	if (packages[i].name && !strcmp(packages[i].name, name))
danw@147	2279	return &packages[i];
danw@147	2280	}
danw@147	2281	return NULL;
danw@147	2282	}
danw@147	2283
danw@160	2284	/* FIXME? */
danw@160	2285	static int
danw@160	2286	prop_is_being_installed(struct razor_transaction_resolver *trans,
danw@160	2287	struct razor_property *prop)
danw@160	2288	{
danw@160	2289	struct list *pkg;
danw@160	2290
danw@160	2291	for (pkg = list_first(&prop->packages, &trans->upstream->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2292	if (bitarray_get(&trans->uppkgs, pkg->data))
danw@160	2293	return 1;
danw@160	2294	}
danw@160	2295	return 0;
danw@160	2296	}
danw@160	2297
danw@160	2298	static int
danw@160	2299	prop_is_being_removed(struct razor_transaction_resolver *trans,
danw@160	2300	struct razor_property *prop)
danw@160	2301	{
danw@160	2302	struct list *pkg;
danw@160	2303
danw@160	2304	for (pkg = list_first(&prop->packages, &trans->system->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2305	if (bitarray_get(&trans->syspkgs, pkg->data))
danw@160	2306	return 0;
danw@160	2307	}
danw@160	2308	return 1;
danw@160	2309	}
danw@160	2310
danw@160	2311	static int
danw@160	2312	prop_is_being_updated(struct razor_transaction_resolver *trans,
danw@160	2313	struct razor_property *prop)
danw@160	2314	{
danw@160	2315	struct razor_package *packages = trans->system->packages.data;
danw@160	2316	const char *pool = trans->system->string_pool.data;
danw@160	2317	struct razor_transaction_package *tp;
danw@160	2318	struct list *pkg;
danw@160	2319
danw@160	2320	/* Assumes prop_is_being_removed returns true */
danw@160	2321
danw@160	2322	for (pkg = list_first(&prop->packages, &trans->system->package_pool); pkg; pkg = list_next(pkg)) {
danw@160	2323	tp = find_transaction_package(trans, &pool[packages[pkg->data].name]);
danw@160	2324	if (tp && tp->state == RAZOR_PACKAGE_REMOVE)
danw@160	2325	return 0;
danw@160	2326	}
danw@160	2327	return 1;
danw@160	2328	}
danw@160	2329
danw@131	2330	static void
danw@141	2331	add_transaction_package(struct razor_transaction_resolver *trans,
danw@147	2332	struct razor_package *new_package,
danw@147	2333	struct razor_package *old_package,
danw@140	2334	enum razor_transaction_package_state state,
danw@144	2335	const char *req_package,
danw@144	2336	struct razor_property *req_prop)
danw@131	2337	{
danw@147	2338	struct razor_set new_package_set, old_package_set, *req_set;
danw@160	2339	struct bitarray *reqpkgbits;
danw@147	2340	struct razor_transaction_package tp, already;
danw@140	2341	const char *pool;
danw@140	2342	struct razor_package *pkgs;
danw@140	2343	struct list *pkg;
danw@147	2344	int contradiction = 0;
danw@147	2345
danw@160	2346	if (package_in_set(new_package, trans->system))
danw@147	2347	new_package_set = trans->system;
danw@160	2348	else
danw@147	2349	new_package_set = trans->upstream;
danw@160	2350	if (package_in_set(old_package, trans->system))
danw@147	2351	old_package_set = trans->system;
danw@160	2352	else
danw@147	2353	old_package_set = trans->upstream;
danw@145	2354	if (property_in_set(req_prop, trans->system)) {
danw@145	2355	req_set = trans->system;
danw@145	2356	reqpkgbits = &trans->syspkgs;
danw@145	2357	} else {
danw@145	2358	req_set = trans->upstream;
danw@145	2359	reqpkgbits = &trans->uppkgs;
danw@145	2360	}
danw@144	2361
danw@147	2362	if (new_package) {
danw@147	2363	pool = new_package_set->string_pool.data;
danw@147	2364	already = find_transaction_package(trans, &pool[new_package->name]);
danw@147	2365	if (already) {
danw@147	2366	if (already->new_package == new_package) {
danw@147	2367	/* Already taken care of */
danw@147	2368	return;
danw@166	2369	} else if (new_package_set == trans->upstream &&
danw@166	2370	already->state == RAZOR_PACKAGE_FORCED_UPDATE) {
danw@166	2371	already->new_package = new_package;
danw@166	2372	return;
danw@147	2373	}
danw@166	2374
danw@147	2375	/* Oops. We lose */
danw@147	2376	if (state != RAZOR_PACKAGE_CONTRADICTION)
danw@147	2377	contradiction = 1;
danw@147	2378	}
danw@147	2379	} else if (old_package) {
danw@147	2380	pool = old_package_set->string_pool.data;
danw@147	2381	already = find_transaction_package(trans, &pool[old_package->name]);
danw@147	2382	if (already) {
danw@147	2383	if (already->old_package == old_package) {
danw@147	2384	/* Already taken care of */
danw@147	2385	return;
danw@166	2386	} else if (old_package_set == trans->system) {
danw@166	2387	already->old_package = old_package;
danw@166	2388	return;
danw@147	2389	}
danw@166	2390
danw@147	2391	/* Oops. We lose */
danw@147	2392	if (state != RAZOR_PACKAGE_CONTRADICTION)
danw@147	2393	contradiction = 1;
danw@147	2394	}
danw@147	2395	} else
danw@147	2396	state = RAZOR_PACKAGE_UNSATISFIABLE;
danw@147	2397
danw@141	2398	tp = array_add(&trans->packages, sizeof *tp);
danw@140	2399	memset(tp, 0, sizeof *tp);
danw@131	2400
danw@147	2401	if (new_package) {
danw@147	2402	pool = new_package_set->string_pool.data;
danw@147	2403	tp->new_package = new_package;
danw@147	2404	tp->name = &pool[new_package->name];
danw@147	2405	tp->new_version = &pool[new_package->version];
danw@147	2406
danw@147	2407	pkgs = new_package_set->packages.data;
danw@147	2408	}
danw@147	2409	if (old_package) {
danw@147	2410	pool = old_package_set->string_pool.data;
danw@147	2411	tp->old_package = old_package;
danw@147	2412	tp->name = &pool[old_package->name];
danw@147	2413	tp->old_version = &pool[old_package->version];
danw@147	2414
danw@147	2415	pkgs = old_package_set->packages.data;
danw@147	2416	}
danw@147	2417
danw@147	2418	tp->state = state;
danw@147	2419	if (state != RAZOR_PACKAGE_INSTALL &&
danw@154	2420	state != RAZOR_PACKAGE_FORCED_UPDATE &&
danw@154	2421	state != RAZOR_PACKAGE_REMOVE &&
danw@154	2422	state != RAZOR_PACKAGE_OBSOLETED)
danw@145	2423	trans->errors++;
danw@147	2424
danw@147	2425	if (contradiction) {
danw@147	2426	/* Do this now, after adding tp, so that it ends up
danw@147	2427	* after both the INSTALL and the REMOVE in the array.
danw@147	2428	*/
danw@147	2429	add_transaction_package(trans, new_package, old_package,
danw@147	2430	RAZOR_PACKAGE_CONTRADICTION,
danw@147	2431	NULL, NULL);
danw@145	2432	}
danw@140	2433
danw@144	2434	if (req_package)
danw@145	2435	tp->dep_package = req_package;
danw@145	2436	if (!req_prop)
danw@145	2437	return;
danw@145	2438
danw@145	2439	pool = req_set->string_pool.data;
danw@145	2440	pkgs = req_set->packages.data;
danw@145	2441	if (!req_package) {
danw@145	2442	for (pkg = list_first(&req_prop->packages, &req_set->package_pool); pkg; pkg = list_next(pkg)) {
danw@145	2443	if (bitarray_get(reqpkgbits, pkg->data))
danw@144	2444	break;
danw@144	2445	}
danw@145	2446	if (pkg)
danw@145	2447	tp->dep_package = &pool[pkgs[pkg->data].name];
danw@131	2448	}
danw@144	2449
danw@145	2450	tp->dep_type = req_prop->type;
danw@145	2451	tp->dep_property = &pool[req_prop->name];
danw@145	2452	tp->dep_relation = req_prop->relation;
danw@145	2453	tp->dep_version = &pool[req_prop->version];
danw@140	2454	}
danw@140	2455
danw@160	2456	static void
danw@160	2457	razor_transaction_satisfy(struct razor_transaction_resolver *trans)
danw@147	2458	{
danw@160	2459	struct razor_package spkgs, upkgs, *pkg;
danw@144	2460	struct razor_property sp, sprops, *sprop_end;
danw@144	2461	struct razor_property up, uprops, *uprop_end;
danw@160	2462	struct razor_property sr, ur, *first_up;
danw@160	2463	const char spool, upool, *removed_package;
danw@160	2464	struct list *reqpkg;
danw@134	2465
danw@140	2466	spkgs = trans->system->packages.data;
danw@140	2467	sprops = trans->system->properties.data;
danw@144	2468	sprop_end = trans->system->properties.data + trans->system->properties.size;
danw@145	2469	spool = trans->system->string_pool.data;
danw@140	2470	upkgs = trans->upstream->packages.data;
danw@140	2471	uprops = trans->upstream->properties.data;
danw@144	2472	uprop_end = trans->upstream->properties.data + trans->upstream->properties.size;
danw@140	2473	upool = trans->upstream->string_pool.data;
krh@33	2474
danw@144	2475	sp = sprops;
danw@160	2476	for (up = uprops; up < uprop_end; up++) {
danw@140	2477	/* Skip 'up' ahead to a property of a package which is
danw@140	2478	* to-be-installed.
danw@140	2479	*/
danw@144	2480	while (up < uprop_end &&
danw@144	2481	!prop_is_being_installed(trans, up))
danw@140	2482	up++;
danw@144	2483	if (up == uprop_end)
danw@140	2484	break;
danw@154	2485	sp = skip_to_matching_property(trans, up, sp);
krh@33	2486
danw@144	2487	switch (up->type) {
danw@140	2488	case RAZOR_PROPERTY_REQUIRES:
danw@144	2489	if (!strncmp(&upool[up->name], "rpmlib(", 7))
danw@140	2490	break;
danw@131	2491
danw@154	2492	if (find_installed_package_for_property(trans, sp, up, up) \|\|
danw@144	2493	find_installed_package_for_file(trans, &upool[up->name])) {
danw@140	2494	/* Requires something that is either installed
danw@140	2495	* or to-be-installed.
danw@140	2496	*/
danw@140	2497	break;
danw@137	2498	}
danw@137	2499
danw@140	2500	/* See if we can install a new upstream provider */
danw@154	2501	pkg = find_uninstalled_package_for_property(trans, sp, up, up);
danw@154	2502	if (!pkg)
danw@144	2503	pkg = find_uninstalled_package_for_file(trans, &upool[up->name]);
danw@160	2504	add_transaction_package(trans, pkg, NULL,
danw@144	2505	RAZOR_PACKAGE_INSTALL,
danw@144	2506	NULL, up);
danw@144	2507	break;
danw@144	2508
danw@144	2509	case RAZOR_PROPERTY_PROVIDES:
danw@144	2510	/* find_installed_package_for_property works backwards
danw@144	2511	* here, finding a conflicting installed package.
danw@144	2512	*/
danw@154	2513	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@140	2514	if (!pkg)
danw@144	2515	break;
danw@144	2516
danw@145	2517	if (package_in_set(pkg, trans->system)) {
danw@145	2518	/* pkg CONFLICTS with what 'up' PROVIDES. Try
danw@145	2519	* finding an upgrade
danw@145	2520	*/
danw@160	2521	add_transaction_package(trans, NULL, pkg,
danw@160	2522	RAZOR_PACKAGE_FORCED_UPDATE,
danw@165	2523	&upool[up->name], sp);
danw@160	2524	} else {
danw@160	2525	add_transaction_package(trans, NULL, pkg,
danw@160	2526	RAZOR_PACKAGE_CONTRADICTION,
danw@160	2527	NULL, up);
danw@144	2528	}
danw@140	2529	break;
danw@140	2530
danw@140	2531	case RAZOR_PROPERTY_CONFLICTS:
danw@154	2532	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@144	2533	if (!pkg)
danw@144	2534	break;
danw@144	2535
danw@144	2536	if (package_in_set(pkg, trans->system)) {
danw@140	2537	/* Conflicts with something already installed.
danw@140	2538	* Try to upgrade out.
danw@140	2539	*/
danw@160	2540	add_transaction_package(trans, NULL, pkg,
danw@160	2541	RAZOR_PACKAGE_FORCED_UPDATE,
danw@160	2542	NULL, up);
danw@160	2543	} else {
danw@160	2544	add_transaction_package(trans, pkg, NULL,
danw@160	2545	RAZOR_PACKAGE_CONTRADICTION,
danw@160	2546	NULL, up);
danw@140	2547	}
danw@140	2548	break;
danw@140	2549
danw@140	2550	case RAZOR_PROPERTY_OBSOLETES:
danw@154	2551	pkg = find_installed_package_for_property(trans, sp, up, up);
danw@145	2552	if (pkg) {
danw@145	2553	/* If pkg is to-be-installed, this
danw@145	2554	* will add a CONTRADICTION error as well.
danw@145	2555	*/
danw@147	2556	add_transaction_package(trans, NULL, pkg,
danw@154	2557	RAZOR_PACKAGE_OBSOLETED,
danw@144	2558	NULL, up);
danw@140	2559	}
danw@140	2560	break;
danw@140	2561
danw@140	2562	default:
danw@140	2563	/* can't happen */
danw@140	2564	break;
danw@131	2565	}
krh@37	2566	}
danw@154	2567
danw@154	2568	up = uprops;
danw@154	2569	for (sp = sprops; sp < sprop_end; sp++) {
danw@154	2570	/* Skip 'sp' ahead to a PROVIDES of a package which is
danw@154	2571	* to-be-removed.
danw@154	2572	*/
danw@154	2573	while (sp < sprop_end &&
danw@154	2574	(sp->type != RAZOR_PROPERTY_PROVIDES \|\|
danw@154	2575	!prop_is_being_removed(trans, sp)))
danw@154	2576	sp++;
danw@154	2577	if (sp == sprop_end)
danw@154	2578	break;
danw@154	2579
danw@154	2580	removed_package = &spool[spkgs[list_first(&sp->packages, &trans->system->package_pool)->data].name];
danw@154	2581
danw@154	2582	/* Skip 'up' to match */
danw@154	2583	up = skip_to_matching_property(trans, sp, up);
danw@154	2584	ur = first_up = up;
danw@154	2585
danw@154	2586	/* If the package is just being upgraded, we may
danw@154	2587	* already be installing an identical PROVIDES, so
danw@154	2588	* check for that.
danw@154	2589	*/
danw@154	2590	while (up < uprop_end &&
danw@154	2591	strcmp(&spool[sp->name], &upool[up->name]) == 0 &&
danw@154	2592	(up->type != RAZOR_PROPERTY_PROVIDES \|\|
danw@154	2593	sp->relation != up->relation \|\|
danw@154	2594	strcmp(&spool[sp->name], &upool[up->name]) != 0))
danw@154	2595	up++;
danw@154	2596	if (up < uprop_end &&
danw@154	2597	up->type == RAZOR_PROPERTY_PROVIDES &&
danw@154	2598	strcmp(&spool[sp->name], &upool[up->name]) == 0 &&
danw@154	2599	sp->relation == up->relation &&
danw@154	2600	strcmp(&spool[sp->version], &upool[up->version]) == 0 &&
danw@154	2601	prop_is_being_installed(trans, up)) {
danw@154	2602	up = first_up;
danw@154	2603	continue;
danw@154	2604	}
danw@154	2605	up = first_up;
danw@154	2606
danw@154	2607	/* For all still-installed packages that require
danw@154	2608	* sp->name, see if they are satisfied by any other
danw@154	2609	* still-installed or to-be-installed property. If
danw@154	2610	* not, either remove or attempt to update the
danw@154	2611	* package, depending on why the required property has
danw@154	2612	* disappeared
danw@154	2613	*/
danw@154	2614	sr = sp;
danw@154	2615	while (sr > sprops + 1 && (sr - 1)->name == sr->name)
danw@154	2616	sr--;
danw@154	2617	for (; sr->type == RAZOR_PROPERTY_REQUIRES; sr++) {
danw@154	2618	if (prop_is_being_removed(trans, sr))
danw@154	2619	continue;
danw@154	2620	if (find_installed_package_for_property(trans, sp, up, sr))
danw@154	2621	continue;
danw@154	2622
danw@154	2623	for (reqpkg = list_first(&sr->packages, &trans->system->package_pool); reqpkg; reqpkg = list_next(reqpkg)) {
danw@154	2624	if (!bitarray_get(&trans->syspkgs, reqpkg->data))
danw@154	2625	continue;
danw@154	2626	pkg = &spkgs[reqpkg->data];
danw@154	2627	if (prop_is_being_updated(trans, sp)) {
danw@160	2628	add_transaction_package(trans, NULL, pkg,
danw@160	2629	RAZOR_PACKAGE_FORCED_UPDATE,
danw@160	2630	removed_package, NULL);
danw@154	2631	} else {
danw@154	2632	add_transaction_package(trans, NULL, pkg,
danw@154	2633	RAZOR_PACKAGE_REMOVE,
danw@154	2634	removed_package, sr);
danw@154	2635	}
danw@154	2636	}
danw@154	2637	}
danw@154	2638	}
danw@154	2639	}
danw@129	2640
danw@137	2641	struct razor_transaction *
danw@137	2642	razor_transaction_create(struct razor_set system, struct razor_set upstream,
danw@137	2643	int update_count, const char **update_packages,
danw@137	2644	int remove_count, const char **remove_packages)
danw@137	2645	{
danw@141	2646	struct razor_transaction_resolver trans;
danw@141	2647	struct razor_transaction *ret_trans;
danw@160	2648	struct razor_transaction_package *tp;
danw@160	2649	int start, end, i;
danw@137	2650
danw@141	2651	trans.system = system;
danw@141	2652	trans.upstream = upstream ? upstream : razor_set_create();
danw@141	2653	array_init(&trans.packages);
danw@141	2654	bitarray_init(&trans.syspkgs, trans.system->packages.size / sizeof (struct razor_package), 1);
danw@141	2655	bitarray_init(&trans.uppkgs, trans.upstream->packages.size / sizeof (struct razor_package), 0);
danw@141	2656	trans.errors = 0;
danw@137	2657
danw@144	2658	if (update_count > 0 \|\| remove_count > 0) {
danw@160	2659	for (i = 0; i < update_count; i++) {
danw@160	2660	tp = array_add(&trans.packages, sizeof *tp);
danw@160	2661	memset(tp, 0, sizeof *tp);
danw@160	2662	tp->name = update_packages[i];
danw@160	2663	tp->state = RAZOR_PACKAGE_INSTALL;
danw@160	2664	}
danw@160	2665	for (i = 0; i < remove_count; i++) {
danw@160	2666	tp = array_add(&trans.packages, sizeof *tp);
danw@160	2667	memset(tp, 0, sizeof *tp);
danw@160	2668	tp->name = remove_packages[i];
danw@160	2669	tp->state = RAZOR_PACKAGE_REMOVE;
danw@160	2670	}
danw@144	2671	} else
danw@141	2672	find_all_packages(&trans);
danw@137	2673
danw@137	2674	start = 0;
danw@141	2675	end = trans.packages.size / sizeof (struct razor_transaction_package);
danw@137	2676
danw@160	2677	while (start != end) {
danw@160	2678	resolve_new_packages(&trans, start, end);
danw@160	2679	if (trans.errors)
danw@160	2680	break;
danw@160	2681
danw@160	2682	razor_transaction_satisfy(&trans);
danw@137	2683
danw@137	2684	start = end;
danw@141	2685	end = trans.packages.size / sizeof (struct razor_transaction_package);
danw@137	2686	}
danw@137	2687
danw@141	2688	ret_trans = zalloc(sizeof *ret_trans);
danw@141	2689	ret_trans->system = trans.system;
danw@141	2690	ret_trans->upstream = trans.upstream;
danw@141	2691	ret_trans->packages = trans.packages.data;
danw@141	2692	ret_trans->package_count = end;
danw@141	2693	ret_trans->errors = trans.errors;
danw@141	2694	return ret_trans;
danw@137	2695	}
danw@137	2696
danw@137	2697	const char * const razor_version_relations[] = {
danw@137	2698	/* same order as enum razor_version_relation */
danw@137	2699	"<", "<=", "=", ">=", ">"
danw@137	2700	};
danw@137	2701
danw@140	2702	const char * const razor_property_types[] = {
danw@140	2703	/* same order as enum razor_property_type */
danw@140	2704	"requires", "provides", "conflicts with", "obsoletes"
danw@140	2705	};
danw@140	2706
danw@169	2707	static void
danw@169	2708	print_requirement(struct razor_transaction_package *p)
danw@169	2709	{
danw@169	2710	if (p->dep_type == RAZOR_PROPERTY_CONFLICTS &&
danw@169	2711	!strcmp(p->dep_package, p->name)) {
danw@169	2712	printf(" because %s %s conflicts with %s",
danw@169	2713	p->name, p->old_version, p->dep_property);
danw@169	2714	if (*p->dep_version) {
danw@169	2715	printf(" %s %s",
danw@169	2716	razor_version_relations[p->dep_relation],
danw@169	2717	p->dep_version);
danw@169	2718	}
danw@169	2719	} else {
danw@169	2720	if (strcmp(p->name, p->dep_package) != 0)
danw@169	2721	printf(" for %s", p->dep_package);
danw@169	2722	if (*p->dep_version) {
danw@169	2723	printf(", which %s %s %s %s",
danw@169	2724	razor_property_types[p->dep_type],
danw@169	2725	p->dep_property,
danw@169	2726	razor_version_relations[p->dep_relation],
danw@169	2727	p->dep_version);
danw@169	2728	} else if (strcmp(p->dep_property, p->name) != 0) {
danw@169	2729	printf(", which %s %s",
danw@169	2730	razor_property_types[p->dep_type],
danw@169	2731	p->dep_property);
danw@169	2732	}
danw@169	2733	}
danw@169	2734	}
danw@169	2735
danw@137	2736	void
danw@137	2737	razor_transaction_describe(struct razor_transaction *trans)
danw@137	2738	{
danw@137	2739	struct razor_transaction_package p, pend, *tps;
danw@137	2740	int errors_only = 0;
danw@137	2741
danw@137	2742	tps = trans->packages;
danw@137	2743	pend = trans->packages + trans->package_count;
danw@137	2744	for (p = trans->packages; p < pend; p++) {
danw@137	2745	switch (p->state) {
danw@137	2746	case RAZOR_PACKAGE_INSTALL:
danw@137	2747	if (errors_only)
danw@137	2748	break;
danw@137	2749
danw@147	2750	printf("Installing %s %s", p->name, p->new_version);
danw@169	2751	if (p->dep_package)
danw@169	2752	print_requirement(p);
danw@137	2753	printf("\n");
danw@137	2754	break;
danw@137	2755
danw@154	2756	case RAZOR_PACKAGE_FORCED_UPDATE:
danw@154	2757	if (errors_only)
danw@154	2758	break;
danw@154	2759
danw@154	2760	printf("Updating %s to %s due to update of %s\n",
danw@154	2761	p->name, p->new_version, p->dep_package);
danw@154	2762	break;
danw@154	2763
danw@137	2764	case RAZOR_PACKAGE_REMOVE:
danw@137	2765	if (errors_only)
danw@137	2766	break;
danw@147	2767	printf("Removing %s %s", p->name, p->old_version);
danw@145	2768	if (p->dep_package) {
danw@154	2769	printf(" which required %s",
danw@154	2770	p->dep_package);
danw@162	2771	if (strcmp(p->dep_property, p->dep_package) != 0)
danw@154	2772	printf(" for %s", p->dep_property);
danw@154	2773	}
danw@154	2774	printf("\n");
danw@154	2775	break;
danw@154	2776
danw@154	2777	case RAZOR_PACKAGE_OBSOLETED:
danw@154	2778	if (errors_only)
danw@154	2779	break;
danw@154	2780	printf("Removing %s %s", p->name, p->old_version);
danw@154	2781	if (p->dep_package) {
danw@154	2782	printf(" which is obsoleted by %s",
danw@154	2783	p->dep_package);
danw@137	2784	}
danw@137	2785	printf("\n");
danw@137	2786	break;
danw@137	2787
danw@145	2788	case RAZOR_PACKAGE_INSTALL_UNAVAILABLE:
danw@169	2789	printf("Error: can't find %s", p->name);
danw@169	2790	if (p->dep_package) {
danw@169	2791	printf(" (which is required");
danw@169	2792	print_requirement(p);
danw@169	2793	printf(")");
danw@169	2794	}
danw@169	2795	printf("\n");
danw@169	2796	errors_only = 1;
danw@169	2797	break;
danw@169	2798
danw@169	2799	case RAZOR_PACKAGE_UPDATE_UNAVAILABLE:
danw@169	2800	printf("Error: can't find an updated version of %s (which must be updated due to update of %s)\n",
danw@169	2801	p->name, p->dep_package);
danw@137	2802	errors_only = 1;
danw@137	2803	break;
danw@137	2804
danw@145	2805	case RAZOR_PACKAGE_REMOVE_NOT_INSTALLED:
danw@145	2806	printf("Error: can't remove %s: not installed\n", p->name);
danw@137	2807	errors_only = 1;
danw@137	2808	break;
danw@137	2809
danw@145	2810	case RAZOR_PACKAGE_UP_TO_DATE:
danw@169	2811	printf("Error: can't update %s", p->name);
danw@169	2812	if (p->dep_package)
danw@169	2813	printf(" (which must be updated due to update of %s)", p->dep_package);
danw@169	2814	printf(": %s is most recent version\n", p->old_version);
danw@145	2815	errors_only = 1;
danw@145	2816	break;
danw@145	2817
danw@145	2818	case RAZOR_PACKAGE_CONTRADICTION:
danw@147	2819	printf("Error: package %s is marked for both installation and removal\n", p->name);
danw@145	2820	errors_only = 1;
danw@145	2821	break;
danw@145	2822
danw@145	2823	case RAZOR_PACKAGE_OLD_CONFLICT:
danw@145	2824	printf("Error: can't install %s, because installed package %s conflicts with ",
danw@145	2825	p->name, p->dep_package);
danw@145	2826	if (*p->dep_version) {
danw@145	2827	printf("%s %s %s",
danw@145	2828	p->dep_property,
danw@145	2829	razor_version_relations[p->dep_relation],
danw@145	2830	p->dep_version);
danw@145	2831	} else
danw@145	2832	printf("it");
danw@145	2833	printf("\n");
danw@145	2834
danw@145	2835	errors_only = 1;
danw@145	2836	break;
danw@145	2837
danw@145	2838	case RAZOR_PACKAGE_NEW_CONFLICT:
danw@145	2839	printf("Error: can't install %s, because it conflicts with %s",
danw@145	2840	p->name, p->dep_package);
danw@145	2841	if (*p->dep_version) {
danw@145	2842	printf(" %s %s",
danw@145	2843	razor_version_relations[p->dep_relation],
danw@145	2844	p->dep_version);
danw@145	2845	}
danw@145	2846	printf("\n");
danw@145	2847
danw@145	2848	errors_only = 1;
danw@145	2849	break;
danw@145	2850
danw@145	2851	case RAZOR_PACKAGE_UNSATISFIABLE:
danw@145	2852	printf("Error: can't find package for %s", p->dep_property);
danw@145	2853	if (*p->dep_version) {
danw@145	2854	printf(" %s %s",
danw@145	2855	razor_version_relations[p->dep_relation],
danw@145	2856	p->dep_version);
danw@145	2857	}
danw@145	2858	printf(" which is required by %s\n",
danw@145	2859	p->dep_package);
danw@140	2860	errors_only = 1;
danw@140	2861	break;
danw@140	2862
danw@137	2863	default:
danw@137	2864	/* Shouldn't actually happen */
danw@137	2865	break;
danw@137	2866	}
danw@137	2867	}
danw@137	2868	}
danw@137	2869
danw@137	2870	struct razor_set *
danw@137	2871	razor_transaction_run(struct razor_transaction *trans)
danw@137	2872	{
danw@137	2873	struct array install_packages, remove_packages;
danw@137	2874	struct razor_merger *merger;
danw@137	2875	struct razor_package pkg, i, iend, r, rend, s, *send;
danw@137	2876	struct source source1, source2;
danw@137	2877	char spool, ipool, *rpool;
danw@137	2878	uint32_t *map;
danw@137	2879	int p, cmp;
danw@137	2880
danw@137	2881	/* FIXME */
danw@137	2882	if (trans->errors)
danw@137	2883	return NULL;
danw@137	2884
danw@137	2885	/* Sort the transaction packages into two arrays */
danw@137	2886	array_init(&install_packages);
danw@137	2887	array_init(&remove_packages);
danw@137	2888	for (p = 0; p < trans->package_count; p++) {
danw@160	2889	if (trans->packages[p].new_package) {
danw@137	2890	pkg = array_add(&install_packages, sizeof *pkg);
danw@147	2891	pkg = trans->packages[p].new_package;
danw@147	2892	} else {
danw@137	2893	pkg = array_add(&remove_packages, sizeof *pkg);
danw@147	2894	pkg = trans->packages[p].old_package;
danw@147	2895	}
danw@137	2896	}
danw@137	2897	map = qsort_with_data(install_packages.data,
danw@137	2898	install_packages.size / sizeof *pkg,
danw@137	2899	sizeof *pkg,
danw@137	2900	compare_packages,
danw@137	2901	trans->upstream);
danw@137	2902	free(map);
danw@137	2903	map = qsort_with_data(remove_packages.data,
danw@137	2904	remove_packages.size / sizeof *pkg,
danw@137	2905	sizeof *pkg,
danw@137	2906	compare_packages,
danw@137	2907	trans->system);
danw@137	2908	free(map);
danw@137	2909
danw@137	2910	merger = razor_merger_create(trans->system, trans->upstream);
danw@137	2911
danw@137	2912	source1 = &merger->source1;
danw@137	2913	source2 = &merger->source2;
danw@137	2914
danw@137	2915	i = install_packages.data;
danw@137	2916	iend = install_packages.data + install_packages.size;
danw@137	2917	ipool = trans->upstream->string_pool.data;
danw@137	2918
danw@137	2919	r = remove_packages.data;
danw@137	2920	rend = remove_packages.data + remove_packages.size;
danw@137	2921	rpool = trans->system->string_pool.data;
danw@137	2922
danw@137	2923	s = trans->system->packages.data;
danw@137	2924	send = trans->system->packages.data + trans->system->packages.size;
danw@137	2925	spool = trans->system->string_pool.data;
danw@137	2926
danw@137	2927	while (s < send \|\| i < iend) {
danw@137	2928	/* Check if s is being removed */
danw@137	2929	if (s < send && r < rend &&
danw@137	2930	s->name == r->name && s->version && r->version) {
danw@137	2931	s++;
danw@137	2932	r++;
danw@137	2933	continue;
danw@137	2934	}
danw@137	2935
danw@137	2936	if (s < send && i < iend)
danw@137	2937	cmp = strcmp(&spool[s->name], &ipool[i->name]);
danw@137	2938	else if (s < send)
danw@137	2939	cmp = -1;
danw@137	2940	else
danw@137	2941	cmp = 1;
danw@137	2942	if (cmp < 0) {
danw@137	2943	add_package(merger, s, source1, 0);
danw@137	2944	s++;
danw@137	2945	} else if (cmp == 0) {
danw@137	2946	add_package(merger, i, source2, UPSTREAM_SOURCE);
danw@137	2947	s++;
danw@137	2948	i++;
danw@137	2949	} else {
danw@137	2950	add_package(merger, i, source2, UPSTREAM_SOURCE);
danw@137	2951	i++;
danw@137	2952	}
danw@137	2953	}
danw@137	2954
danw@137	2955	array_release(&install_packages);
danw@137	2956	array_release(&remove_packages);
danw@137	2957
danw@137	2958	return razor_merger_finish(merger);
danw@137	2959	}
danw@137	2960
danw@137	2961	void
danw@137	2962	razor_transaction_destroy(struct razor_transaction *trans)
danw@137	2963	{
danw@137	2964	int p;
danw@137	2965
danw@137	2966	for (p = 0; p < trans->package_count; p++) {
danw@145	2967	if (!trans->packages[p].dep_package &&
danw@137	2968	(trans->packages[p].state == RAZOR_PACKAGE_INSTALL_UNAVAILABLE \|\|
danw@137	2969	trans->packages[p].state == RAZOR_PACKAGE_REMOVE_NOT_INSTALLED))
danw@137	2970	free((char *)trans->packages[p].name);
danw@137	2971	}
danw@137	2972	free(trans);
danw@137	2973
danw@137	2974	/* FIXME: free upstream if it was created as an empty set */
danw@137	2975	}

author	Dan Winship <danw@gnome.org>
	Fri Mar 14 13:37:06 2008 -0400 (2008-03-14)
changeset 180	9b84b59d9d50
parent 169	2d0ad2111cb0
child 177	a23f91e78747
permissions	-rw-r--r--