131422Smckusick /* 249411Skarels * Copyright (c) 1987, 1991 The Regents of the University of California. 333439Smckusick * All rights reserved. 431422Smckusick * 544437Sbostic * %sccs.include.redist.c% 633439Smckusick * 7*52943Sralph * @(#)kern_malloc.c 7.32 (Berkeley) 03/14/92 831422Smckusick */ 931422Smckusick 1031422Smckusick #include "param.h" 1131422Smckusick #include "proc.h" 1231422Smckusick #include "map.h" 1331422Smckusick #include "kernel.h" 1431422Smckusick #include "malloc.h" 1548411Skarels #include "vm/vm.h" 1648411Skarels #include "vm/vm_kern.h" 1731422Smckusick 1831422Smckusick struct kmembuckets bucket[MINBUCKET + 16]; 1931422Smckusick struct kmemstats kmemstats[M_LAST]; 2031422Smckusick struct kmemusage *kmemusage; 2146259Skarels char *kmembase, *kmemlimit; 2245154Smckusick char *memname[] = INITKMEMNAMES; 2331422Smckusick 2450744Smckusick #ifdef DIAGNOSTIC 2531422Smckusick /* 2652931Smckusick * This structure provides a set of masks to catch unaligned frees. 2750744Smckusick */ 2852931Smckusick long addrmask[] = { 0, 2950744Smckusick 0x00000001, 0x00000003, 0x00000007, 0x0000000f, 3050744Smckusick 0x0000001f, 0x0000003f, 0x0000007f, 0x000000ff, 3150744Smckusick 0x000001ff, 0x000003ff, 0x000007ff, 0x00000fff, 3250744Smckusick 0x00001fff, 0x00003fff, 0x00007fff, 0x0000ffff, 3350744Smckusick }; 3450937Smckusick 3550937Smckusick /* 3652931Smckusick * The WEIRD_ADDR is used as known text to copy into free objects so 3752931Smckusick * that modifications after frees can be detected. 3852931Smckusick */ 3952931Smckusick #define WEIRD_ADDR 0xdeadbeef 4052931Smckusick #define MAX_COPY 32 4152931Smckusick 4252931Smckusick /* 4350937Smckusick * Normally the first word of the structure is used to hold the list 4450937Smckusick * pointer for free objects. However, when running with diagnostics, 4550937Smckusick * we use the third and fourth fields, so as to catch modifications 4650937Smckusick * in the most commonly trashed first two words. 4750937Smckusick */ 4850937Smckusick struct freelist { 4950937Smckusick long spare0; 5050937Smckusick long spare1; 5150937Smckusick short type; 5250937Smckusick short spare2; 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 * 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; 7234534Skarels long indx, npg, alloc, allocsize; 7334534Skarels int s; 7446259Skarels caddr_t va, cp, savedlist; 7550744Smckusick #ifdef DIAGNOSTIC 7652931Smckusick long *end, *lp; 7752931Smckusick int copysize; 78*52943Sralph char *savedtype; 7950744Smckusick #endif 8031422Smckusick #ifdef KMEMSTATS 8133438Smckusick register struct kmemstats *ksp = &kmemstats[type]; 8239732Smckusick 8339732Smckusick if (((unsigned long)type) > M_LAST) 8437478Ssklower panic("malloc - bogus type"); 8533438Smckusick #endif 8631422Smckusick 8731422Smckusick indx = BUCKETINDX(size); 8831422Smckusick kbp = &bucket[indx]; 8931422Smckusick s = splimp(); 9033438Smckusick #ifdef KMEMSTATS 9133613Smckusick while (ksp->ks_memuse >= ksp->ks_limit) { 9233438Smckusick if (flags & M_NOWAIT) { 9333438Smckusick splx(s); 9449066Skarels return ((void *) NULL); 9533438Smckusick } 9633438Smckusick if (ksp->ks_limblocks < 65535) 9733438Smckusick ksp->ks_limblocks++; 9845154Smckusick tsleep((caddr_t)ksp, PSWP+2, memname[type], 0); 9933438Smckusick } 10033438Smckusick #endif 10150744Smckusick #ifdef DIAGNOSTIC 10252931Smckusick copysize = 1 << indx < MAX_COPY ? 1 << indx : MAX_COPY; 10350744Smckusick #endif 10431422Smckusick if (kbp->kb_next == NULL) { 10531422Smckusick if (size > MAXALLOCSAVE) 10631422Smckusick allocsize = roundup(size, CLBYTES); 10731422Smckusick else 10831422Smckusick allocsize = 1 << indx; 10931422Smckusick npg = clrnd(btoc(allocsize)); 11046259Skarels va = (caddr_t) kmem_malloc(kmem_map, (vm_size_t)ctob(npg), 11146259Skarels !(flags & M_NOWAIT)); 11246259Skarels if (va == NULL) { 11331422Smckusick splx(s); 11449066Skarels return ((void *) NULL); 11531422Smckusick } 11633438Smckusick #ifdef KMEMSTATS 11731422Smckusick kbp->kb_total += kbp->kb_elmpercl; 11831422Smckusick #endif 11931422Smckusick kup = btokup(va); 12031422Smckusick kup->ku_indx = indx; 12131422Smckusick if (allocsize > MAXALLOCSAVE) { 12231422Smckusick if (npg > 65535) 12331422Smckusick panic("malloc: allocation too large"); 12431422Smckusick kup->ku_pagecnt = npg; 12533438Smckusick #ifdef KMEMSTATS 12633438Smckusick ksp->ks_memuse += allocsize; 12733438Smckusick #endif 12831422Smckusick goto out; 12931422Smckusick } 13031422Smckusick #ifdef KMEMSTATS 13131422Smckusick kup->ku_freecnt = kbp->kb_elmpercl; 13231422Smckusick kbp->kb_totalfree += kbp->kb_elmpercl; 13331422Smckusick #endif 13446259Skarels /* 13546259Skarels * Just in case we blocked while allocating memory, 13646259Skarels * and someone else also allocated memory for this 13746259Skarels * bucket, don't assume the list is still empty. 13846259Skarels */ 13946259Skarels savedlist = kbp->kb_next; 140*52943Sralph kbp->kb_next = cp = va + (npg * NBPG) - allocsize; 141*52943Sralph for (;;) { 14250937Smckusick freep = (struct freelist *)cp; 14350744Smckusick #ifdef DIAGNOSTIC 14450744Smckusick /* 14550744Smckusick * Copy in known text to detect modification 14650744Smckusick * after freeing. 14750744Smckusick */ 14852931Smckusick end = (long *)&cp[copysize]; 14952931Smckusick for (lp = (long *)cp; lp < end; lp++) 15052931Smckusick *lp = WEIRD_ADDR; 15150937Smckusick freep->type = M_FREE; 15250744Smckusick #endif /* DIAGNOSTIC */ 15350744Smckusick if (cp <= va) 15450744Smckusick break; 155*52943Sralph cp -= allocsize; 156*52943Sralph freep->next = cp; 15750744Smckusick } 15850937Smckusick freep->next = savedlist; 15931422Smckusick } 16031422Smckusick va = kbp->kb_next; 16150937Smckusick kbp->kb_next = ((struct freelist *)va)->next; 16250744Smckusick #ifdef DIAGNOSTIC 16350937Smckusick freep = (struct freelist *)va; 164*52943Sralph savedtype = (unsigned)freep->type < M_LAST ? 165*52943Sralph memname[freep->type] : "???"; 166*52943Sralph #if BYTE_ORDER == BIG_ENDIAN 16752931Smckusick freep->type = WEIRD_ADDR >> 16; 168*52943Sralph #endif 169*52943Sralph #if BYTE_ORDER == LITTLE_ENDIAN 170*52943Sralph freep->type = WEIRD_ADDR; 171*52943Sralph #endif 17252931Smckusick freep->next = (caddr_t)WEIRD_ADDR; 17352931Smckusick end = (long *)&va[copysize]; 17452931Smckusick for (lp = (long *)va; lp < end; lp++) { 17552931Smckusick if (*lp == WEIRD_ADDR) 17652423Storek continue; 17750937Smckusick printf("%s %d of object 0x%x size %d %s %s (0x%x != 0x%x)\n", 178*52943Sralph "Data modified on freelist: word", lp - (long *)va, 179*52943Sralph va, size, "previous type", savedtype, *lp, WEIRD_ADDR); 18052931Smckusick break; 18150744Smckusick } 18250937Smckusick freep->spare0 = 0; 18350744Smckusick #endif /* DIAGNOSTIC */ 18431422Smckusick #ifdef KMEMSTATS 18531422Smckusick kup = btokup(va); 18631422Smckusick if (kup->ku_indx != indx) 18731422Smckusick panic("malloc: wrong bucket"); 18831422Smckusick if (kup->ku_freecnt == 0) 18931422Smckusick panic("malloc: lost data"); 19031422Smckusick kup->ku_freecnt--; 19131422Smckusick kbp->kb_totalfree--; 19233438Smckusick ksp->ks_memuse += 1 << indx; 19331422Smckusick out: 19431422Smckusick kbp->kb_calls++; 19531422Smckusick ksp->ks_inuse++; 19631422Smckusick ksp->ks_calls++; 19733613Smckusick if (ksp->ks_memuse > ksp->ks_maxused) 19833613Smckusick ksp->ks_maxused = ksp->ks_memuse; 19931422Smckusick #else 20031422Smckusick out: 20131422Smckusick #endif 20231422Smckusick splx(s); 20349066Skarels return ((void *) va); 20431422Smckusick } 20531422Smckusick 20631422Smckusick /* 20731422Smckusick * Free a block of memory allocated by malloc. 20831422Smckusick */ 20933497Smckusick void 21033497Smckusick free(addr, type) 21149066Skarels void *addr; 21234534Skarels int type; 21331422Smckusick { 21431422Smckusick register struct kmembuckets *kbp; 21531422Smckusick register struct kmemusage *kup; 21650937Smckusick register struct freelist *freep; 21750744Smckusick long size; 21834534Skarels int s; 21950744Smckusick #ifdef DIAGNOSTIC 22050744Smckusick caddr_t cp; 22152931Smckusick long *end, *lp, alloc, copysize; 22250744Smckusick #endif 22333438Smckusick #ifdef KMEMSTATS 22433438Smckusick register struct kmemstats *ksp = &kmemstats[type]; 22533438Smckusick #endif 22631422Smckusick 22731422Smckusick kup = btokup(addr); 22845000Smckusick size = 1 << kup->ku_indx; 22950744Smckusick kbp = &bucket[kup->ku_indx]; 23050744Smckusick s = splimp(); 23145000Smckusick #ifdef DIAGNOSTIC 23250744Smckusick /* 23350744Smckusick * Check for returns of data that do not point to the 23450744Smckusick * beginning of the allocation. 23550744Smckusick */ 23645000Smckusick if (size > NBPG * CLSIZE) 23745000Smckusick alloc = addrmask[BUCKETINDX(NBPG * CLSIZE)]; 23845000Smckusick else 23945000Smckusick alloc = addrmask[kup->ku_indx]; 24052536Smckusick if (((u_long)addr & alloc) != 0) 24152536Smckusick panic("free: unaligned addr 0x%x, size %d, type %s, mask %d\n", 24252536Smckusick addr, size, memname[type], alloc); 24345000Smckusick #endif /* DIAGNOSTIC */ 24433613Smckusick if (size > MAXALLOCSAVE) { 24546259Skarels kmem_free(kmem_map, (vm_offset_t)addr, ctob(kup->ku_pagecnt)); 24631422Smckusick #ifdef KMEMSTATS 24733613Smckusick size = kup->ku_pagecnt << PGSHIFT; 24833613Smckusick ksp->ks_memuse -= size; 24931422Smckusick kup->ku_indx = 0; 25031422Smckusick kup->ku_pagecnt = 0; 25133613Smckusick if (ksp->ks_memuse + size >= ksp->ks_limit && 25233613Smckusick ksp->ks_memuse < ksp->ks_limit) 25333438Smckusick wakeup((caddr_t)ksp); 25433438Smckusick ksp->ks_inuse--; 25533497Smckusick kbp->kb_total -= 1; 25631422Smckusick #endif 25731422Smckusick splx(s); 25831422Smckusick return; 25931422Smckusick } 26050937Smckusick freep = (struct freelist *)addr; 26150744Smckusick #ifdef DIAGNOSTIC 26250744Smckusick /* 26350744Smckusick * Check for multiple frees. Use a quick check to see if 26450744Smckusick * it looks free before laboriously searching the freelist. 26550744Smckusick */ 26650937Smckusick if (freep->spare0 == WEIRD_ADDR) { 26752931Smckusick for (cp = kbp->kb_next; cp; cp = *(caddr_t *)cp) { 26852931Smckusick if (addr != cp) 26952931Smckusick continue; 27052931Smckusick printf("multiply freed item 0x%x\n", addr); 27152931Smckusick panic("free: duplicated free"); 27250744Smckusick } 27350744Smckusick } 27450744Smckusick /* 27550744Smckusick * Copy in known text to detect modification after freeing 27650937Smckusick * and to make it look free. Also, save the type being freed 27750937Smckusick * so we can list likely culprit if modification is detected 27850937Smckusick * when the object is reallocated. 27950744Smckusick */ 28052931Smckusick copysize = size < MAX_COPY ? size : MAX_COPY; 28152931Smckusick end = (long *)&((caddr_t)addr)[copysize]; 28252931Smckusick for (lp = (long *)addr; lp < end; lp++) 28352931Smckusick *lp = WEIRD_ADDR; 28450937Smckusick freep->type = type; 28550744Smckusick #endif /* DIAGNOSTIC */ 28631422Smckusick #ifdef KMEMSTATS 28731422Smckusick kup->ku_freecnt++; 28831422Smckusick if (kup->ku_freecnt >= kbp->kb_elmpercl) 28931422Smckusick if (kup->ku_freecnt > kbp->kb_elmpercl) 29031422Smckusick panic("free: multiple frees"); 29131422Smckusick else if (kbp->kb_totalfree > kbp->kb_highwat) 29231422Smckusick kbp->kb_couldfree++; 29331422Smckusick kbp->kb_totalfree++; 29433613Smckusick ksp->ks_memuse -= size; 29533613Smckusick if (ksp->ks_memuse + size >= ksp->ks_limit && 29633613Smckusick ksp->ks_memuse < ksp->ks_limit) 29733438Smckusick wakeup((caddr_t)ksp); 29833438Smckusick ksp->ks_inuse--; 29931422Smckusick #endif 30050937Smckusick freep->next = kbp->kb_next; 30131422Smckusick kbp->kb_next = addr; 30231422Smckusick splx(s); 30331422Smckusick } 30431422Smckusick 30531422Smckusick /* 30631422Smckusick * Initialize the kernel memory allocator 30731422Smckusick */ 30831422Smckusick kmeminit() 30931422Smckusick { 31031422Smckusick register long indx; 31133497Smckusick int npg; 31231422Smckusick 31334534Skarels #if ((MAXALLOCSAVE & (MAXALLOCSAVE - 1)) != 0) 31434534Skarels ERROR!_kmeminit:_MAXALLOCSAVE_not_power_of_2 31534534Skarels #endif 31634534Skarels #if (MAXALLOCSAVE > MINALLOCSIZE * 32768) 31734534Skarels ERROR!_kmeminit:_MAXALLOCSAVE_too_big 31834534Skarels #endif 31934534Skarels #if (MAXALLOCSAVE < CLBYTES) 32034534Skarels ERROR!_kmeminit:_MAXALLOCSAVE_too_small 32134534Skarels #endif 32246259Skarels npg = VM_KMEM_SIZE/ NBPG; 32346259Skarels kmemusage = (struct kmemusage *) kmem_alloc(kernel_map, 32446259Skarels (vm_size_t)(npg * sizeof(struct kmemusage))); 32552423Storek kmem_map = kmem_suballoc(kernel_map, (vm_offset_t *)&kmembase, 32652423Storek (vm_offset_t *)&kmemlimit, (vm_size_t)(npg * NBPG), FALSE); 32731422Smckusick #ifdef KMEMSTATS 32831422Smckusick for (indx = 0; indx < MINBUCKET + 16; indx++) { 32931422Smckusick if (1 << indx >= CLBYTES) 33031422Smckusick bucket[indx].kb_elmpercl = 1; 33131422Smckusick else 33231422Smckusick bucket[indx].kb_elmpercl = CLBYTES / (1 << indx); 33331422Smckusick bucket[indx].kb_highwat = 5 * bucket[indx].kb_elmpercl; 33431422Smckusick } 33531422Smckusick for (indx = 0; indx < M_LAST; indx++) 33641950Smckusick kmemstats[indx].ks_limit = npg * NBPG * 6 / 10; 33731422Smckusick #endif 33831422Smckusick } 339