blob: 3cee1b73550f50bc4fc6da41321f0e9e0a8d943d [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
Ian Rogers1d54e732013-05-02 21:10:01 -070017#include "large_object_space.h"
18
Elliott Hughes07ed66b2012-12-12 18:34:25 -080019#include "base/logging.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080020#include "base/stl_util.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070021#include "UniquePtr.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070022#include "image.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070023#include "os.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "thread.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070025#include "utils.h"
26
27namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070028namespace gc {
29namespace space {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070030
31void LargeObjectSpace::SwapBitmaps() {
Mathieu Chartier2b82db42012-11-14 17:29:05 -080032 live_objects_.swap(mark_objects_);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070033 // Swap names to get more descriptive diagnostics.
34 std::string temp_name = live_objects_->GetName();
35 live_objects_->SetName(mark_objects_->GetName());
36 mark_objects_->SetName(temp_name);
37}
38
39LargeObjectSpace::LargeObjectSpace(const std::string& name)
40 : DiscontinuousSpace(name, kGcRetentionPolicyAlwaysCollect),
41 num_bytes_allocated_(0), num_objects_allocated_(0), total_bytes_allocated_(0),
42 total_objects_allocated_(0) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070043}
44
45
46void LargeObjectSpace::CopyLiveToMarked() {
47 mark_objects_->CopyFrom(*live_objects_.get());
48}
49
50LargeObjectMapSpace::LargeObjectMapSpace(const std::string& name)
51 : LargeObjectSpace(name),
Ian Rogers62d6c772013-02-27 08:32:07 -080052 lock_("large object map space lock", kAllocSpaceLock)
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070053{
54
55}
56
57LargeObjectMapSpace* LargeObjectMapSpace::Create(const std::string& name) {
58 return new LargeObjectMapSpace(name);
59}
60
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080061mirror::Object* LargeObjectMapSpace::Alloc(Thread* self, size_t num_bytes) {
Ian Rogersa40307e2013-02-22 11:32:44 -080062 MemMap* mem_map = MemMap::MapAnonymous("large object space allocation", NULL, num_bytes,
63 PROT_READ | PROT_WRITE);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070064 if (mem_map == NULL) {
65 return NULL;
66 }
67 MutexLock mu(self, lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080068 mirror::Object* obj = reinterpret_cast<mirror::Object*>(mem_map->Begin());
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070069 large_objects_.push_back(obj);
70 mem_maps_.Put(obj, mem_map);
71 size_t allocation_size = mem_map->Size();
72 num_bytes_allocated_ += allocation_size;
73 total_bytes_allocated_ += allocation_size;
74 ++num_objects_allocated_;
75 ++total_objects_allocated_;
76 return obj;
77}
78
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080079size_t LargeObjectMapSpace::Free(Thread* self, mirror::Object* ptr) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070080 MutexLock mu(self, lock_);
81 MemMaps::iterator found = mem_maps_.find(ptr);
82 CHECK(found != mem_maps_.end()) << "Attempted to free large object which was not live";
83 DCHECK_GE(num_bytes_allocated_, found->second->Size());
84 size_t allocation_size = found->second->Size();
85 num_bytes_allocated_ -= allocation_size;
86 --num_objects_allocated_;
87 delete found->second;
88 mem_maps_.erase(found);
89 return allocation_size;
90}
91
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080092size_t LargeObjectMapSpace::AllocationSize(const mirror::Object* obj) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070093 MutexLock mu(Thread::Current(), lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094 MemMaps::iterator found = mem_maps_.find(const_cast<mirror::Object*>(obj));
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070095 CHECK(found != mem_maps_.end()) << "Attempted to get size of a large object which is not live";
96 return found->second->Size();
97}
98
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080099size_t LargeObjectSpace::FreeList(Thread* self, size_t num_ptrs, mirror::Object** ptrs) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700100 size_t total = 0;
101 for (size_t i = 0; i < num_ptrs; ++i) {
102 if (kDebugSpaces) {
103 CHECK(Contains(ptrs[i]));
104 }
105 total += Free(self, ptrs[i]);
106 }
107 return total;
108}
109
110void LargeObjectMapSpace::Walk(DlMallocSpace::WalkCallback callback, void* arg) {
111 MutexLock mu(Thread::Current(), lock_);
112 for (MemMaps::iterator it = mem_maps_.begin(); it != mem_maps_.end(); ++it) {
113 MemMap* mem_map = it->second;
114 callback(mem_map->Begin(), mem_map->End(), mem_map->Size(), arg);
115 callback(NULL, NULL, 0, arg);
116 }
117}
118
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800119bool LargeObjectMapSpace::Contains(const mirror::Object* obj) const {
Ian Rogersa3dd0b32013-03-19 19:30:59 -0700120 Thread* self = Thread::Current();
121 if (lock_.IsExclusiveHeld(self)) {
122 // We hold lock_ so do the check.
123 return mem_maps_.find(const_cast<mirror::Object*>(obj)) != mem_maps_.end();
124 } else {
125 MutexLock mu(self, lock_);
126 return mem_maps_.find(const_cast<mirror::Object*>(obj)) != mem_maps_.end();
127 }
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700128}
129
130FreeListSpace* FreeListSpace::Create(const std::string& name, byte* requested_begin, size_t size) {
131 CHECK(size % kAlignment == 0);
132 MemMap* mem_map = MemMap::MapAnonymous(name.c_str(), requested_begin, size,
133 PROT_READ | PROT_WRITE);
134 CHECK(mem_map != NULL) << "Failed to allocate large object space mem map";
135 return new FreeListSpace(name, mem_map, mem_map->Begin(), mem_map->End());
136}
137
138FreeListSpace::FreeListSpace(const std::string& name, MemMap* mem_map, byte* begin, byte* end)
139 : LargeObjectSpace(name),
140 begin_(begin),
141 end_(end),
142 mem_map_(mem_map),
143 lock_("free list space lock", kAllocSpaceLock) {
144 chunks_.resize(Size() / kAlignment + 1);
145 // Add a dummy chunk so we don't need to handle chunks having no next chunk.
146 chunks_.back().SetSize(kAlignment, false);
147 // Start out with one large free chunk.
148 AddFreeChunk(begin_, end_ - begin_, NULL);
149}
150
151FreeListSpace::~FreeListSpace() {
152
153}
154
155void FreeListSpace::AddFreeChunk(void* address, size_t size, Chunk* previous) {
156 Chunk* chunk = ChunkFromAddr(address);
157 chunk->SetSize(size, true);
158 chunk->SetPrevious(previous);
159 Chunk* next_chunk = GetNextChunk(chunk);
160 next_chunk->SetPrevious(chunk);
161 free_chunks_.insert(chunk);
162}
163
164FreeListSpace::Chunk* FreeListSpace::ChunkFromAddr(void* address) {
165 size_t offset = reinterpret_cast<byte*>(address) - Begin();
166 DCHECK(IsAligned<kAlignment>(offset));
167 DCHECK_LT(offset, Size());
168 return &chunks_[offset / kAlignment];
169}
170
171void* FreeListSpace::AddrFromChunk(Chunk* chunk) {
172 return reinterpret_cast<void*>(Begin() + (chunk - &chunks_.front()) * kAlignment);
173}
174
175void FreeListSpace::RemoveFreeChunk(Chunk* chunk) {
176 // TODO: C++0x
177 // TODO: Improve performance, this might be slow.
178 std::pair<FreeChunks::iterator, FreeChunks::iterator> range = free_chunks_.equal_range(chunk);
179 for (FreeChunks::iterator it = range.first; it != range.second; ++it) {
180 if (*it == chunk) {
181 free_chunks_.erase(it);
182 return;
183 }
184 }
185}
186
187void FreeListSpace::Walk(DlMallocSpace::WalkCallback callback, void* arg) {
188 MutexLock mu(Thread::Current(), lock_);
189 for (Chunk* chunk = &chunks_.front(); chunk < &chunks_.back(); ) {
190 if (!chunk->IsFree()) {
191 size_t size = chunk->GetSize();
192 void* begin = AddrFromChunk(chunk);
193 void* end = reinterpret_cast<void*>(reinterpret_cast<byte*>(begin) + size);
194 callback(begin, end, size, arg);
195 callback(NULL, NULL, 0, arg);
196 }
197 chunk = GetNextChunk(chunk);
198 }
199}
200
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800201size_t FreeListSpace::Free(Thread* self, mirror::Object* obj) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700202 MutexLock mu(self, lock_);
203 CHECK(Contains(obj));
204 // Check adjacent chunks to see if we need to combine.
205 Chunk* chunk = ChunkFromAddr(obj);
206 CHECK(!chunk->IsFree());
207
208 size_t allocation_size = chunk->GetSize();
Ian Rogers22a20862013-03-16 16:34:57 -0700209 if (kIsDebugBuild) {
210 memset(obj, 0xEB, allocation_size);
211 }
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700212 madvise(obj, allocation_size, MADV_DONTNEED);
213 num_objects_allocated_--;
214 num_bytes_allocated_ -= allocation_size;
215 Chunk* prev = chunk->GetPrevious();
216 Chunk* next = GetNextChunk(chunk);
217
218 // Combine any adjacent free chunks
219 size_t extra_size = chunk->GetSize();
220 if (next->IsFree()) {
221 extra_size += next->GetSize();
222 RemoveFreeChunk(next);
223 }
224 if (prev != NULL && prev->IsFree()) {
225 RemoveFreeChunk(prev);
226 AddFreeChunk(AddrFromChunk(prev), prev->GetSize() + extra_size, prev->GetPrevious());
227 } else {
228 AddFreeChunk(AddrFromChunk(chunk), extra_size, prev);
229 }
230 return allocation_size;
231}
232
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800233bool FreeListSpace::Contains(const mirror::Object* obj) const {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700234 return mem_map_->HasAddress(obj);
235}
236
237FreeListSpace::Chunk* FreeListSpace::GetNextChunk(Chunk* chunk) {
238 return chunk + chunk->GetSize() / kAlignment;
239}
240
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800241size_t FreeListSpace::AllocationSize(const mirror::Object* obj) {
242 Chunk* chunk = ChunkFromAddr(const_cast<mirror::Object*>(obj));
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700243 CHECK(!chunk->IsFree());
244 return chunk->GetSize();
245}
246
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800247mirror::Object* FreeListSpace::Alloc(Thread* self, size_t num_bytes) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700248 MutexLock mu(self, lock_);
249 num_bytes = RoundUp(num_bytes, kAlignment);
250 Chunk temp;
251 temp.SetSize(num_bytes);
252 // Find the smallest chunk at least num_bytes in size.
253 FreeChunks::iterator found = free_chunks_.lower_bound(&temp);
254 if (found == free_chunks_.end()) {
255 // Out of memory, or too much fragmentation.
256 return NULL;
257 }
258 Chunk* chunk = *found;
259 free_chunks_.erase(found);
260 CHECK(chunk->IsFree());
261 void* addr = AddrFromChunk(chunk);
262 size_t chunk_size = chunk->GetSize();
263 chunk->SetSize(num_bytes);
264 if (chunk_size > num_bytes) {
265 // Split the chunk into two chunks.
266 Chunk* new_chunk = GetNextChunk(chunk);
267 AddFreeChunk(AddrFromChunk(new_chunk), chunk_size - num_bytes, chunk);
268 }
269
270 num_objects_allocated_++;
271 total_objects_allocated_++;
272 num_bytes_allocated_ += num_bytes;
273 total_bytes_allocated_ += num_bytes;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800274 return reinterpret_cast<mirror::Object*>(addr);
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700275}
276
Mathieu Chartier128c52c2012-10-16 14:12:41 -0700277void FreeListSpace::Dump(std::ostream& os) const{
278 os << GetName() << " -"
279 << " begin: " << reinterpret_cast<void*>(Begin())
280 << " end: " << reinterpret_cast<void*>(End());
281}
282
Ian Rogers1d54e732013-05-02 21:10:01 -0700283} // namespace space
284} // namespace gc
285} // namespace art