xref: /plan9/sys/src/cmd/venti/srv/lumpcache.c (revision 23566e0c4b9b5ce80121325d240a2f6e83a70a8f)
1368c31abSDavid du Colombier #include "stdinc.h"
2368c31abSDavid du Colombier #include "dat.h"
3368c31abSDavid du Colombier #include "fns.h"
4368c31abSDavid du Colombier 
5368c31abSDavid du Colombier /* #define CHECK(x)	x */
6368c31abSDavid du Colombier #define CHECK(x)
7368c31abSDavid du Colombier 
8368c31abSDavid du Colombier typedef struct LumpCache	LumpCache;
9368c31abSDavid du Colombier 
10368c31abSDavid du Colombier enum
11368c31abSDavid du Colombier {
12368c31abSDavid du Colombier 	HashLog		= 9,
13368c31abSDavid du Colombier 	HashSize	= 1<<HashLog,
14368c31abSDavid du Colombier 	HashMask	= HashSize - 1,
15368c31abSDavid du Colombier };
16368c31abSDavid du Colombier 
17368c31abSDavid du Colombier struct LumpCache
18368c31abSDavid du Colombier {
19368c31abSDavid du Colombier 	QLock		lock;
20368c31abSDavid du Colombier 	Rendez		full;
21368c31abSDavid du Colombier 	Lump		*free;			/* list of available lumps */
22368c31abSDavid du Colombier 	u32int		allowed;		/* total allowable space for packets */
23368c31abSDavid du Colombier 	u32int		avail;			/* remaining space for packets */
24368c31abSDavid du Colombier 	u32int		now;			/* ticks for usage timestamps */
25368c31abSDavid du Colombier 	Lump		**heads;		/* hash table for finding address */
26368c31abSDavid du Colombier 	int		nheap;			/* number of available victims */
27368c31abSDavid du Colombier 	Lump		**heap;			/* heap for locating victims */
28368c31abSDavid du Colombier 	int		nblocks;		/* number of blocks allocated */
29368c31abSDavid du Colombier 	Lump		*blocks;		/* array of block descriptors */
30368c31abSDavid du Colombier };
31368c31abSDavid du Colombier 
32368c31abSDavid du Colombier static LumpCache	lumpcache;
33368c31abSDavid du Colombier 
34368c31abSDavid du Colombier static void	delheap(Lump *db);
35368c31abSDavid du Colombier static int	downheap(int i, Lump *b);
36368c31abSDavid du Colombier static void	fixheap(int i, Lump *b);
37368c31abSDavid du Colombier static int	upheap(int i, Lump *b);
38368c31abSDavid du Colombier static Lump	*bumplump(void);
39368c31abSDavid du Colombier 
40368c31abSDavid du Colombier void
initlumpcache(u32int size,u32int nblocks)41368c31abSDavid du Colombier initlumpcache(u32int size, u32int nblocks)
42368c31abSDavid du Colombier {
43368c31abSDavid du Colombier 	Lump *last, *b;
44368c31abSDavid du Colombier 	int i;
45368c31abSDavid du Colombier 
46368c31abSDavid du Colombier 	lumpcache.full.l = &lumpcache.lock;
47368c31abSDavid du Colombier 	lumpcache.nblocks = nblocks;
48368c31abSDavid du Colombier 	lumpcache.allowed = size;
49368c31abSDavid du Colombier 	lumpcache.avail = size;
50368c31abSDavid du Colombier 	lumpcache.heads = MKNZ(Lump*, HashSize);
51368c31abSDavid du Colombier 	lumpcache.heap = MKNZ(Lump*, nblocks);
52368c31abSDavid du Colombier 	lumpcache.blocks = MKNZ(Lump, nblocks);
53368c31abSDavid du Colombier 	setstat(StatLcacheSize, lumpcache.nblocks);
54368c31abSDavid du Colombier 
55368c31abSDavid du Colombier 	last = nil;
56368c31abSDavid du Colombier 	for(i = 0; i < nblocks; i++){
57368c31abSDavid du Colombier 		b = &lumpcache.blocks[i];
58368c31abSDavid du Colombier 		b->type = TWID8;
59368c31abSDavid du Colombier 		b->heap = TWID32;
60368c31abSDavid du Colombier 		b->next = last;
61368c31abSDavid du Colombier 		last = b;
62368c31abSDavid du Colombier 	}
63368c31abSDavid du Colombier 	lumpcache.free = last;
64368c31abSDavid du Colombier 	lumpcache.nheap = 0;
65368c31abSDavid du Colombier }
66368c31abSDavid du Colombier 
67368c31abSDavid du Colombier Lump*
lookuplump(u8int * score,int type)68368c31abSDavid du Colombier lookuplump(u8int *score, int type)
69368c31abSDavid du Colombier {
70368c31abSDavid du Colombier 	uint ms;
71368c31abSDavid du Colombier 	Lump *b;
72368c31abSDavid du Colombier 	u32int h;
73368c31abSDavid du Colombier 
74*23566e0cSDavid du Colombier 	ms = 0;
75368c31abSDavid du Colombier 	trace(TraceLump, "lookuplump enter");
76368c31abSDavid du Colombier 
77368c31abSDavid du Colombier 	h = hashbits(score, HashLog);
78368c31abSDavid du Colombier 
79368c31abSDavid du Colombier 	/*
80368c31abSDavid du Colombier 	 * look for the block in the cache
81368c31abSDavid du Colombier 	 */
82368c31abSDavid du Colombier 	qlock(&lumpcache.lock);
83368c31abSDavid du Colombier 	CHECK(checklumpcache());
84368c31abSDavid du Colombier again:
85368c31abSDavid du Colombier 	for(b = lumpcache.heads[h]; b != nil; b = b->next){
86368c31abSDavid du Colombier 		if(scorecmp(score, b->score)==0 && type == b->type){
87368c31abSDavid du Colombier 			addstat(StatLcacheHit, 1);
88368c31abSDavid du Colombier 			trace(TraceLump, "lookuplump hit");
89368c31abSDavid du Colombier 			goto found;
90368c31abSDavid du Colombier 		}
91368c31abSDavid du Colombier 	}
92368c31abSDavid du Colombier 
93368c31abSDavid du Colombier 	trace(TraceLump, "lookuplump miss");
94368c31abSDavid du Colombier 
95368c31abSDavid du Colombier 	/*
96368c31abSDavid du Colombier 	 * missed: locate the block with the oldest second to last use.
97368c31abSDavid du Colombier 	 * remove it from the heap, and fix up the heap.
98368c31abSDavid du Colombier 	 */
99368c31abSDavid du Colombier 	while(lumpcache.free == nil){
100368c31abSDavid du Colombier 		trace(TraceLump, "lookuplump bump");
101368c31abSDavid du Colombier 		CHECK(checklumpcache());
102368c31abSDavid du Colombier 		if(bumplump() == nil){
103368c31abSDavid du Colombier 			CHECK(checklumpcache());
104368c31abSDavid du Colombier 			logerr(EAdmin, "all lump cache blocks in use");
105368c31abSDavid du Colombier 			addstat(StatLcacheStall, 1);
106368c31abSDavid du Colombier 			CHECK(checklumpcache());
107368c31abSDavid du Colombier 			rsleep(&lumpcache.full);
108368c31abSDavid du Colombier 			CHECK(checklumpcache());
109368c31abSDavid du Colombier 			addstat(StatLcacheStall, -1);
110368c31abSDavid du Colombier 			goto again;
111368c31abSDavid du Colombier 		}
112368c31abSDavid du Colombier 		CHECK(checklumpcache());
113368c31abSDavid du Colombier 	}
114368c31abSDavid du Colombier 
115*23566e0cSDavid du Colombier 	/* start timer on cache miss to avoid system call on cache hit */
116*23566e0cSDavid du Colombier 	ms = msec();
117*23566e0cSDavid du Colombier 
118368c31abSDavid du Colombier 	addstat(StatLcacheMiss, 1);
119368c31abSDavid du Colombier 	b = lumpcache.free;
120368c31abSDavid du Colombier 	lumpcache.free = b->next;
121368c31abSDavid du Colombier 
122368c31abSDavid du Colombier 	/*
123368c31abSDavid du Colombier 	 * the new block has no last use, so assume it happens sometime in the middle
124368c31abSDavid du Colombier ZZZ this is not reasonable
125368c31abSDavid du Colombier 	 */
126368c31abSDavid du Colombier 	b->used = (b->used2 + lumpcache.now) / 2;
127368c31abSDavid du Colombier 
128368c31abSDavid du Colombier 	/*
129368c31abSDavid du Colombier 	 * rechain the block on the correct hash chain
130368c31abSDavid du Colombier 	 */
131368c31abSDavid du Colombier 	b->next = lumpcache.heads[h];
132368c31abSDavid du Colombier 	lumpcache.heads[h] = b;
133368c31abSDavid du Colombier 	if(b->next != nil)
134368c31abSDavid du Colombier 		b->next->prev = b;
135368c31abSDavid du Colombier 	b->prev = nil;
136368c31abSDavid du Colombier 
137368c31abSDavid du Colombier 	scorecp(b->score, score);
138368c31abSDavid du Colombier 	b->type = type;
139368c31abSDavid du Colombier 	b->size = 0;
140368c31abSDavid du Colombier 	b->data = nil;
141368c31abSDavid du Colombier 
142368c31abSDavid du Colombier found:
143368c31abSDavid du Colombier 	b->ref++;
144368c31abSDavid du Colombier 	b->used2 = b->used;
145368c31abSDavid du Colombier 	b->used = lumpcache.now++;
146368c31abSDavid du Colombier 	if(b->heap != TWID32)
147368c31abSDavid du Colombier 		fixheap(b->heap, b);
148368c31abSDavid du Colombier 	CHECK(checklumpcache());
149368c31abSDavid du Colombier 	qunlock(&lumpcache.lock);
150368c31abSDavid du Colombier 
151368c31abSDavid du Colombier 
152368c31abSDavid du Colombier 	addstat(StatLumpStall, 1);
153368c31abSDavid du Colombier 	qlock(&b->lock);
154368c31abSDavid du Colombier 	addstat(StatLumpStall, -1);
155368c31abSDavid du Colombier 
156368c31abSDavid du Colombier 	trace(TraceLump, "lookuplump exit");
157*23566e0cSDavid du Colombier 	addstat2(StatLcacheRead, 1, StatLcacheReadTime, ms ? msec()-ms : 0);
158368c31abSDavid du Colombier 	return b;
159368c31abSDavid du Colombier }
160368c31abSDavid du Colombier 
161368c31abSDavid du Colombier void
insertlump(Lump * b,Packet * p)162368c31abSDavid du Colombier insertlump(Lump *b, Packet *p)
163368c31abSDavid du Colombier {
164368c31abSDavid du Colombier 	u32int size;
165368c31abSDavid du Colombier 
166368c31abSDavid du Colombier 	/*
167368c31abSDavid du Colombier 	 * look for the block in the cache
168368c31abSDavid du Colombier 	 */
169368c31abSDavid du Colombier 	trace(TraceLump, "insertlump enter");
170368c31abSDavid du Colombier 	qlock(&lumpcache.lock);
171368c31abSDavid du Colombier 	CHECK(checklumpcache());
172368c31abSDavid du Colombier again:
173368c31abSDavid du Colombier 
174368c31abSDavid du Colombier 	addstat(StatLcacheWrite, 1);
175368c31abSDavid du Colombier 
176368c31abSDavid du Colombier 	/*
177368c31abSDavid du Colombier 	 * missed: locate the block with the oldest second to last use.
178368c31abSDavid du Colombier 	 * remove it from the heap, and fix up the heap.
179368c31abSDavid du Colombier 	 */
180368c31abSDavid du Colombier 	size = packetasize(p);
181368c31abSDavid du Colombier 	while(lumpcache.avail < size){
182368c31abSDavid du Colombier 		trace(TraceLump, "insertlump bump");
183368c31abSDavid du Colombier 		CHECK(checklumpcache());
184368c31abSDavid du Colombier 		if(bumplump() == nil){
185368c31abSDavid du Colombier 			logerr(EAdmin, "all lump cache blocks in use");
186368c31abSDavid du Colombier 			addstat(StatLcacheStall, 1);
187368c31abSDavid du Colombier 			CHECK(checklumpcache());
188368c31abSDavid du Colombier 			rsleep(&lumpcache.full);
189368c31abSDavid du Colombier 			CHECK(checklumpcache());
190368c31abSDavid du Colombier 			addstat(StatLcacheStall, -1);
191368c31abSDavid du Colombier 			goto again;
192368c31abSDavid du Colombier 		}
193368c31abSDavid du Colombier 		CHECK(checklumpcache());
194368c31abSDavid du Colombier 	}
195368c31abSDavid du Colombier 	b->data = p;
196368c31abSDavid du Colombier 	b->size = size;
197368c31abSDavid du Colombier 	lumpcache.avail -= size;
198368c31abSDavid du Colombier 	CHECK(checklumpcache());
199368c31abSDavid du Colombier 	qunlock(&lumpcache.lock);
200368c31abSDavid du Colombier 	trace(TraceLump, "insertlump exit");
201368c31abSDavid du Colombier }
202368c31abSDavid du Colombier 
203368c31abSDavid du Colombier void
putlump(Lump * b)204368c31abSDavid du Colombier putlump(Lump *b)
205368c31abSDavid du Colombier {
206368c31abSDavid du Colombier 	if(b == nil)
207368c31abSDavid du Colombier 		return;
208368c31abSDavid du Colombier 
209368c31abSDavid du Colombier 	trace(TraceLump, "putlump");
210368c31abSDavid du Colombier 	qunlock(&b->lock);
211368c31abSDavid du Colombier 	qlock(&lumpcache.lock);
212368c31abSDavid du Colombier 	CHECK(checklumpcache());
213368c31abSDavid du Colombier 	if(--b->ref == 0){
214368c31abSDavid du Colombier 		if(b->heap == TWID32)
215368c31abSDavid du Colombier 			upheap(lumpcache.nheap++, b);
216368c31abSDavid du Colombier 		trace(TraceLump, "putlump wakeup");
217368c31abSDavid du Colombier 		rwakeupall(&lumpcache.full);
218368c31abSDavid du Colombier 	}
219368c31abSDavid du Colombier 	CHECK(checklumpcache());
220368c31abSDavid du Colombier 	qunlock(&lumpcache.lock);
221368c31abSDavid du Colombier }
222368c31abSDavid du Colombier 
223368c31abSDavid du Colombier /*
224368c31abSDavid du Colombier  * remove some lump from use and update the free list and counters
225368c31abSDavid du Colombier  */
226368c31abSDavid du Colombier static Lump*
bumplump(void)227368c31abSDavid du Colombier bumplump(void)
228368c31abSDavid du Colombier {
229368c31abSDavid du Colombier 	Lump *b;
230368c31abSDavid du Colombier 	u32int h;
231368c31abSDavid du Colombier 
232368c31abSDavid du Colombier 	/*
233368c31abSDavid du Colombier 	 * remove blocks until we find one that is unused
234368c31abSDavid du Colombier 	 * referenced blocks are left in the heap even though
235368c31abSDavid du Colombier 	 * they can't be scavenged; this is simple a speed optimization
236368c31abSDavid du Colombier 	 */
237368c31abSDavid du Colombier 	CHECK(checklumpcache());
238368c31abSDavid du Colombier 	for(;;){
239368c31abSDavid du Colombier 		if(lumpcache.nheap == 0){
240368c31abSDavid du Colombier 			trace(TraceLump, "bumplump emptyheap");
241368c31abSDavid du Colombier 			return nil;
242368c31abSDavid du Colombier 		}
243368c31abSDavid du Colombier 		b = lumpcache.heap[0];
244368c31abSDavid du Colombier 		delheap(b);
245368c31abSDavid du Colombier 		if(!b->ref){
246368c31abSDavid du Colombier 			trace(TraceLump, "bumplump wakeup");
247368c31abSDavid du Colombier 			rwakeupall(&lumpcache.full);
248368c31abSDavid du Colombier 			break;
249368c31abSDavid du Colombier 		}
250368c31abSDavid du Colombier 	}
251368c31abSDavid du Colombier 
252368c31abSDavid du Colombier 	/*
253368c31abSDavid du Colombier 	 * unchain the block
254368c31abSDavid du Colombier 	 */
255368c31abSDavid du Colombier 	trace(TraceLump, "bumplump unchain");
256368c31abSDavid du Colombier 	if(b->prev == nil){
257368c31abSDavid du Colombier 		h = hashbits(b->score, HashLog);
258368c31abSDavid du Colombier 		if(lumpcache.heads[h] != b)
259368c31abSDavid du Colombier 			sysfatal("bad hash chains in lump cache");
260368c31abSDavid du Colombier 		lumpcache.heads[h] = b->next;
261368c31abSDavid du Colombier 	}else
262368c31abSDavid du Colombier 		b->prev->next = b->next;
263368c31abSDavid du Colombier 	if(b->next != nil)
264368c31abSDavid du Colombier 		b->next->prev = b->prev;
265368c31abSDavid du Colombier 
266368c31abSDavid du Colombier 	if(b->data != nil){
267368c31abSDavid du Colombier 		packetfree(b->data);
268368c31abSDavid du Colombier 		b->data = nil;
269368c31abSDavid du Colombier 		lumpcache.avail += b->size;
270368c31abSDavid du Colombier 		b->size = 0;
271368c31abSDavid du Colombier 	}
272368c31abSDavid du Colombier 	b->type = TWID8;
273368c31abSDavid du Colombier 
274368c31abSDavid du Colombier 	b->next = lumpcache.free;
275368c31abSDavid du Colombier 	lumpcache.free = b;
276368c31abSDavid du Colombier 
277368c31abSDavid du Colombier 	CHECK(checklumpcache());
278368c31abSDavid du Colombier 	trace(TraceLump, "bumplump exit");
279368c31abSDavid du Colombier 	return b;
280368c31abSDavid du Colombier }
281368c31abSDavid du Colombier 
282368c31abSDavid du Colombier void
emptylumpcache(void)283368c31abSDavid du Colombier emptylumpcache(void)
284368c31abSDavid du Colombier {
285368c31abSDavid du Colombier 	qlock(&lumpcache.lock);
286368c31abSDavid du Colombier 	while(bumplump())
287368c31abSDavid du Colombier 		;
288368c31abSDavid du Colombier 	qunlock(&lumpcache.lock);
289368c31abSDavid du Colombier }
290368c31abSDavid du Colombier 
291368c31abSDavid du Colombier /*
292368c31abSDavid du Colombier  * delete an arbitrary block from the heap
293368c31abSDavid du Colombier  */
294368c31abSDavid du Colombier static void
delheap(Lump * db)295368c31abSDavid du Colombier delheap(Lump *db)
296368c31abSDavid du Colombier {
297368c31abSDavid du Colombier 	fixheap(db->heap, lumpcache.heap[--lumpcache.nheap]);
298368c31abSDavid du Colombier 	db->heap = TWID32;
299368c31abSDavid du Colombier }
300368c31abSDavid du Colombier 
301368c31abSDavid du Colombier /*
302368c31abSDavid du Colombier  * push an element up or down to it's correct new location
303368c31abSDavid du Colombier  */
304368c31abSDavid du Colombier static void
fixheap(int i,Lump * b)305368c31abSDavid du Colombier fixheap(int i, Lump *b)
306368c31abSDavid du Colombier {
307368c31abSDavid du Colombier 	if(upheap(i, b) == i)
308368c31abSDavid du Colombier 		downheap(i, b);
309368c31abSDavid du Colombier }
310368c31abSDavid du Colombier 
311368c31abSDavid du Colombier static int
upheap(int i,Lump * b)312368c31abSDavid du Colombier upheap(int i, Lump *b)
313368c31abSDavid du Colombier {
314368c31abSDavid du Colombier 	Lump *bb;
315368c31abSDavid du Colombier 	u32int now;
316368c31abSDavid du Colombier 	int p;
317368c31abSDavid du Colombier 
318368c31abSDavid du Colombier 	now = lumpcache.now;
319368c31abSDavid du Colombier 	for(; i != 0; i = p){
320368c31abSDavid du Colombier 		p = (i - 1) >> 1;
321368c31abSDavid du Colombier 		bb = lumpcache.heap[p];
322368c31abSDavid du Colombier 		if(b->used2 - now >= bb->used2 - now)
323368c31abSDavid du Colombier 			break;
324368c31abSDavid du Colombier 		lumpcache.heap[i] = bb;
325368c31abSDavid du Colombier 		bb->heap = i;
326368c31abSDavid du Colombier 	}
327368c31abSDavid du Colombier 
328368c31abSDavid du Colombier 	lumpcache.heap[i] = b;
329368c31abSDavid du Colombier 	b->heap = i;
330368c31abSDavid du Colombier 	return i;
331368c31abSDavid du Colombier }
332368c31abSDavid du Colombier 
333368c31abSDavid du Colombier static int
downheap(int i,Lump * b)334368c31abSDavid du Colombier downheap(int i, Lump *b)
335368c31abSDavid du Colombier {
336368c31abSDavid du Colombier 	Lump *bb;
337368c31abSDavid du Colombier 	u32int now;
338368c31abSDavid du Colombier 	int k;
339368c31abSDavid du Colombier 
340368c31abSDavid du Colombier 	now = lumpcache.now;
341368c31abSDavid du Colombier 	for(; ; i = k){
342368c31abSDavid du Colombier 		k = (i << 1) + 1;
343368c31abSDavid du Colombier 		if(k >= lumpcache.nheap)
344368c31abSDavid du Colombier 			break;
345368c31abSDavid du Colombier 		if(k + 1 < lumpcache.nheap && lumpcache.heap[k]->used2 - now > lumpcache.heap[k + 1]->used2 - now)
346368c31abSDavid du Colombier 			k++;
347368c31abSDavid du Colombier 		bb = lumpcache.heap[k];
348368c31abSDavid du Colombier 		if(b->used2 - now <= bb->used2 - now)
349368c31abSDavid du Colombier 			break;
350368c31abSDavid du Colombier 		lumpcache.heap[i] = bb;
351368c31abSDavid du Colombier 		bb->heap = i;
352368c31abSDavid du Colombier 	}
353368c31abSDavid du Colombier 
354368c31abSDavid du Colombier 	lumpcache.heap[i] = b;
355368c31abSDavid du Colombier 	b->heap = i;
356368c31abSDavid du Colombier 	return i;
357368c31abSDavid du Colombier }
358368c31abSDavid du Colombier 
359368c31abSDavid du Colombier static void
findblock(Lump * bb)360368c31abSDavid du Colombier findblock(Lump *bb)
361368c31abSDavid du Colombier {
362368c31abSDavid du Colombier 	Lump *b, *last;
363368c31abSDavid du Colombier 	int h;
364368c31abSDavid du Colombier 
365368c31abSDavid du Colombier 	last = nil;
366368c31abSDavid du Colombier 	h = hashbits(bb->score, HashLog);
367368c31abSDavid du Colombier 	for(b = lumpcache.heads[h]; b != nil; b = b->next){
368368c31abSDavid du Colombier 		if(last != b->prev)
369368c31abSDavid du Colombier 			sysfatal("bad prev link");
370368c31abSDavid du Colombier 		if(b == bb)
371368c31abSDavid du Colombier 			return;
372368c31abSDavid du Colombier 		last = b;
373368c31abSDavid du Colombier 	}
374368c31abSDavid du Colombier 	sysfatal("block score=%V type=%#x missing from hash table", bb->score, bb->type);
375368c31abSDavid du Colombier }
376368c31abSDavid du Colombier 
377368c31abSDavid du Colombier void
checklumpcache(void)378368c31abSDavid du Colombier checklumpcache(void)
379368c31abSDavid du Colombier {
380368c31abSDavid du Colombier 	Lump *b;
381368c31abSDavid du Colombier 	u32int size, now, nfree;
382368c31abSDavid du Colombier 	int i, k, refed;
383368c31abSDavid du Colombier 
384368c31abSDavid du Colombier 	now = lumpcache.now;
385368c31abSDavid du Colombier 	for(i = 0; i < lumpcache.nheap; i++){
386368c31abSDavid du Colombier 		if(lumpcache.heap[i]->heap != i)
387368c31abSDavid du Colombier 			sysfatal("lc: mis-heaped at %d: %d", i, lumpcache.heap[i]->heap);
388368c31abSDavid du Colombier 		if(i > 0 && lumpcache.heap[(i - 1) >> 1]->used2 - now > lumpcache.heap[i]->used2 - now)
389368c31abSDavid du Colombier 			sysfatal("lc: bad heap ordering");
390368c31abSDavid du Colombier 		k = (i << 1) + 1;
391368c31abSDavid du Colombier 		if(k < lumpcache.nheap && lumpcache.heap[i]->used2 - now > lumpcache.heap[k]->used2 - now)
392368c31abSDavid du Colombier 			sysfatal("lc: bad heap ordering");
393368c31abSDavid du Colombier 		k++;
394368c31abSDavid du Colombier 		if(k < lumpcache.nheap && lumpcache.heap[i]->used2 - now > lumpcache.heap[k]->used2 - now)
395368c31abSDavid du Colombier 			sysfatal("lc: bad heap ordering");
396368c31abSDavid du Colombier 	}
397368c31abSDavid du Colombier 
398368c31abSDavid du Colombier 	refed = 0;
399368c31abSDavid du Colombier 	size = 0;
400368c31abSDavid du Colombier 	for(i = 0; i < lumpcache.nblocks; i++){
401368c31abSDavid du Colombier 		b = &lumpcache.blocks[i];
402368c31abSDavid du Colombier 		if(b->data == nil && b->size != 0)
403368c31abSDavid du Colombier 			sysfatal("bad size: %d data=%p", b->size, b->data);
404368c31abSDavid du Colombier 		if(b->ref && b->heap == TWID32)
405368c31abSDavid du Colombier 			refed++;
406368c31abSDavid du Colombier 		if(b->type != TWID8){
407368c31abSDavid du Colombier 			findblock(b);
408368c31abSDavid du Colombier 			size += b->size;
409368c31abSDavid du Colombier 		}
410368c31abSDavid du Colombier 		if(b->heap != TWID32
411368c31abSDavid du Colombier 		&& lumpcache.heap[b->heap] != b)
412368c31abSDavid du Colombier 			sysfatal("lc: spurious heap value");
413368c31abSDavid du Colombier 	}
414368c31abSDavid du Colombier 	if(lumpcache.avail != lumpcache.allowed - size){
415368c31abSDavid du Colombier 		fprint(2, "mismatched available=%d and allowed=%d - used=%d space", lumpcache.avail, lumpcache.allowed, size);
416368c31abSDavid du Colombier 		*(int*)0=0;
417368c31abSDavid du Colombier 	}
418368c31abSDavid du Colombier 
419368c31abSDavid du Colombier 	nfree = 0;
420368c31abSDavid du Colombier 	for(b = lumpcache.free; b != nil; b = b->next){
421368c31abSDavid du Colombier 		if(b->type != TWID8 || b->heap != TWID32)
422368c31abSDavid du Colombier 			sysfatal("lc: bad free list");
423368c31abSDavid du Colombier 		nfree++;
424368c31abSDavid du Colombier 	}
425368c31abSDavid du Colombier 
426368c31abSDavid du Colombier 	if(lumpcache.nheap + nfree + refed != lumpcache.nblocks)
427368c31abSDavid du Colombier 		sysfatal("lc: missing blocks: %d %d %d %d", lumpcache.nheap, refed, nfree, lumpcache.nblocks);
428368c31abSDavid du Colombier }
429368c31abSDavid du Colombier 
430