blob: 4169ca92c632ec03cbd8a720fa12166514d434e0 [file] [log] [blame]
Mathieu Chartier590fee92013-09-13 13:46:47 -07001/*
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#ifndef ART_RUNTIME_GC_COLLECTOR_SEMI_SPACE_H_
18#define ART_RUNTIME_GC_COLLECTOR_SEMI_SPACE_H_
19
Ian Rogersef7d42f2014-01-06 12:55:46 -080020#include "atomic.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070021#include "base/macros.h"
22#include "base/mutex.h"
23#include "garbage_collector.h"
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070024#include "gc/accounting/space_bitmap.h"
Mathieu Chartier8d562102014-03-12 17:42:10 -070025#include "immune_region.h"
Mathieu Chartier83c8ee02014-01-28 14:50:23 -080026#include "object_callbacks.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070027#include "offsets.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070028#include "UniquePtr.h"
29
30namespace art {
31
Mathieu Chartier4aeec172014-03-27 16:09:46 -070032class Thread;
33
Mathieu Chartier590fee92013-09-13 13:46:47 -070034namespace mirror {
35 class Class;
36 class Object;
Mathieu Chartier590fee92013-09-13 13:46:47 -070037} // namespace mirror
38
Mathieu Chartier590fee92013-09-13 13:46:47 -070039namespace gc {
40
Mathieu Chartier4aeec172014-03-27 16:09:46 -070041class Heap;
42
Mathieu Chartier590fee92013-09-13 13:46:47 -070043namespace accounting {
44 template <typename T> class AtomicStack;
Mathieu Chartier590fee92013-09-13 13:46:47 -070045 typedef AtomicStack<mirror::Object*> ObjectStack;
Mathieu Chartier590fee92013-09-13 13:46:47 -070046} // namespace accounting
47
48namespace space {
Mathieu Chartier590fee92013-09-13 13:46:47 -070049 class ContinuousMemMapAllocSpace;
50 class ContinuousSpace;
51} // namespace space
52
Mathieu Chartier590fee92013-09-13 13:46:47 -070053namespace collector {
54
55class SemiSpace : public GarbageCollector {
56 public:
Hiroshi Yamauchi38e68e92014-03-07 13:59:08 -080057 // If true, use remembered sets in the generational mode.
58 static constexpr bool kUseRememberedSet = true;
59
Mathieu Chartier0e54cd02014-03-20 12:41:23 -070060 explicit SemiSpace(Heap* heap, bool generational = false, const std::string& name_prefix = "");
Mathieu Chartier590fee92013-09-13 13:46:47 -070061
62 ~SemiSpace() {}
63
Mathieu Chartier0e54cd02014-03-20 12:41:23 -070064 virtual void InitializePhase() OVERRIDE;
65 virtual void MarkingPhase() OVERRIDE EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_)
66 LOCKS_EXCLUDED(Locks::heap_bitmap_lock_);
67 virtual void ReclaimPhase() OVERRIDE EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_)
68 LOCKS_EXCLUDED(Locks::heap_bitmap_lock_);
69 virtual void FinishPhase() OVERRIDE EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_);
70 void MarkReachableObjects()
Mathieu Chartier590fee92013-09-13 13:46:47 -070071 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_, Locks::heap_bitmap_lock_);
Mathieu Chartier0e54cd02014-03-20 12:41:23 -070072 virtual GcType GetGcType() const OVERRIDE {
Mathieu Chartier590fee92013-09-13 13:46:47 -070073 return kGcTypePartial;
74 }
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -070075 virtual CollectorType GetCollectorType() const OVERRIDE {
76 return generational_ ? kCollectorTypeGSS : kCollectorTypeSS;
77 }
Mathieu Chartier590fee92013-09-13 13:46:47 -070078
79 // Sets which space we will be copying objects to.
80 void SetToSpace(space::ContinuousMemMapAllocSpace* to_space);
81
82 // Set the space where we copy objects from.
83 void SetFromSpace(space::ContinuousMemMapAllocSpace* from_space);
84
85 // Initializes internal structures.
86 void Init();
87
88 // Find the default mark bitmap.
89 void FindDefaultMarkBitmap();
90
91 // Returns the new address of the object.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070092 template<bool kPoisonReferences>
93 void MarkObject(mirror::ObjectReference<kPoisonReferences, mirror::Object>* obj_ptr)
Mathieu Chartier407f7022014-02-18 14:37:05 -080094 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
95 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -070096
97 void ScanObject(mirror::Object* obj)
Mathieu Chartier407f7022014-02-18 14:37:05 -080098 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
99 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700100
Hiroshi Yamauchi38e68e92014-03-07 13:59:08 -0800101 void VerifyNoFromSpaceReferences(mirror::Object* obj)
102 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
103
Mathieu Chartier590fee92013-09-13 13:46:47 -0700104 // Marks the root set at the start of a garbage collection.
105 void MarkRoots()
106 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
107
Mathieu Chartier590fee92013-09-13 13:46:47 -0700108 // Bind the live bits to the mark bits of bitmaps for spaces that are never collected, ie
109 // the image. Mark that portion of the heap as immune.
Mathieu Chartier0e54cd02014-03-20 12:41:23 -0700110 virtual void BindBitmaps() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
111 LOCKS_EXCLUDED(Locks::heap_bitmap_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700112
Mathieu Chartier590fee92013-09-13 13:46:47 -0700113 void UnBindBitmaps()
114 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_);
115
Mathieu Chartier0e54cd02014-03-20 12:41:23 -0700116 void ProcessReferences(Thread* self) EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_)
Mathieu Chartier590fee92013-09-13 13:46:47 -0700117 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_);
118
119 // Sweeps unmarked objects to complete the garbage collection.
120 virtual void Sweep(bool swap_bitmaps) EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_);
121
122 // Sweeps unmarked objects to complete the garbage collection.
123 void SweepLargeObjects(bool swap_bitmaps) EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_);
124
Mathieu Chartier590fee92013-09-13 13:46:47 -0700125 void SweepSystemWeaks()
126 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
127
Mathieu Chartier815873e2014-02-13 18:02:13 -0800128 static void MarkRootCallback(mirror::Object** root, void* arg, uint32_t /*tid*/,
129 RootType /*root_type*/)
Mathieu Chartier590fee92013-09-13 13:46:47 -0700130 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
131
Mathieu Chartier3bb57c72014-02-18 11:38:45 -0800132 static mirror::Object* MarkObjectCallback(mirror::Object* root, void* arg)
Mathieu Chartier39e32612013-11-12 16:28:05 -0800133 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
134
Mathieu Chartier407f7022014-02-18 14:37:05 -0800135 static void MarkHeapReferenceCallback(mirror::HeapReference<mirror::Object>* obj_ptr, void* arg)
136 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
137
Mathieu Chartier3bb57c72014-02-18 11:38:45 -0800138 static void ProcessMarkStackCallback(void* arg)
139 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_, Locks::heap_bitmap_lock_);
140
Mathieu Chartier85a43c02014-01-07 17:59:00 -0800141 virtual mirror::Object* MarkNonForwardedObject(mirror::Object* obj)
Mathieu Chartier407f7022014-02-18 14:37:05 -0800142 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
143 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
144
145 // Schedules an unmarked object for reference processing.
146 void DelayReferenceReferent(mirror::Class* klass, mirror::Reference* reference)
147 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_);
Mathieu Chartier85a43c02014-01-07 17:59:00 -0800148
Mathieu Chartier590fee92013-09-13 13:46:47 -0700149 protected:
150 // Returns null if the object is not marked, otherwise returns the forwarding address (same as
151 // object for non movable things).
Mathieu Chartier0e54cd02014-03-20 12:41:23 -0700152 mirror::Object* GetMarkedForwardAddress(mirror::Object* object) const
153 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_)
154 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700155
Mathieu Chartier39e32612013-11-12 16:28:05 -0800156 static mirror::Object* MarkedForwardingAddressCallback(mirror::Object* object, void* arg)
Mathieu Chartier0e54cd02014-03-20 12:41:23 -0700157 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_)
Mathieu Chartier590fee92013-09-13 13:46:47 -0700158 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_);
159
160 // Marks or unmarks a large object based on whether or not set is true. If set is true, then we
161 // mark, otherwise we unmark.
162 bool MarkLargeObject(const mirror::Object* obj)
Mathieu Chartier407f7022014-02-18 14:37:05 -0800163 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
164 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700165
Mathieu Chartier590fee92013-09-13 13:46:47 -0700166 // Expand mark stack to 2x its current size.
167 void ResizeMarkStack(size_t new_size);
168
Mathieu Chartier85a43c02014-01-07 17:59:00 -0800169 // Returns true if we should sweep the space.
Mathieu Chartiera1602f22014-01-13 17:19:19 -0800170 virtual bool ShouldSweepSpace(space::ContinuousSpace* space) const;
Mathieu Chartier85a43c02014-01-07 17:59:00 -0800171
Mathieu Chartier590fee92013-09-13 13:46:47 -0700172 // Push an object onto the mark stack.
Mathieu Chartier0e54cd02014-03-20 12:41:23 -0700173 void MarkStackPush(mirror::Object* obj);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700174
175 void UpdateAndMarkModUnion()
176 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
177 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
178
Mathieu Chartier590fee92013-09-13 13:46:47 -0700179 // Recursively blackens objects on the mark stack.
Mathieu Chartier3bb57c72014-02-18 11:38:45 -0800180 void ProcessMarkStack()
Mathieu Chartier590fee92013-09-13 13:46:47 -0700181 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_, Locks::heap_bitmap_lock_);
182
Mathieu Chartier590fee92013-09-13 13:46:47 -0700183 inline mirror::Object* GetForwardingAddressInFromSpace(mirror::Object* obj) const;
184
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -0700185 // Revoke all the thread-local buffers.
186 void RevokeAllThreadLocalBuffers();
187
Mathieu Chartier590fee92013-09-13 13:46:47 -0700188 // Current space, we check this space first to avoid searching for the appropriate space for an
189 // object.
190 accounting::ObjectStack* mark_stack_;
191
Mathieu Chartier8d562102014-03-12 17:42:10 -0700192 // Immune region, every object inside the immune region is assumed to be marked.
193 ImmuneRegion immune_region_;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700194
Hiroshi Yamauchi05e713a2014-01-09 13:24:51 -0800195 // If true, the large object space is immune.
196 bool is_large_object_space_immune_;
197
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800198 // Destination and source spaces (can be any type of ContinuousMemMapAllocSpace which either has
199 // a live bitmap or doesn't).
Mathieu Chartier590fee92013-09-13 13:46:47 -0700200 space::ContinuousMemMapAllocSpace* to_space_;
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700201 // Cached live bitmap as an optimization.
202 accounting::ContinuousSpaceBitmap* to_space_live_bitmap_;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700203 space::ContinuousMemMapAllocSpace* from_space_;
204
Mathieu Chartier590fee92013-09-13 13:46:47 -0700205 Thread* self_;
206
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800207 // When true, the generational mode (promotion and the bump pointer
208 // space only collection) is enabled. TODO: move these to a new file
209 // as a new garbage collector?
Ian Rogers6fac4472014-02-25 17:01:10 -0800210 const bool generational_;
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800211
212 // Used for the generational mode. the end/top of the bump
213 // pointer space at the end of the last collection.
Hiroshi Yamauchi4b1782f2013-12-05 16:46:22 -0800214 byte* last_gc_to_space_end_;
215
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800216 // Used for the generational mode. During a collection, keeps track
217 // of how many bytes of objects have been copied so far from the
218 // bump pointer space to the non-moving space.
Hiroshi Yamauchi4b1782f2013-12-05 16:46:22 -0800219 uint64_t bytes_promoted_;
220
Hiroshi Yamauchidf386c52014-04-08 16:21:52 -0700221 // Used for the generational mode. Keeps track of how many bytes of
222 // objects have been copied so far from the bump pointer space to
223 // the non-moving space, since the last whole heap collection.
224 uint64_t bytes_promoted_since_last_whole_heap_collection_;
225
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800226 // Used for the generational mode. When true, collect the whole
227 // heap. When false, collect only the bump pointer spaces.
Hiroshi Yamauchi05e713a2014-01-09 13:24:51 -0800228 bool whole_heap_collection_;
229
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800230 // Used for the generational mode. A counter used to enable
231 // whole_heap_collection_ once per interval.
Hiroshi Yamauchi05e713a2014-01-09 13:24:51 -0800232 int whole_heap_collection_interval_counter_;
233
Mathieu Chartierad35d902014-02-11 16:20:42 -0800234 // How many bytes we avoided dirtying.
235 size_t saved_bytes_;
236
Hiroshi Yamauchidf386c52014-04-08 16:21:52 -0700237 // The name of the collector.
238 std::string collector_name_;
239
Hiroshi Yamauchi6f4ffe42014-01-13 12:30:44 -0800240 // Used for the generational mode. The default interval of the whole
241 // heap collection. If N, the whole heap collection occurs every N
242 // collections.
Hiroshi Yamauchi05e713a2014-01-09 13:24:51 -0800243 static constexpr int kDefaultWholeHeapCollectionInterval = 5;
244
Mathieu Chartier590fee92013-09-13 13:46:47 -0700245 private:
246 DISALLOW_COPY_AND_ASSIGN(SemiSpace);
247};
248
249} // namespace collector
250} // namespace gc
251} // namespace art
252
253#endif // ART_RUNTIME_GC_COLLECTOR_SEMI_SPACE_H_