xref: /csrg-svn/sys/kern/kern_malloc.c (revision 69576)
131422Smckusick /*
263174Sbostic  * Copyright (c) 1987, 1991, 1993
363174Sbostic  *	The Regents of the University of California.  All rights reserved.
431422Smckusick  *
544437Sbostic  * %sccs.include.redist.c%
633439Smckusick  *
7*69576Smckusick  *	@(#)kern_malloc.c	8.4 (Berkeley) 05/20/95
831422Smckusick  */
931422Smckusick 
1056517Sbostic #include <sys/param.h>
1156517Sbostic #include <sys/proc.h>
1256517Sbostic #include <sys/map.h>
1356517Sbostic #include <sys/kernel.h>
1456517Sbostic #include <sys/malloc.h>
1531422Smckusick 
1656517Sbostic #include <vm/vm.h>
1756517Sbostic #include <vm/vm_kern.h>
1856517Sbostic 
1931422Smckusick struct kmembuckets bucket[MINBUCKET + 16];
2031422Smckusick struct kmemstats kmemstats[M_LAST];
2131422Smckusick struct kmemusage *kmemusage;
2246259Skarels char *kmembase, *kmemlimit;
2345154Smckusick char *memname[] = INITKMEMNAMES;
2431422Smckusick 
2550744Smckusick #ifdef DIAGNOSTIC
2631422Smckusick /*
2752931Smckusick  * This structure provides a set of masks to catch unaligned frees.
2850744Smckusick  */
2952931Smckusick long addrmask[] = { 0,
3050744Smckusick 	0x00000001, 0x00000003, 0x00000007, 0x0000000f,
3150744Smckusick 	0x0000001f, 0x0000003f, 0x0000007f, 0x000000ff,
3250744Smckusick 	0x000001ff, 0x000003ff, 0x000007ff, 0x00000fff,
3350744Smckusick 	0x00001fff, 0x00003fff, 0x00007fff, 0x0000ffff,
3450744Smckusick };
3550937Smckusick 
3650937Smckusick /*
3752931Smckusick  * The WEIRD_ADDR is used as known text to copy into free objects so
3852931Smckusick  * that modifications after frees can be detected.
3952931Smckusick  */
4052931Smckusick #define WEIRD_ADDR	0xdeadbeef
4152931Smckusick #define MAX_COPY	32
4252931Smckusick 
4352931Smckusick /*
4450937Smckusick  * Normally the first word of the structure is used to hold the list
4550937Smckusick  * pointer for free objects. However, when running with diagnostics,
4650937Smckusick  * we use the third and fourth fields, so as to catch modifications
4750937Smckusick  * in the most commonly trashed first two words.
4850937Smckusick  */
4950937Smckusick struct freelist {
5050937Smckusick 	long	spare0;
5153632Smckusick 	short	type;
5250937Smckusick 	long	spare1;
5350937Smckusick 	caddr_t	next;
5450937Smckusick };
5550937Smckusick #else /* !DIAGNOSTIC */
5650937Smckusick struct freelist {
5750937Smckusick 	caddr_t	next;
5850937Smckusick };
5950744Smckusick #endif /* DIAGNOSTIC */
6050744Smckusick 
6150744Smckusick /*
6231422Smckusick  * Allocate a block of memory
6331422Smckusick  */
6449066Skarels void *
malloc(size,type,flags)6533497Smckusick malloc(size, type, flags)
6631422Smckusick 	unsigned long size;
6734534Skarels 	int type, flags;
6831422Smckusick {
6931422Smckusick 	register struct kmembuckets *kbp;
7031422Smckusick 	register struct kmemusage *kup;
7150937Smckusick 	register struct freelist *freep;
7265437Sbostic 	long indx, npg, allocsize;
7334534Skarels 	int s;
7446259Skarels 	caddr_t va, cp, savedlist;
7550744Smckusick #ifdef DIAGNOSTIC
7652931Smckusick 	long *end, *lp;
7752931Smckusick 	int copysize;
7852943Sralph 	char *savedtype;
7950744Smckusick #endif
80*69576Smckusick #ifdef DEBUG
81*69576Smckusick 	extern int simplelockrecurse;
82*69576Smckusick #endif
8331422Smckusick #ifdef KMEMSTATS
8433438Smckusick 	register struct kmemstats *ksp = &kmemstats[type];
8539732Smckusick 
8639732Smckusick 	if (((unsigned long)type) > M_LAST)
8737478Ssklower 		panic("malloc - bogus type");
8833438Smckusick #endif
8931422Smckusick 	indx = BUCKETINDX(size);
9031422Smckusick 	kbp = &bucket[indx];
9131422Smckusick 	s = splimp();
9233438Smckusick #ifdef KMEMSTATS
9333613Smckusick 	while (ksp->ks_memuse >= ksp->ks_limit) {
9433438Smckusick 		if (flags & M_NOWAIT) {
9533438Smckusick 			splx(s);
9649066Skarels 			return ((void *) NULL);
9733438Smckusick 		}
9833438Smckusick 		if (ksp->ks_limblocks < 65535)
9933438Smckusick 			ksp->ks_limblocks++;
10045154Smckusick 		tsleep((caddr_t)ksp, PSWP+2, memname[type], 0);
10133438Smckusick 	}
10256606Smckusick 	ksp->ks_size |= 1 << indx;
10333438Smckusick #endif
10450744Smckusick #ifdef DIAGNOSTIC
10552931Smckusick 	copysize = 1 << indx < MAX_COPY ? 1 << indx : MAX_COPY;
10650744Smckusick #endif
107*69576Smckusick #ifdef DEBUG
108*69576Smckusick 	if (flags & M_NOWAIT)
109*69576Smckusick 		simplelockrecurse++;
110*69576Smckusick #endif
11131422Smckusick 	if (kbp->kb_next == NULL) {
11256499Smckusick 		kbp->kb_last = NULL;
11331422Smckusick 		if (size > MAXALLOCSAVE)
11431422Smckusick 			allocsize = roundup(size, CLBYTES);
11531422Smckusick 		else
11631422Smckusick 			allocsize = 1 << indx;
11731422Smckusick 		npg = clrnd(btoc(allocsize));
11846259Skarels 		va = (caddr_t) kmem_malloc(kmem_map, (vm_size_t)ctob(npg),
11946259Skarels 					   !(flags & M_NOWAIT));
12046259Skarels 		if (va == NULL) {
12131422Smckusick 			splx(s);
122*69576Smckusick #ifdef DEBUG
123*69576Smckusick 			if (flags & M_NOWAIT)
124*69576Smckusick 				simplelockrecurse--;
125*69576Smckusick #endif
12649066Skarels 			return ((void *) NULL);
12731422Smckusick 		}
12833438Smckusick #ifdef KMEMSTATS
12931422Smckusick 		kbp->kb_total += kbp->kb_elmpercl;
13031422Smckusick #endif
13131422Smckusick 		kup = btokup(va);
13231422Smckusick 		kup->ku_indx = indx;
13331422Smckusick 		if (allocsize > MAXALLOCSAVE) {
13431422Smckusick 			if (npg > 65535)
13531422Smckusick 				panic("malloc: allocation too large");
13631422Smckusick 			kup->ku_pagecnt = npg;
13733438Smckusick #ifdef KMEMSTATS
13833438Smckusick 			ksp->ks_memuse += allocsize;
13933438Smckusick #endif
14031422Smckusick 			goto out;
14131422Smckusick 		}
14231422Smckusick #ifdef KMEMSTATS
14331422Smckusick 		kup->ku_freecnt = kbp->kb_elmpercl;
14431422Smckusick 		kbp->kb_totalfree += kbp->kb_elmpercl;
14531422Smckusick #endif
14646259Skarels 		/*
14746259Skarels 		 * Just in case we blocked while allocating memory,
14846259Skarels 		 * and someone else also allocated memory for this
14946259Skarels 		 * bucket, don't assume the list is still empty.
15046259Skarels 		 */
15146259Skarels 		savedlist = kbp->kb_next;
15252943Sralph 		kbp->kb_next = cp = va + (npg * NBPG) - allocsize;
15352943Sralph 		for (;;) {
15450937Smckusick 			freep = (struct freelist *)cp;
15550744Smckusick #ifdef DIAGNOSTIC
15650744Smckusick 			/*
15750744Smckusick 			 * Copy in known text to detect modification
15850744Smckusick 			 * after freeing.
15950744Smckusick 			 */
16052931Smckusick 			end = (long *)&cp[copysize];
16152931Smckusick 			for (lp = (long *)cp; lp < end; lp++)
16252931Smckusick 				*lp = WEIRD_ADDR;
16350937Smckusick 			freep->type = M_FREE;
16450744Smckusick #endif /* DIAGNOSTIC */
16550744Smckusick 			if (cp <= va)
16650744Smckusick 				break;
16752943Sralph 			cp -= allocsize;
16852943Sralph 			freep->next = cp;
16950744Smckusick 		}
17050937Smckusick 		freep->next = savedlist;
17156499Smckusick 		if (kbp->kb_last == NULL)
17256499Smckusick 			kbp->kb_last = (caddr_t)freep;
17331422Smckusick 	}
17431422Smckusick 	va = kbp->kb_next;
17550937Smckusick 	kbp->kb_next = ((struct freelist *)va)->next;
17650744Smckusick #ifdef DIAGNOSTIC
17750937Smckusick 	freep = (struct freelist *)va;
17852943Sralph 	savedtype = (unsigned)freep->type < M_LAST ?
17952943Sralph 		memname[freep->type] : "???";
18057649Smckusick 	if (kbp->kb_next &&
18157649Smckusick 	    !kernacc(kbp->kb_next, sizeof(struct freelist), 0)) {
18257077Smckusick 		printf("%s of object 0x%x size %d %s %s (invalid addr 0x%x)\n",
18357077Smckusick 			"Data modified on freelist: word 2.5", va, size,
18457077Smckusick 			"previous type", savedtype, kbp->kb_next);
18557077Smckusick 		kbp->kb_next = NULL;
18657077Smckusick 	}
18752943Sralph #if BYTE_ORDER == BIG_ENDIAN
18852931Smckusick 	freep->type = WEIRD_ADDR >> 16;
18952943Sralph #endif
19052943Sralph #if BYTE_ORDER == LITTLE_ENDIAN
19164975Smckusick 	freep->type = (short)WEIRD_ADDR;
19252943Sralph #endif
19353632Smckusick 	if (((long)(&freep->next)) & 0x2)
19453632Smckusick 		freep->next = (caddr_t)((WEIRD_ADDR >> 16)|(WEIRD_ADDR << 16));
19553632Smckusick 	else
19653632Smckusick 		freep->next = (caddr_t)WEIRD_ADDR;
19752931Smckusick 	end = (long *)&va[copysize];
19852931Smckusick 	for (lp = (long *)va; lp < end; lp++) {
19952931Smckusick 		if (*lp == WEIRD_ADDR)
20052423Storek 			continue;
20150937Smckusick 		printf("%s %d of object 0x%x size %d %s %s (0x%x != 0x%x)\n",
20252943Sralph 			"Data modified on freelist: word", lp - (long *)va,
20352943Sralph 			va, size, "previous type", savedtype, *lp, WEIRD_ADDR);
20452931Smckusick 		break;
20550744Smckusick 	}
20650937Smckusick 	freep->spare0 = 0;
20750744Smckusick #endif /* DIAGNOSTIC */
20831422Smckusick #ifdef KMEMSTATS
20931422Smckusick 	kup = btokup(va);
21031422Smckusick 	if (kup->ku_indx != indx)
21131422Smckusick 		panic("malloc: wrong bucket");
21231422Smckusick 	if (kup->ku_freecnt == 0)
21331422Smckusick 		panic("malloc: lost data");
21431422Smckusick 	kup->ku_freecnt--;
21531422Smckusick 	kbp->kb_totalfree--;
21633438Smckusick 	ksp->ks_memuse += 1 << indx;
21731422Smckusick out:
21831422Smckusick 	kbp->kb_calls++;
21931422Smckusick 	ksp->ks_inuse++;
22031422Smckusick 	ksp->ks_calls++;
22133613Smckusick 	if (ksp->ks_memuse > ksp->ks_maxused)
22233613Smckusick 		ksp->ks_maxused = ksp->ks_memuse;
22331422Smckusick #else
22431422Smckusick out:
22531422Smckusick #endif
22631422Smckusick 	splx(s);
227*69576Smckusick #ifdef DEBUG
228*69576Smckusick 	if (flags & M_NOWAIT)
229*69576Smckusick 		simplelockrecurse--;
230*69576Smckusick #endif
23149066Skarels 	return ((void *) va);
23231422Smckusick }
23331422Smckusick 
23431422Smckusick /*
23531422Smckusick  * Free a block of memory allocated by malloc.
23631422Smckusick  */
23733497Smckusick void
free(addr,type)23833497Smckusick free(addr, type)
23949066Skarels 	void *addr;
24034534Skarels 	int type;
24131422Smckusick {
24231422Smckusick 	register struct kmembuckets *kbp;
24331422Smckusick 	register struct kmemusage *kup;
24450937Smckusick 	register struct freelist *freep;
24550744Smckusick 	long size;
24634534Skarels 	int s;
24750744Smckusick #ifdef DIAGNOSTIC
24850744Smckusick 	caddr_t cp;
24952931Smckusick 	long *end, *lp, alloc, copysize;
25050744Smckusick #endif
25133438Smckusick #ifdef KMEMSTATS
25233438Smckusick 	register struct kmemstats *ksp = &kmemstats[type];
25333438Smckusick #endif
25431422Smckusick 
25531422Smckusick 	kup = btokup(addr);
25645000Smckusick 	size = 1 << kup->ku_indx;
25750744Smckusick 	kbp = &bucket[kup->ku_indx];
25850744Smckusick 	s = splimp();
25945000Smckusick #ifdef DIAGNOSTIC
26050744Smckusick 	/*
26150744Smckusick 	 * Check for returns of data that do not point to the
26250744Smckusick 	 * beginning of the allocation.
26350744Smckusick 	 */
26445000Smckusick 	if (size > NBPG * CLSIZE)
26545000Smckusick 		alloc = addrmask[BUCKETINDX(NBPG * CLSIZE)];
26645000Smckusick 	else
26745000Smckusick 		alloc = addrmask[kup->ku_indx];
26852536Smckusick 	if (((u_long)addr & alloc) != 0)
26952536Smckusick 		panic("free: unaligned addr 0x%x, size %d, type %s, mask %d\n",
27052536Smckusick 			addr, size, memname[type], alloc);
27145000Smckusick #endif /* DIAGNOSTIC */
27233613Smckusick 	if (size > MAXALLOCSAVE) {
27346259Skarels 		kmem_free(kmem_map, (vm_offset_t)addr, ctob(kup->ku_pagecnt));
27431422Smckusick #ifdef KMEMSTATS
27533613Smckusick 		size = kup->ku_pagecnt << PGSHIFT;
27633613Smckusick 		ksp->ks_memuse -= size;
27731422Smckusick 		kup->ku_indx = 0;
27831422Smckusick 		kup->ku_pagecnt = 0;
27933613Smckusick 		if (ksp->ks_memuse + size >= ksp->ks_limit &&
28033613Smckusick 		    ksp->ks_memuse < ksp->ks_limit)
28133438Smckusick 			wakeup((caddr_t)ksp);
28233438Smckusick 		ksp->ks_inuse--;
28333497Smckusick 		kbp->kb_total -= 1;
28431422Smckusick #endif
28531422Smckusick 		splx(s);
28631422Smckusick 		return;
28731422Smckusick 	}
28850937Smckusick 	freep = (struct freelist *)addr;
28950744Smckusick #ifdef DIAGNOSTIC
29050744Smckusick 	/*
29150744Smckusick 	 * Check for multiple frees. Use a quick check to see if
29250744Smckusick 	 * it looks free before laboriously searching the freelist.
29350744Smckusick 	 */
29450937Smckusick 	if (freep->spare0 == WEIRD_ADDR) {
29552931Smckusick 		for (cp = kbp->kb_next; cp; cp = *(caddr_t *)cp) {
29652931Smckusick 			if (addr != cp)
29752931Smckusick 				continue;
29852931Smckusick 			printf("multiply freed item 0x%x\n", addr);
29952931Smckusick 			panic("free: duplicated free");
30050744Smckusick 		}
30150744Smckusick 	}
30250744Smckusick 	/*
30350744Smckusick 	 * Copy in known text to detect modification after freeing
30450937Smckusick 	 * and to make it look free. Also, save the type being freed
30550937Smckusick 	 * so we can list likely culprit if modification is detected
30650937Smckusick 	 * when the object is reallocated.
30750744Smckusick 	 */
30852931Smckusick 	copysize = size < MAX_COPY ? size : MAX_COPY;
30952931Smckusick 	end = (long *)&((caddr_t)addr)[copysize];
31052931Smckusick 	for (lp = (long *)addr; lp < end; lp++)
31152931Smckusick 		*lp = WEIRD_ADDR;
31250937Smckusick 	freep->type = type;
31350744Smckusick #endif /* DIAGNOSTIC */
31431422Smckusick #ifdef KMEMSTATS
31531422Smckusick 	kup->ku_freecnt++;
31631422Smckusick 	if (kup->ku_freecnt >= kbp->kb_elmpercl)
31731422Smckusick 		if (kup->ku_freecnt > kbp->kb_elmpercl)
31831422Smckusick 			panic("free: multiple frees");
31931422Smckusick 		else if (kbp->kb_totalfree > kbp->kb_highwat)
32031422Smckusick 			kbp->kb_couldfree++;
32131422Smckusick 	kbp->kb_totalfree++;
32233613Smckusick 	ksp->ks_memuse -= size;
32333613Smckusick 	if (ksp->ks_memuse + size >= ksp->ks_limit &&
32433613Smckusick 	    ksp->ks_memuse < ksp->ks_limit)
32533438Smckusick 		wakeup((caddr_t)ksp);
32633438Smckusick 	ksp->ks_inuse--;
32731422Smckusick #endif
32856499Smckusick 	if (kbp->kb_next == NULL)
32956499Smckusick 		kbp->kb_next = addr;
33056499Smckusick 	else
33156499Smckusick 		((struct freelist *)kbp->kb_last)->next = addr;
33256499Smckusick 	freep->next = NULL;
33356499Smckusick 	kbp->kb_last = addr;
33431422Smckusick 	splx(s);
33531422Smckusick }
33631422Smckusick 
33731422Smckusick /*
33831422Smckusick  * Initialize the kernel memory allocator
33931422Smckusick  */
kmeminit()34031422Smckusick kmeminit()
34131422Smckusick {
34231422Smckusick 	register long indx;
34333497Smckusick 	int npg;
34431422Smckusick 
34534534Skarels #if	((MAXALLOCSAVE & (MAXALLOCSAVE - 1)) != 0)
34634534Skarels 		ERROR!_kmeminit:_MAXALLOCSAVE_not_power_of_2
34734534Skarels #endif
34834534Skarels #if	(MAXALLOCSAVE > MINALLOCSIZE * 32768)
34934534Skarels 		ERROR!_kmeminit:_MAXALLOCSAVE_too_big
35034534Skarels #endif
35134534Skarels #if	(MAXALLOCSAVE < CLBYTES)
35234534Skarels 		ERROR!_kmeminit:_MAXALLOCSAVE_too_small
35334534Skarels #endif
35446259Skarels 	npg = VM_KMEM_SIZE/ NBPG;
35546259Skarels 	kmemusage = (struct kmemusage *) kmem_alloc(kernel_map,
35646259Skarels 		(vm_size_t)(npg * sizeof(struct kmemusage)));
35752423Storek 	kmem_map = kmem_suballoc(kernel_map, (vm_offset_t *)&kmembase,
35852423Storek 		(vm_offset_t *)&kmemlimit, (vm_size_t)(npg * NBPG), FALSE);
35931422Smckusick #ifdef KMEMSTATS
36031422Smckusick 	for (indx = 0; indx < MINBUCKET + 16; indx++) {
36131422Smckusick 		if (1 << indx >= CLBYTES)
36231422Smckusick 			bucket[indx].kb_elmpercl = 1;
36331422Smckusick 		else
36431422Smckusick 			bucket[indx].kb_elmpercl = CLBYTES / (1 << indx);
36531422Smckusick 		bucket[indx].kb_highwat = 5 * bucket[indx].kb_elmpercl;
36631422Smckusick 	}
36731422Smckusick 	for (indx = 0; indx < M_LAST; indx++)
36841950Smckusick 		kmemstats[indx].ks_limit = npg * NBPG * 6 / 10;
36931422Smckusick #endif
37031422Smckusick }
371