blob: 68e99f4be040a37ac803eef73925ef82d4dca39a [file] [log] [blame]
Vladimir Marko3e0e7172016-04-22 18:07:13 +01001/*
2 * Copyright (C) 2013 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Andreas Gampe121f1482017-05-12 10:28:35 -070017#include "base/arena_allocator-inl.h"
Vladimir Marko3e0e7172016-04-22 18:07:13 +010018#include "base/arena_bit_vector.h"
David Sehr3215fff2018-04-03 17:10:12 -070019#include "base/malloc_arena_pool.h"
Andreas Gampe6206da52016-08-22 19:14:29 -070020#include "base/memory_tool.h"
Vladimir Marko3e0e7172016-04-22 18:07:13 +010021#include "gtest/gtest.h"
22
23namespace art {
24
25class ArenaAllocatorTest : public testing::Test {
26 protected:
Vladimir Markoe764d2e2017-10-05 14:35:55 +010027 size_t NumberOfArenas(ArenaAllocator* allocator) {
Vladimir Marko3e0e7172016-04-22 18:07:13 +010028 size_t result = 0u;
Vladimir Markoe764d2e2017-10-05 14:35:55 +010029 for (Arena* a = allocator->arena_head_; a != nullptr; a = a->next_) {
Vladimir Marko3e0e7172016-04-22 18:07:13 +010030 ++result;
31 }
32 return result;
33 }
34};
35
36TEST_F(ArenaAllocatorTest, Test) {
David Sehr3215fff2018-04-03 17:10:12 -070037 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +010038 ArenaAllocator allocator(&pool);
39 ArenaBitVector bv(&allocator, 10, true);
Vladimir Marko3e0e7172016-04-22 18:07:13 +010040 bv.SetBit(5);
41 EXPECT_EQ(1U, bv.GetStorageSize());
42 bv.SetBit(35);
43 EXPECT_EQ(2U, bv.GetStorageSize());
44}
45
Vladimir Marko3f84f2c2016-04-25 19:40:34 +010046TEST_F(ArenaAllocatorTest, MakeDefined) {
47 // Regression test to make sure we mark the allocated area defined.
David Sehr3215fff2018-04-03 17:10:12 -070048 MallocArenaPool pool;
Vladimir Marko3f84f2c2016-04-25 19:40:34 +010049 static constexpr size_t kSmallArraySize = 10;
50 static constexpr size_t kLargeArraySize = 50;
51 uint32_t* small_array;
52 {
53 // Allocate a small array from an arena and release it.
Vladimir Marko69d310e2017-10-09 14:12:23 +010054 ArenaAllocator allocator(&pool);
55 small_array = allocator.AllocArray<uint32_t>(kSmallArraySize);
Vladimir Marko3f84f2c2016-04-25 19:40:34 +010056 ASSERT_EQ(0u, small_array[kSmallArraySize - 1u]);
57 }
58 {
59 // Reuse the previous arena and allocate more than previous allocation including red zone.
Vladimir Marko69d310e2017-10-09 14:12:23 +010060 ArenaAllocator allocator(&pool);
61 uint32_t* large_array = allocator.AllocArray<uint32_t>(kLargeArraySize);
Vladimir Marko3f84f2c2016-04-25 19:40:34 +010062 ASSERT_EQ(0u, large_array[kLargeArraySize - 1u]);
63 // Verify that the allocation was made on the same arena.
64 ASSERT_EQ(small_array, large_array);
65 }
66}
67
Vladimir Marko3e0e7172016-04-22 18:07:13 +010068TEST_F(ArenaAllocatorTest, LargeAllocations) {
Andreas Gampe121f1482017-05-12 10:28:35 -070069 if (arena_allocator::kArenaAllocatorPreciseTracking) {
70 printf("WARNING: TEST DISABLED FOR precise arena tracking\n");
71 return;
72 }
73
Vladimir Marko3e0e7172016-04-22 18:07:13 +010074 {
David Sehr3215fff2018-04-03 17:10:12 -070075 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +010076 ArenaAllocator allocator(&pool);
Vladimir Marko3e0e7172016-04-22 18:07:13 +010077 // Note: Leaving some space for memory tool red zones.
Vladimir Marko69d310e2017-10-09 14:12:23 +010078 void* alloc1 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 5 / 8);
79 void* alloc2 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 2 / 8);
Vladimir Marko3e0e7172016-04-22 18:07:13 +010080 ASSERT_NE(alloc1, alloc2);
Vladimir Marko69d310e2017-10-09 14:12:23 +010081 ASSERT_EQ(1u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +010082 }
83 {
David Sehr3215fff2018-04-03 17:10:12 -070084 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +010085 ArenaAllocator allocator(&pool);
86 void* alloc1 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 13 / 16);
87 void* alloc2 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 11 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +010088 ASSERT_NE(alloc1, alloc2);
Vladimir Marko69d310e2017-10-09 14:12:23 +010089 ASSERT_EQ(2u, NumberOfArenas(&allocator));
90 void* alloc3 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 7 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +010091 ASSERT_NE(alloc1, alloc3);
92 ASSERT_NE(alloc2, alloc3);
Vladimir Marko69d310e2017-10-09 14:12:23 +010093 ASSERT_EQ(3u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +010094 }
95 {
David Sehr3215fff2018-04-03 17:10:12 -070096 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +010097 ArenaAllocator allocator(&pool);
98 void* alloc1 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 13 / 16);
99 void* alloc2 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 9 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100100 ASSERT_NE(alloc1, alloc2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100101 ASSERT_EQ(2u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100102 // Note: Leaving some space for memory tool red zones.
Vladimir Marko69d310e2017-10-09 14:12:23 +0100103 void* alloc3 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 5 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100104 ASSERT_NE(alloc1, alloc3);
105 ASSERT_NE(alloc2, alloc3);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100106 ASSERT_EQ(2u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100107 }
108 {
David Sehr3215fff2018-04-03 17:10:12 -0700109 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100110 ArenaAllocator allocator(&pool);
111 void* alloc1 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 9 / 16);
112 void* alloc2 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 13 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100113 ASSERT_NE(alloc1, alloc2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100114 ASSERT_EQ(2u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100115 // Note: Leaving some space for memory tool red zones.
Vladimir Marko69d310e2017-10-09 14:12:23 +0100116 void* alloc3 = allocator.Alloc(arena_allocator::kArenaDefaultSize * 5 / 16);
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100117 ASSERT_NE(alloc1, alloc3);
118 ASSERT_NE(alloc2, alloc3);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100119 ASSERT_EQ(2u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100120 }
121 {
David Sehr3215fff2018-04-03 17:10:12 -0700122 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100123 ArenaAllocator allocator(&pool);
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100124 // Note: Leaving some space for memory tool red zones.
125 for (size_t i = 0; i != 15; ++i) {
Vladimir Marko69d310e2017-10-09 14:12:23 +0100126 // Allocate 15 times from the same arena.
127 allocator.Alloc(arena_allocator::kArenaDefaultSize * 1 / 16);
128 ASSERT_EQ(i + 1u, NumberOfArenas(&allocator));
129 // Allocate a separate arena.
130 allocator.Alloc(arena_allocator::kArenaDefaultSize * 17 / 16);
131 ASSERT_EQ(i + 2u, NumberOfArenas(&allocator));
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100132 }
133 }
134}
135
Andreas Gampec134ee72016-08-22 14:03:10 -0700136TEST_F(ArenaAllocatorTest, AllocAlignment) {
David Sehr3215fff2018-04-03 17:10:12 -0700137 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100138 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700139 for (size_t iterations = 0; iterations <= 10; ++iterations) {
140 for (size_t size = 1; size <= ArenaAllocator::kAlignment + 1; ++size) {
Vladimir Marko69d310e2017-10-09 14:12:23 +0100141 void* allocation = allocator.Alloc(size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700142 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(allocation))
143 << reinterpret_cast<uintptr_t>(allocation);
144 }
145 }
146}
147
Andreas Gampe6206da52016-08-22 19:14:29 -0700148TEST_F(ArenaAllocatorTest, ReallocReuse) {
149 // Realloc does not reuse arenas when running under sanitization. So we cannot do those
150 if (RUNNING_ON_MEMORY_TOOL != 0) {
151 printf("WARNING: TEST DISABLED FOR MEMORY_TOOL\n");
152 return;
153 }
154
155 {
156 // Case 1: small aligned allocation, aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700157 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100158 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700159
160 const size_t original_size = ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100161 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700162
163 const size_t new_size = ArenaAllocator::kAlignment * 3;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100164 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700165 EXPECT_EQ(original_allocation, realloc_allocation);
166 }
167
168 {
169 // Case 2: small aligned allocation, non-aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700170 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100171 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700172
173 const size_t original_size = ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100174 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700175
176 const size_t new_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100177 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700178 EXPECT_EQ(original_allocation, realloc_allocation);
179 }
180
181 {
182 // Case 3: small non-aligned allocation, aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700183 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100184 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700185
186 const size_t original_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100187 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700188
189 const size_t new_size = ArenaAllocator::kAlignment * 4;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100190 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700191 EXPECT_EQ(original_allocation, realloc_allocation);
192 }
193
194 {
195 // Case 4: small non-aligned allocation, aligned non-extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700196 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100197 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700198
199 const size_t original_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100200 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700201
202 const size_t new_size = ArenaAllocator::kAlignment * 3;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100203 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700204 EXPECT_EQ(original_allocation, realloc_allocation);
205 }
206
207 // The next part is brittle, as the default size for an arena is variable, and we don't know about
208 // sanitization.
209
210 {
211 // Case 5: large allocation, aligned extend into next arena.
David Sehr3215fff2018-04-03 17:10:12 -0700212 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100213 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700214
Andreas Gampe121f1482017-05-12 10:28:35 -0700215 const size_t original_size = arena_allocator::kArenaDefaultSize -
216 ArenaAllocator::kAlignment * 5;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100217 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700218
Andreas Gampe121f1482017-05-12 10:28:35 -0700219 const size_t new_size = arena_allocator::kArenaDefaultSize + ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100220 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700221 EXPECT_NE(original_allocation, realloc_allocation);
222 }
223
224 {
225 // Case 6: large allocation, non-aligned extend into next arena.
David Sehr3215fff2018-04-03 17:10:12 -0700226 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100227 ArenaAllocator allocator(&pool);
Andreas Gampe6206da52016-08-22 19:14:29 -0700228
Andreas Gampe121f1482017-05-12 10:28:35 -0700229 const size_t original_size = arena_allocator::kArenaDefaultSize -
Andreas Gampe6206da52016-08-22 19:14:29 -0700230 ArenaAllocator::kAlignment * 4 -
231 ArenaAllocator::kAlignment / 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100232 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700233
Andreas Gampe121f1482017-05-12 10:28:35 -0700234 const size_t new_size = arena_allocator::kArenaDefaultSize +
Andreas Gampe6206da52016-08-22 19:14:29 -0700235 ArenaAllocator::kAlignment * 2 +
236 ArenaAllocator::kAlignment / 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100237 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampe6206da52016-08-22 19:14:29 -0700238 EXPECT_NE(original_allocation, realloc_allocation);
239 }
240}
241
Andreas Gampec134ee72016-08-22 14:03:10 -0700242TEST_F(ArenaAllocatorTest, ReallocAlignment) {
243 {
244 // Case 1: small aligned allocation, aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700245 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100246 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700247
248 const size_t original_size = ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100249 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700250 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
251
252 const size_t new_size = ArenaAllocator::kAlignment * 3;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100253 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700254 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700255
Vladimir Marko69d310e2017-10-09 14:12:23 +0100256 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700257 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
258 }
259
260 {
261 // Case 2: small aligned allocation, non-aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700262 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100263 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700264
265 const size_t original_size = ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100266 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700267 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
268
269 const size_t new_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100270 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700271 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700272
Vladimir Marko69d310e2017-10-09 14:12:23 +0100273 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700274 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
275 }
276
277 {
278 // Case 3: small non-aligned allocation, aligned extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700279 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100280 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700281
282 const size_t original_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100283 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700284 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
285
286 const size_t new_size = ArenaAllocator::kAlignment * 4;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100287 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700288 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700289
Vladimir Marko69d310e2017-10-09 14:12:23 +0100290 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700291 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
292 }
293
294 {
295 // Case 4: small non-aligned allocation, aligned non-extend inside arena.
David Sehr3215fff2018-04-03 17:10:12 -0700296 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100297 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700298
299 const size_t original_size = ArenaAllocator::kAlignment * 2 + (ArenaAllocator::kAlignment / 2);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100300 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700301 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
302
303 const size_t new_size = ArenaAllocator::kAlignment * 3;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100304 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700305 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700306
Vladimir Marko69d310e2017-10-09 14:12:23 +0100307 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700308 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
309 }
310
311 // The next part is brittle, as the default size for an arena is variable, and we don't know about
312 // sanitization.
313
314 {
315 // Case 5: large allocation, aligned extend into next arena.
David Sehr3215fff2018-04-03 17:10:12 -0700316 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100317 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700318
Andreas Gampe121f1482017-05-12 10:28:35 -0700319 const size_t original_size = arena_allocator::kArenaDefaultSize -
320 ArenaAllocator::kAlignment * 5;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100321 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700322 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
323
Andreas Gampe121f1482017-05-12 10:28:35 -0700324 const size_t new_size = arena_allocator::kArenaDefaultSize + ArenaAllocator::kAlignment * 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100325 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700326 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700327
Vladimir Marko69d310e2017-10-09 14:12:23 +0100328 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700329 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
330 }
331
332 {
333 // Case 6: large allocation, non-aligned extend into next arena.
David Sehr3215fff2018-04-03 17:10:12 -0700334 MallocArenaPool pool;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100335 ArenaAllocator allocator(&pool);
Andreas Gampec134ee72016-08-22 14:03:10 -0700336
Andreas Gampe121f1482017-05-12 10:28:35 -0700337 const size_t original_size = arena_allocator::kArenaDefaultSize -
Andreas Gampec134ee72016-08-22 14:03:10 -0700338 ArenaAllocator::kAlignment * 4 -
339 ArenaAllocator::kAlignment / 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100340 void* original_allocation = allocator.Alloc(original_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700341 ASSERT_TRUE(IsAligned<ArenaAllocator::kAlignment>(original_allocation));
342
Andreas Gampe121f1482017-05-12 10:28:35 -0700343 const size_t new_size = arena_allocator::kArenaDefaultSize +
Andreas Gampec134ee72016-08-22 14:03:10 -0700344 ArenaAllocator::kAlignment * 2 +
345 ArenaAllocator::kAlignment / 2;
Vladimir Marko69d310e2017-10-09 14:12:23 +0100346 void* realloc_allocation = allocator.Realloc(original_allocation, original_size, new_size);
Andreas Gampec134ee72016-08-22 14:03:10 -0700347 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(realloc_allocation));
Andreas Gampec134ee72016-08-22 14:03:10 -0700348
Vladimir Marko69d310e2017-10-09 14:12:23 +0100349 void* after_alloc = allocator.Alloc(1);
Andreas Gampec134ee72016-08-22 14:03:10 -0700350 EXPECT_TRUE(IsAligned<ArenaAllocator::kAlignment>(after_alloc));
351 }
352}
353
354
Vladimir Marko3e0e7172016-04-22 18:07:13 +0100355} // namespace art