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