blob: 8f301bcacd14cf7ef992fef32c2198cfc5ce9a52 [file] [log] [blame]
Igor Kudrind9edde42016-10-07 08:48:281//===------------------------ fallback_malloc.cpp -------------------------===//
Howard Hinnant73ab1862012-01-24 21:41:272//
Chandler Carruth57b08b02019-01-19 10:56:403// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnant73ab1862012-01-24 21:41:276//
Howard Hinnant73ab1862012-01-24 21:41:277//===----------------------------------------------------------------------===//
8
Eric Fiselier51fbb2e2018-10-11 00:18:549// Define _LIBCPP_BUILDING_LIBRARY to ensure _LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION
Eric Fiselier4b47cbc2018-09-22 19:22:3610// is only defined when libc aligned allocation is not available.
11#define _LIBCPP_BUILDING_LIBRARY
Igor Kudrind9edde42016-10-07 08:48:2812#include "fallback_malloc.h"
13
Asiri Rathnayake97ba9fa2017-01-03 12:58:3414#include <__threading_support>
Petr Hosek996e62e2019-05-30 01:34:4115#ifndef _LIBCXXABI_HAS_NO_THREADS
Yi Kongd8bdb922019-07-22 20:41:0316#if defined(__unix__) && !defined(__ANDROID__) && defined(__ELF__) && defined(_LIBCXXABI_HAS_COMMENT_LIB_PRAGMA)
Petr Hosek996e62e2019-05-30 01:34:4117#pragma comment(lib, "pthread")
18#endif
19#endif
Jonathan Roelofs40e98422014-05-06 21:30:5620
Louis Dionne04501a22019-10-01 18:43:0221#include <stdlib.h> // for malloc, calloc, free
22#include <string.h> // for memset
Igor Kudrind9edde42016-10-07 08:48:2823
Igor Kudrind9edde42016-10-07 08:48:2824// A small, simple heap manager based (loosely) on
Howard Hinnant73ab1862012-01-24 21:41:2725// the startup heap manager from FreeBSD, optimized for space.
26//
27// Manages a fixed-size memory pool, supports malloc and free only.
28// No support for realloc.
29//
30// Allocates chunks in multiples of four bytes, with a four byte header
31// for each chunk. The overhead of each chunk is kept low by keeping pointers
32// as two byte offsets within the heap, rather than (4 or 8 byte) pointers.
33
34namespace {
35
Jonathan Roelofs40e98422014-05-06 21:30:5636// When POSIX threads are not available, make the mutex operations a nop
Asiri Rathnayake7c98baa2016-09-21 09:09:3237#ifndef _LIBCXXABI_HAS_NO_THREADS
Asiri Rathnayake97ba9fa2017-01-03 12:58:3438_LIBCPP_SAFE_STATIC
39static std::__libcpp_mutex_t heap_mutex = _LIBCPP_MUTEX_INITIALIZER;
Asiri Rathnayake7c98baa2016-09-21 09:09:3240#else
Eric Fiselier8524cba2017-03-04 03:23:1541static void* heap_mutex = 0;
Jonathan Roelofs40e98422014-05-06 21:30:5642#endif
Howard Hinnant73ab1862012-01-24 21:41:2743
44class mutexor {
45public:
Asiri Rathnayake7c98baa2016-09-21 09:09:3246#ifndef _LIBCXXABI_HAS_NO_THREADS
Eric Fiselier8524cba2017-03-04 03:23:1547 mutexor(std::__libcpp_mutex_t* m) : mtx_(m) {
48 std::__libcpp_mutex_lock(mtx_);
49 }
50 ~mutexor() { std::__libcpp_mutex_unlock(mtx_); }
Asiri Rathnayake7c98baa2016-09-21 09:09:3251#else
Eric Fiselier8524cba2017-03-04 03:23:1552 mutexor(void*) {}
53 ~mutexor() {}
Jonathan Roelofs40e98422014-05-06 21:30:5654#endif
Howard Hinnant73ab1862012-01-24 21:41:2755private:
Eric Fiselier8524cba2017-03-04 03:23:1556 mutexor(const mutexor& rhs);
57 mutexor& operator=(const mutexor& rhs);
Asiri Rathnayake7c98baa2016-09-21 09:09:3258#ifndef _LIBCXXABI_HAS_NO_THREADS
Eric Fiselier8524cba2017-03-04 03:23:1559 std::__libcpp_mutex_t* mtx_;
Jonathan Roelofs40e98422014-05-06 21:30:5660#endif
Asiri Rathnayake97ba9fa2017-01-03 12:58:3461};
Howard Hinnant73ab1862012-01-24 21:41:2762
Igor Kudrind9edde42016-10-07 08:48:2863static const size_t HEAP_SIZE = 512;
Eric Fiselier8524cba2017-03-04 03:23:1564char heap[HEAP_SIZE] __attribute__((aligned));
Howard Hinnant73ab1862012-01-24 21:41:2765
66typedef unsigned short heap_offset;
67typedef unsigned short heap_size;
68
69struct heap_node {
Eric Fiselier8524cba2017-03-04 03:23:1570 heap_offset next_node; // offset into heap
71 heap_size len; // size in units of "sizeof(heap_node)"
Howard Hinnant73ab1862012-01-24 21:41:2772};
73
Eric Fiselier8524cba2017-03-04 03:23:1574static const heap_node* list_end =
75 (heap_node*)(&heap[HEAP_SIZE]); // one past the end of the heap
76static heap_node* freelist = NULL;
Howard Hinnant73ab1862012-01-24 21:41:2777
Eric Fiselier8524cba2017-03-04 03:23:1578heap_node* node_from_offset(const heap_offset offset) {
79 return (heap_node*)(heap + (offset * sizeof(heap_node)));
80}
Howard Hinnant73ab1862012-01-24 21:41:2781
Eric Fiselier8524cba2017-03-04 03:23:1582heap_offset offset_from_node(const heap_node* ptr) {
83 return static_cast<heap_offset>(
84 static_cast<size_t>(reinterpret_cast<const char*>(ptr) - heap) /
85 sizeof(heap_node));
86}
Igor Kudrind9edde42016-10-07 08:48:2887
Eric Fiselier8524cba2017-03-04 03:23:1588void init_heap() {
89 freelist = (heap_node*)heap;
90 freelist->next_node = offset_from_node(list_end);
91 freelist->len = HEAP_SIZE / sizeof(heap_node);
92}
Igor Kudrind9edde42016-10-07 08:48:2893
Howard Hinnant73ab1862012-01-24 21:41:2794// How big a chunk we allocate
Eric Fiselier8524cba2017-03-04 03:23:1595size_t alloc_size(size_t len) {
96 return (len + sizeof(heap_node) - 1) / sizeof(heap_node) + 1;
97}
Howard Hinnant73ab1862012-01-24 21:41:2798
Eric Fiselier8524cba2017-03-04 03:23:1599bool is_fallback_ptr(void* ptr) {
100 return ptr >= heap && ptr < (heap + HEAP_SIZE);
101}
Howard Hinnant73ab1862012-01-24 21:41:27102
Eric Fiselier8524cba2017-03-04 03:23:15103void* fallback_malloc(size_t len) {
104 heap_node *p, *prev;
105 const size_t nelems = alloc_size(len);
106 mutexor mtx(&heap_mutex);
Igor Kudrind9edde42016-10-07 08:48:28107
Eric Fiselier8524cba2017-03-04 03:23:15108 if (NULL == freelist)
109 init_heap();
Howard Hinnant73ab1862012-01-24 21:41:27110
Eric Fiselier8524cba2017-03-04 03:23:15111 // Walk the free list, looking for a "big enough" chunk
112 for (p = freelist, prev = 0; p && p != list_end;
113 prev = p, p = node_from_offset(p->next_node)) {
Howard Hinnant73ab1862012-01-24 21:41:27114
Eric Fiselier8524cba2017-03-04 03:23:15115 if (p->len > nelems) { // chunk is larger, shorten, and return the tail
116 heap_node* q;
Saleem Abdulrasool8d5ab872015-06-03 17:25:35117
Eric Fiselier8524cba2017-03-04 03:23:15118 p->len = static_cast<heap_size>(p->len - nelems);
119 q = p + p->len;
120 q->next_node = 0;
121 q->len = static_cast<heap_size>(nelems);
122 return (void*)(q + 1);
Howard Hinnant73ab1862012-01-24 21:41:27123 }
Eric Fiselier8524cba2017-03-04 03:23:15124
125 if (p->len == nelems) { // exact size match
126 if (prev == 0)
127 freelist = node_from_offset(p->next_node);
128 else
129 prev->next_node = p->next_node;
130 p->next_node = 0;
131 return (void*)(p + 1);
132 }
133 }
134 return NULL; // couldn't find a spot big enough
Howard Hinnant73ab1862012-01-24 21:41:27135}
136
137// Return the start of the next block
Eric Fiselier8524cba2017-03-04 03:23:15138heap_node* after(struct heap_node* p) { return p + p->len; }
Howard Hinnant73ab1862012-01-24 21:41:27139
Eric Fiselier8524cba2017-03-04 03:23:15140void fallback_free(void* ptr) {
141 struct heap_node* cp = ((struct heap_node*)ptr) - 1; // retrieve the chunk
142 struct heap_node *p, *prev;
Howard Hinnant73ab1862012-01-24 21:41:27143
Eric Fiselier8524cba2017-03-04 03:23:15144 mutexor mtx(&heap_mutex);
Howard Hinnant73ab1862012-01-24 21:41:27145
146#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15147 std::cout << "Freeing item at " << offset_from_node(cp) << " of size "
148 << cp->len << std::endl;
Howard Hinnant73ab1862012-01-24 21:41:27149#endif
150
Eric Fiselier8524cba2017-03-04 03:23:15151 for (p = freelist, prev = 0; p && p != list_end;
152 prev = p, p = node_from_offset(p->next_node)) {
Howard Hinnant73ab1862012-01-24 21:41:27153#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15154 std::cout << " p, cp, after (p), after(cp) " << offset_from_node(p) << ' '
155 << offset_from_node(cp) << ' ' << offset_from_node(after(p))
156 << ' ' << offset_from_node(after(cp)) << std::endl;
Howard Hinnant73ab1862012-01-24 21:41:27157#endif
Eric Fiselier8524cba2017-03-04 03:23:15158 if (after(p) == cp) {
Howard Hinnant73ab1862012-01-24 21:41:27159#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15160 std::cout << " Appending onto chunk at " << offset_from_node(p)
161 << std::endl;
Howard Hinnant73ab1862012-01-24 21:41:27162#endif
Eric Fiselier8524cba2017-03-04 03:23:15163 p->len = static_cast<heap_size>(
164 p->len + cp->len); // make the free heap_node larger
165 return;
166 } else if (after(cp) == p) { // there's a free heap_node right after
Howard Hinnant73ab1862012-01-24 21:41:27167#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15168 std::cout << " Appending free chunk at " << offset_from_node(p)
169 << std::endl;
Howard Hinnant73ab1862012-01-24 21:41:27170#endif
Eric Fiselier8524cba2017-03-04 03:23:15171 cp->len = static_cast<heap_size>(cp->len + p->len);
172 if (prev == 0) {
173 freelist = cp;
174 cp->next_node = p->next_node;
175 } else
176 prev->next_node = offset_from_node(cp);
177 return;
178 }
179 }
Howard Hinnant73ab1862012-01-24 21:41:27180// Nothing to merge with, add it to the start of the free list
181#ifdef DEBUG_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15182 std::cout << " Making new free list entry " << offset_from_node(cp)
183 << std::endl;
Howard Hinnant73ab1862012-01-24 21:41:27184#endif
Eric Fiselier8524cba2017-03-04 03:23:15185 cp->next_node = offset_from_node(freelist);
186 freelist = cp;
Howard Hinnant73ab1862012-01-24 21:41:27187}
188
189#ifdef INSTRUMENT_FALLBACK_MALLOC
Eric Fiselier8524cba2017-03-04 03:23:15190size_t print_free_list() {
191 struct heap_node *p, *prev;
192 heap_size total_free = 0;
193 if (NULL == freelist)
194 init_heap();
Igor Kudrind9edde42016-10-07 08:48:28195
Eric Fiselier8524cba2017-03-04 03:23:15196 for (p = freelist, prev = 0; p && p != list_end;
197 prev = p, p = node_from_offset(p->next_node)) {
198 std::cout << (prev == 0 ? "" : " ") << "Offset: " << offset_from_node(p)
199 << "\tsize: " << p->len << " Next: " << p->next_node << std::endl;
200 total_free += p->len;
201 }
202 std::cout << "Total Free space: " << total_free << std::endl;
203 return total_free;
204}
Howard Hinnant73ab1862012-01-24 21:41:27205#endif
Eric Fiselier8524cba2017-03-04 03:23:15206} // end unnamed namespace
Igor Kudrind9edde42016-10-07 08:48:28207
208namespace __cxxabiv1 {
209
Eric Fiselier8524cba2017-03-04 03:23:15210struct __attribute__((aligned)) __aligned_type {};
Eric Fiselierc74a2e12017-03-04 02:04:45211
Eric Fiselier8524cba2017-03-04 03:23:15212void* __aligned_malloc_with_fallback(size_t size) {
Eric Fiselierc74a2e12017-03-04 02:04:45213#if defined(_WIN32)
Eric Fiselier8524cba2017-03-04 03:23:15214 if (void* dest = _aligned_malloc(size, alignof(__aligned_type)))
215 return dest;
Eric Fiselier51fbb2e2018-10-11 00:18:54216#elif defined(_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION)
Louis Dionne04501a22019-10-01 18:43:02217 if (void* dest = ::malloc(size))
Eric Fiselier8524cba2017-03-04 03:23:15218 return dest;
Eric Fiselierc74a2e12017-03-04 02:04:45219#else
Eric Fiselier8524cba2017-03-04 03:23:15220 if (size == 0)
221 size = 1;
222 void* dest;
Eric Fiselier426ec262018-10-11 03:01:14223 if (::posix_memalign(&dest, __alignof(__aligned_type), size) == 0)
Eric Fiselier8524cba2017-03-04 03:23:15224 return dest;
Eric Fiselierc74a2e12017-03-04 02:04:45225#endif
Eric Fiselier8524cba2017-03-04 03:23:15226 return fallback_malloc(size);
Igor Kudrind9edde42016-10-07 08:48:28227}
228
Eric Fiselier8524cba2017-03-04 03:23:15229void* __calloc_with_fallback(size_t count, size_t size) {
Louis Dionne04501a22019-10-01 18:43:02230 void* ptr = ::calloc(count, size);
Eric Fiselier8524cba2017-03-04 03:23:15231 if (NULL != ptr)
Igor Kudrind9edde42016-10-07 08:48:28232 return ptr;
Eric Fiselier8524cba2017-03-04 03:23:15233 // if calloc fails, fall back to emergency stash
234 ptr = fallback_malloc(size * count);
235 if (NULL != ptr)
Louis Dionne04501a22019-10-01 18:43:02236 ::memset(ptr, 0, size * count);
Eric Fiselier8524cba2017-03-04 03:23:15237 return ptr;
Igor Kudrind9edde42016-10-07 08:48:28238}
239
Eric Fiselierc74a2e12017-03-04 02:04:45240void __aligned_free_with_fallback(void* ptr) {
241 if (is_fallback_ptr(ptr))
Eric Fiselier8524cba2017-03-04 03:23:15242 fallback_free(ptr);
Eric Fiselierc74a2e12017-03-04 02:04:45243 else {
244#if defined(_WIN32)
Eric Fiselier8524cba2017-03-04 03:23:15245 ::_aligned_free(ptr);
Eric Fiselierc74a2e12017-03-04 02:04:45246#else
Louis Dionne04501a22019-10-01 18:43:02247 ::free(ptr);
Eric Fiselierc74a2e12017-03-04 02:04:45248#endif
249 }
250}
251
Eric Fiselier8524cba2017-03-04 03:23:15252void __free_with_fallback(void* ptr) {
253 if (is_fallback_ptr(ptr))
254 fallback_free(ptr);
255 else
Louis Dionne04501a22019-10-01 18:43:02256 ::free(ptr);
Igor Kudrind9edde42016-10-07 08:48:28257}
258
Igor Kudrind9edde42016-10-07 08:48:28259} // namespace __cxxabiv1