123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392 |
- /* -*- mode:c; c-file-style:"k&r"; c-basic-offset: 4; tab-width:4; indent-tabs-mode:nil; mode:auto-fill; fill-column:78; -*- */
- /* vim: set ts=4 sw=4 et tw=78 fo=cqt wm=0: */
- /* Copyright (C) 2014 OSCAR lab, Stony Brook University
- This file is part of Graphene Library OS.
- Graphene Library OS is free software: you can redistribute it and/or
- modify it under the terms of the GNU General Public License
- as published by the Free Software Foundation, either version 3 of the
- License, or (at your option) any later version.
- Graphene Library OS is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- /*
- * slabmgr.h
- *
- * This file contains implementation of SLAB (variable-size) memory allocator.
- */
- #ifndef SLABMGR_H
- #define SLABMGR_H
- #include "linux_list.h"
- #include <sys/mman.h>
- #ifndef system_malloc
- #error "macro \"void * system_malloc(int size)\" not declared"
- #endif
- #ifndef system_free
- #error "macro \"void * system_free(void * ptr, int size)\" not declared"
- #endif
- #ifndef system_lock
- #define system_lock() ({})
- #endif
- #ifndef system_unlock
- #define system_unlock() ({})
- #endif
- #define SLAB_PADDING 7
- typedef struct __attribute__((packed)) slab_obj {
- unsigned char level;
- unsigned char padding[SLAB_PADDING];
- union {
- struct list_head __list;
- unsigned char *raw;
- };
- } SLAB_OBJ_TYPE, * SLAB_OBJ;
- typedef struct __attribute__((packed)) slab_area {
- struct list_head __list;
- unsigned int size;
- unsigned char raw[];
- } SLAB_AREA_TYPE, * SLAB_AREA;
- #ifdef SLAB_DEBUG
- struct slab_debug {
- struct {
- const char * file;
- int line;
- } alloc, free;
- };
- # define SLAB_DEBUG_SIZE sizeof(struct slab_debug)
- #else
- # define SLAB_DEBUG_SIZE 0
- #endif
- #ifdef SLAB_CANARY
- # define SLAB_CANARY_STRING 0xDEADBEEF
- # define SLAB_CANARY_SIZE sizeof(unsigned long)
- #else
- # define SLAB_CANARY_SIZE 0
- #endif
- #define SLAB_HDR_SIZE (sizeof(SLAB_OBJ_TYPE) - sizeof(struct list_head) + \
- SLAB_DEBUG_SIZE + SLAB_CANARY_SIZE)
- #ifndef SLAB_LEVEL
- #define SLAB_LEVEL 8
- #endif
- #ifndef SLAB_LEVEL_SIZES
- # define SLAB_LEVEL_SIZES 16, 32, 64, \
- 128 - SLAB_HDR_SIZE, \
- 256 - SLAB_HDR_SIZE, \
- 512 - SLAB_HDR_SIZE, \
- 1024 - SLAB_HDR_SIZE, \
- 2048 - SLAB_HDR_SIZE
- # define SLAB_LEVELS_SUM (4080 - SLAB_HDR_SIZE * 5)
- #else
- # ifndef SLAB_LEVELS_SUM
- # error "SALB_LEVELS_SUM not defined"
- # endif
- #endif
- static int slab_levels[SLAB_LEVEL] = { SLAB_LEVEL_SIZES };
- typedef struct slab_mgr {
- struct list_head area_list[SLAB_LEVEL];
- struct list_head free_list[SLAB_LEVEL];
- unsigned int size[SLAB_LEVEL];
- void * addr[SLAB_LEVEL], * addr_top[SLAB_LEVEL];
- } SLAB_MGR_TYPE, * SLAB_MGR;
- typedef struct __attribute__((packed)) large_mem_obj {
- unsigned long size;
- unsigned char level;
- unsigned char padding[SLAB_PADDING];
- unsigned char raw[];
- } LARGE_MEM_OBJ_TYPE, * LARGE_MEM_OBJ;
- #define OBJ_LEVEL(obj) ((obj)->level)
- #define OBJ_RAW(obj) (&(obj)->raw)
- #define RAW_TO_LEVEL(raw_ptr) \
- (*((unsigned char *) (raw_ptr) - SLAB_PADDING - 1))
- #define RAW_TO_OBJ(raw_ptr, type) container_of((raw_ptr), type, raw)
- #define __SUM_OBJ_SIZE(slab_size, size) \
- (((slab_size) + SLAB_HDR_SIZE) * (size))
- #define __MIN_MEM_SIZE() (sizeof(SLAB_AREA_TYPE))
- #define __MAX_MEM_SIZE(slab_size, size) \
- (__MIN_MEM_SIZE() + __SUM_OBJ_SIZE((slab_size), (size)))
- #define __INIT_SUM_OBJ_SIZE(size) \
- ((SLAB_LEVELS_SUM + SLAB_HDR_SIZE * SLAB_LEVEL) * (size))
- #define __INIT_MIN_MEM_SIZE() \
- (sizeof(SLAB_MGR_TYPE) + sizeof(SLAB_AREA_TYPE) * SLAB_LEVEL)
- #define __INIT_MAX_MEM_SIZE(size) \
- (__INIT_MIN_MEM_SIZE() + __INIT_SUM_OBJ_SIZE((size)))
- #ifdef PAGE_SIZE
- static inline int size_align_down(int slab_size, int size)
- {
- int s = __MAX_MEM_SIZE(slab_size, size);
- int p = s - (s & ~(PAGE_SIZE - 1));
- int o = __SUM_OBJ_SIZE(slab_size, 1);
- return size - p / o - (p % o ? 1 : 0);
- }
- static inline int size_align_up(int slab_size, int size)
- {
- int s = __MAX_MEM_SIZE(slab_size, size);
- int p = ((s + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1)) - s;
- int o = __SUM_OBJ_SIZE(slab_size, 1);
- return size + p / o;
- }
- static inline int init_align_down(int size)
- {
- int s = __INIT_MAX_MEM_SIZE(size);
- int p = s - (s & ~(PAGE_SIZE - 1));
- int o = __INIT_SUM_OBJ_SIZE(1);
- return size - p /o - (p % o ? 1 : 0);
- }
- static inline int init_size_align_up(int size)
- {
- int s = __INIT_MAX_MEM_SIZE(size);
- int p = ((s + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1)) - s;
- int o = __INIT_SUM_OBJ_SIZE(1);
- return size + p / o;
- }
- #endif /* PAGE_SIZE */
- #ifndef STARTUP_SIZE
- # define STARTUP_SIZE 16
- #endif
- static inline void __set_free_slab_area (SLAB_AREA area, SLAB_MGR mgr,
- int level)
- {
- int slab_size = slab_levels[level] + SLAB_HDR_SIZE;
- mgr->addr[level] = (void *) area->raw;
- mgr->addr_top[level] = (void *) area->raw + area->size * slab_size;
- mgr->size[level] += area->size;
- }
- static inline SLAB_MGR create_slab_mgr (void)
- {
- #ifdef PAGE_SIZE
- int size = init_size_align_up(STARTUP_SIZE);
- #else
- int size = STARTUP_SIZE;
- #endif
- unsigned long mem;
- SLAB_AREA area;
- SLAB_MGR mgr;
- mem = (unsigned long) system_malloc(__INIT_MAX_MEM_SIZE(size));
- if (mem <= 0)
- return NULL;
- mgr = (SLAB_MGR) mem;
- void * addr = (void *) mgr + sizeof(SLAB_MGR_TYPE);
- int i;
- for (i = 0 ; i < SLAB_LEVEL ; i++) {
- area = (SLAB_AREA) addr;
- area->size = STARTUP_SIZE;
- INIT_LIST_HEAD(&area->__list);
- INIT_LIST_HEAD(&mgr->area_list[i]);
- list_add_tail(&area->__list, &mgr->area_list[i]);
- INIT_LIST_HEAD(&mgr->free_list[i]);
- mgr->size[i] = 0;
- __set_free_slab_area(area, mgr, i);
- addr += __MAX_MEM_SIZE(slab_levels[i], STARTUP_SIZE);
- }
- return mgr;
- }
- static inline void destroy_slab_mgr (SLAB_MGR mgr)
- {
- void * addr = (void *) mgr + sizeof(SLAB_MGR_TYPE);
- SLAB_AREA area, tmp, n;
- int i;
- for (i = 0 ; i < SLAB_LEVEL; i++) {
- area = (SLAB_AREA) addr;
- list_for_each_entry_safe(tmp, n, &mgr->area_list[i], __list) {
- if (tmp != area)
- system_free(area,
- __MAX_MEM_SIZE(slab_levels[i], area->size));
- }
- addr += __MAX_MEM_SIZE(slab_levels[i], STARTUP_SIZE);
- }
- system_free(mgr, addr - (void *) mgr);
- }
- static inline SLAB_MGR enlarge_slab_mgr (SLAB_MGR mgr, int level)
- {
- SLAB_AREA area;
- int size;
- if (level >= SLAB_LEVEL) {
- system_lock();
- goto out;
- }
- size = mgr->size[level];
- area = (SLAB_AREA) system_malloc(__MAX_MEM_SIZE(slab_levels[level], size));
- if (area <= 0)
- return NULL;
- system_lock();
- area->size = size;
- INIT_LIST_HEAD(&area->__list);
- list_add(&area->__list, &mgr->area_list[level]);
- __set_free_slab_area(area, mgr, level);
- system_unlock();
- out:
- return mgr;
- }
- static inline void * slab_alloc (SLAB_MGR mgr, int size)
- {
- SLAB_OBJ mobj;
- int i;
- int level = -1;
- for (i = 0 ; i < SLAB_LEVEL ; i++)
- if (size <= slab_levels[i]) {
- level = i;
- break;
- }
- if (level == -1) {
- LARGE_MEM_OBJ mem = (LARGE_MEM_OBJ)
- system_malloc(sizeof(LARGE_MEM_OBJ_TYPE) + size);
- if (!mem)
- return NULL;
- mem->size = size;
- OBJ_LEVEL(mem) = (unsigned char) -1;
- return OBJ_RAW(mem);
- }
- system_lock();
- if (mgr->addr[level] == mgr->addr_top[level] &&
- list_empty(&mgr->free_list[level])) {
- system_unlock();
- enlarge_slab_mgr(mgr, level);
- system_lock();
- }
- if (!list_empty(&mgr->free_list[level])) {
- mobj = list_first_entry(&mgr->free_list[level], SLAB_OBJ_TYPE, __list);
- list_del(&mobj->__list);
- } else {
- mobj = (void *) mgr->addr[level];
- mgr->addr[level] += slab_levels[level] + SLAB_HDR_SIZE;
- }
- OBJ_LEVEL(mobj) = level;
- system_unlock();
- #ifdef SLAB_CANARY
- unsigned long * m =
- (unsigned long *) ((void *) OBJ_RAW(mobj) + slab_levels[level]);
- *m = SLAB_CANARY_STRING;
- #endif
- return OBJ_RAW(mobj);
- }
- #ifdef SLAB_DEBUG
- static inline void * slab_alloc_debug (SLAB_MGR mgr, int size,
- const char * file, int line)
- {
- void * mem = slab_alloc(mgr, size);
- int i;
- int level = -1;
- for (i = 0 ; i < SLAB_LEVEL ; i++)
- if (size <= slab_levels[i]) {
- level = i;
- break;
- }
- if (level != -1) {
- struct slab_debug * debug =
- (struct slab_debug *) (mem + slab_levels[level] +
- SLAB_CANARY_SIZE);
- debug->alloc.file = file;
- debug->alloc.line = line;
- }
- return mem;
- }
- #endif
- static inline void slab_free (SLAB_MGR mgr, void * obj)
- {
- unsigned char level = RAW_TO_LEVEL(obj);
- if (level == (unsigned char) -1) {
- LARGE_MEM_OBJ mem = RAW_TO_OBJ(obj, LARGE_MEM_OBJ_TYPE);
- system_free(mem, mem->size + sizeof(LARGE_MEM_OBJ_TYPE));
- return;
- }
- if (level >= SLAB_LEVEL)
- return;
- #ifdef SLAB_CANARY
- unsigned long * m = (unsigned long *) (obj + slab_levels[level]);
- assert((*m) == SLAB_CANARY_STRING);
- #endif
- SLAB_OBJ mobj = RAW_TO_OBJ(obj, SLAB_OBJ_TYPE);
- system_lock();
- INIT_LIST_HEAD(&mobj->__list);
- list_add_tail(&mobj->__list, &mgr->free_list[level]);
- system_unlock();
- }
- #ifdef SLAB_DEBUG
- static inline void slab_free_debug (SLAB_MGR mgr, void * obj,
- const char * file, int line)
- {
- unsigned char level = RAW_TO_LEVEL(obj);
- if (level < SLAB_LEVEL) {
- struct slab_debug * debug =
- (struct slab_debug *) (obj + slab_levels[level] +
- SLAB_CANARY_SIZE);
- debug->free.file = file;
- debug->free.line = line;
- }
- slab_free(mgr, obj);
- }
- #endif
- #endif /* SLABMGR_H */
|