Howard Hinnant | 987afbe | 2011-12-06 18:01:47 +0000 | [diff] [blame] | 1 | //===--------------------- test_fallback_malloc.cpp -----------------------===// |
| 2 | // |
Chandler Carruth | 57b08b0 | 2019-01-19 10:56:40 +0000 | [diff] [blame] | 3 | // 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 Hinnant | 987afbe | 2011-12-06 18:01:47 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 9 | #include <cstdio> |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 10 | #include <deque> |
| 11 | |
Asiri Rathnayake | 97ba9fa | 2017-01-03 12:58:34 +0000 | [diff] [blame] | 12 | #include <__threading_support> |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 13 | |
| 14 | typedef std::deque<void *> container; |
| 15 | |
| 16 | // #define DEBUG_FALLBACK_MALLOC |
| 17 | #define INSTRUMENT_FALLBACK_MALLOC |
Igor Kudrin | d9edde4 | 2016-10-07 08:48:28 +0000 | [diff] [blame] | 18 | #include "../src/fallback_malloc.cpp" |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 19 | |
| 20 | container alloc_series ( size_t sz ) { |
| 21 | container ptrs; |
| 22 | void *p; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 23 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 24 | while ( NULL != ( p = fallback_malloc ( sz ))) |
| 25 | ptrs.push_back ( p ); |
| 26 | return ptrs; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 27 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 28 | |
| 29 | container alloc_series ( size_t sz, float growth ) { |
| 30 | container ptrs; |
| 31 | void *p; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 32 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 33 | while ( NULL != ( p = fallback_malloc ( sz ))) { |
| 34 | ptrs.push_back ( p ); |
| 35 | sz *= growth; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 36 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 37 | |
| 38 | return ptrs; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 39 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 40 | |
| 41 | container alloc_series ( const size_t *first, size_t len ) { |
| 42 | container ptrs; |
| 43 | const size_t *last = first + len; |
| 44 | void * p; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 45 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 46 | for ( const size_t *iter = first; iter != last; ++iter ) { |
| 47 | if ( NULL == (p = fallback_malloc ( *iter ))) |
| 48 | break; |
| 49 | ptrs.push_back ( p ); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 50 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 51 | |
| 52 | return ptrs; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 53 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 54 | |
| 55 | void *pop ( container &c, bool from_end ) { |
| 56 | void *ptr; |
| 57 | if ( from_end ) { |
| 58 | ptr = c.back (); |
| 59 | c.pop_back (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 60 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 61 | else { |
| 62 | ptr = c.front (); |
| 63 | c.pop_front (); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 64 | } |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 65 | return ptr; |
| 66 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 67 | |
| 68 | void exhaustion_test1 () { |
| 69 | container ptrs; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 70 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 71 | init_heap (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 72 | std::printf("Constant exhaustion tests\n"); |
| 73 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 74 | // Delete in allocation order |
| 75 | ptrs = alloc_series ( 32 ); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 76 | std::printf("Allocated %zu 32 byte chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 77 | print_free_list (); |
| 78 | for ( container::iterator iter = ptrs.begin (); iter != ptrs.end (); ++iter ) |
| 79 | fallback_free ( *iter ); |
| 80 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 81 | std::printf("----\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 82 | |
| 83 | // Delete in reverse order |
| 84 | ptrs = alloc_series ( 32 ); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 85 | std::printf("Allocated %zu 32 byte chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 86 | for ( container::reverse_iterator iter = ptrs.rbegin (); iter != ptrs.rend (); ++iter ) |
| 87 | fallback_free ( *iter ); |
| 88 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 89 | std::printf("----\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 90 | |
| 91 | // Alternate deletions |
| 92 | ptrs = alloc_series ( 32 ); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 93 | std::printf("Allocated %zu 32 byte chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 94 | while ( ptrs.size () > 0 ) |
| 95 | fallback_free ( pop ( ptrs, ptrs.size () % 1 == 1 )); |
| 96 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 97 | } |
| 98 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 99 | void exhaustion_test2 () { |
| 100 | container ptrs; |
| 101 | init_heap (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 102 | |
| 103 | std::printf("Growing exhaustion tests\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 104 | |
| 105 | // Delete in allocation order |
| 106 | ptrs = alloc_series ( 32, 1.5 ); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 107 | |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 108 | std::printf("Allocated %zu { 32, 48, 72, 108, 162 ... } byte chunks\n", |
| 109 | ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 110 | print_free_list (); |
| 111 | for ( container::iterator iter = ptrs.begin (); iter != ptrs.end (); ++iter ) |
| 112 | fallback_free ( *iter ); |
| 113 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 114 | std::printf("----\n"); |
| 115 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 116 | // Delete in reverse order |
| 117 | print_free_list (); |
| 118 | ptrs = alloc_series ( 32, 1.5 ); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 119 | std::printf("Allocated %zu { 32, 48, 72, 108, 162 ... } byte chunks\n", |
| 120 | ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 121 | for ( container::reverse_iterator iter = ptrs.rbegin (); iter != ptrs.rend (); ++iter ) |
| 122 | fallback_free ( *iter ); |
| 123 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 124 | std::printf("----\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 125 | |
| 126 | // Alternate deletions |
| 127 | ptrs = alloc_series ( 32, 1.5 ); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 128 | std::printf("Allocated %zu { 32, 48, 72, 108, 162 ... } byte chunks\n", |
| 129 | ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 130 | while ( ptrs.size () > 0 ) |
| 131 | fallback_free ( pop ( ptrs, ptrs.size () % 1 == 1 )); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 132 | print_free_list (); |
| 133 | |
| 134 | } |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 135 | |
| 136 | void exhaustion_test3 () { |
| 137 | const size_t allocs [] = { 124, 60, 252, 60, 4 }; |
| 138 | container ptrs; |
| 139 | init_heap (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 140 | |
| 141 | std::printf("Complete exhaustion tests\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 142 | |
| 143 | // Delete in allocation order |
| 144 | ptrs = alloc_series ( allocs, sizeof ( allocs ) / sizeof ( allocs[0] )); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 145 | std::printf("Allocated %zu chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 146 | print_free_list (); |
| 147 | for ( container::iterator iter = ptrs.begin (); iter != ptrs.end (); ++iter ) |
| 148 | fallback_free ( *iter ); |
| 149 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 150 | std::printf("----\n"); |
| 151 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 152 | // Delete in reverse order |
| 153 | print_free_list (); |
| 154 | ptrs = alloc_series ( allocs, sizeof ( allocs ) / sizeof ( allocs[0] )); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 155 | std::printf("Allocated %zu chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 156 | for ( container::reverse_iterator iter = ptrs.rbegin (); iter != ptrs.rend (); ++iter ) |
| 157 | fallback_free ( *iter ); |
| 158 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 159 | std::printf("----\n"); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 160 | |
| 161 | // Alternate deletions |
| 162 | ptrs = alloc_series ( allocs, sizeof ( allocs ) / sizeof ( allocs[0] )); |
Simon Tatham | bcb7b87 | 2020-10-16 13:59:10 +0100 | [diff] [blame^] | 163 | std::printf("Allocated %zu chunks\n", ptrs.size()); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 164 | while ( ptrs.size () > 0 ) |
| 165 | fallback_free ( pop ( ptrs, ptrs.size () % 1 == 1 )); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 166 | print_free_list (); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 167 | |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 168 | } |
| 169 | |
| 170 | |
Eric Fiselier | a140cba | 2016-12-24 00:37:13 +0000 | [diff] [blame] | 171 | int main () { |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 172 | print_free_list (); |
| 173 | |
| 174 | char *p = (char *) fallback_malloc ( 1024 ); // too big! |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 175 | std::printf("fallback_malloc ( 1024 ) --> %lu\n", (unsigned long ) p); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 176 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 177 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 178 | p = (char *) fallback_malloc ( 32 ); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 179 | std::printf("fallback_malloc ( 32 ) --> %lu\n", (unsigned long) (p - heap)); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 180 | if ( !is_fallback_ptr ( p )) |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 181 | std::printf("### p is not a fallback pointer!!\n"); |
| 182 | |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 183 | print_free_list (); |
| 184 | fallback_free ( p ); |
| 185 | print_free_list (); |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 186 | |
| 187 | exhaustion_test1(); |
| 188 | exhaustion_test2(); |
| 189 | exhaustion_test3(); |
Marshall Clow | e2dcb75 | 2011-07-20 15:04:39 +0000 | [diff] [blame] | 190 | return 0; |
Louis Dionne | cc69d21 | 2020-10-13 15:47:31 -0400 | [diff] [blame] | 191 | } |