| Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 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 | */ |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 16 | |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 17 | #include "dlmalloc_space-inl.h" |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 18 | |
| Andreas Gampe | 170331f | 2017-12-07 18:41:03 -0800 | [diff] [blame] | 19 | #include "base/logging.h" // For VLOG. |
| Vladimir Marko | 80afd02 | 2015-05-19 18:08:00 +0100 | [diff] [blame] | 20 | #include "base/time_utils.h" |
| David Sehr | c431b9d | 2018-03-02 12:01:51 -0800 | [diff] [blame] | 21 | #include "base/utils.h" |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 22 | #include "gc/accounting/card_table.h" |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 23 | #include "gc/accounting/space_bitmap-inl.h" |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 24 | #include "gc/heap.h" |
| Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 25 | #include "jit/jit.h" |
| 26 | #include "jit/jit_code_cache.h" |
| Evgenii Stepanov | 1e13374 | 2015-05-20 12:30:59 -0700 | [diff] [blame] | 27 | #include "memory_tool_malloc_space-inl.h" |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 28 | #include "mirror/class-inl.h" |
| Mathieu Chartier | 0f72e41 | 2013-09-06 16:40:01 -0700 | [diff] [blame] | 29 | #include "mirror/object-inl.h" |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 30 | #include "runtime.h" |
| Andreas Gampe | 508fdf3 | 2017-06-05 16:42:13 -0700 | [diff] [blame] | 31 | #include "scoped_thread_state_change-inl.h" |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 32 | #include "thread.h" |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 33 | #include "thread_list.h" |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 34 | |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 35 | namespace art { |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 36 | namespace gc { |
| 37 | namespace space { |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 38 | |
| Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 39 | static constexpr bool kPrefetchDuringDlMallocFreeList = true; |
| 40 | |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 41 | DlMallocSpace::DlMallocSpace(MemMap&& mem_map, |
| 42 | size_t initial_size, |
| 43 | const std::string& name, |
| 44 | void* mspace, |
| 45 | uint8_t* begin, |
| 46 | uint8_t* end, |
| 47 | uint8_t* limit, |
| 48 | size_t growth_limit, |
| 49 | bool can_move_objects, |
| 50 | size_t starting_size) |
| 51 | : MallocSpace(name, |
| 52 | std::move(mem_map), |
| 53 | begin, |
| 54 | end, |
| 55 | limit, |
| 56 | growth_limit, |
| 57 | /* create_bitmaps */ true, |
| 58 | can_move_objects, |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 59 | starting_size, initial_size), |
| 60 | mspace_(mspace) { |
| Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 61 | CHECK(mspace != nullptr); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 62 | } |
| 63 | |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 64 | DlMallocSpace* DlMallocSpace::CreateFromMemMap(MemMap&& mem_map, |
| 65 | const std::string& name, |
| 66 | size_t starting_size, |
| 67 | size_t initial_size, |
| 68 | size_t growth_limit, |
| 69 | size_t capacity, |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 70 | bool can_move_objects) { |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 71 | DCHECK(mem_map.IsValid()); |
| 72 | void* mspace = CreateMspace(mem_map.Begin(), starting_size, initial_size); |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 73 | if (mspace == nullptr) { |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 74 | LOG(ERROR) << "Failed to initialize mspace for alloc space (" << name << ")"; |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 75 | return nullptr; |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 76 | } |
| 77 | |
| lzang1 | 385de73 | 2014-02-21 14:15:01 +0800 | [diff] [blame] | 78 | // Protect memory beyond the starting size. morecore will add r/w permissions when necessory |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 79 | uint8_t* end = mem_map.Begin() + starting_size; |
| lzang1 | 385de73 | 2014-02-21 14:15:01 +0800 | [diff] [blame] | 80 | if (capacity - starting_size > 0) { |
| Mathieu Chartier | 3425d02 | 2017-10-03 16:22:05 -0700 | [diff] [blame] | 81 | CheckedCall(mprotect, name.c_str(), end, capacity - starting_size, PROT_NONE); |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | // Everything is set so record in immutable structure and leave |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 85 | uint8_t* begin = mem_map.Begin(); |
| Evgenii Stepanov | 1e13374 | 2015-05-20 12:30:59 -0700 | [diff] [blame] | 86 | if (Runtime::Current()->IsRunningOnMemoryTool()) { |
| 87 | return new MemoryToolMallocSpace<DlMallocSpace, kDefaultMemoryToolRedZoneBytes, true, false>( |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 88 | std::move(mem_map), |
| 89 | initial_size, |
| 90 | name, |
| 91 | mspace, |
| 92 | begin, |
| 93 | end, |
| 94 | begin + capacity, growth_limit, |
| 95 | can_move_objects, |
| 96 | starting_size); |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 97 | } else { |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 98 | return new DlMallocSpace(std::move(mem_map), |
| 99 | initial_size, |
| 100 | name, |
| 101 | mspace, |
| 102 | begin, |
| 103 | end, |
| 104 | begin + capacity, |
| 105 | growth_limit, |
| 106 | can_move_objects, |
| 107 | starting_size); |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 108 | } |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 109 | } |
| 110 | |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 111 | DlMallocSpace* DlMallocSpace::Create(const std::string& name, size_t initial_size, |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 112 | size_t growth_limit, size_t capacity, uint8_t* requested_begin, |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 113 | bool can_move_objects) { |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 114 | uint64_t start_time = 0; |
| 115 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
| 116 | start_time = NanoTime(); |
| 117 | LOG(INFO) << "DlMallocSpace::Create entering " << name |
| 118 | << " initial_size=" << PrettySize(initial_size) |
| 119 | << " growth_limit=" << PrettySize(growth_limit) |
| 120 | << " capacity=" << PrettySize(capacity) |
| 121 | << " requested_begin=" << reinterpret_cast<void*>(requested_begin); |
| 122 | } |
| 123 | |
| 124 | // Memory we promise to dlmalloc before it asks for morecore. |
| 125 | // Note: making this value large means that large allocations are unlikely to succeed as dlmalloc |
| 126 | // will ask for this memory from sys_alloc which will fail as the footprint (this value plus the |
| 127 | // size of the large allocation) will be greater than the footprint limit. |
| 128 | size_t starting_size = kPageSize; |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 129 | MemMap mem_map = |
| 130 | CreateMemMap(name, starting_size, &initial_size, &growth_limit, &capacity, requested_begin); |
| 131 | if (!mem_map.IsValid()) { |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 132 | LOG(ERROR) << "Failed to create mem map for alloc space (" << name << ") of size " |
| 133 | << PrettySize(capacity); |
| 134 | return nullptr; |
| 135 | } |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 136 | DlMallocSpace* space = CreateFromMemMap(std::move(mem_map), |
| 137 | name, |
| 138 | starting_size, |
| 139 | initial_size, |
| 140 | growth_limit, |
| 141 | capacity, |
| 142 | can_move_objects); |
| Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 143 | // We start out with only the initial size possibly containing objects. |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 144 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 145 | LOG(INFO) << "DlMallocSpace::Create exiting (" << PrettyDuration(NanoTime() - start_time) |
| Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 146 | << " ) " << *space; |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 147 | } |
| 148 | return space; |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 149 | } |
| 150 | |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 151 | void* DlMallocSpace::CreateMspace(void* begin, size_t morecore_start, size_t initial_size) { |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 152 | // clear errno to allow PLOG on error |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 153 | errno = 0; |
| Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 154 | // create mspace using our backing storage starting at begin and with a footprint of |
| 155 | // morecore_start. Don't use an internal dlmalloc lock (as we already hold heap lock). When |
| 156 | // morecore_start bytes of memory is exhaused morecore will be called. |
| 157 | void* msp = create_mspace_with_base(begin, morecore_start, false /*locked*/); |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 158 | if (msp != nullptr) { |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 159 | // Do not allow morecore requests to succeed beyond the initial size of the heap |
| Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 160 | mspace_set_footprint_limit(msp, initial_size); |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 161 | } else { |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 162 | PLOG(ERROR) << "create_mspace_with_base failed"; |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 163 | } |
| 164 | return msp; |
| 165 | } |
| 166 | |
| Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 167 | mirror::Object* DlMallocSpace::AllocWithGrowth(Thread* self, size_t num_bytes, |
| Hiroshi Yamauchi | 4460a84 | 2015-03-09 11:57:48 -0700 | [diff] [blame] | 168 | size_t* bytes_allocated, size_t* usable_size, |
| 169 | size_t* bytes_tl_bulk_allocated) { |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 170 | mirror::Object* result; |
| 171 | { |
| 172 | MutexLock mu(self, lock_); |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 173 | // Grow as much as possible within the space. |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 174 | size_t max_allowed = Capacity(); |
| 175 | mspace_set_footprint_limit(mspace_, max_allowed); |
| 176 | // Try the allocation. |
| Hiroshi Yamauchi | 4460a84 | 2015-03-09 11:57:48 -0700 | [diff] [blame] | 177 | result = AllocWithoutGrowthLocked(self, num_bytes, bytes_allocated, usable_size, |
| 178 | bytes_tl_bulk_allocated); |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 179 | // Shrink back down as small as possible. |
| 180 | size_t footprint = mspace_footprint(mspace_); |
| 181 | mspace_set_footprint_limit(mspace_, footprint); |
| jeffhao | c116070 | 2011-10-27 15:48:45 -0700 | [diff] [blame] | 182 | } |
| Mathieu Chartier | 661974a | 2014-01-09 11:23:53 -0800 | [diff] [blame] | 183 | if (result != nullptr) { |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 184 | // Zero freshly allocated memory, done while not holding the space's lock. |
| 185 | memset(result, 0, num_bytes); |
| Mathieu Chartier | 661974a | 2014-01-09 11:23:53 -0800 | [diff] [blame] | 186 | // Check that the result is contained in the space. |
| 187 | CHECK(!kDebugSpaces || Contains(result)); |
| Hiroshi Yamauchi | 50b2928 | 2013-07-30 13:58:37 -0700 | [diff] [blame] | 188 | } |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 189 | return result; |
| Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 190 | } |
| 191 | |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 192 | MallocSpace* DlMallocSpace::CreateInstance(MemMap&& mem_map, |
| 193 | const std::string& name, |
| 194 | void* allocator, |
| 195 | uint8_t* begin, |
| 196 | uint8_t* end, |
| 197 | uint8_t* limit, |
| 198 | size_t growth_limit, |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 199 | bool can_move_objects) { |
| Evgenii Stepanov | 1e13374 | 2015-05-20 12:30:59 -0700 | [diff] [blame] | 200 | if (Runtime::Current()->IsRunningOnMemoryTool()) { |
| 201 | return new MemoryToolMallocSpace<DlMallocSpace, kDefaultMemoryToolRedZoneBytes, true, false>( |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 202 | std::move(mem_map), |
| 203 | initial_size_, |
| 204 | name, |
| 205 | allocator, |
| 206 | begin, |
| 207 | end, |
| 208 | limit, |
| 209 | growth_limit, |
| 210 | can_move_objects, |
| 211 | starting_size_); |
| Andreas Gampe | d757632 | 2014-10-24 22:13:45 -0700 | [diff] [blame] | 212 | } else { |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 213 | return new DlMallocSpace(std::move(mem_map), |
| 214 | initial_size_, |
| 215 | name, |
| 216 | allocator, |
| 217 | begin, |
| 218 | end, |
| 219 | limit, |
| 220 | growth_limit, |
| 221 | can_move_objects, |
| 222 | starting_size_); |
| Andreas Gampe | d757632 | 2014-10-24 22:13:45 -0700 | [diff] [blame] | 223 | } |
| Mathieu Chartier | 0f72e41 | 2013-09-06 16:40:01 -0700 | [diff] [blame] | 224 | } |
| 225 | |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 226 | size_t DlMallocSpace::Free(Thread* self, mirror::Object* ptr) { |
| Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 227 | MutexLock mu(self, lock_); |
| Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 228 | if (kDebugSpaces) { |
| Mathieu Chartier | 661974a | 2014-01-09 11:23:53 -0800 | [diff] [blame] | 229 | CHECK(ptr != nullptr); |
| Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 230 | CHECK(Contains(ptr)) << "Free (" << ptr << ") not in bounds of heap " << *this; |
| 231 | } |
| Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 232 | const size_t bytes_freed = AllocationSizeNonvirtual(ptr, nullptr); |
| Mathieu Chartier | 0f72e41 | 2013-09-06 16:40:01 -0700 | [diff] [blame] | 233 | if (kRecentFreeCount > 0) { |
| 234 | RegisterRecentFree(ptr); |
| 235 | } |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 236 | mspace_free(mspace_, ptr); |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 237 | return bytes_freed; |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 238 | } |
| 239 | |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 240 | size_t DlMallocSpace::FreeList(Thread* self, size_t num_ptrs, mirror::Object** ptrs) { |
| Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 241 | DCHECK(ptrs != nullptr); |
| Mathieu Chartier | d22d548 | 2012-11-06 17:14:12 -0800 | [diff] [blame] | 242 | |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 243 | // Don't need the lock to calculate the size of the freed pointers. |
| 244 | size_t bytes_freed = 0; |
| 245 | for (size_t i = 0; i < num_ptrs; i++) { |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 246 | mirror::Object* ptr = ptrs[i]; |
| Mathieu Chartier | d22d548 | 2012-11-06 17:14:12 -0800 | [diff] [blame] | 247 | const size_t look_ahead = 8; |
| 248 | if (kPrefetchDuringDlMallocFreeList && i + look_ahead < num_ptrs) { |
| 249 | // The head of chunk for the allocation is sizeof(size_t) behind the allocation. |
| 250 | __builtin_prefetch(reinterpret_cast<char*>(ptrs[i + look_ahead]) - sizeof(size_t)); |
| 251 | } |
| Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 252 | bytes_freed += AllocationSizeNonvirtual(ptr, nullptr); |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 253 | } |
| 254 | |
| Mathieu Chartier | 0f72e41 | 2013-09-06 16:40:01 -0700 | [diff] [blame] | 255 | if (kRecentFreeCount > 0) { |
| 256 | MutexLock mu(self, lock_); |
| 257 | for (size_t i = 0; i < num_ptrs; i++) { |
| 258 | RegisterRecentFree(ptrs[i]); |
| 259 | } |
| 260 | } |
| 261 | |
| Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 262 | if (kDebugSpaces) { |
| Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 263 | size_t num_broken_ptrs = 0; |
| 264 | for (size_t i = 0; i < num_ptrs; i++) { |
| 265 | if (!Contains(ptrs[i])) { |
| 266 | num_broken_ptrs++; |
| 267 | LOG(ERROR) << "FreeList[" << i << "] (" << ptrs[i] << ") not in bounds of heap " << *this; |
| 268 | } else { |
| 269 | size_t size = mspace_usable_size(ptrs[i]); |
| 270 | memset(ptrs[i], 0xEF, size); |
| 271 | } |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 272 | } |
| Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 273 | CHECK_EQ(num_broken_ptrs, 0u); |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 274 | } |
| Mathieu Chartier | d22d548 | 2012-11-06 17:14:12 -0800 | [diff] [blame] | 275 | |
| 276 | { |
| 277 | MutexLock mu(self, lock_); |
| Mathieu Chartier | d22d548 | 2012-11-06 17:14:12 -0800 | [diff] [blame] | 278 | mspace_bulk_free(mspace_, reinterpret_cast<void**>(ptrs), num_ptrs); |
| 279 | return bytes_freed; |
| 280 | } |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 281 | } |
| 282 | |
| Ian Rogers | 4893188 | 2013-01-22 14:35:16 -0800 | [diff] [blame] | 283 | size_t DlMallocSpace::Trim() { |
| Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 284 | MutexLock mu(Thread::Current(), lock_); |
| Elliott Hughes | 9eebd3b | 2012-06-08 13:56:31 -0700 | [diff] [blame] | 285 | // Trim to release memory at the end of the space. |
| 286 | mspace_trim(mspace_, 0); |
| 287 | // Visit space looking for page-sized holes to advise the kernel we don't need. |
| Ian Rogers | 4893188 | 2013-01-22 14:35:16 -0800 | [diff] [blame] | 288 | size_t reclaimed = 0; |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 289 | mspace_inspect_all(mspace_, DlmallocMadviseCallback, &reclaimed); |
| Ian Rogers | 4893188 | 2013-01-22 14:35:16 -0800 | [diff] [blame] | 290 | return reclaimed; |
| Elliott Hughes | 9eebd3b | 2012-06-08 13:56:31 -0700 | [diff] [blame] | 291 | } |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 292 | |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 293 | void DlMallocSpace::Walk(void(*callback)(void *start, void *end, size_t num_bytes, void* callback_arg), |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 294 | void* arg) { |
| Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 295 | MutexLock mu(Thread::Current(), lock_); |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 296 | mspace_inspect_all(mspace_, callback, arg); |
| Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 297 | callback(nullptr, nullptr, 0, arg); // Indicate end of a space. |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 298 | } |
| 299 | |
| Hiroshi Yamauchi | 09b07a9 | 2013-07-15 13:17:06 -0700 | [diff] [blame] | 300 | size_t DlMallocSpace::GetFootprint() { |
| 301 | MutexLock mu(Thread::Current(), lock_); |
| 302 | return mspace_footprint(mspace_); |
| 303 | } |
| 304 | |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 305 | size_t DlMallocSpace::GetFootprintLimit() { |
| Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 306 | MutexLock mu(Thread::Current(), lock_); |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 307 | return mspace_footprint_limit(mspace_); |
| 308 | } |
| 309 | |
| Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 310 | void DlMallocSpace::SetFootprintLimit(size_t new_size) { |
| Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 311 | MutexLock mu(Thread::Current(), lock_); |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 312 | VLOG(heap) << "DlMallocSpace::SetFootprintLimit " << PrettySize(new_size); |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 313 | // Compare against the actual footprint, rather than the Size(), because the heap may not have |
| 314 | // grown all the way to the allowed size yet. |
| Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 315 | size_t current_space_size = mspace_footprint(mspace_); |
| 316 | if (new_size < current_space_size) { |
| 317 | // Don't let the space grow any more. |
| 318 | new_size = current_space_size; |
| 319 | } |
| 320 | mspace_set_footprint_limit(mspace_, new_size); |
| 321 | } |
| 322 | |
| Hiroshi Yamauchi | be031ff | 2013-10-08 16:42:37 -0700 | [diff] [blame] | 323 | uint64_t DlMallocSpace::GetBytesAllocated() { |
| Hiroshi Yamauchi | 4ce1f00 | 2013-11-18 14:49:09 -0800 | [diff] [blame] | 324 | MutexLock mu(Thread::Current(), lock_); |
| 325 | size_t bytes_allocated = 0; |
| 326 | mspace_inspect_all(mspace_, DlmallocBytesAllocatedCallback, &bytes_allocated); |
| 327 | return bytes_allocated; |
| Hiroshi Yamauchi | be031ff | 2013-10-08 16:42:37 -0700 | [diff] [blame] | 328 | } |
| 329 | |
| 330 | uint64_t DlMallocSpace::GetObjectsAllocated() { |
| Hiroshi Yamauchi | 4ce1f00 | 2013-11-18 14:49:09 -0800 | [diff] [blame] | 331 | MutexLock mu(Thread::Current(), lock_); |
| 332 | size_t objects_allocated = 0; |
| 333 | mspace_inspect_all(mspace_, DlmallocObjectsAllocatedCallback, &objects_allocated); |
| 334 | return objects_allocated; |
| Hiroshi Yamauchi | be031ff | 2013-10-08 16:42:37 -0700 | [diff] [blame] | 335 | } |
| 336 | |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 337 | void DlMallocSpace::Clear() { |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 338 | size_t footprint_limit = GetFootprintLimit(); |
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 339 | madvise(GetMemMap()->Begin(), GetMemMap()->Size(), MADV_DONTNEED); |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 340 | live_bitmap_->Clear(); |
| 341 | mark_bitmap_->Clear(); |
| Ian Rogers | be2a1df | 2014-07-10 00:56:36 -0700 | [diff] [blame] | 342 | SetEnd(Begin() + starting_size_); |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame^] | 343 | mspace_ = CreateMspace(mem_map_.Begin(), starting_size_, initial_size_); |
| Mathieu Chartier | 31f4414 | 2014-04-08 14:40:03 -0700 | [diff] [blame] | 344 | SetFootprintLimit(footprint_limit); |
| Mathieu Chartier | 15d3402 | 2014-02-26 17:16:38 -0800 | [diff] [blame] | 345 | } |
| 346 | |
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 347 | #ifndef NDEBUG |
| 348 | void DlMallocSpace::CheckMoreCoreForPrecondition() { |
| 349 | lock_.AssertHeld(Thread::Current()); |
| 350 | } |
| 351 | #endif |
| 352 | |
| Hiroshi Yamauchi | 654dd48 | 2014-07-09 12:54:32 -0700 | [diff] [blame] | 353 | static void MSpaceChunkCallback(void* start, void* end, size_t used_bytes, void* arg) { |
| 354 | size_t chunk_size = reinterpret_cast<uint8_t*>(end) - reinterpret_cast<uint8_t*>(start); |
| 355 | if (used_bytes < chunk_size) { |
| 356 | size_t chunk_free_bytes = chunk_size - used_bytes; |
| 357 | size_t& max_contiguous_allocation = *reinterpret_cast<size_t*>(arg); |
| 358 | max_contiguous_allocation = std::max(max_contiguous_allocation, chunk_free_bytes); |
| 359 | } |
| 360 | } |
| 361 | |
| Mathieu Chartier | f1d666e | 2015-09-03 16:13:34 -0700 | [diff] [blame] | 362 | void DlMallocSpace::LogFragmentationAllocFailure(std::ostream& os, |
| 363 | size_t failed_alloc_bytes ATTRIBUTE_UNUSED) { |
| 364 | Thread* const self = Thread::Current(); |
| Hiroshi Yamauchi | 654dd48 | 2014-07-09 12:54:32 -0700 | [diff] [blame] | 365 | size_t max_contiguous_allocation = 0; |
| 366 | // To allow the Walk/InspectAll() to exclusively-lock the mutator |
| 367 | // lock, temporarily release the shared access to the mutator |
| 368 | // lock here by transitioning to the suspended state. |
| 369 | Locks::mutator_lock_->AssertSharedHeld(self); |
| Mathieu Chartier | f1d666e | 2015-09-03 16:13:34 -0700 | [diff] [blame] | 370 | ScopedThreadSuspension sts(self, kSuspended); |
| Hiroshi Yamauchi | 654dd48 | 2014-07-09 12:54:32 -0700 | [diff] [blame] | 371 | Walk(MSpaceChunkCallback, &max_contiguous_allocation); |
| Hiroshi Yamauchi | 654dd48 | 2014-07-09 12:54:32 -0700 | [diff] [blame] | 372 | os << "; failed due to fragmentation (largest possible contiguous allocation " |
| 373 | << max_contiguous_allocation << " bytes)"; |
| 374 | } |
| 375 | |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 376 | } // namespace space |
| Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 377 | |
| 378 | namespace allocator { |
| 379 | |
| 380 | // Implement the dlmalloc morecore callback. |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 381 | void* ArtDlMallocMoreCore(void* mspace, intptr_t increment) REQUIRES_SHARED(Locks::mutator_lock_) { |
| Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 382 | Runtime* runtime = Runtime::Current(); |
| 383 | Heap* heap = runtime->GetHeap(); |
| Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 384 | ::art::gc::space::DlMallocSpace* dlmalloc_space = heap->GetDlMallocSpace(); |
| 385 | // Support for multiple DlMalloc provided by a slow path. |
| 386 | if (UNLIKELY(dlmalloc_space == nullptr || dlmalloc_space->GetMspace() != mspace)) { |
| Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 387 | if (LIKELY(runtime->GetJit() != nullptr)) { |
| 388 | jit::JitCodeCache* code_cache = runtime->GetJit()->GetCodeCache(); |
| 389 | if (code_cache->OwnsSpace(mspace)) { |
| 390 | return code_cache->MoreCore(mspace, increment); |
| 391 | } |
| 392 | } |
| Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 393 | dlmalloc_space = nullptr; |
| 394 | for (space::ContinuousSpace* space : heap->GetContinuousSpaces()) { |
| 395 | if (space->IsDlMallocSpace()) { |
| 396 | ::art::gc::space::DlMallocSpace* cur_dlmalloc_space = space->AsDlMallocSpace(); |
| 397 | if (cur_dlmalloc_space->GetMspace() == mspace) { |
| 398 | dlmalloc_space = cur_dlmalloc_space; |
| 399 | break; |
| 400 | } |
| 401 | } |
| 402 | } |
| 403 | CHECK(dlmalloc_space != nullptr) << "Couldn't find DlmMallocSpace with mspace=" << mspace; |
| 404 | } |
| 405 | return dlmalloc_space->MoreCore(increment); |
| 406 | } |
| 407 | |
| 408 | } // namespace allocator |
| 409 | |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 410 | } // namespace gc |
| Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 411 | } // namespace art |