• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
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 
17 #ifndef ART_RUNTIME_GC_SPACE_LARGE_OBJECT_SPACE_H_
18 #define ART_RUNTIME_GC_SPACE_LARGE_OBJECT_SPACE_H_
19 
20 #include "base/allocator.h"
21 #include "base/safe_map.h"
22 #include "base/tracking_safe_map.h"
23 #include "dlmalloc_space.h"
24 #include "space.h"
25 #include "thread-current-inl.h"
26 
27 #include <set>
28 #include <vector>
29 
30 namespace art {
31 namespace gc {
32 namespace space {
33 
34 class AllocationInfo;
35 
36 enum class LargeObjectSpaceType {
37   kDisabled,
38   kMap,
39   kFreeList,
40 };
41 
42 // Abstraction implemented by all large object spaces.
43 class LargeObjectSpace : public DiscontinuousSpace, public AllocSpace {
44  public:
GetType()45   SpaceType GetType() const override {
46     return kSpaceTypeLargeObjectSpace;
47   }
48   void SwapBitmaps();
49   void CopyLiveToMarked();
50   virtual void Walk(DlMallocSpace::WalkCallback, void* arg) = 0;
~LargeObjectSpace()51   virtual ~LargeObjectSpace() {}
52 
GetBytesAllocated()53   uint64_t GetBytesAllocated() override {
54     MutexLock mu(Thread::Current(), lock_);
55     return num_bytes_allocated_;
56   }
GetObjectsAllocated()57   uint64_t GetObjectsAllocated() override {
58     MutexLock mu(Thread::Current(), lock_);
59     return num_objects_allocated_;
60   }
GetTotalBytesAllocated()61   uint64_t GetTotalBytesAllocated() const {
62     MutexLock mu(Thread::Current(), lock_);
63     return total_bytes_allocated_;
64   }
GetTotalObjectsAllocated()65   uint64_t GetTotalObjectsAllocated() const {
66     MutexLock mu(Thread::Current(), lock_);
67     return total_objects_allocated_;
68   }
69   size_t FreeList(Thread* self, size_t num_ptrs, mirror::Object** ptrs) override;
70   // LargeObjectSpaces don't have thread local state.
RevokeThreadLocalBuffers(art::Thread *)71   size_t RevokeThreadLocalBuffers(art::Thread*) override {
72     return 0U;
73   }
RevokeAllThreadLocalBuffers()74   size_t RevokeAllThreadLocalBuffers() override {
75     return 0U;
76   }
IsAllocSpace()77   bool IsAllocSpace() const override {
78     return true;
79   }
AsAllocSpace()80   AllocSpace* AsAllocSpace() override {
81     return this;
82   }
83   collector::ObjectBytePair Sweep(bool swap_bitmaps);
CanMoveObjects()84   bool CanMoveObjects() const override {
85     return false;
86   }
87   // Current address at which the space begins, which may vary as the space is filled.
Begin()88   uint8_t* Begin() const {
89     return begin_;
90   }
91   // Current address at which the space ends, which may vary as the space is filled.
End()92   uint8_t* End() const {
93     return end_;
94   }
95   // Current size of space
Size()96   size_t Size() const {
97     return End() - Begin();
98   }
99   // Return true if we contain the specified address.
Contains(const mirror::Object * obj)100   bool Contains(const mirror::Object* obj) const override {
101     const uint8_t* byte_obj = reinterpret_cast<const uint8_t*>(obj);
102     return Begin() <= byte_obj && byte_obj < End();
103   }
104   bool LogFragmentationAllocFailure(std::ostream& os, size_t failed_alloc_bytes) override
105       REQUIRES_SHARED(Locks::mutator_lock_);
106 
107   // Return true if the large object is a zygote large object. Potentially slow.
108   virtual bool IsZygoteLargeObject(Thread* self, mirror::Object* obj) const = 0;
109   // Called when we create the zygote space, mark all existing large objects as zygote large
110   // objects. Set mark-bit if called from PreZygoteFork() for ConcurrentCopying
111   // GC to avoid dirtying the first page.
112   virtual void SetAllLargeObjectsAsZygoteObjects(Thread* self, bool set_mark_bit) = 0;
113 
114   virtual void ForEachMemMap(std::function<void(const MemMap&)> func) const = 0;
115   // GetRangeAtomic returns Begin() and End() atomically, that is, it never returns Begin() and
116   // End() from different allocations.
117   virtual std::pair<uint8_t*, uint8_t*> GetBeginEndAtomic() const = 0;
118 
119  protected:
120   explicit LargeObjectSpace(const std::string& name, uint8_t* begin, uint8_t* end,
121                             const char* lock_name);
122   static void SweepCallback(size_t num_ptrs, mirror::Object** ptrs, void* arg);
123 
124   // Used to ensure mutual exclusion when the allocation spaces data structures,
125   // including the allocation counters below, are being modified.
126   mutable Mutex lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
127 
128   // Number of bytes which have been allocated into the space and not yet freed. The count is also
129   // included in the identically named field in Heap. Counts actual allocated (after rounding),
130   // not requested, sizes. TODO: It would be cheaper to just maintain total allocated and total
131   // free counts.
132   uint64_t num_bytes_allocated_ GUARDED_BY(lock_);
133   uint64_t num_objects_allocated_ GUARDED_BY(lock_);
134 
135   // Totals for large objects ever allocated, including those that have since been deallocated.
136   // Never decremented.
137   uint64_t total_bytes_allocated_ GUARDED_BY(lock_);
138   uint64_t total_objects_allocated_ GUARDED_BY(lock_);
139 
140   // Begin and end, may change as more large objects are allocated.
141   uint8_t* begin_;
142   uint8_t* end_;
143 
144   friend class Space;
145 
146  private:
147   DISALLOW_COPY_AND_ASSIGN(LargeObjectSpace);
148 };
149 
150 // A discontinuous large object space implemented by individual mmap/munmap calls.
151 class LargeObjectMapSpace : public LargeObjectSpace {
152  public:
153   // Creates a large object space. Allocations into the large object space use memory maps instead
154   // of malloc.
155   static LargeObjectMapSpace* Create(const std::string& name);
156   // Return the storage space required by obj.
157   size_t AllocationSize(mirror::Object* obj, size_t* usable_size) override REQUIRES(!lock_);
158   mirror::Object* Alloc(Thread* self, size_t num_bytes, size_t* bytes_allocated,
159                         size_t* usable_size, size_t* bytes_tl_bulk_allocated) override
160       REQUIRES(!lock_);
161   size_t Free(Thread* self, mirror::Object* ptr) override REQUIRES(!lock_);
162   void Walk(DlMallocSpace::WalkCallback, void* arg) override REQUIRES(!lock_);
163   // TODO: disabling thread safety analysis as this may be called when we already hold lock_.
164   bool Contains(const mirror::Object* obj) const override NO_THREAD_SAFETY_ANALYSIS;
165   void ForEachMemMap(std::function<void(const MemMap&)> func) const override REQUIRES(!lock_);
166   std::pair<uint8_t*, uint8_t*> GetBeginEndAtomic() const override REQUIRES(!lock_);
167 
168  protected:
169   struct LargeObject {
170     MemMap mem_map;
171     bool is_zygote;
172   };
173   explicit LargeObjectMapSpace(const std::string& name);
~LargeObjectMapSpace()174   virtual ~LargeObjectMapSpace() {}
175 
176   bool IsZygoteLargeObject(Thread* self, mirror::Object* obj) const override REQUIRES(!lock_);
177   void SetAllLargeObjectsAsZygoteObjects(Thread* self, bool set_mark_bit) override
178       REQUIRES(!lock_)
179       REQUIRES_SHARED(Locks::mutator_lock_);
180 
181   AllocationTrackingSafeMap<mirror::Object*, LargeObject, kAllocatorTagLOSMaps> large_objects_
182       GUARDED_BY(lock_);
183 };
184 
185 // A continuous large object space with a free-list to handle holes.
186 class FreeListSpace final : public LargeObjectSpace {
187  public:
188   static constexpr size_t kAlignment = kPageSize;
189 
190   virtual ~FreeListSpace();
191   static FreeListSpace* Create(const std::string& name, size_t capacity);
192   size_t AllocationSize(mirror::Object* obj, size_t* usable_size) override
193       REQUIRES(lock_);
194   mirror::Object* Alloc(Thread* self, size_t num_bytes, size_t* bytes_allocated,
195                         size_t* usable_size, size_t* bytes_tl_bulk_allocated)
196       override REQUIRES(!lock_);
197   size_t Free(Thread* self, mirror::Object* obj) override REQUIRES(!lock_);
198   void Walk(DlMallocSpace::WalkCallback callback, void* arg) override REQUIRES(!lock_);
199   void Dump(std::ostream& os) const override REQUIRES(!lock_);
200   void ForEachMemMap(std::function<void(const MemMap&)> func) const override REQUIRES(!lock_);
201   std::pair<uint8_t*, uint8_t*> GetBeginEndAtomic() const override REQUIRES(!lock_);
202 
203  protected:
204   FreeListSpace(const std::string& name, MemMap&& mem_map, uint8_t* begin, uint8_t* end);
GetSlotIndexForAddress(uintptr_t address)205   size_t GetSlotIndexForAddress(uintptr_t address) const {
206     DCHECK(Contains(reinterpret_cast<mirror::Object*>(address)));
207     return (address - reinterpret_cast<uintptr_t>(Begin())) / kAlignment;
208   }
209   size_t GetSlotIndexForAllocationInfo(const AllocationInfo* info) const;
210   AllocationInfo* GetAllocationInfoForAddress(uintptr_t address);
211   const AllocationInfo* GetAllocationInfoForAddress(uintptr_t address) const;
GetAllocationAddressForSlot(size_t slot)212   uintptr_t GetAllocationAddressForSlot(size_t slot) const {
213     return reinterpret_cast<uintptr_t>(Begin()) + slot * kAlignment;
214   }
GetAddressForAllocationInfo(const AllocationInfo * info)215   uintptr_t GetAddressForAllocationInfo(const AllocationInfo* info) const {
216     return GetAllocationAddressForSlot(GetSlotIndexForAllocationInfo(info));
217   }
218   // Removes header from the free blocks set by finding the corresponding iterator and erasing it.
219   void RemoveFreePrev(AllocationInfo* info) REQUIRES(lock_);
220   bool IsZygoteLargeObject(Thread* self, mirror::Object* obj) const override;
221   void SetAllLargeObjectsAsZygoteObjects(Thread* self, bool set_mark_bit) override
222       REQUIRES(!lock_)
223       REQUIRES_SHARED(Locks::mutator_lock_);
224 
225   class SortByPrevFree {
226    public:
227     bool operator()(const AllocationInfo* a, const AllocationInfo* b) const;
228   };
229   typedef std::set<AllocationInfo*, SortByPrevFree,
230                    TrackingAllocator<AllocationInfo*, kAllocatorTagLOSFreeList>> FreeBlocks;
231 
232   // There is not footer for any allocations at the end of the space, so we keep track of how much
233   // free space there is at the end manually.
234   MemMap mem_map_;
235   // Side table for allocation info, one per page.
236   MemMap allocation_info_map_;
237   AllocationInfo* allocation_info_;
238 
239   // Free bytes at the end of the space.
240   size_t free_end_ GUARDED_BY(lock_);
241   FreeBlocks free_blocks_ GUARDED_BY(lock_);
242 };
243 
244 }  // namespace space
245 }  // namespace gc
246 }  // namespace art
247 
248 #endif  // ART_RUNTIME_GC_SPACE_LARGE_OBJECT_SPACE_H_
249