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 | */ |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 17 | #include "space.h" |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 18 | |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 19 | #include "UniquePtr.h" |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 20 | #include "dlmalloc.h" |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 21 | #include "file.h" |
| 22 | #include "image.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 23 | #include "logging.h" |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 24 | #include "os.h" |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 25 | #include "space_bitmap.h" |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 26 | #include "stl_util.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 27 | #include "utils.h" |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 28 | |
| 29 | namespace art { |
| 30 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 31 | #ifndef NDEBUG |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 32 | static const bool kDebugSpaces = true; |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 33 | #else |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 34 | static const bool kDebugSpaces = false; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 35 | #endif |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 36 | // Magic padding value that we use to check for buffer overruns. |
| 37 | static const word kPaddingValue = 0xBAC0BAC0; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 38 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 39 | // TODO: Remove define macro |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 40 | #define CHECK_MEMORY_CALL(call, args, what) \ |
| 41 | do { \ |
| 42 | int rc = call args; \ |
| 43 | if (UNLIKELY(rc != 0)) { \ |
| 44 | errno = rc; \ |
| 45 | PLOG(FATAL) << # call << " failed for " << what; \ |
| 46 | } \ |
| 47 | } while (false) |
| 48 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 49 | Space::Space(const std::string& name, GcRetentionPolicy gc_retention_policy) |
| 50 | : name_(name), |
| 51 | gc_retention_policy_(gc_retention_policy) { |
| 52 | |
| 53 | } |
| 54 | |
| 55 | ContinuousSpace::ContinuousSpace(const std::string& name, byte* begin, byte* end, |
| 56 | GcRetentionPolicy gc_retention_policy) |
| 57 | : Space(name, gc_retention_policy), |
| 58 | begin_(begin), |
| 59 | end_(end) { |
| 60 | |
| 61 | } |
| 62 | |
| 63 | MemMapSpace::MemMapSpace(const std::string& name, MemMap* mem_map, size_t initial_size, |
| 64 | GcRetentionPolicy gc_retention_policy) |
| 65 | : ContinuousSpace(name, mem_map->Begin(), mem_map->Begin() + initial_size, gc_retention_policy), |
| 66 | mem_map_(mem_map) |
| 67 | { |
| 68 | |
| 69 | } |
| 70 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 71 | size_t AllocSpace::bitmap_index_ = 0; |
| 72 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 73 | AllocSpace::AllocSpace(const std::string& name, MemMap* mem_map, void* mspace, byte* begin, |
| 74 | byte* end, size_t growth_limit) |
| 75 | : MemMapSpace(name, mem_map, end - begin, GCRP_ALWAYS_COLLECT), |
| 76 | num_bytes_allocated_(0), num_objects_allocated_(0), |
Ian Rogers | 15bf2d3 | 2012-08-28 17:33:04 -0700 | [diff] [blame] | 77 | lock_("allocation space lock", kAllocSpaceLock), mspace_(mspace), |
| 78 | growth_limit_(growth_limit) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 79 | CHECK(mspace != NULL); |
| 80 | |
| 81 | size_t bitmap_index = bitmap_index_++; |
| 82 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 83 | static const uintptr_t kGcCardSize = static_cast<uintptr_t>(GC_CARD_SIZE); |
| 84 | CHECK(reinterpret_cast<uintptr_t>(mem_map->Begin()) % kGcCardSize == 0); |
| 85 | CHECK(reinterpret_cast<uintptr_t>(mem_map->End()) % kGcCardSize == 0); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 86 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 87 | live_bitmap_.reset(SpaceBitmap::Create( |
| 88 | StringPrintf("allocspace-%s-live-bitmap-%d", name.c_str(), static_cast<int>(bitmap_index)), |
| 89 | Begin(), Capacity())); |
| 90 | DCHECK(live_bitmap_.get() != NULL) << "could not create allocspace live bitmap #" << bitmap_index; |
| 91 | |
| 92 | mark_bitmap_.reset(SpaceBitmap::Create( |
| 93 | StringPrintf("allocspace-%s-mark-bitmap-%d", name.c_str(), static_cast<int>(bitmap_index)), |
| 94 | Begin(), Capacity())); |
| 95 | DCHECK(live_bitmap_.get() != NULL) << "could not create allocspace mark bitmap #" << bitmap_index; |
| 96 | } |
| 97 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 98 | AllocSpace* AllocSpace::Create(const std::string& name, size_t initial_size, size_t growth_limit, |
| 99 | size_t capacity, byte* requested_begin) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 100 | // Memory we promise to dlmalloc before it asks for morecore. |
| 101 | // Note: making this value large means that large allocations are unlikely to succeed as dlmalloc |
| 102 | // will ask for this memory from sys_alloc which will fail as the footprint (this value plus the |
| 103 | // size of the large allocation) will be greater than the footprint limit. |
| 104 | size_t starting_size = kPageSize; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 105 | uint64_t start_time = 0; |
| 106 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
| 107 | start_time = NanoTime(); |
| 108 | VLOG(startup) << "Space::CreateAllocSpace entering " << name |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 109 | << " initial_size=" << PrettySize(initial_size) |
| 110 | << " growth_limit=" << PrettySize(growth_limit) |
| 111 | << " capacity=" << PrettySize(capacity) |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 112 | << " requested_begin=" << reinterpret_cast<void*>(requested_begin); |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 113 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 114 | |
| 115 | // Sanity check arguments |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 116 | if (starting_size > initial_size) { |
| 117 | initial_size = starting_size; |
| 118 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 119 | if (initial_size > growth_limit) { |
| 120 | LOG(ERROR) << "Failed to create alloc space (" << name << ") where the initial size (" |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 121 | << PrettySize(initial_size) << ") is larger than its capacity (" |
| 122 | << PrettySize(growth_limit) << ")"; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 123 | return NULL; |
| 124 | } |
| 125 | if (growth_limit > capacity) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 126 | LOG(ERROR) << "Failed to create alloc space (" << name << ") where the growth limit capacity (" |
| 127 | << PrettySize(growth_limit) << ") is larger than the capacity (" |
| 128 | << PrettySize(capacity) << ")"; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 129 | return NULL; |
| 130 | } |
| 131 | |
| 132 | // Page align growth limit and capacity which will be used to manage mmapped storage |
| 133 | growth_limit = RoundUp(growth_limit, kPageSize); |
| 134 | capacity = RoundUp(capacity, kPageSize); |
| 135 | |
| 136 | UniquePtr<MemMap> mem_map(MemMap::MapAnonymous(name.c_str(), requested_begin, |
| 137 | capacity, PROT_READ | PROT_WRITE)); |
| 138 | if (mem_map.get() == NULL) { |
| 139 | LOG(ERROR) << "Failed to allocate pages for alloc space (" << name << ") of size " |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 140 | << PrettySize(capacity); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 141 | return NULL; |
| 142 | } |
| 143 | |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 144 | void* mspace = AllocSpace::CreateMallocSpace(mem_map->Begin(), starting_size, initial_size); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 145 | if (mspace == NULL) { |
| 146 | LOG(ERROR) << "Failed to initialize mspace for alloc space (" << name << ")"; |
| 147 | return NULL; |
| 148 | } |
| 149 | |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 150 | // Protect memory beyond the initial size. |
| 151 | byte* end = mem_map->Begin() + starting_size; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 152 | if (capacity - initial_size > 0) { |
| 153 | CHECK_MEMORY_CALL(mprotect, (end, capacity - initial_size, PROT_NONE), name); |
| 154 | } |
| 155 | |
| 156 | // Everything is set so record in immutable structure and leave |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 157 | MemMap* mem_map_ptr = mem_map.release(); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 158 | AllocSpace* space = new AllocSpace(name, mem_map_ptr, mspace, mem_map_ptr->Begin(), end, |
| 159 | growth_limit); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 160 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 161 | LOG(INFO) << "Space::CreateAllocSpace exiting (" << PrettyDuration(NanoTime() - start_time) |
| 162 | << " ) " << *space; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 163 | } |
| 164 | return space; |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 165 | } |
| 166 | |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 167 | void* AllocSpace::CreateMallocSpace(void* begin, size_t morecore_start, size_t initial_size) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 168 | // clear errno to allow PLOG on error |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 169 | errno = 0; |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 170 | // create mspace using our backing storage starting at begin and with a footprint of |
| 171 | // morecore_start. Don't use an internal dlmalloc lock (as we already hold heap lock). When |
| 172 | // morecore_start bytes of memory is exhaused morecore will be called. |
| 173 | void* msp = create_mspace_with_base(begin, morecore_start, false /*locked*/); |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 174 | if (msp != NULL) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 175 | // 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] | 176 | mspace_set_footprint_limit(msp, initial_size); |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 177 | } else { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 178 | PLOG(ERROR) << "create_mspace_with_base failed"; |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 179 | } |
| 180 | return msp; |
| 181 | } |
| 182 | |
Mathieu Chartier | 654d3a2 | 2012-07-11 17:54:18 -0700 | [diff] [blame] | 183 | void AllocSpace::SwapBitmaps() { |
| 184 | SpaceBitmap* temp_live_bitmap = live_bitmap_.release(); |
| 185 | live_bitmap_.reset(mark_bitmap_.release()); |
| 186 | mark_bitmap_.reset(temp_live_bitmap); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 187 | // Swap names to get more descriptive diagnostics. |
| 188 | std::string temp_name = live_bitmap_->GetName(); |
| 189 | live_bitmap_->SetName(mark_bitmap_->GetName()); |
| 190 | mark_bitmap_->SetName(temp_name); |
Mathieu Chartier | 654d3a2 | 2012-07-11 17:54:18 -0700 | [diff] [blame] | 191 | } |
| 192 | |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 193 | Object* AllocSpace::AllocWithoutGrowthLocked(size_t num_bytes) { |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 194 | if (kDebugSpaces) { |
| 195 | num_bytes += sizeof(word); |
| 196 | } |
| 197 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 198 | Object* result = reinterpret_cast<Object*>(mspace_calloc(mspace_, 1, num_bytes)); |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 199 | if (kDebugSpaces && result != NULL) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 200 | CHECK(Contains(result)) << "Allocation (" << reinterpret_cast<void*>(result) |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 201 | << ") not in bounds of allocation space " << *this; |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 202 | // Put a magic pattern before and after the allocation. |
| 203 | *reinterpret_cast<word*>(reinterpret_cast<byte*>(result) + AllocationSize(result) |
| 204 | - sizeof(word) - kChunkOverhead) = kPaddingValue; |
jeffhao | c116070 | 2011-10-27 15:48:45 -0700 | [diff] [blame] | 205 | } |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 206 | num_bytes_allocated_ += AllocationSize(result); |
| 207 | ++num_objects_allocated_; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 208 | return result; |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 209 | } |
| 210 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 211 | Object* AllocSpace::AllocWithoutGrowth(Thread* self, size_t num_bytes) { |
| 212 | MutexLock mu(self, lock_); |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 213 | return AllocWithoutGrowthLocked(num_bytes); |
| 214 | } |
| 215 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 216 | Object* AllocSpace::AllocWithGrowth(Thread* self, size_t num_bytes) { |
| 217 | MutexLock mu(self, lock_); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 218 | // Grow as much as possible within the mspace. |
| 219 | size_t max_allowed = Capacity(); |
| 220 | mspace_set_footprint_limit(mspace_, max_allowed); |
| 221 | // Try the allocation. |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 222 | void* ptr = AllocWithoutGrowthLocked(num_bytes); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 223 | // Shrink back down as small as possible. |
| 224 | size_t footprint = mspace_footprint(mspace_); |
| 225 | mspace_set_footprint_limit(mspace_, footprint); |
| 226 | // Return the new allocation or NULL. |
| 227 | Object* result = reinterpret_cast<Object*>(ptr); |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 228 | CHECK(!kDebugSpaces || result == NULL || Contains(result)); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 229 | return result; |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 230 | } |
| 231 | |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 232 | void AllocSpace::SetGrowthLimit(size_t growth_limit) { |
| 233 | growth_limit = RoundUp(growth_limit, kPageSize); |
| 234 | growth_limit_ = growth_limit; |
| 235 | if (Size() > growth_limit_) { |
| 236 | end_ = begin_ + growth_limit; |
| 237 | } |
| 238 | } |
| 239 | |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 240 | AllocSpace* AllocSpace::CreateZygoteSpace() { |
| 241 | end_ = reinterpret_cast<byte*>(RoundUp(reinterpret_cast<uintptr_t>(end_), kPageSize)); |
| 242 | DCHECK(IsAligned<GC_CARD_SIZE>(begin_)); |
| 243 | DCHECK(IsAligned<GC_CARD_SIZE>(end_)); |
| 244 | DCHECK(IsAligned<kPageSize>(begin_)); |
| 245 | DCHECK(IsAligned<kPageSize>(end_)); |
| 246 | size_t size = RoundUp(Size(), kPageSize); |
| 247 | // Trim the heap so that we minimize the size of the Zygote space. |
| 248 | Trim(); |
| 249 | // Trim our mem-map to free unused pages. |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 250 | GetMemMap()->UnMapAtEnd(end_); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 251 | // TODO: Not hardcode these in? |
| 252 | const size_t starting_size = kPageSize; |
| 253 | const size_t initial_size = 2 * MB; |
| 254 | // Remaining size is for the new alloc space. |
| 255 | const size_t growth_limit = growth_limit_ - size; |
| 256 | const size_t capacity = Capacity() - size; |
| 257 | VLOG(heap) << "Begin " << reinterpret_cast<const void*>(begin_); |
| 258 | VLOG(heap) << "End " << reinterpret_cast<const void*>(end_); |
| 259 | VLOG(heap) << "Size " << size; |
| 260 | VLOG(heap) << "GrowthLimit " << growth_limit_; |
| 261 | VLOG(heap) << "Capacity " << Capacity(); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 262 | SetGrowthLimit(RoundUp(size, kPageSize)); |
| 263 | SetFootprintLimit(RoundUp(size, kPageSize)); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 264 | // FIXME: Do we need reference counted pointers here? |
| 265 | // Make the two spaces share the same mark bitmaps since the bitmaps span both of the spaces. |
Mathieu Chartier | dcf8d72 | 2012-08-02 14:55:54 -0700 | [diff] [blame] | 266 | VLOG(heap) << "Creating new AllocSpace: "; |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 267 | VLOG(heap) << "Size " << GetMemMap()->Size(); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 268 | VLOG(heap) << "GrowthLimit " << PrettySize(growth_limit); |
| 269 | VLOG(heap) << "Capacity " << PrettySize(capacity); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 270 | UniquePtr<MemMap> mem_map(MemMap::MapAnonymous(GetName().c_str(), End(), capacity, PROT_READ | PROT_WRITE)); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 271 | void* mspace = CreateMallocSpace(end_, starting_size, initial_size); |
| 272 | // Protect memory beyond the initial size. |
| 273 | byte* end = mem_map->Begin() + starting_size; |
| 274 | if (capacity - initial_size > 0) { |
| 275 | CHECK_MEMORY_CALL(mprotect, (end, capacity - initial_size, PROT_NONE), name_.c_str()); |
| 276 | } |
| 277 | AllocSpace* alloc_space = new AllocSpace(name_, mem_map.release(), mspace, end_, end, growth_limit); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 278 | live_bitmap_->SetHeapLimit(reinterpret_cast<uintptr_t>(End())); |
| 279 | CHECK_EQ(live_bitmap_->HeapLimit(), reinterpret_cast<uintptr_t>(End())); |
| 280 | mark_bitmap_->SetHeapLimit(reinterpret_cast<uintptr_t>(End())); |
| 281 | CHECK_EQ(mark_bitmap_->HeapLimit(), reinterpret_cast<uintptr_t>(End())); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 282 | name_ += "-zygote-transformed"; |
| 283 | VLOG(heap) << "zygote space creation done"; |
| 284 | return alloc_space; |
| 285 | } |
| 286 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 287 | void AllocSpace::Free(Thread* self, Object* ptr) { |
| 288 | MutexLock mu(self, lock_); |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 289 | if (kDebugSpaces) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 290 | CHECK(ptr != NULL); |
| 291 | CHECK(Contains(ptr)) << "Free (" << ptr << ") not in bounds of heap " << *this; |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 292 | CHECK_EQ( |
| 293 | *reinterpret_cast<word*>(reinterpret_cast<byte*>(ptr) + AllocationSize(ptr) - |
| 294 | sizeof(word) - kChunkOverhead), kPaddingValue); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 295 | } |
| 296 | num_bytes_allocated_ -= AllocationSize(ptr); |
| 297 | --num_objects_allocated_; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 298 | mspace_free(mspace_, ptr); |
| 299 | } |
| 300 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 301 | void AllocSpace::FreeList(Thread* self, size_t num_ptrs, Object** ptrs) { |
| 302 | MutexLock mu(self, lock_); |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 303 | if (kDebugSpaces) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 304 | CHECK(ptrs != NULL); |
| 305 | size_t num_broken_ptrs = 0; |
| 306 | for (size_t i = 0; i < num_ptrs; i++) { |
| 307 | if (!Contains(ptrs[i])) { |
| 308 | num_broken_ptrs++; |
| 309 | LOG(ERROR) << "FreeList[" << i << "] (" << ptrs[i] << ") not in bounds of heap " << *this; |
| 310 | } else { |
| 311 | size_t size = mspace_usable_size(ptrs[i]); |
| 312 | memset(ptrs[i], 0xEF, size); |
| 313 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 314 | } |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 315 | CHECK_EQ(num_broken_ptrs, 0u); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 316 | } |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 317 | for (size_t i = 0; i < num_ptrs; i++) { |
| 318 | num_bytes_allocated_ -= AllocationSize(ptrs[i]); |
| 319 | } |
| 320 | num_objects_allocated_ -= num_ptrs; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 321 | mspace_bulk_free(mspace_, reinterpret_cast<void**>(ptrs), num_ptrs); |
| 322 | } |
| 323 | |
| 324 | // Callback from dlmalloc when it needs to increase the footprint |
| 325 | extern "C" void* art_heap_morecore(void* mspace, intptr_t increment) { |
Elliott Hughes | b3bd5f0 | 2012-03-08 21:05:27 -0800 | [diff] [blame] | 326 | Heap* heap = Runtime::Current()->GetHeap(); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 327 | DCHECK_EQ(heap->GetAllocSpace()->GetMspace(), mspace); |
| 328 | return heap->GetAllocSpace()->MoreCore(increment); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 329 | } |
| 330 | |
| 331 | void* AllocSpace::MoreCore(intptr_t increment) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 332 | lock_.AssertHeld(Thread::Current()); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 333 | byte* original_end = end_; |
| 334 | if (increment != 0) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 335 | VLOG(heap) << "AllocSpace::MoreCore " << PrettySize(increment); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 336 | byte* new_end = original_end + increment; |
| 337 | if (increment > 0) { |
| 338 | #if DEBUG_SPACES |
| 339 | // Should never be asked to increase the allocation beyond the capacity of the space. Enforced |
| 340 | // by mspace_set_footprint_limit. |
| 341 | CHECK_LE(new_end, Begin() + Capacity()); |
| 342 | #endif |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 343 | CHECK_MEMORY_CALL(mprotect, (original_end, increment, PROT_READ | PROT_WRITE), GetName()); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 344 | } else { |
| 345 | #if DEBUG_SPACES |
| 346 | // Should never be asked for negative footprint (ie before begin) |
| 347 | CHECK_GT(original_end + increment, Begin()); |
| 348 | #endif |
| 349 | // Advise we don't need the pages and protect them |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 350 | // TODO: by removing permissions to the pages we may be causing TLB shoot-down which can be |
| 351 | // expensive (note the same isn't true for giving permissions to a page as the protected |
| 352 | // page shouldn't be in a TLB). We should investigate performance impact of just |
| 353 | // removing ignoring the memory protection change here and in Space::CreateAllocSpace. It's |
| 354 | // likely just a useful debug feature. |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 355 | size_t size = -increment; |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 356 | CHECK_MEMORY_CALL(madvise, (new_end, size, MADV_DONTNEED), GetName()); |
| 357 | CHECK_MEMORY_CALL(mprotect, (new_end, size, PROT_NONE), GetName()); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 358 | } |
| 359 | // Update end_ |
| 360 | end_ = new_end; |
| 361 | } |
| 362 | return original_end; |
| 363 | } |
| 364 | |
| 365 | size_t AllocSpace::AllocationSize(const Object* obj) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 366 | return mspace_usable_size(const_cast<void*>(reinterpret_cast<const void*>(obj))) + |
| 367 | kChunkOverhead; |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 368 | } |
| 369 | |
Brian Carlstrom | b18e77a | 2012-08-21 14:20:03 -0700 | [diff] [blame] | 370 | void MspaceMadviseCallback(void* start, void* end, size_t used_bytes, void* /* arg */) { |
| 371 | // Is this chunk in use? |
| 372 | if (used_bytes != 0) { |
| 373 | return; |
| 374 | } |
Elliott Hughes | 9eebd3b | 2012-06-08 13:56:31 -0700 | [diff] [blame] | 375 | // Do we have any whole pages to give back? |
| 376 | start = reinterpret_cast<void*>(RoundUp(reinterpret_cast<uintptr_t>(start), kPageSize)); |
| 377 | end = reinterpret_cast<void*>(RoundDown(reinterpret_cast<uintptr_t>(end), kPageSize)); |
| 378 | if (end > start) { |
| 379 | size_t length = reinterpret_cast<byte*>(end) - reinterpret_cast<byte*>(start); |
| 380 | CHECK_MEMORY_CALL(madvise, (start, length, MADV_DONTNEED), "trim"); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 381 | } |
| 382 | } |
| 383 | |
Elliott Hughes | 9eebd3b | 2012-06-08 13:56:31 -0700 | [diff] [blame] | 384 | void AllocSpace::Trim() { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 385 | MutexLock mu(Thread::Current(), lock_); |
Elliott Hughes | 9eebd3b | 2012-06-08 13:56:31 -0700 | [diff] [blame] | 386 | // Trim to release memory at the end of the space. |
| 387 | mspace_trim(mspace_, 0); |
| 388 | // Visit space looking for page-sized holes to advise the kernel we don't need. |
| 389 | mspace_inspect_all(mspace_, MspaceMadviseCallback, NULL); |
| 390 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 391 | |
| 392 | void AllocSpace::Walk(void(*callback)(void *start, void *end, size_t num_bytes, void* callback_arg), |
| 393 | void* arg) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 394 | MutexLock mu(Thread::Current(), lock_); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 395 | mspace_inspect_all(mspace_, callback, arg); |
Ian Rogers | 15bf2d3 | 2012-08-28 17:33:04 -0700 | [diff] [blame] | 396 | callback(NULL, NULL, 0, arg); // Indicate end of a space. |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 397 | } |
| 398 | |
| 399 | size_t AllocSpace::GetFootprintLimit() { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 400 | MutexLock mu(Thread::Current(), lock_); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 401 | return mspace_footprint_limit(mspace_); |
| 402 | } |
| 403 | |
| 404 | void AllocSpace::SetFootprintLimit(size_t new_size) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 405 | MutexLock mu(Thread::Current(), lock_); |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 406 | VLOG(heap) << "AllocSpace::SetFootprintLimit " << PrettySize(new_size); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 407 | // Compare against the actual footprint, rather than the Size(), because the heap may not have |
| 408 | // grown all the way to the allowed size yet. |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 409 | size_t current_space_size = mspace_footprint(mspace_); |
| 410 | if (new_size < current_space_size) { |
| 411 | // Don't let the space grow any more. |
| 412 | new_size = current_space_size; |
| 413 | } |
| 414 | mspace_set_footprint_limit(mspace_, new_size); |
| 415 | } |
| 416 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 417 | size_t ImageSpace::bitmap_index_ = 0; |
| 418 | |
| 419 | ImageSpace::ImageSpace(const std::string& name, MemMap* mem_map) |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 420 | : MemMapSpace(name, mem_map, mem_map->Size(), GCRP_NEVER_COLLECT) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 421 | const size_t bitmap_index = bitmap_index_++; |
| 422 | live_bitmap_.reset(SpaceBitmap::Create( |
| 423 | StringPrintf("imagespace-%s-live-bitmap-%d", name.c_str(), static_cast<int>(bitmap_index)), |
| 424 | Begin(), Capacity())); |
| 425 | DCHECK(live_bitmap_.get() != NULL) << "could not create imagespace live bitmap #" << bitmap_index; |
| 426 | } |
| 427 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 428 | ImageSpace* ImageSpace::Create(const std::string& image_file_name) { |
Brian Carlstrom | 5643b78 | 2012-02-05 12:32:53 -0800 | [diff] [blame] | 429 | CHECK(!image_file_name.empty()); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 430 | |
| 431 | uint64_t start_time = 0; |
| 432 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
| 433 | start_time = NanoTime(); |
| 434 | LOG(INFO) << "Space::CreateImageSpace entering" << " image_file_name=" << image_file_name; |
| 435 | } |
| 436 | |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 437 | UniquePtr<File> file(OS::OpenFile(image_file_name.c_str(), false)); |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 438 | if (file.get() == NULL) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 439 | LOG(ERROR) << "Failed to open " << image_file_name; |
| 440 | return NULL; |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 441 | } |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 442 | ImageHeader image_header; |
| 443 | bool success = file->ReadFully(&image_header, sizeof(image_header)); |
| 444 | if (!success || !image_header.IsValid()) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 445 | LOG(ERROR) << "Invalid image header " << image_file_name; |
| 446 | return NULL; |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 447 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 448 | UniquePtr<MemMap> map(MemMap::MapFileAtAddress(image_header.GetImageBegin(), |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 449 | file->Length(), |
| 450 | // TODO: selectively PROT_EXEC stubs |
| 451 | PROT_READ | PROT_WRITE | PROT_EXEC, |
| 452 | MAP_PRIVATE | MAP_FIXED, |
| 453 | file->Fd(), |
| 454 | 0)); |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 455 | if (map.get() == NULL) { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 456 | LOG(ERROR) << "Failed to map " << image_file_name; |
| 457 | return NULL; |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 458 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 459 | CHECK_EQ(image_header.GetImageBegin(), map->Begin()); |
| 460 | DCHECK_EQ(0, memcmp(&image_header, map->Begin(), sizeof(ImageHeader))); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame] | 461 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 462 | Runtime* runtime = Runtime::Current(); |
Brian Carlstrom | 1619286 | 2011-09-12 17:50:06 -0700 | [diff] [blame] | 463 | Object* jni_stub_array = image_header.GetImageRoot(ImageHeader::kJniStubArray); |
Ian Rogers | 169c9a7 | 2011-11-13 20:13:17 -0800 | [diff] [blame] | 464 | runtime->SetJniDlsymLookupStub(down_cast<ByteArray*>(jni_stub_array)); |
Brian Carlstrom | 1619286 | 2011-09-12 17:50:06 -0700 | [diff] [blame] | 465 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 466 | Object* ame_stub_array = image_header.GetImageRoot(ImageHeader::kAbstractMethodErrorStubArray); |
Ian Rogers | 4f0d07c | 2011-10-06 23:38:47 -0700 | [diff] [blame] | 467 | runtime->SetAbstractMethodErrorStubArray(down_cast<ByteArray*>(ame_stub_array)); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 468 | |
Ian Rogers | fb6adba | 2012-03-04 21:51:51 -0800 | [diff] [blame] | 469 | Object* resolution_stub_array = |
| 470 | image_header.GetImageRoot(ImageHeader::kStaticResolutionStubArray); |
Ian Rogers | 4f0d07c | 2011-10-06 23:38:47 -0700 | [diff] [blame] | 471 | runtime->SetResolutionStubArray( |
Ian Rogers | 1cb0a1d | 2011-10-06 15:24:35 -0700 | [diff] [blame] | 472 | down_cast<ByteArray*>(resolution_stub_array), Runtime::kStaticMethod); |
| 473 | resolution_stub_array = image_header.GetImageRoot(ImageHeader::kUnknownMethodResolutionStubArray); |
Ian Rogers | 4f0d07c | 2011-10-06 23:38:47 -0700 | [diff] [blame] | 474 | runtime->SetResolutionStubArray( |
Ian Rogers | 1cb0a1d | 2011-10-06 15:24:35 -0700 | [diff] [blame] | 475 | down_cast<ByteArray*>(resolution_stub_array), Runtime::kUnknownMethod); |
Ian Rogers | ad25ac5 | 2011-10-04 19:13:33 -0700 | [diff] [blame] | 476 | |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 477 | Object* resolution_method = image_header.GetImageRoot(ImageHeader::kResolutionMethod); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 478 | runtime->SetResolutionMethod(down_cast<AbstractMethod*>(resolution_method)); |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 479 | |
Ian Rogers | ff1ed47 | 2011-09-20 13:46:24 -0700 | [diff] [blame] | 480 | Object* callee_save_method = image_header.GetImageRoot(ImageHeader::kCalleeSaveMethod); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 481 | runtime->SetCalleeSaveMethod(down_cast<AbstractMethod*>(callee_save_method), Runtime::kSaveAll); |
Ian Rogers | 4f0d07c | 2011-10-06 23:38:47 -0700 | [diff] [blame] | 482 | callee_save_method = image_header.GetImageRoot(ImageHeader::kRefsOnlySaveMethod); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 483 | runtime->SetCalleeSaveMethod(down_cast<AbstractMethod*>(callee_save_method), Runtime::kRefsOnly); |
Ian Rogers | 4f0d07c | 2011-10-06 23:38:47 -0700 | [diff] [blame] | 484 | callee_save_method = image_header.GetImageRoot(ImageHeader::kRefsAndArgsSaveMethod); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 485 | runtime->SetCalleeSaveMethod(down_cast<AbstractMethod*>(callee_save_method), Runtime::kRefsAndArgs); |
Ian Rogers | ff1ed47 | 2011-09-20 13:46:24 -0700 | [diff] [blame] | 486 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 487 | ImageSpace* space = new ImageSpace(image_file_name, map.release()); |
| 488 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 489 | LOG(INFO) << "Space::CreateImageSpace exiting (" << PrettyDuration(NanoTime() - start_time) |
| 490 | << ") " << *space; |
Ian Rogers | 5d76c43 | 2011-10-31 21:42:49 -0700 | [diff] [blame] | 491 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 492 | return space; |
Ian Rogers | 5d76c43 | 2011-10-31 21:42:49 -0700 | [diff] [blame] | 493 | } |
| 494 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 495 | void ImageSpace::RecordImageAllocations(SpaceBitmap* live_bitmap) const { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 496 | uint64_t start_time = 0; |
| 497 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
| 498 | LOG(INFO) << "ImageSpace::RecordImageAllocations entering"; |
| 499 | start_time = NanoTime(); |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 500 | } |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 501 | DCHECK(!Runtime::Current()->IsStarted()); |
| 502 | CHECK(live_bitmap != NULL); |
| 503 | byte* current = Begin() + RoundUp(sizeof(ImageHeader), kObjectAlignment); |
| 504 | byte* end = End(); |
| 505 | while (current < end) { |
| 506 | DCHECK_ALIGNED(current, kObjectAlignment); |
| 507 | const Object* obj = reinterpret_cast<const Object*>(current); |
| 508 | live_bitmap->Set(obj); |
| 509 | current += RoundUp(obj->SizeOf(), kObjectAlignment); |
| 510 | } |
| 511 | if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) { |
Ian Rogers | 3bb17a6 | 2012-01-27 23:56:44 -0800 | [diff] [blame] | 512 | LOG(INFO) << "ImageSpace::RecordImageAllocations exiting (" |
| 513 | << PrettyDuration(NanoTime() - start_time) << ")"; |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 514 | } |
| 515 | } |
| 516 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 517 | std::ostream& operator<<(std::ostream& os, const Space& space) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 518 | space.Dump(os); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 519 | return os; |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 520 | } |
| 521 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 522 | void AllocSpace::Dump(std::ostream& os) const { |
| 523 | os << GetType() |
| 524 | << "begin=" << reinterpret_cast<void*>(Begin()) |
| 525 | << ",end=" << reinterpret_cast<void*>(End()) |
| 526 | << ",size=" << PrettySize(Size()) << ",capacity=" << PrettySize(Capacity()) |
| 527 | << ",name=\"" << GetName() << "\"]"; |
| 528 | } |
| 529 | |
| 530 | void ImageSpace::Dump(std::ostream& os) const { |
| 531 | os << GetType() |
| 532 | << "begin=" << reinterpret_cast<void*>(Begin()) |
| 533 | << ",end=" << reinterpret_cast<void*>(End()) |
| 534 | << ",size=" << PrettySize(Size()) |
| 535 | << ",name=\"" << GetName() << "\"]"; |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 536 | } |
| 537 | |
| 538 | void LargeObjectSpace::SwapBitmaps() { |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 539 | SpaceSetMap* temp_live_objects = live_objects_.release(); |
| 540 | live_objects_.reset(mark_objects_.release()); |
| 541 | mark_objects_.reset(temp_live_objects); |
| 542 | // Swap names to get more descriptive diagnostics. |
| 543 | std::string temp_name = live_objects_->GetName(); |
| 544 | live_objects_->SetName(mark_objects_->GetName()); |
| 545 | mark_objects_->SetName(temp_name); |
| 546 | } |
| 547 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 548 | DiscontinuousSpace::DiscontinuousSpace(const std::string& name, |
| 549 | GcRetentionPolicy gc_retention_policy) |
| 550 | : Space(name, gc_retention_policy) { |
| 551 | |
| 552 | } |
| 553 | |
| 554 | LargeObjectSpace::LargeObjectSpace(const std::string& name) |
| 555 | : DiscontinuousSpace(name, GCRP_ALWAYS_COLLECT), |
| 556 | num_bytes_allocated_(0), |
| 557 | num_objects_allocated_(0) { |
| 558 | live_objects_.reset(new SpaceSetMap("large live objects")); |
| 559 | mark_objects_.reset(new SpaceSetMap("large marked objects")); |
| 560 | } |
| 561 | |
| 562 | |
| 563 | void LargeObjectSpace::CopyLiveToMarked() { |
| 564 | mark_objects_->CopyFrom(*live_objects_.get()); |
| 565 | } |
| 566 | |
| 567 | LargeObjectMapSpace::LargeObjectMapSpace(const std::string& name) |
| 568 | : LargeObjectSpace(name), |
| 569 | lock_("large object space lock", kAllocSpaceLock) |
| 570 | { |
| 571 | |
| 572 | } |
| 573 | |
| 574 | LargeObjectMapSpace* LargeObjectMapSpace::Create(const std::string& name) { |
| 575 | return new LargeObjectMapSpace(name); |
| 576 | } |
| 577 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 578 | Object* LargeObjectMapSpace::Alloc(Thread* self, size_t num_bytes) { |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 579 | MemMap* mem_map = MemMap::MapAnonymous("allocation", NULL, num_bytes, PROT_READ | PROT_WRITE); |
| 580 | if (mem_map == NULL) { |
| 581 | return NULL; |
| 582 | } |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 583 | MutexLock mu(self, lock_); |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 584 | Object* obj = reinterpret_cast<Object*>(mem_map->Begin()); |
| 585 | large_objects_.push_back(obj); |
| 586 | mem_maps_.Put(obj, mem_map); |
| 587 | num_bytes_allocated_ += mem_map->Size(); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 588 | ++num_objects_allocated_; |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 589 | return obj; |
| 590 | } |
| 591 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 592 | void LargeObjectMapSpace::Free(Thread* self, Object* ptr) { |
| 593 | MutexLock mu(self, lock_); |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 594 | MemMaps::iterator found = mem_maps_.find(ptr); |
| 595 | CHECK(found != mem_maps_.end()) << "Attempted to free large object which was not live"; |
| 596 | DCHECK_GE(num_bytes_allocated_, found->second->Size()); |
| 597 | num_bytes_allocated_ -= found->second->Size(); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 598 | --num_objects_allocated_; |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 599 | delete found->second; |
| 600 | mem_maps_.erase(found); |
| 601 | } |
| 602 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 603 | size_t LargeObjectMapSpace::AllocationSize(const Object* obj) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 604 | MutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 605 | MemMaps::iterator found = mem_maps_.find(const_cast<Object*>(obj)); |
| 606 | CHECK(found != mem_maps_.end()) << "Attempted to get size of a large object which is not live"; |
| 607 | return found->second->Size(); |
| 608 | } |
| 609 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 610 | void LargeObjectMapSpace::Walk(AllocSpace::WalkCallback callback, void* arg) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 611 | MutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | e0f0cb3 | 2012-08-28 11:26:00 -0700 | [diff] [blame] | 612 | for (MemMaps::iterator it = mem_maps_.begin(); it != mem_maps_.end(); ++it) { |
| 613 | MemMap* mem_map = it->second; |
| 614 | callback(mem_map->Begin(), mem_map->End(), mem_map->Size(), arg); |
| 615 | callback(NULL, NULL, 0, arg); |
| 616 | } |
| 617 | } |
| 618 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 619 | bool LargeObjectMapSpace::Contains(const Object* obj) const { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 620 | MutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 621 | return mem_maps_.find(const_cast<Object*>(obj)) != mem_maps_.end(); |
| 622 | } |
| 623 | |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 624 | FreeListSpace* FreeListSpace::Create(const std::string& name, byte* requested_begin, size_t size) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 625 | CHECK(size % kAlignment == 0); |
Mathieu Chartier | 8e9a149 | 2012-10-04 12:25:40 -0700 | [diff] [blame] | 626 | MemMap* mem_map = MemMap::MapAnonymous(name.c_str(), requested_begin, size, |
| 627 | PROT_READ | PROT_WRITE); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 628 | CHECK(mem_map != NULL) << "Failed to allocate large object space mem map"; |
| 629 | return new FreeListSpace(name, mem_map, mem_map->Begin(), mem_map->End()); |
| 630 | } |
| 631 | |
| 632 | FreeListSpace::FreeListSpace(const std::string& name, MemMap* mem_map, byte* begin, byte* end) |
| 633 | : LargeObjectSpace(name), |
| 634 | begin_(begin), |
| 635 | end_(end), |
| 636 | mem_map_(mem_map), |
| 637 | lock_("free list space lock", kAllocSpaceLock) { |
| 638 | chunks_.resize(Size() / kAlignment + 1); |
| 639 | // Add a dummy chunk so we don't need to handle chunks having no next chunk. |
| 640 | chunks_.back().SetSize(kAlignment, false); |
| 641 | // Start out with one large free chunk. |
| 642 | AddFreeChunk(begin_, end_ - begin_, NULL); |
| 643 | } |
| 644 | |
| 645 | FreeListSpace::~FreeListSpace() { |
| 646 | |
| 647 | } |
| 648 | |
| 649 | void FreeListSpace::AddFreeChunk(void* address, size_t size, Chunk* previous) { |
| 650 | Chunk* chunk = ChunkFromAddr(address); |
| 651 | chunk->SetSize(size, true); |
| 652 | chunk->SetPrevious(previous); |
| 653 | Chunk* next_chunk = GetNextChunk(chunk); |
| 654 | next_chunk->SetPrevious(chunk); |
| 655 | free_chunks_.insert(chunk); |
| 656 | } |
| 657 | |
| 658 | FreeListSpace::Chunk* FreeListSpace::ChunkFromAddr(void* address) { |
| 659 | size_t offset = reinterpret_cast<byte*>(address) - Begin(); |
| 660 | DCHECK(IsAligned<kAlignment>(offset)); |
| 661 | DCHECK_LT(offset, Size()); |
| 662 | return &chunks_[offset / kAlignment]; |
| 663 | } |
| 664 | |
| 665 | void* FreeListSpace::AddrFromChunk(Chunk* chunk) { |
| 666 | return reinterpret_cast<void*>(Begin() + (chunk - &chunks_.front()) * kAlignment); |
| 667 | } |
| 668 | |
| 669 | void FreeListSpace::RemoveFreeChunk(Chunk* chunk) { |
| 670 | // TODO: C++0x |
| 671 | // TODO: Improve performance, this might be slow. |
| 672 | std::pair<FreeChunks::iterator, FreeChunks::iterator> range = free_chunks_.equal_range(chunk); |
| 673 | for (FreeChunks::iterator it = range.first; it != range.second; ++it) { |
| 674 | if (*it == chunk) { |
| 675 | free_chunks_.erase(it); |
| 676 | return; |
| 677 | } |
| 678 | } |
| 679 | } |
| 680 | |
| 681 | void FreeListSpace::Walk(AllocSpace::WalkCallback callback, void* arg) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 682 | MutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 683 | for (Chunk* chunk = &chunks_.front(); chunk < &chunks_.back(); ) { |
| 684 | if (!chunk->IsFree()) { |
| 685 | size_t size = chunk->GetSize(); |
| 686 | void* begin = AddrFromChunk(chunk); |
| 687 | void* end = reinterpret_cast<void*>(reinterpret_cast<byte*>(begin) + size); |
| 688 | callback(begin, end, size, arg); |
| 689 | callback(NULL, NULL, 0, arg); |
| 690 | } |
| 691 | chunk = GetNextChunk(chunk); |
| 692 | } |
| 693 | } |
| 694 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 695 | void FreeListSpace::Free(Thread* self, Object* obj) { |
| 696 | MutexLock mu(self, lock_); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 697 | CHECK(Contains(obj)); |
| 698 | // Check adjacent chunks to see if we need to combine. |
| 699 | Chunk* chunk = ChunkFromAddr(obj); |
| 700 | CHECK(!chunk->IsFree()); |
| 701 | |
| 702 | size_t allocation_size = chunk->GetSize(); |
| 703 | madvise(obj, allocation_size, MADV_DONTNEED); |
| 704 | num_objects_allocated_--; |
| 705 | num_bytes_allocated_ -= allocation_size; |
| 706 | Chunk* prev = chunk->GetPrevious(); |
| 707 | Chunk* next = GetNextChunk(chunk); |
| 708 | |
| 709 | // Combine any adjacent free chunks |
| 710 | size_t extra_size = chunk->GetSize(); |
| 711 | if (next->IsFree()) { |
| 712 | extra_size += next->GetSize(); |
| 713 | RemoveFreeChunk(next); |
| 714 | } |
| 715 | if (prev != NULL && prev->IsFree()) { |
| 716 | RemoveFreeChunk(prev); |
| 717 | AddFreeChunk(AddrFromChunk(prev), prev->GetSize() + extra_size, prev->GetPrevious()); |
| 718 | } else { |
| 719 | AddFreeChunk(AddrFromChunk(chunk), extra_size, prev); |
| 720 | } |
| 721 | } |
| 722 | |
| 723 | bool FreeListSpace::Contains(const Object* obj) const { |
| 724 | return mem_map_->HasAddress(obj); |
| 725 | } |
| 726 | |
| 727 | FreeListSpace::Chunk* FreeListSpace::GetNextChunk(Chunk* chunk) { |
| 728 | return chunk + chunk->GetSize() / kAlignment; |
| 729 | } |
| 730 | |
| 731 | size_t FreeListSpace::AllocationSize(const Object* obj) { |
| 732 | Chunk* chunk = ChunkFromAddr(const_cast<Object*>(obj)); |
| 733 | CHECK(!chunk->IsFree()); |
| 734 | return chunk->GetSize(); |
| 735 | } |
| 736 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 737 | Object* FreeListSpace::Alloc(Thread* self, size_t num_bytes) { |
| 738 | MutexLock mu(self, lock_); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 739 | num_bytes = RoundUp(num_bytes, kAlignment); |
| 740 | Chunk temp; |
| 741 | temp.SetSize(num_bytes); |
| 742 | // Find the smallest chunk at least num_bytes in size. |
| 743 | FreeChunks::iterator found = free_chunks_.lower_bound(&temp); |
| 744 | if (found == free_chunks_.end()) { |
| 745 | // Out of memory, or too much fragmentation. |
| 746 | return NULL; |
| 747 | } |
| 748 | Chunk* chunk = *found; |
| 749 | free_chunks_.erase(found); |
| 750 | CHECK(chunk->IsFree()); |
| 751 | void* addr = AddrFromChunk(chunk); |
| 752 | size_t chunk_size = chunk->GetSize(); |
| 753 | chunk->SetSize(num_bytes); |
| 754 | if (chunk_size > num_bytes) { |
| 755 | // Split the chunk into two chunks. |
| 756 | Chunk* new_chunk = GetNextChunk(chunk); |
| 757 | AddFreeChunk(AddrFromChunk(new_chunk), chunk_size - num_bytes, chunk); |
| 758 | } |
| 759 | |
| 760 | num_objects_allocated_++; |
| 761 | num_bytes_allocated_ += num_bytes; |
| 762 | return reinterpret_cast<Object*>(addr); |
| 763 | } |
| 764 | |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 765 | void FreeListSpace::FreeList(Thread* self, size_t num_ptrs, Object** ptrs) { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 766 | for (size_t i = 0; i < num_ptrs; ++i) { |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame^] | 767 | Free(self, ptrs[i]); |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 768 | } |
| 769 | } |
| 770 | |
Carl Shapiro | 69759ea | 2011-07-21 18:13:35 -0700 | [diff] [blame] | 771 | } // namespace art |