memmgr.h 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273
  1. /* Copyright (C) 2014 Stony Brook University
  2. This file is part of Graphene Library OS.
  3. Graphene Library OS is free software: you can redistribute it and/or
  4. modify it under the terms of the GNU Lesser General Public License
  5. as published by the Free Software Foundation, either version 3 of the
  6. License, or (at your option) any later version.
  7. Graphene Library OS is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public License
  12. along with this program. If not, see <http://www.gnu.org/licenses/>. */
  13. /*
  14. * memmgr.h
  15. *
  16. * This file contains implementation of fixed-size memory allocator.
  17. */
  18. #ifndef MEMMGR_H
  19. #define MEMMGR_H
  20. #include "list.h"
  21. #include <sys/mman.h>
  22. #ifndef OBJ_TYPE
  23. #error "OBJ_TYPE not defined"
  24. #endif
  25. #ifndef system_malloc
  26. #error "macro \"void * system_malloc (size_t size)\" not declared"
  27. #endif
  28. #ifndef system_free
  29. #error "macro \"void * system_free (void * ptr, size_t size)\" not declared"
  30. #endif
  31. #ifndef SYSTEM_LOCK
  32. #define SYSTEM_LOCK() ({})
  33. #endif
  34. #ifndef SYSTEM_UNLOCK
  35. #define SYSTEM_UNLOCK() ({})
  36. #endif
  37. DEFINE_LIST(mem_obj);
  38. typedef struct mem_obj {
  39. union {
  40. LIST_TYPE(mem_obj) __list;
  41. OBJ_TYPE obj;
  42. };
  43. } MEM_OBJ_TYPE, * MEM_OBJ;
  44. DEFINE_LIST(mem_area);
  45. typedef struct mem_area {
  46. LIST_TYPE(mem_area) __list;
  47. unsigned int size;
  48. MEM_OBJ_TYPE objs[];
  49. } MEM_AREA_TYPE, * MEM_AREA;
  50. DEFINE_LISTP(mem_area);
  51. DEFINE_LISTP(mem_obj);
  52. typedef struct mem_mgr {
  53. LISTP_TYPE(mem_area) area_list;
  54. LISTP_TYPE(mem_obj) free_list;
  55. size_t size;
  56. MEM_OBJ_TYPE * obj, * obj_top;
  57. MEM_AREA active_area;
  58. } MEM_MGR_TYPE, * MEM_MGR;
  59. #define __SUM_OBJ_SIZE(size) (sizeof(MEM_OBJ_TYPE) * (size))
  60. #define __MIN_MEM_SIZE() (sizeof(MEM_MGR_TYPE) + sizeof(MEM_AREA_TYPE))
  61. #define __MAX_MEM_SIZE(size) (__MIN_MEM_SIZE() + __SUM_OBJ_SIZE(size))
  62. #ifdef PAGE_SIZE
  63. static inline int size_align_down (int size)
  64. {
  65. int s = __MAX_MEM_SIZE(size) - sizeof(MEM_MGR_TYPE);
  66. int p = s - (s & ~(PAGE_SIZE - 1));
  67. int o = __SUM_OBJ_SIZE(1);
  68. return size - p / o - (p % o ? 1 : 0);
  69. }
  70. static inline int size_align_up (int size)
  71. {
  72. int s = __MAX_MEM_SIZE(size) - sizeof(MEM_MGR_TYPE);
  73. int p = ((s + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1)) - s;
  74. int o = __SUM_OBJ_SIZE(1);
  75. return size + p / o;
  76. }
  77. static inline int init_align_down (int size)
  78. {
  79. int s = __MAX_MEM_SIZE(size);
  80. int p = s - (s & ~(PAGE_SIZE - 1));
  81. int o = __SUM_OBJ_SIZE(1);
  82. return size - p / o - (p % o ? 1 : 0);
  83. }
  84. static inline int init_align_up (int size)
  85. {
  86. int s = __MAX_MEM_SIZE(size);
  87. int p = ((s + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1)) - s;
  88. int o = __SUM_OBJ_SIZE(1);
  89. return size + p / o;
  90. }
  91. #endif
  92. static inline void __set_free_mem_area (MEM_AREA area, MEM_MGR mgr)
  93. {
  94. mgr->size += area->size;
  95. mgr->obj = area->objs;
  96. mgr->obj_top = area->objs + area->size;
  97. mgr->active_area = area;
  98. }
  99. static inline MEM_MGR create_mem_mgr (unsigned int size)
  100. {
  101. void * mem = system_malloc(__MAX_MEM_SIZE(size));
  102. MEM_AREA area;
  103. MEM_MGR mgr;
  104. if (!mem)
  105. return NULL;
  106. mgr = (MEM_MGR) mem;
  107. mgr->size = 0;
  108. area = (MEM_AREA) (mem + sizeof(MEM_MGR_TYPE));
  109. area->size = size;
  110. INIT_LIST_HEAD(area, __list);
  111. INIT_LISTP(&mgr->area_list);
  112. LISTP_ADD(area, &mgr->area_list, __list);
  113. INIT_LISTP(&mgr->free_list);
  114. __set_free_mem_area(area, mgr);
  115. return mgr;
  116. }
  117. static inline MEM_MGR enlarge_mem_mgr (MEM_MGR mgr, unsigned int size)
  118. {
  119. MEM_AREA area;
  120. area = (MEM_AREA) system_malloc(sizeof(MEM_AREA_TYPE) +
  121. __SUM_OBJ_SIZE(size));
  122. if (!area)
  123. return NULL;
  124. SYSTEM_LOCK();
  125. area->size = size;
  126. INIT_LIST_HEAD(area, __list);
  127. LISTP_ADD(area, &mgr->area_list, __list);
  128. __set_free_mem_area(area, mgr);
  129. SYSTEM_UNLOCK();
  130. return mgr;
  131. }
  132. static inline void destroy_mem_mgr (MEM_MGR mgr)
  133. {
  134. MEM_AREA tmp, n, first = NULL;
  135. first = tmp = LISTP_FIRST_ENTRY(&mgr->area_list, MEM_AREA_TYPE, __list);
  136. if (!first)
  137. goto free_mgr;
  138. LISTP_FOR_EACH_ENTRY_SAFE_CONTINUE(tmp, n, &mgr->area_list, __list) {
  139. LISTP_DEL(tmp, &mgr->area_list, __list);
  140. system_free(tmp, sizeof(MEM_AREA_TYPE) + __SUM_OBJ_SIZE(tmp->size));
  141. }
  142. free_mgr:
  143. system_free(mgr, __MAX_MEM_SIZE(first->size));
  144. }
  145. static inline OBJ_TYPE * get_mem_obj_from_mgr (MEM_MGR mgr)
  146. {
  147. MEM_OBJ mobj;
  148. SYSTEM_LOCK();
  149. if (mgr->obj == mgr->obj_top && LISTP_EMPTY(&mgr->free_list)) {
  150. SYSTEM_UNLOCK();
  151. return NULL;
  152. }
  153. if (!LISTP_EMPTY(&mgr->free_list)) {
  154. mobj = LISTP_FIRST_ENTRY(&mgr->free_list, MEM_OBJ_TYPE, __list);
  155. LISTP_DEL_INIT(mobj, &mgr->free_list, __list);
  156. CHECK_LIST_HEAD(MEM_OBJ, &mgr->free_list, __list);
  157. } else {
  158. mobj = mgr->obj++;
  159. }
  160. SYSTEM_UNLOCK();
  161. return &mobj->obj;
  162. }
  163. static inline OBJ_TYPE * get_mem_obj_from_mgr_enlarge (MEM_MGR mgr,
  164. unsigned int size)
  165. {
  166. MEM_OBJ mobj;
  167. SYSTEM_LOCK();
  168. if (mgr->obj == mgr->obj_top && LISTP_EMPTY(&mgr->free_list)) {
  169. size_t mgr_size = mgr->size;
  170. MEM_AREA area;
  171. /* If there is a previously allocated area, just activate it. */
  172. area = LISTP_PREV_ENTRY(mgr->active_area, &mgr->area_list, __list);
  173. if (area) {
  174. __set_free_mem_area(area, mgr);
  175. goto alloc;
  176. }
  177. SYSTEM_UNLOCK();
  178. if (!size)
  179. return NULL;
  180. /* There can be concurrent attempt to try to enlarge the
  181. allocator, but we prevent deadlocks or crashes. */
  182. area = (MEM_AREA) system_malloc(sizeof(MEM_AREA_TYPE) +
  183. __SUM_OBJ_SIZE(size));
  184. if (!area)
  185. return NULL;
  186. SYSTEM_LOCK();
  187. area->size = size;
  188. INIT_LIST_HEAD(area, __list);
  189. /* There can be concurrent operations to extend the manager. In case
  190. * someone has already enlarged the space, we just add the new area to
  191. * the list for later use. */
  192. LISTP_ADD(area, &mgr->area_list, __list);
  193. if (mgr_size == mgr->size) /* check if the size has changed */
  194. __set_free_mem_area(area, mgr);
  195. }
  196. alloc:
  197. if (!LISTP_EMPTY(&mgr->free_list)) {
  198. mobj = LISTP_FIRST_ENTRY(&mgr->free_list, MEM_OBJ_TYPE, __list);
  199. LISTP_DEL_INIT(mobj, &mgr->free_list, __list);
  200. CHECK_LIST_HEAD(MEM_OBJ, &mgr->free_list, __list);
  201. } else {
  202. mobj = mgr->obj++;
  203. }
  204. assert(mgr->obj <= mgr->obj_top);
  205. SYSTEM_UNLOCK();
  206. return &mobj->obj;
  207. }
  208. static inline void free_mem_obj_to_mgr (MEM_MGR mgr, OBJ_TYPE * obj)
  209. {
  210. MEM_OBJ mobj = container_of(obj, MEM_OBJ_TYPE, obj);
  211. SYSTEM_LOCK();
  212. MEM_AREA area, found = NULL;
  213. LISTP_FOR_EACH_ENTRY(area, &mgr->area_list, __list)
  214. if (mobj >= area->objs && mobj < area->objs + area->size) {
  215. found = area;
  216. break;
  217. }
  218. if (found) {
  219. INIT_LIST_HEAD(mobj, __list);
  220. LISTP_ADD_TAIL(mobj, &mgr->free_list, __list);
  221. CHECK_LIST_HEAD(MEM_OBJ, &mgr->free_list, __list);
  222. }
  223. SYSTEM_UNLOCK();
  224. }
  225. #endif /* MEMMGR_H */