blob: 41a04584f10ed026b12f81a839327339d3c9083d [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Yamauchicf58d4a2013-09-26 14:21:22 -070016
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -070017#include "dlmalloc_space-inl.h"
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070018
Ian Rogers1d54e732013-05-02 21:10:01 -070019#include "gc/accounting/card_table.h"
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070020#include "gc/accounting/space_bitmap-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070021#include "gc/heap.h"
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070022#include "mirror/class-inl.h"
Mathieu Chartier0f72e412013-09-06 16:40:01 -070023#include "mirror/object-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "runtime.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "thread.h"
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070026#include "thread_list.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070027#include "utils.h"
Ian Rogers6fac4472014-02-25 17:01:10 -080028#include "valgrind_malloc_space-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070029
Carl Shapiro69759ea2011-07-21 18:13:35 -070030namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070031namespace gc {
32namespace space {
Ian Rogers30fab402012-01-23 15:43:46 -080033
Ian Rogers6fac4472014-02-25 17:01:10 -080034static constexpr bool kPrefetchDuringDlMallocFreeList = true;
35
36template class ValgrindMallocSpace<DlMallocSpace, void*>;
Mathieu Chartier2fde5332012-09-14 14:51:54 -070037
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070038DlMallocSpace::DlMallocSpace(const std::string& name, MemMap* mem_map, void* mspace, byte* begin,
Mathieu Chartier31f44142014-04-08 14:40:03 -070039 byte* end, byte* limit, size_t growth_limit,
40 bool can_move_objects, size_t starting_size,
41 size_t initial_size)
42 : MallocSpace(name, mem_map, begin, end, limit, growth_limit, true, can_move_objects,
43 starting_size, initial_size),
44 mspace_(mspace) {
Mathieu Chartierb062fdd2012-07-03 09:51:48 -070045 CHECK(mspace != NULL);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -070046}
47
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080048DlMallocSpace* DlMallocSpace::CreateFromMemMap(MemMap* mem_map, const std::string& name,
Mathieu Chartier661974a2014-01-09 11:23:53 -080049 size_t starting_size, size_t initial_size,
Mathieu Chartier31f44142014-04-08 14:40:03 -070050 size_t growth_limit, size_t capacity,
51 bool can_move_objects) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080052 DCHECK(mem_map != nullptr);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070053 void* mspace = CreateMspace(mem_map->Begin(), starting_size, initial_size);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080054 if (mspace == nullptr) {
Ian Rogers30fab402012-01-23 15:43:46 -080055 LOG(ERROR) << "Failed to initialize mspace for alloc space (" << name << ")";
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080056 return nullptr;
Ian Rogers30fab402012-01-23 15:43:46 -080057 }
58
lzang1385de732014-02-21 14:15:01 +080059 // Protect memory beyond the starting size. morecore will add r/w permissions when necessory
Ian Rogers3bb17a62012-01-27 23:56:44 -080060 byte* end = mem_map->Begin() + starting_size;
lzang1385de732014-02-21 14:15:01 +080061 if (capacity - starting_size > 0) {
62 CHECK_MEMORY_CALL(mprotect, (end, capacity - starting_size, PROT_NONE), name);
Ian Rogers30fab402012-01-23 15:43:46 -080063 }
64
65 // Everything is set so record in immutable structure and leave
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070066 byte* begin = mem_map->Begin();
Mathieu Chartierda44d772014-04-01 15:01:46 -070067 if (Runtime::Current()->RunningOnValgrind()) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080068 return new ValgrindMallocSpace<DlMallocSpace, void*>(
Mathieu Chartier31f44142014-04-08 14:40:03 -070069 name, mem_map, mspace, begin, end, begin + capacity, growth_limit, initial_size,
70 can_move_objects, starting_size);
Ian Rogers1d54e732013-05-02 21:10:01 -070071 } else {
Mathieu Chartier31f44142014-04-08 14:40:03 -070072 return new DlMallocSpace(name, mem_map, mspace, begin, end, begin + capacity, growth_limit,
73 can_move_objects, starting_size, initial_size);
Ian Rogers1d54e732013-05-02 21:10:01 -070074 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080075}
76
Mathieu Chartier31f44142014-04-08 14:40:03 -070077DlMallocSpace* DlMallocSpace::Create(const std::string& name, size_t initial_size,
78 size_t growth_limit, size_t capacity, byte* requested_begin,
79 bool can_move_objects) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080080 uint64_t start_time = 0;
81 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
82 start_time = NanoTime();
83 LOG(INFO) << "DlMallocSpace::Create entering " << name
84 << " initial_size=" << PrettySize(initial_size)
85 << " growth_limit=" << PrettySize(growth_limit)
86 << " capacity=" << PrettySize(capacity)
87 << " requested_begin=" << reinterpret_cast<void*>(requested_begin);
88 }
89
90 // Memory we promise to dlmalloc before it asks for morecore.
91 // Note: making this value large means that large allocations are unlikely to succeed as dlmalloc
92 // will ask for this memory from sys_alloc which will fail as the footprint (this value plus the
93 // size of the large allocation) will be greater than the footprint limit.
94 size_t starting_size = kPageSize;
95 MemMap* mem_map = CreateMemMap(name, starting_size, &initial_size, &growth_limit, &capacity,
96 requested_begin);
97 if (mem_map == nullptr) {
98 LOG(ERROR) << "Failed to create mem map for alloc space (" << name << ") of size "
99 << PrettySize(capacity);
100 return nullptr;
101 }
102 DlMallocSpace* space = CreateFromMemMap(mem_map, name, starting_size, initial_size,
Mathieu Chartier31f44142014-04-08 14:40:03 -0700103 growth_limit, capacity, can_move_objects);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700104 // We start out with only the initial size possibly containing objects.
Ian Rogers30fab402012-01-23 15:43:46 -0800105 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700106 LOG(INFO) << "DlMallocSpace::Create exiting (" << PrettyDuration(NanoTime() - start_time)
Ian Rogers3bb17a62012-01-27 23:56:44 -0800107 << " ) " << *space;
Ian Rogers30fab402012-01-23 15:43:46 -0800108 }
109 return space;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700110}
111
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700112void* DlMallocSpace::CreateMspace(void* begin, size_t morecore_start, size_t initial_size) {
Ian Rogers30fab402012-01-23 15:43:46 -0800113 // clear errno to allow PLOG on error
Carl Shapiro69759ea2011-07-21 18:13:35 -0700114 errno = 0;
Ian Rogers3bb17a62012-01-27 23:56:44 -0800115 // create mspace using our backing storage starting at begin and with a footprint of
116 // morecore_start. Don't use an internal dlmalloc lock (as we already hold heap lock). When
117 // morecore_start bytes of memory is exhaused morecore will be called.
118 void* msp = create_mspace_with_base(begin, morecore_start, false /*locked*/);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800119 if (msp != nullptr) {
Ian Rogers30fab402012-01-23 15:43:46 -0800120 // Do not allow morecore requests to succeed beyond the initial size of the heap
Ian Rogers3bb17a62012-01-27 23:56:44 -0800121 mspace_set_footprint_limit(msp, initial_size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700122 } else {
Ian Rogers30fab402012-01-23 15:43:46 -0800123 PLOG(ERROR) << "create_mspace_with_base failed";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700124 }
125 return msp;
126}
127
Ian Rogers6fac4472014-02-25 17:01:10 -0800128mirror::Object* DlMallocSpace::AllocWithGrowth(Thread* self, size_t num_bytes,
129 size_t* bytes_allocated, size_t* usable_size) {
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -0700130 mirror::Object* result;
131 {
132 MutexLock mu(self, lock_);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700133 // Grow as much as possible within the space.
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -0700134 size_t max_allowed = Capacity();
135 mspace_set_footprint_limit(mspace_, max_allowed);
136 // Try the allocation.
Ian Rogers6fac4472014-02-25 17:01:10 -0800137 result = AllocWithoutGrowthLocked(self, num_bytes, bytes_allocated, usable_size);
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -0700138 // Shrink back down as small as possible.
139 size_t footprint = mspace_footprint(mspace_);
140 mspace_set_footprint_limit(mspace_, footprint);
jeffhaoc1160702011-10-27 15:48:45 -0700141 }
Mathieu Chartier661974a2014-01-09 11:23:53 -0800142 if (result != nullptr) {
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -0700143 // Zero freshly allocated memory, done while not holding the space's lock.
144 memset(result, 0, num_bytes);
Mathieu Chartier661974a2014-01-09 11:23:53 -0800145 // Check that the result is contained in the space.
146 CHECK(!kDebugSpaces || Contains(result));
Hiroshi Yamauchi50b29282013-07-30 13:58:37 -0700147 }
Ian Rogers30fab402012-01-23 15:43:46 -0800148 return result;
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700149}
150
Ian Rogers6fac4472014-02-25 17:01:10 -0800151MallocSpace* DlMallocSpace::CreateInstance(const std::string& name, MemMap* mem_map,
152 void* allocator, byte* begin, byte* end,
Mathieu Chartier31f44142014-04-08 14:40:03 -0700153 byte* limit, size_t growth_limit,
154 bool can_move_objects) {
155 return new DlMallocSpace(name, mem_map, allocator, begin, end, limit, growth_limit,
156 can_move_objects, starting_size_, initial_size_);
Mathieu Chartier0f72e412013-09-06 16:40:01 -0700157}
158
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800159size_t DlMallocSpace::Free(Thread* self, mirror::Object* ptr) {
Ian Rogers50b35e22012-10-04 10:09:15 -0700160 MutexLock mu(self, lock_);
Mathieu Chartier8e9a1492012-10-04 12:25:40 -0700161 if (kDebugSpaces) {
Mathieu Chartier661974a2014-01-09 11:23:53 -0800162 CHECK(ptr != nullptr);
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700163 CHECK(Contains(ptr)) << "Free (" << ptr << ") not in bounds of heap " << *this;
164 }
Ian Rogers6fac4472014-02-25 17:01:10 -0800165 const size_t bytes_freed = AllocationSizeNonvirtual(ptr, nullptr);
Mathieu Chartier0f72e412013-09-06 16:40:01 -0700166 if (kRecentFreeCount > 0) {
167 RegisterRecentFree(ptr);
168 }
Ian Rogers30fab402012-01-23 15:43:46 -0800169 mspace_free(mspace_, ptr);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700170 return bytes_freed;
Ian Rogers30fab402012-01-23 15:43:46 -0800171}
172
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800173size_t DlMallocSpace::FreeList(Thread* self, size_t num_ptrs, mirror::Object** ptrs) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800174 DCHECK(ptrs != NULL);
175
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700176 // Don't need the lock to calculate the size of the freed pointers.
177 size_t bytes_freed = 0;
178 for (size_t i = 0; i < num_ptrs; i++) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800179 mirror::Object* ptr = ptrs[i];
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800180 const size_t look_ahead = 8;
181 if (kPrefetchDuringDlMallocFreeList && i + look_ahead < num_ptrs) {
182 // The head of chunk for the allocation is sizeof(size_t) behind the allocation.
183 __builtin_prefetch(reinterpret_cast<char*>(ptrs[i + look_ahead]) - sizeof(size_t));
184 }
Ian Rogers6fac4472014-02-25 17:01:10 -0800185 bytes_freed += AllocationSizeNonvirtual(ptr, nullptr);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700186 }
187
Mathieu Chartier0f72e412013-09-06 16:40:01 -0700188 if (kRecentFreeCount > 0) {
189 MutexLock mu(self, lock_);
190 for (size_t i = 0; i < num_ptrs; i++) {
191 RegisterRecentFree(ptrs[i]);
192 }
193 }
194
Mathieu Chartier8e9a1492012-10-04 12:25:40 -0700195 if (kDebugSpaces) {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700196 size_t num_broken_ptrs = 0;
197 for (size_t i = 0; i < num_ptrs; i++) {
198 if (!Contains(ptrs[i])) {
199 num_broken_ptrs++;
200 LOG(ERROR) << "FreeList[" << i << "] (" << ptrs[i] << ") not in bounds of heap " << *this;
201 } else {
202 size_t size = mspace_usable_size(ptrs[i]);
203 memset(ptrs[i], 0xEF, size);
204 }
Ian Rogers30fab402012-01-23 15:43:46 -0800205 }
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700206 CHECK_EQ(num_broken_ptrs, 0u);
Ian Rogers30fab402012-01-23 15:43:46 -0800207 }
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800208
209 {
210 MutexLock mu(self, lock_);
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800211 mspace_bulk_free(mspace_, reinterpret_cast<void**>(ptrs), num_ptrs);
212 return bytes_freed;
213 }
Ian Rogers30fab402012-01-23 15:43:46 -0800214}
215
216// Callback from dlmalloc when it needs to increase the footprint
217extern "C" void* art_heap_morecore(void* mspace, intptr_t increment) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800218 Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800219 DlMallocSpace* dlmalloc_space = heap->GetDlMallocSpace();
220 // Support for multiple DlMalloc provided by a slow path.
221 if (UNLIKELY(dlmalloc_space == nullptr || dlmalloc_space->GetMspace() != mspace)) {
222 dlmalloc_space = nullptr;
223 for (space::ContinuousSpace* space : heap->GetContinuousSpaces()) {
224 if (space->IsDlMallocSpace()) {
225 DlMallocSpace* cur_dlmalloc_space = space->AsDlMallocSpace();
226 if (cur_dlmalloc_space->GetMspace() == mspace) {
227 dlmalloc_space = cur_dlmalloc_space;
228 break;
229 }
230 }
231 }
232 CHECK(dlmalloc_space != nullptr) << "Couldn't find DlmMallocSpace with mspace=" << mspace;
233 }
234 return dlmalloc_space->MoreCore(increment);
Ian Rogers30fab402012-01-23 15:43:46 -0800235}
236
Ian Rogers48931882013-01-22 14:35:16 -0800237size_t DlMallocSpace::Trim() {
Ian Rogers50b35e22012-10-04 10:09:15 -0700238 MutexLock mu(Thread::Current(), lock_);
Elliott Hughes9eebd3b2012-06-08 13:56:31 -0700239 // Trim to release memory at the end of the space.
240 mspace_trim(mspace_, 0);
241 // Visit space looking for page-sized holes to advise the kernel we don't need.
Ian Rogers48931882013-01-22 14:35:16 -0800242 size_t reclaimed = 0;
Ian Rogers1d54e732013-05-02 21:10:01 -0700243 mspace_inspect_all(mspace_, DlmallocMadviseCallback, &reclaimed);
Ian Rogers48931882013-01-22 14:35:16 -0800244 return reclaimed;
Elliott Hughes9eebd3b2012-06-08 13:56:31 -0700245}
Ian Rogers30fab402012-01-23 15:43:46 -0800246
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700247void DlMallocSpace::Walk(void(*callback)(void *start, void *end, size_t num_bytes, void* callback_arg),
Ian Rogers30fab402012-01-23 15:43:46 -0800248 void* arg) {
Ian Rogers50b35e22012-10-04 10:09:15 -0700249 MutexLock mu(Thread::Current(), lock_);
Ian Rogers30fab402012-01-23 15:43:46 -0800250 mspace_inspect_all(mspace_, callback, arg);
Ian Rogers15bf2d32012-08-28 17:33:04 -0700251 callback(NULL, NULL, 0, arg); // Indicate end of a space.
Ian Rogers30fab402012-01-23 15:43:46 -0800252}
253
Hiroshi Yamauchi09b07a92013-07-15 13:17:06 -0700254size_t DlMallocSpace::GetFootprint() {
255 MutexLock mu(Thread::Current(), lock_);
256 return mspace_footprint(mspace_);
257}
258
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700259size_t DlMallocSpace::GetFootprintLimit() {
Ian Rogers50b35e22012-10-04 10:09:15 -0700260 MutexLock mu(Thread::Current(), lock_);
Ian Rogers30fab402012-01-23 15:43:46 -0800261 return mspace_footprint_limit(mspace_);
262}
263
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700264void DlMallocSpace::SetFootprintLimit(size_t new_size) {
Ian Rogers50b35e22012-10-04 10:09:15 -0700265 MutexLock mu(Thread::Current(), lock_);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700266 VLOG(heap) << "DlMallocSpace::SetFootprintLimit " << PrettySize(new_size);
Ian Rogers30fab402012-01-23 15:43:46 -0800267 // Compare against the actual footprint, rather than the Size(), because the heap may not have
268 // grown all the way to the allowed size yet.
Ian Rogers30fab402012-01-23 15:43:46 -0800269 size_t current_space_size = mspace_footprint(mspace_);
270 if (new_size < current_space_size) {
271 // Don't let the space grow any more.
272 new_size = current_space_size;
273 }
274 mspace_set_footprint_limit(mspace_, new_size);
275}
276
Hiroshi Yamauchibe031ff2013-10-08 16:42:37 -0700277uint64_t DlMallocSpace::GetBytesAllocated() {
Hiroshi Yamauchi4ce1f002013-11-18 14:49:09 -0800278 MutexLock mu(Thread::Current(), lock_);
279 size_t bytes_allocated = 0;
280 mspace_inspect_all(mspace_, DlmallocBytesAllocatedCallback, &bytes_allocated);
281 return bytes_allocated;
Hiroshi Yamauchibe031ff2013-10-08 16:42:37 -0700282}
283
284uint64_t DlMallocSpace::GetObjectsAllocated() {
Hiroshi Yamauchi4ce1f002013-11-18 14:49:09 -0800285 MutexLock mu(Thread::Current(), lock_);
286 size_t objects_allocated = 0;
287 mspace_inspect_all(mspace_, DlmallocObjectsAllocatedCallback, &objects_allocated);
288 return objects_allocated;
Hiroshi Yamauchibe031ff2013-10-08 16:42:37 -0700289}
290
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800291void DlMallocSpace::Clear() {
Mathieu Chartier31f44142014-04-08 14:40:03 -0700292 size_t footprint_limit = GetFootprintLimit();
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800293 madvise(GetMemMap()->Begin(), GetMemMap()->Size(), MADV_DONTNEED);
Mathieu Chartier31f44142014-04-08 14:40:03 -0700294 live_bitmap_->Clear();
295 mark_bitmap_->Clear();
296 end_ = Begin() + starting_size_;
297 mspace_ = CreateMspace(mem_map_->Begin(), starting_size_, initial_size_);
298 SetFootprintLimit(footprint_limit);
Mathieu Chartier15d34022014-02-26 17:16:38 -0800299}
300
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700301#ifndef NDEBUG
302void DlMallocSpace::CheckMoreCoreForPrecondition() {
303 lock_.AssertHeld(Thread::Current());
304}
305#endif
306
Ian Rogers1d54e732013-05-02 21:10:01 -0700307} // namespace space
308} // namespace gc
Carl Shapiro69759ea2011-07-21 18:13:35 -0700309} // namespace art