| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 1 | /* | 
 | 2 |  * Copyright (C) 2013 The Android Open Source Project | 
 | 3 |  * | 
 | 4 |  * Licensed under the Apache License, Version 2.0 (the "License"); | 
 | 5 |  * you may not use this file except in compliance with the License. | 
 | 6 |  * You may obtain a copy of the License at | 
 | 7 |  * | 
 | 8 |  *      http://www.apache.org/licenses/LICENSE-2.0 | 
 | 9 |  * | 
 | 10 |  * Unless required by applicable law or agreed to in writing, software | 
 | 11 |  * distributed under the License is distributed on an "AS IS" BASIS, | 
 | 12 |  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
 | 13 |  * See the License for the specific language governing permissions and | 
 | 14 |  * limitations under the License. | 
 | 15 |  */ | 
 | 16 |  | 
 | 17 | #include "malloc_space.h" | 
 | 18 |  | 
| Mathieu Chartier | ec05007 | 2014-01-07 16:00:07 -0800 | [diff] [blame] | 19 | #include "gc/accounting/card_table-inl.h" | 
 | 20 | #include "gc/accounting/space_bitmap-inl.h" | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 21 | #include "gc/heap.h" | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 22 | #include "gc/space/space-inl.h" | 
 | 23 | #include "gc/space/zygote_space.h" | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 24 | #include "mirror/class-inl.h" | 
 | 25 | #include "mirror/object-inl.h" | 
 | 26 | #include "runtime.h" | 
 | 27 | #include "thread.h" | 
 | 28 | #include "thread_list.h" | 
 | 29 | #include "utils.h" | 
 | 30 |  | 
 | 31 | namespace art { | 
 | 32 | namespace gc { | 
 | 33 | namespace space { | 
 | 34 |  | 
 | 35 | size_t MallocSpace::bitmap_index_ = 0; | 
 | 36 |  | 
 | 37 | MallocSpace::MallocSpace(const std::string& name, MemMap* mem_map, | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 38 |                          byte* begin, byte* end, byte* limit, size_t growth_limit, | 
 | 39 |                          bool create_bitmaps) | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 40 |     : ContinuousMemMapAllocSpace(name, mem_map, begin, end, limit, kGcRetentionPolicyAlwaysCollect), | 
 | 41 |       recent_free_pos_(0), lock_("allocation space lock", kAllocSpaceLock), | 
 | 42 |       growth_limit_(growth_limit) { | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 43 |   if (create_bitmaps) { | 
 | 44 |     size_t bitmap_index = bitmap_index_++; | 
 | 45 |     static const uintptr_t kGcCardSize = static_cast<uintptr_t>(accounting::CardTable::kCardSize); | 
 | 46 |     CHECK(IsAligned<kGcCardSize>(reinterpret_cast<uintptr_t>(mem_map->Begin()))); | 
 | 47 |     CHECK(IsAligned<kGcCardSize>(reinterpret_cast<uintptr_t>(mem_map->End()))); | 
 | 48 |     live_bitmap_.reset(accounting::SpaceBitmap::Create( | 
 | 49 |         StringPrintf("allocspace %s live-bitmap %d", name.c_str(), static_cast<int>(bitmap_index)), | 
 | 50 |         Begin(), Capacity())); | 
 | 51 |     DCHECK(live_bitmap_.get() != NULL) << "could not create allocspace live bitmap #" | 
 | 52 |         << bitmap_index; | 
 | 53 |     mark_bitmap_.reset(accounting::SpaceBitmap::Create( | 
 | 54 |         StringPrintf("allocspace %s mark-bitmap %d", name.c_str(), static_cast<int>(bitmap_index)), | 
 | 55 |         Begin(), Capacity())); | 
 | 56 |     DCHECK(live_bitmap_.get() != NULL) << "could not create allocspace mark bitmap #" | 
 | 57 |         << bitmap_index; | 
 | 58 |   } | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 59 |   for (auto& freed : recent_freed_objects_) { | 
 | 60 |     freed.first = nullptr; | 
 | 61 |     freed.second = nullptr; | 
 | 62 |   } | 
 | 63 | } | 
 | 64 |  | 
 | 65 | MemMap* MallocSpace::CreateMemMap(const std::string& name, size_t starting_size, size_t* initial_size, | 
 | 66 |                                   size_t* growth_limit, size_t* capacity, byte* requested_begin) { | 
 | 67 |   // Sanity check arguments | 
 | 68 |   if (starting_size > *initial_size) { | 
 | 69 |     *initial_size = starting_size; | 
 | 70 |   } | 
 | 71 |   if (*initial_size > *growth_limit) { | 
 | 72 |     LOG(ERROR) << "Failed to create alloc space (" << name << ") where the initial size (" | 
 | 73 |         << PrettySize(*initial_size) << ") is larger than its capacity (" | 
 | 74 |         << PrettySize(*growth_limit) << ")"; | 
 | 75 |     return NULL; | 
 | 76 |   } | 
 | 77 |   if (*growth_limit > *capacity) { | 
 | 78 |     LOG(ERROR) << "Failed to create alloc space (" << name << ") where the growth limit capacity (" | 
 | 79 |         << PrettySize(*growth_limit) << ") is larger than the capacity (" | 
 | 80 |         << PrettySize(*capacity) << ")"; | 
 | 81 |     return NULL; | 
 | 82 |   } | 
 | 83 |  | 
 | 84 |   // Page align growth limit and capacity which will be used to manage mmapped storage | 
 | 85 |   *growth_limit = RoundUp(*growth_limit, kPageSize); | 
 | 86 |   *capacity = RoundUp(*capacity, kPageSize); | 
 | 87 |  | 
 | 88 |   std::string error_msg; | 
 | 89 |   MemMap* mem_map = MemMap::MapAnonymous(name.c_str(), requested_begin, *capacity, | 
| Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 90 |                                          PROT_READ | PROT_WRITE, true, &error_msg); | 
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 91 |   if (mem_map == nullptr) { | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 92 |     LOG(ERROR) << "Failed to allocate pages for alloc space (" << name << ") of size " | 
 | 93 |                << PrettySize(*capacity) << ": " << error_msg; | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 94 |   } | 
 | 95 |   return mem_map; | 
 | 96 | } | 
 | 97 |  | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 98 | mirror::Class* MallocSpace::FindRecentFreedObject(const mirror::Object* obj) { | 
 | 99 |   size_t pos = recent_free_pos_; | 
 | 100 |   // Start at the most recently freed object and work our way back since there may be duplicates | 
 | 101 |   // caused by dlmalloc reusing memory. | 
 | 102 |   if (kRecentFreeCount > 0) { | 
 | 103 |     for (size_t i = 0; i + 1 < kRecentFreeCount + 1; ++i) { | 
 | 104 |       pos = pos != 0 ? pos - 1 : kRecentFreeMask; | 
 | 105 |       if (recent_freed_objects_[pos].first == obj) { | 
 | 106 |         return recent_freed_objects_[pos].second; | 
 | 107 |       } | 
 | 108 |     } | 
 | 109 |   } | 
 | 110 |   return nullptr; | 
 | 111 | } | 
 | 112 |  | 
 | 113 | void MallocSpace::RegisterRecentFree(mirror::Object* ptr) { | 
| Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 114 |   // No verification since the object is dead. | 
 | 115 |   recent_freed_objects_[recent_free_pos_] = std::make_pair(ptr, ptr->GetClass<kVerifyNone>()); | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 116 |   recent_free_pos_ = (recent_free_pos_ + 1) & kRecentFreeMask; | 
 | 117 | } | 
 | 118 |  | 
 | 119 | void MallocSpace::SetGrowthLimit(size_t growth_limit) { | 
 | 120 |   growth_limit = RoundUp(growth_limit, kPageSize); | 
 | 121 |   growth_limit_ = growth_limit; | 
 | 122 |   if (Size() > growth_limit_) { | 
 | 123 |     end_ = begin_ + growth_limit; | 
 | 124 |   } | 
 | 125 | } | 
 | 126 |  | 
 | 127 | void* MallocSpace::MoreCore(intptr_t increment) { | 
 | 128 |   CheckMoreCoreForPrecondition(); | 
 | 129 |   byte* original_end = end_; | 
 | 130 |   if (increment != 0) { | 
 | 131 |     VLOG(heap) << "MallocSpace::MoreCore " << PrettySize(increment); | 
 | 132 |     byte* new_end = original_end + increment; | 
 | 133 |     if (increment > 0) { | 
 | 134 |       // Should never be asked to increase the allocation beyond the capacity of the space. Enforced | 
 | 135 |       // by mspace_set_footprint_limit. | 
 | 136 |       CHECK_LE(new_end, Begin() + Capacity()); | 
 | 137 |       CHECK_MEMORY_CALL(mprotect, (original_end, increment, PROT_READ | PROT_WRITE), GetName()); | 
 | 138 |     } else { | 
 | 139 |       // Should never be asked for negative footprint (ie before begin). Zero footprint is ok. | 
 | 140 |       CHECK_GE(original_end + increment, Begin()); | 
 | 141 |       // Advise we don't need the pages and protect them | 
 | 142 |       // TODO: by removing permissions to the pages we may be causing TLB shoot-down which can be | 
 | 143 |       // expensive (note the same isn't true for giving permissions to a page as the protected | 
 | 144 |       // page shouldn't be in a TLB). We should investigate performance impact of just | 
 | 145 |       // removing ignoring the memory protection change here and in Space::CreateAllocSpace. It's | 
 | 146 |       // likely just a useful debug feature. | 
 | 147 |       size_t size = -increment; | 
 | 148 |       CHECK_MEMORY_CALL(madvise, (new_end, size, MADV_DONTNEED), GetName()); | 
 | 149 |       CHECK_MEMORY_CALL(mprotect, (new_end, size, PROT_NONE), GetName()); | 
 | 150 |     } | 
 | 151 |     // Update end_ | 
 | 152 |     end_ = new_end; | 
 | 153 |   } | 
 | 154 |   return original_end; | 
 | 155 | } | 
 | 156 |  | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 157 | ZygoteSpace* MallocSpace::CreateZygoteSpace(const char* alloc_space_name, bool low_memory_mode, | 
 | 158 |                                             MallocSpace** out_malloc_space) { | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 159 |   // For RosAlloc, revoke thread local runs before creating a new | 
 | 160 |   // alloc space so that we won't mix thread local runs from different | 
 | 161 |   // alloc spaces. | 
 | 162 |   RevokeAllThreadLocalBuffers(); | 
 | 163 |   end_ = reinterpret_cast<byte*>(RoundUp(reinterpret_cast<uintptr_t>(end_), kPageSize)); | 
 | 164 |   DCHECK(IsAligned<accounting::CardTable::kCardSize>(begin_)); | 
 | 165 |   DCHECK(IsAligned<accounting::CardTable::kCardSize>(end_)); | 
 | 166 |   DCHECK(IsAligned<kPageSize>(begin_)); | 
 | 167 |   DCHECK(IsAligned<kPageSize>(end_)); | 
 | 168 |   size_t size = RoundUp(Size(), kPageSize); | 
| Mathieu Chartier | 85a43c0 | 2014-01-07 17:59:00 -0800 | [diff] [blame] | 169 |   // Trimming the heap should be done by the caller since we may have invalidated the accounting | 
 | 170 |   // stored in between objects. | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 171 |   // Remaining size is for the new alloc space. | 
 | 172 |   const size_t growth_limit = growth_limit_ - size; | 
 | 173 |   const size_t capacity = Capacity() - size; | 
 | 174 |   VLOG(heap) << "Begin " << reinterpret_cast<const void*>(begin_) << "\n" | 
 | 175 |              << "End " << reinterpret_cast<const void*>(end_) << "\n" | 
 | 176 |              << "Size " << size << "\n" | 
 | 177 |              << "GrowthLimit " << growth_limit_ << "\n" | 
 | 178 |              << "Capacity " << Capacity(); | 
 | 179 |   SetGrowthLimit(RoundUp(size, kPageSize)); | 
 | 180 |   SetFootprintLimit(RoundUp(size, kPageSize)); | 
| Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 181 |  | 
 | 182 |   // TODO: Not hardcode these in? | 
 | 183 |   const size_t starting_size = kPageSize; | 
 | 184 |   const size_t initial_size = 2 * MB; | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 185 |   // FIXME: Do we need reference counted pointers here? | 
 | 186 |   // Make the two spaces share the same mark bitmaps since the bitmaps span both of the spaces. | 
 | 187 |   VLOG(heap) << "Creating new AllocSpace: "; | 
 | 188 |   VLOG(heap) << "Size " << GetMemMap()->Size(); | 
 | 189 |   VLOG(heap) << "GrowthLimit " << PrettySize(growth_limit); | 
 | 190 |   VLOG(heap) << "Capacity " << PrettySize(capacity); | 
 | 191 |   // Remap the tail. | 
 | 192 |   std::string error_msg; | 
 | 193 |   UniquePtr<MemMap> mem_map(GetMemMap()->RemapAtEnd(end_, alloc_space_name, | 
 | 194 |                                                     PROT_READ | PROT_WRITE, &error_msg)); | 
 | 195 |   CHECK(mem_map.get() != nullptr) << error_msg; | 
| Hiroshi Yamauchi | 26d69ff | 2014-02-27 11:27:10 -0800 | [diff] [blame] | 196 |   void* allocator = CreateAllocator(end_, starting_size, initial_size, capacity, low_memory_mode); | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 197 |   // Protect memory beyond the initial size. | 
 | 198 |   byte* end = mem_map->Begin() + starting_size; | 
 | 199 |   if (capacity - initial_size > 0) { | 
 | 200 |     CHECK_MEMORY_CALL(mprotect, (end, capacity - initial_size, PROT_NONE), alloc_space_name); | 
 | 201 |   } | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 202 |   *out_malloc_space = CreateInstance(alloc_space_name, mem_map.release(), allocator, end_, end, | 
 | 203 |                                      limit_, growth_limit); | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 204 |   SetLimit(End()); | 
 | 205 |   live_bitmap_->SetHeapLimit(reinterpret_cast<uintptr_t>(End())); | 
 | 206 |   CHECK_EQ(live_bitmap_->HeapLimit(), reinterpret_cast<uintptr_t>(End())); | 
 | 207 |   mark_bitmap_->SetHeapLimit(reinterpret_cast<uintptr_t>(End())); | 
 | 208 |   CHECK_EQ(mark_bitmap_->HeapLimit(), reinterpret_cast<uintptr_t>(End())); | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 209 |  | 
 | 210 |   // Create the actual zygote space. | 
 | 211 |   ZygoteSpace* zygote_space = ZygoteSpace::Create("Zygote space", ReleaseMemMap(), | 
 | 212 |                                                   live_bitmap_.release(), mark_bitmap_.release()); | 
 | 213 |   if (UNLIKELY(zygote_space == nullptr)) { | 
 | 214 |     VLOG(heap) << "Failed creating zygote space from space " << GetName(); | 
 | 215 |   } else { | 
 | 216 |     VLOG(heap) << "zygote space creation done"; | 
 | 217 |   } | 
 | 218 |   return zygote_space; | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 219 | } | 
 | 220 |  | 
 | 221 | void MallocSpace::Dump(std::ostream& os) const { | 
 | 222 |   os << GetType() | 
 | 223 |       << " begin=" << reinterpret_cast<void*>(Begin()) | 
 | 224 |       << ",end=" << reinterpret_cast<void*>(End()) | 
 | 225 |       << ",size=" << PrettySize(Size()) << ",capacity=" << PrettySize(Capacity()) | 
 | 226 |       << ",name=\"" << GetName() << "\"]"; | 
 | 227 | } | 
 | 228 |  | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 229 | void MallocSpace::SweepCallback(size_t num_ptrs, mirror::Object** ptrs, void* arg) { | 
| Mathieu Chartier | ec05007 | 2014-01-07 16:00:07 -0800 | [diff] [blame] | 230 |   SweepCallbackContext* context = static_cast<SweepCallbackContext*>(arg); | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 231 |   DCHECK(context->space->IsMallocSpace()); | 
 | 232 |   space::MallocSpace* space = context->space->AsMallocSpace(); | 
| Mathieu Chartier | ec05007 | 2014-01-07 16:00:07 -0800 | [diff] [blame] | 233 |   Thread* self = context->self; | 
 | 234 |   Locks::heap_bitmap_lock_->AssertExclusiveHeld(self); | 
 | 235 |   // If the bitmaps aren't swapped we need to clear the bits since the GC isn't going to re-swap | 
 | 236 |   // the bitmaps as an optimization. | 
 | 237 |   if (!context->swap_bitmaps) { | 
| Mathieu Chartier | a1602f2 | 2014-01-13 17:19:19 -0800 | [diff] [blame] | 238 |     accounting::SpaceBitmap* bitmap = space->GetLiveBitmap(); | 
| Mathieu Chartier | ec05007 | 2014-01-07 16:00:07 -0800 | [diff] [blame] | 239 |     for (size_t i = 0; i < num_ptrs; ++i) { | 
 | 240 |       bitmap->Clear(ptrs[i]); | 
 | 241 |     } | 
 | 242 |   } | 
 | 243 |   // Use a bulk free, that merges consecutive objects before freeing or free per object? | 
 | 244 |   // Documentation suggests better free performance with merging, but this may be at the expensive | 
 | 245 |   // of allocation. | 
 | 246 |   context->freed_objects += num_ptrs; | 
 | 247 |   context->freed_bytes += space->FreeList(self, num_ptrs, ptrs); | 
 | 248 | } | 
 | 249 |  | 
| Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 250 | }  // namespace space | 
 | 251 | }  // namespace gc | 
 | 252 | }  // namespace art |