blob: c48d48c5302f3537318c8a26ade54619e4e3dac3 [file] [log] [blame]
Mathieu Chartier39e32612013-11-12 16:28:05 -08001/*
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_REFERENCE_QUEUE_H_
18#define ART_RUNTIME_GC_REFERENCE_QUEUE_H_
19
20#include <iosfwd>
21#include <string>
22#include <vector>
23
Ian Rogersef7d42f2014-01-06 12:55:46 -080024#include "atomic.h"
Mathieu Chartier90443472015-07-16 20:32:27 -070025#include "base/mutex.h"
Mathieu Chartier39e32612013-11-12 16:28:05 -080026#include "base/timing_logger.h"
27#include "globals.h"
Mathieu Chartier39e32612013-11-12 16:28:05 -080028#include "jni.h"
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070029#include "obj_ptr.h"
Mathieu Chartier39e32612013-11-12 16:28:05 -080030#include "offsets.h"
Mathieu Chartier39e32612013-11-12 16:28:05 -080031#include "thread_pool.h"
32
33namespace art {
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -070034namespace mirror {
35class Reference;
36} // namespace mirror
37
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070038class IsMarkedVisitor;
39class MarkObjectVisitor;
40
Mathieu Chartier39e32612013-11-12 16:28:05 -080041namespace gc {
42
Mathieu Chartier97509952015-07-13 14:35:43 -070043namespace collector {
44class GarbageCollector;
45} // namespace collector
46
Mathieu Chartier39e32612013-11-12 16:28:05 -080047class Heap;
48
49// Used to temporarily store java.lang.ref.Reference(s) during GC and prior to queueing on the
Richard Uhlerc4695df2016-01-15 14:08:05 -080050// appropriate java.lang.ref.ReferenceQueue. The linked list is maintained as an unordered,
51// circular, and singly-linked list using the pendingNext fields of the java.lang.ref.Reference
52// objects.
Mathieu Chartier39e32612013-11-12 16:28:05 -080053class ReferenceQueue {
54 public:
Mathieu Chartiera5a53ef2014-09-12 12:58:05 -070055 explicit ReferenceQueue(Mutex* lock);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070056
Richard Uhlerc4695df2016-01-15 14:08:05 -080057 // Enqueue a reference if it is unprocessed. Thread safe to call from multiple
58 // threads since it uses a lock to avoid a race between checking for the references presence and
59 // adding it.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070060 void AtomicEnqueueIfNotEnqueued(Thread* self, ObjPtr<mirror::Reference> ref)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070061 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!*lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070062
Richard Uhlerc4695df2016-01-15 14:08:05 -080063 // Enqueue a reference. The reference must be unprocessed.
64 // Not thread safe, used when mutators are paused to minimize lock overhead.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070065 void EnqueueReference(ObjPtr<mirror::Reference> ref) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070066
Richard Uhlerc4695df2016-01-15 14:08:05 -080067 // Dequeue a reference from the queue and return that dequeued reference.
Hiroshi Yamauchi057d9772017-02-17 15:33:23 -080068 // Call DisableReadBarrierForReference for the reference that's returned from this function.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070069 ObjPtr<mirror::Reference> DequeuePendingReference() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070070
Hiroshi Yamauchi057d9772017-02-17 15:33:23 -080071 // If applicable, disable the read barrier for the reference after its referent is handled (see
72 // ConcurrentCopying::ProcessMarkStackRef.) This must be called for a reference that's dequeued
73 // from pending queue (DequeuePendingReference).
74 void DisableReadBarrierForReference(ObjPtr<mirror::Reference> ref)
75 REQUIRES_SHARED(Locks::mutator_lock_);
76
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080077 // Enqueues finalizer references with white referents. White referents are blackened, moved to
78 // the zombie field, and the referent field is cleared.
Mathieu Chartier308351a2014-06-15 12:39:02 -070079 void EnqueueFinalizerReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070080 collector::GarbageCollector* collector)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070081 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070082
Mathieu Chartier39e32612013-11-12 16:28:05 -080083 // Walks the reference list marking any references subject to the reference clearing policy.
84 // References with a black referent are removed from the list. References with white referents
85 // biased toward saving are blackened and also removed from the list.
Mathieu Chartier97509952015-07-13 14:35:43 -070086 void ForwardSoftReferences(MarkObjectVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070087 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070088
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080089 // Unlink the reference list clearing references objects with white referents. Cleared references
Mathieu Chartier39e32612013-11-12 16:28:05 -080090 // registered to a reference queue are scheduled for appending by the heap worker thread.
Mathieu Chartier308351a2014-06-15 12:39:02 -070091 void ClearWhiteReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070092 collector::GarbageCollector* collector)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070093 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070094
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070095 void Dump(std::ostream& os) const REQUIRES_SHARED(Locks::mutator_lock_);
96 size_t GetLength() const REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070097
Mathieu Chartier39e32612013-11-12 16:28:05 -080098 bool IsEmpty() const {
99 return list_ == nullptr;
100 }
101 void Clear() {
102 list_ = nullptr;
103 }
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700104 mirror::Reference* GetList() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier39e32612013-11-12 16:28:05 -0800105 return list_;
106 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700107
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700108 // Visits list_, currently only used for the mark compact GC.
Mathieu Chartier97509952015-07-13 14:35:43 -0700109 void UpdateRoots(IsMarkedVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700110 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800111
112 private:
113 // Lock, used for parallel GC reference enqueuing. It allows for multiple threads simultaneously
114 // calling AtomicEnqueueIfNotEnqueued.
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700115 Mutex* const lock_;
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700116 // The actual reference list. Only a root for the mark compact GC since it will be null for other
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -0700117 // GC types. Not an ObjPtr since it is accessed from multiple threads.
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -0700118 mirror::Reference* list_;
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700119
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700120 DISALLOW_IMPLICIT_CONSTRUCTORS(ReferenceQueue);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800121};
122
123} // namespace gc
124} // namespace art
125
126#endif // ART_RUNTIME_GC_REFERENCE_QUEUE_H_