blob: c3bf3824add7360f0c7cee9a99e73ba0da886f35 [file] [log] [blame]
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -07001/*
2 * Copyright (C) 2012 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
Elliott Hughes07ed66b2012-12-12 18:34:25 -080017#include "base/logging.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080018#include "base/stl_util.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070019#include "large_object_space.h"
20#include "UniquePtr.h"
21#include "dlmalloc.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070022#include "image.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070023#include "os.h"
24#include "space_bitmap.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "thread.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070026#include "utils.h"
27
28namespace art {
29
30void LargeObjectSpace::SwapBitmaps() {
Mathieu Chartier2b82db42012-11-14 17:29:05 -080031 live_objects_.swap(mark_objects_);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070032 // Swap names to get more descriptive diagnostics.
33 std::string temp_name = live_objects_->GetName();
34 live_objects_->SetName(mark_objects_->GetName());
35 mark_objects_->SetName(temp_name);
36}
37
38LargeObjectSpace::LargeObjectSpace(const std::string& name)
39 : DiscontinuousSpace(name, kGcRetentionPolicyAlwaysCollect),
40 num_bytes_allocated_(0), num_objects_allocated_(0), total_bytes_allocated_(0),
41 total_objects_allocated_(0) {
42 live_objects_.reset(new SpaceSetMap("large live objects"));
43 mark_objects_.reset(new SpaceSetMap("large marked objects"));
44}
45
46
47void LargeObjectSpace::CopyLiveToMarked() {
48 mark_objects_->CopyFrom(*live_objects_.get());
49}
50
51LargeObjectMapSpace::LargeObjectMapSpace(const std::string& name)
52 : LargeObjectSpace(name),
Ian Rogers62d6c772013-02-27 08:32:07 -080053 lock_("large object map space lock", kAllocSpaceLock)
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070054{
55
56}
57
58LargeObjectMapSpace* LargeObjectMapSpace::Create(const std::string& name) {
59 return new LargeObjectMapSpace(name);
60}
61
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080062mirror::Object* LargeObjectMapSpace::Alloc(Thread* self, size_t num_bytes) {
Ian Rogersa40307e2013-02-22 11:32:44 -080063 MemMap* mem_map = MemMap::MapAnonymous("large object space allocation", NULL, num_bytes,
64 PROT_READ | PROT_WRITE);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070065 if (mem_map == NULL) {
66 return NULL;
67 }
68 MutexLock mu(self, lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080069 mirror::Object* obj = reinterpret_cast<mirror::Object*>(mem_map->Begin());
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070070 large_objects_.push_back(obj);
71 mem_maps_.Put(obj, mem_map);
72 size_t allocation_size = mem_map->Size();
73 num_bytes_allocated_ += allocation_size;
74 total_bytes_allocated_ += allocation_size;
75 ++num_objects_allocated_;
76 ++total_objects_allocated_;
77 return obj;
78}
79
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080080size_t LargeObjectMapSpace::Free(Thread* self, mirror::Object* ptr) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070081 MutexLock mu(self, lock_);
82 MemMaps::iterator found = mem_maps_.find(ptr);
83 CHECK(found != mem_maps_.end()) << "Attempted to free large object which was not live";
84 DCHECK_GE(num_bytes_allocated_, found->second->Size());
85 size_t allocation_size = found->second->Size();
86 num_bytes_allocated_ -= allocation_size;
87 --num_objects_allocated_;
88 delete found->second;
89 mem_maps_.erase(found);
90 return allocation_size;
91}
92
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080093size_t LargeObjectMapSpace::AllocationSize(const mirror::Object* obj) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070094 MutexLock mu(Thread::Current(), lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080095 MemMaps::iterator found = mem_maps_.find(const_cast<mirror::Object*>(obj));
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070096 CHECK(found != mem_maps_.end()) << "Attempted to get size of a large object which is not live";
97 return found->second->Size();
98}
99
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800100size_t LargeObjectSpace::FreeList(Thread* self, size_t num_ptrs, mirror::Object** ptrs) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700101 size_t total = 0;
102 for (size_t i = 0; i < num_ptrs; ++i) {
103 if (kDebugSpaces) {
104 CHECK(Contains(ptrs[i]));
105 }
106 total += Free(self, ptrs[i]);
107 }
108 return total;
109}
110
111void LargeObjectMapSpace::Walk(DlMallocSpace::WalkCallback callback, void* arg) {
112 MutexLock mu(Thread::Current(), lock_);
113 for (MemMaps::iterator it = mem_maps_.begin(); it != mem_maps_.end(); ++it) {
114 MemMap* mem_map = it->second;
115 callback(mem_map->Begin(), mem_map->End(), mem_map->Size(), arg);
116 callback(NULL, NULL, 0, arg);
117 }
118}
119
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800120bool LargeObjectMapSpace::Contains(const mirror::Object* obj) const {
Ian Rogersa3dd0b32013-03-19 19:30:59 -0700121 Thread* self = Thread::Current();
122 if (lock_.IsExclusiveHeld(self)) {
123 // We hold lock_ so do the check.
124 return mem_maps_.find(const_cast<mirror::Object*>(obj)) != mem_maps_.end();
125 } else {
126 MutexLock mu(self, lock_);
127 return mem_maps_.find(const_cast<mirror::Object*>(obj)) != mem_maps_.end();
128 }
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700129}
130
131FreeListSpace* FreeListSpace::Create(const std::string& name, byte* requested_begin, size_t size) {
132 CHECK(size % kAlignment == 0);
133 MemMap* mem_map = MemMap::MapAnonymous(name.c_str(), requested_begin, size,
134 PROT_READ | PROT_WRITE);
135 CHECK(mem_map != NULL) << "Failed to allocate large object space mem map";
136 return new FreeListSpace(name, mem_map, mem_map->Begin(), mem_map->End());
137}
138
139FreeListSpace::FreeListSpace(const std::string& name, MemMap* mem_map, byte* begin, byte* end)
140 : LargeObjectSpace(name),
141 begin_(begin),
142 end_(end),
143 mem_map_(mem_map),
144 lock_("free list space lock", kAllocSpaceLock) {
145 chunks_.resize(Size() / kAlignment + 1);
146 // Add a dummy chunk so we don't need to handle chunks having no next chunk.
147 chunks_.back().SetSize(kAlignment, false);
148 // Start out with one large free chunk.
149 AddFreeChunk(begin_, end_ - begin_, NULL);
150}
151
152FreeListSpace::~FreeListSpace() {
153
154}
155
156void FreeListSpace::AddFreeChunk(void* address, size_t size, Chunk* previous) {
157 Chunk* chunk = ChunkFromAddr(address);
158 chunk->SetSize(size, true);
159 chunk->SetPrevious(previous);
160 Chunk* next_chunk = GetNextChunk(chunk);
161 next_chunk->SetPrevious(chunk);
162 free_chunks_.insert(chunk);
163}
164
165FreeListSpace::Chunk* FreeListSpace::ChunkFromAddr(void* address) {
166 size_t offset = reinterpret_cast<byte*>(address) - Begin();
167 DCHECK(IsAligned<kAlignment>(offset));
168 DCHECK_LT(offset, Size());
169 return &chunks_[offset / kAlignment];
170}
171
172void* FreeListSpace::AddrFromChunk(Chunk* chunk) {
173 return reinterpret_cast<void*>(Begin() + (chunk - &chunks_.front()) * kAlignment);
174}
175
176void FreeListSpace::RemoveFreeChunk(Chunk* chunk) {
177 // TODO: C++0x
178 // TODO: Improve performance, this might be slow.
179 std::pair<FreeChunks::iterator, FreeChunks::iterator> range = free_chunks_.equal_range(chunk);
180 for (FreeChunks::iterator it = range.first; it != range.second; ++it) {
181 if (*it == chunk) {
182 free_chunks_.erase(it);
183 return;
184 }
185 }
186}
187
188void FreeListSpace::Walk(DlMallocSpace::WalkCallback callback, void* arg) {
189 MutexLock mu(Thread::Current(), lock_);
190 for (Chunk* chunk = &chunks_.front(); chunk < &chunks_.back(); ) {
191 if (!chunk->IsFree()) {
192 size_t size = chunk->GetSize();
193 void* begin = AddrFromChunk(chunk);
194 void* end = reinterpret_cast<void*>(reinterpret_cast<byte*>(begin) + size);
195 callback(begin, end, size, arg);
196 callback(NULL, NULL, 0, arg);
197 }
198 chunk = GetNextChunk(chunk);
199 }
200}
201
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800202size_t FreeListSpace::Free(Thread* self, mirror::Object* obj) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700203 MutexLock mu(self, lock_);
204 CHECK(Contains(obj));
205 // Check adjacent chunks to see if we need to combine.
206 Chunk* chunk = ChunkFromAddr(obj);
207 CHECK(!chunk->IsFree());
208
209 size_t allocation_size = chunk->GetSize();
Ian Rogers22a20862013-03-16 16:34:57 -0700210 if (kIsDebugBuild) {
211 memset(obj, 0xEB, allocation_size);
212 }
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700213 madvise(obj, allocation_size, MADV_DONTNEED);
214 num_objects_allocated_--;
215 num_bytes_allocated_ -= allocation_size;
216 Chunk* prev = chunk->GetPrevious();
217 Chunk* next = GetNextChunk(chunk);
218
219 // Combine any adjacent free chunks
220 size_t extra_size = chunk->GetSize();
221 if (next->IsFree()) {
222 extra_size += next->GetSize();
223 RemoveFreeChunk(next);
224 }
225 if (prev != NULL && prev->IsFree()) {
226 RemoveFreeChunk(prev);
227 AddFreeChunk(AddrFromChunk(prev), prev->GetSize() + extra_size, prev->GetPrevious());
228 } else {
229 AddFreeChunk(AddrFromChunk(chunk), extra_size, prev);
230 }
231 return allocation_size;
232}
233
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800234bool FreeListSpace::Contains(const mirror::Object* obj) const {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700235 return mem_map_->HasAddress(obj);
236}
237
238FreeListSpace::Chunk* FreeListSpace::GetNextChunk(Chunk* chunk) {
239 return chunk + chunk->GetSize() / kAlignment;
240}
241
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800242size_t FreeListSpace::AllocationSize(const mirror::Object* obj) {
243 Chunk* chunk = ChunkFromAddr(const_cast<mirror::Object*>(obj));
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700244 CHECK(!chunk->IsFree());
245 return chunk->GetSize();
246}
247
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800248mirror::Object* FreeListSpace::Alloc(Thread* self, size_t num_bytes) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700249 MutexLock mu(self, lock_);
250 num_bytes = RoundUp(num_bytes, kAlignment);
251 Chunk temp;
252 temp.SetSize(num_bytes);
253 // Find the smallest chunk at least num_bytes in size.
254 FreeChunks::iterator found = free_chunks_.lower_bound(&temp);
255 if (found == free_chunks_.end()) {
256 // Out of memory, or too much fragmentation.
257 return NULL;
258 }
259 Chunk* chunk = *found;
260 free_chunks_.erase(found);
261 CHECK(chunk->IsFree());
262 void* addr = AddrFromChunk(chunk);
263 size_t chunk_size = chunk->GetSize();
264 chunk->SetSize(num_bytes);
265 if (chunk_size > num_bytes) {
266 // Split the chunk into two chunks.
267 Chunk* new_chunk = GetNextChunk(chunk);
268 AddFreeChunk(AddrFromChunk(new_chunk), chunk_size - num_bytes, chunk);
269 }
270
271 num_objects_allocated_++;
272 total_objects_allocated_++;
273 num_bytes_allocated_ += num_bytes;
274 total_bytes_allocated_ += num_bytes;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800275 return reinterpret_cast<mirror::Object*>(addr);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700276}
277
Mathieu Chartier128c52c2012-10-16 14:12:41 -0700278void FreeListSpace::Dump(std::ostream& os) const{
279 os << GetName() << " -"
280 << " begin: " << reinterpret_cast<void*>(Begin())
281 << " end: " << reinterpret_cast<void*>(End());
282}
283
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700284}