blob: 2631c9bdce2d7f06329416818755d1bfc43e49ca [file] [log] [blame]
Igor Kudrin11741ce2016-10-07 08:48:28 +00001//===------------------------ fallback_malloc.cpp -------------------------===//
Howard Hinnantf46a3f82012-01-24 21:41:27 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
Howard Hinnantf46a3f82012-01-24 21:41:27 +00008//===----------------------------------------------------------------------===//
9
Igor Kudrin11741ce2016-10-07 08:48:28 +000010#include "fallback_malloc.h"
11
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000012#include "config.h"
Asiri Rathnayake9c4469c2017-01-03 12:58:34 +000013#include <__threading_support>
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000014
Igor Kudrin11741ce2016-10-07 08:48:28 +000015#include <cstdlib> // for malloc, calloc, free
16#include <cstring> // for memset
17
Igor Kudrin11741ce2016-10-07 08:48:28 +000018// A small, simple heap manager based (loosely) on
Howard Hinnantf46a3f82012-01-24 21:41:27 +000019// the startup heap manager from FreeBSD, optimized for space.
20//
21// Manages a fixed-size memory pool, supports malloc and free only.
22// No support for realloc.
23//
24// Allocates chunks in multiples of four bytes, with a four byte header
25// for each chunk. The overhead of each chunk is kept low by keeping pointers
26// as two byte offsets within the heap, rather than (4 or 8 byte) pointers.
27
28namespace {
29
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000030// When POSIX threads are not available, make the mutex operations a nop
Asiri Rathnayakef5ebef92016-09-21 09:09:32 +000031#ifndef _LIBCXXABI_HAS_NO_THREADS
Asiri Rathnayake9c4469c2017-01-03 12:58:34 +000032_LIBCPP_SAFE_STATIC
33static std::__libcpp_mutex_t heap_mutex = _LIBCPP_MUTEX_INITIALIZER;
Asiri Rathnayakef5ebef92016-09-21 09:09:32 +000034#else
Eric Fiselier458afaa2017-03-04 03:23:15 +000035static void* heap_mutex = 0;
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000036#endif
Howard Hinnantf46a3f82012-01-24 21:41:27 +000037
38class mutexor {
39public:
Asiri Rathnayakef5ebef92016-09-21 09:09:32 +000040#ifndef _LIBCXXABI_HAS_NO_THREADS
Eric Fiselier458afaa2017-03-04 03:23:15 +000041 mutexor(std::__libcpp_mutex_t* m) : mtx_(m) {
42 std::__libcpp_mutex_lock(mtx_);
43 }
44 ~mutexor() { std::__libcpp_mutex_unlock(mtx_); }
Asiri Rathnayakef5ebef92016-09-21 09:09:32 +000045#else
Eric Fiselier458afaa2017-03-04 03:23:15 +000046 mutexor(void*) {}
47 ~mutexor() {}
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000048#endif
Howard Hinnantf46a3f82012-01-24 21:41:27 +000049private:
Eric Fiselier458afaa2017-03-04 03:23:15 +000050 mutexor(const mutexor& rhs);
51 mutexor& operator=(const mutexor& rhs);
Asiri Rathnayakef5ebef92016-09-21 09:09:32 +000052#ifndef _LIBCXXABI_HAS_NO_THREADS
Eric Fiselier458afaa2017-03-04 03:23:15 +000053 std::__libcpp_mutex_t* mtx_;
Jonathan Roelofsf82302a2014-05-06 21:30:56 +000054#endif
Asiri Rathnayake9c4469c2017-01-03 12:58:34 +000055};
Howard Hinnantf46a3f82012-01-24 21:41:27 +000056
Igor Kudrin11741ce2016-10-07 08:48:28 +000057static const size_t HEAP_SIZE = 512;
Eric Fiselier458afaa2017-03-04 03:23:15 +000058char heap[HEAP_SIZE] __attribute__((aligned));
Howard Hinnantf46a3f82012-01-24 21:41:27 +000059
60typedef unsigned short heap_offset;
61typedef unsigned short heap_size;
62
63struct heap_node {
Eric Fiselier458afaa2017-03-04 03:23:15 +000064 heap_offset next_node; // offset into heap
65 heap_size len; // size in units of "sizeof(heap_node)"
Howard Hinnantf46a3f82012-01-24 21:41:27 +000066};
67
Eric Fiselier458afaa2017-03-04 03:23:15 +000068static const heap_node* list_end =
69 (heap_node*)(&heap[HEAP_SIZE]); // one past the end of the heap
70static heap_node* freelist = NULL;
Howard Hinnantf46a3f82012-01-24 21:41:27 +000071
Eric Fiselier458afaa2017-03-04 03:23:15 +000072heap_node* node_from_offset(const heap_offset offset) {
73 return (heap_node*)(heap + (offset * sizeof(heap_node)));
74}
Howard Hinnantf46a3f82012-01-24 21:41:27 +000075
Eric Fiselier458afaa2017-03-04 03:23:15 +000076heap_offset offset_from_node(const heap_node* ptr) {
77 return static_cast<heap_offset>(
78 static_cast<size_t>(reinterpret_cast<const char*>(ptr) - heap) /
79 sizeof(heap_node));
80}
Igor Kudrin11741ce2016-10-07 08:48:28 +000081
Eric Fiselier458afaa2017-03-04 03:23:15 +000082void init_heap() {
83 freelist = (heap_node*)heap;
84 freelist->next_node = offset_from_node(list_end);
85 freelist->len = HEAP_SIZE / sizeof(heap_node);
86}
Igor Kudrin11741ce2016-10-07 08:48:28 +000087
Howard Hinnantf46a3f82012-01-24 21:41:27 +000088// How big a chunk we allocate
Eric Fiselier458afaa2017-03-04 03:23:15 +000089size_t alloc_size(size_t len) {
90 return (len + sizeof(heap_node) - 1) / sizeof(heap_node) + 1;
91}
Howard Hinnantf46a3f82012-01-24 21:41:27 +000092
Eric Fiselier458afaa2017-03-04 03:23:15 +000093bool is_fallback_ptr(void* ptr) {
94 return ptr >= heap && ptr < (heap + HEAP_SIZE);
95}
Howard Hinnantf46a3f82012-01-24 21:41:27 +000096
Eric Fiselier458afaa2017-03-04 03:23:15 +000097void* fallback_malloc(size_t len) {
98 heap_node *p, *prev;
99 const size_t nelems = alloc_size(len);
100 mutexor mtx(&heap_mutex);
Igor Kudrin11741ce2016-10-07 08:48:28 +0000101
Eric Fiselier458afaa2017-03-04 03:23:15 +0000102 if (NULL == freelist)
103 init_heap();
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000104
Eric Fiselier458afaa2017-03-04 03:23:15 +0000105 // Walk the free list, looking for a "big enough" chunk
106 for (p = freelist, prev = 0; p && p != list_end;
107 prev = p, p = node_from_offset(p->next_node)) {
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000108
Eric Fiselier458afaa2017-03-04 03:23:15 +0000109 if (p->len > nelems) { // chunk is larger, shorten, and return the tail
110 heap_node* q;
Saleem Abdulrasool4de9d402015-06-03 17:25:35 +0000111
Eric Fiselier458afaa2017-03-04 03:23:15 +0000112 p->len = static_cast<heap_size>(p->len - nelems);
113 q = p + p->len;
114 q->next_node = 0;
115 q->len = static_cast<heap_size>(nelems);
116 return (void*)(q + 1);
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000117 }
Eric Fiselier458afaa2017-03-04 03:23:15 +0000118
119 if (p->len == nelems) { // exact size match
120 if (prev == 0)
121 freelist = node_from_offset(p->next_node);
122 else
123 prev->next_node = p->next_node;
124 p->next_node = 0;
125 return (void*)(p + 1);
126 }
127 }
128 return NULL; // couldn't find a spot big enough
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000129}
130
131// Return the start of the next block
Eric Fiselier458afaa2017-03-04 03:23:15 +0000132heap_node* after(struct heap_node* p) { return p + p->len; }
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000133
Eric Fiselier458afaa2017-03-04 03:23:15 +0000134void fallback_free(void* ptr) {
135 struct heap_node* cp = ((struct heap_node*)ptr) - 1; // retrieve the chunk
136 struct heap_node *p, *prev;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000137
Eric Fiselier458afaa2017-03-04 03:23:15 +0000138 mutexor mtx(&heap_mutex);
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000139
140#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000141 std::cout << "Freeing item at " << offset_from_node(cp) << " of size "
142 << cp->len << std::endl;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000143#endif
144
Eric Fiselier458afaa2017-03-04 03:23:15 +0000145 for (p = freelist, prev = 0; p && p != list_end;
146 prev = p, p = node_from_offset(p->next_node)) {
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000147#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000148 std::cout << " p, cp, after (p), after(cp) " << offset_from_node(p) << ' '
149 << offset_from_node(cp) << ' ' << offset_from_node(after(p))
150 << ' ' << offset_from_node(after(cp)) << std::endl;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000151#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000152 if (after(p) == cp) {
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000153#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000154 std::cout << " Appending onto chunk at " << offset_from_node(p)
155 << std::endl;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000156#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000157 p->len = static_cast<heap_size>(
158 p->len + cp->len); // make the free heap_node larger
159 return;
160 } else if (after(cp) == p) { // there's a free heap_node right after
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000161#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000162 std::cout << " Appending free chunk at " << offset_from_node(p)
163 << std::endl;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000164#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000165 cp->len = static_cast<heap_size>(cp->len + p->len);
166 if (prev == 0) {
167 freelist = cp;
168 cp->next_node = p->next_node;
169 } else
170 prev->next_node = offset_from_node(cp);
171 return;
172 }
173 }
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000174// Nothing to merge with, add it to the start of the free list
175#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000176 std::cout << " Making new free list entry " << offset_from_node(cp)
177 << std::endl;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000178#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000179 cp->next_node = offset_from_node(freelist);
180 freelist = cp;
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000181}
182
183#ifdef INSTRUMENT_FALLBACK_MALLOC
Eric Fiselier458afaa2017-03-04 03:23:15 +0000184size_t print_free_list() {
185 struct heap_node *p, *prev;
186 heap_size total_free = 0;
187 if (NULL == freelist)
188 init_heap();
Igor Kudrin11741ce2016-10-07 08:48:28 +0000189
Eric Fiselier458afaa2017-03-04 03:23:15 +0000190 for (p = freelist, prev = 0; p && p != list_end;
191 prev = p, p = node_from_offset(p->next_node)) {
192 std::cout << (prev == 0 ? "" : " ") << "Offset: " << offset_from_node(p)
193 << "\tsize: " << p->len << " Next: " << p->next_node << std::endl;
194 total_free += p->len;
195 }
196 std::cout << "Total Free space: " << total_free << std::endl;
197 return total_free;
198}
Howard Hinnantf46a3f82012-01-24 21:41:27 +0000199#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000200} // end unnamed namespace
Igor Kudrin11741ce2016-10-07 08:48:28 +0000201
202namespace __cxxabiv1 {
203
Eric Fiselier458afaa2017-03-04 03:23:15 +0000204struct __attribute__((aligned)) __aligned_type {};
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000205
Eric Fiselier458afaa2017-03-04 03:23:15 +0000206void* __aligned_malloc_with_fallback(size_t size) {
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000207#if defined(_WIN32)
Eric Fiselier458afaa2017-03-04 03:23:15 +0000208 if (void* dest = _aligned_malloc(size, alignof(__aligned_type)))
209 return dest;
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000210#elif defined(_LIBCPP_HAS_NO_ALIGNED_ALLOCATION)
Eric Fiselier458afaa2017-03-04 03:23:15 +0000211 if (void* dest = std::malloc(size))
212 return dest;
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000213#else
Eric Fiselier458afaa2017-03-04 03:23:15 +0000214 if (size == 0)
215 size = 1;
216 void* dest;
217 if (::posix_memalign(&dest, alignof(__aligned_type), size) == 0)
218 return dest;
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000219#endif
Eric Fiselier458afaa2017-03-04 03:23:15 +0000220 return fallback_malloc(size);
Igor Kudrin11741ce2016-10-07 08:48:28 +0000221}
222
Eric Fiselier458afaa2017-03-04 03:23:15 +0000223void* __calloc_with_fallback(size_t count, size_t size) {
224 void* ptr = std::calloc(count, size);
225 if (NULL != ptr)
Igor Kudrin11741ce2016-10-07 08:48:28 +0000226 return ptr;
Eric Fiselier458afaa2017-03-04 03:23:15 +0000227 // if calloc fails, fall back to emergency stash
228 ptr = fallback_malloc(size * count);
229 if (NULL != ptr)
230 std::memset(ptr, 0, size * count);
231 return ptr;
Igor Kudrin11741ce2016-10-07 08:48:28 +0000232}
233
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000234void __aligned_free_with_fallback(void* ptr) {
235 if (is_fallback_ptr(ptr))
Eric Fiselier458afaa2017-03-04 03:23:15 +0000236 fallback_free(ptr);
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000237 else {
238#if defined(_WIN32)
Eric Fiselier458afaa2017-03-04 03:23:15 +0000239 ::_aligned_free(ptr);
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000240#else
Eric Fiselier458afaa2017-03-04 03:23:15 +0000241 std::free(ptr);
Eric Fiselierbe1d3492017-03-04 02:04:45 +0000242#endif
243 }
244}
245
Eric Fiselier458afaa2017-03-04 03:23:15 +0000246void __free_with_fallback(void* ptr) {
247 if (is_fallback_ptr(ptr))
248 fallback_free(ptr);
249 else
250 std::free(ptr);
Igor Kudrin11741ce2016-10-07 08:48:28 +0000251}
252
Igor Kudrin11741ce2016-10-07 08:48:28 +0000253} // namespace __cxxabiv1