blob: 53518cc1c13c74eed2d730a25aa1bd3f190b1fc6 [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
David Sehrc431b9d2018-03-02 12:01:51 -080024#include "base/atomic.h"
David Sehr1979c642018-04-26 14:41:18 -070025#include "base/globals.h"
Andreas Gampe7fbc4a52018-11-28 08:26:47 -080026#include "base/locks.h"
Mathieu Chartier39e32612013-11-12 16:28:05 -080027#include "base/timing_logger.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 {
Andreas Gampe7fbc4a52018-11-28 08:26:47 -080034
35class Mutex;
36
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -070037namespace mirror {
38class Reference;
39} // namespace mirror
40
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070041class IsMarkedVisitor;
42class MarkObjectVisitor;
43
Mathieu Chartier39e32612013-11-12 16:28:05 -080044namespace gc {
45
Mathieu Chartier97509952015-07-13 14:35:43 -070046namespace collector {
47class GarbageCollector;
48} // namespace collector
49
Mathieu Chartier39e32612013-11-12 16:28:05 -080050class Heap;
51
52// Used to temporarily store java.lang.ref.Reference(s) during GC and prior to queueing on the
Richard Uhlerc4695df2016-01-15 14:08:05 -080053// appropriate java.lang.ref.ReferenceQueue. The linked list is maintained as an unordered,
54// circular, and singly-linked list using the pendingNext fields of the java.lang.ref.Reference
55// objects.
Mathieu Chartier39e32612013-11-12 16:28:05 -080056class ReferenceQueue {
57 public:
Mathieu Chartiera5a53ef2014-09-12 12:58:05 -070058 explicit ReferenceQueue(Mutex* lock);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070059
Richard Uhlerc4695df2016-01-15 14:08:05 -080060 // Enqueue a reference if it is unprocessed. Thread safe to call from multiple
61 // threads since it uses a lock to avoid a race between checking for the references presence and
62 // adding it.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070063 void AtomicEnqueueIfNotEnqueued(Thread* self, ObjPtr<mirror::Reference> ref)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070064 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!*lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070065
Richard Uhlerc4695df2016-01-15 14:08:05 -080066 // Enqueue a reference. The reference must be unprocessed.
67 // Not thread safe, used when mutators are paused to minimize lock overhead.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070068 void EnqueueReference(ObjPtr<mirror::Reference> ref) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070069
Richard Uhlerc4695df2016-01-15 14:08:05 -080070 // Dequeue a reference from the queue and return that dequeued reference.
Hiroshi Yamauchi057d9772017-02-17 15:33:23 -080071 // Call DisableReadBarrierForReference for the reference that's returned from this function.
Mathieu Chartier5d3f73a2016-10-14 14:28:47 -070072 ObjPtr<mirror::Reference> DequeuePendingReference() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070073
Hiroshi Yamauchi057d9772017-02-17 15:33:23 -080074 // If applicable, disable the read barrier for the reference after its referent is handled (see
75 // ConcurrentCopying::ProcessMarkStackRef.) This must be called for a reference that's dequeued
76 // from pending queue (DequeuePendingReference).
77 void DisableReadBarrierForReference(ObjPtr<mirror::Reference> ref)
78 REQUIRES_SHARED(Locks::mutator_lock_);
79
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080080 // Enqueues finalizer references with white referents. White referents are blackened, moved to
81 // the zombie field, and the referent field is cleared.
Mathieu Chartier308351a2014-06-15 12:39:02 -070082 void EnqueueFinalizerReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070083 collector::GarbageCollector* collector)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070084 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070085
Mathieu Chartier39e32612013-11-12 16:28:05 -080086 // Walks the reference list marking any references subject to the reference clearing policy.
87 // References with a black referent are removed from the list. References with white referents
88 // biased toward saving are blackened and also removed from the list.
Mathieu Chartier97509952015-07-13 14:35:43 -070089 void ForwardSoftReferences(MarkObjectVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070090 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070091
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080092 // Unlink the reference list clearing references objects with white referents. Cleared references
Mathieu Chartier39e32612013-11-12 16:28:05 -080093 // registered to a reference queue are scheduled for appending by the heap worker thread.
Mathieu Chartier308351a2014-06-15 12:39:02 -070094 void ClearWhiteReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070095 collector::GarbageCollector* collector)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070096 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070097
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070098 void Dump(std::ostream& os) const REQUIRES_SHARED(Locks::mutator_lock_);
99 size_t GetLength() const REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700100
Mathieu Chartier39e32612013-11-12 16:28:05 -0800101 bool IsEmpty() const {
102 return list_ == nullptr;
103 }
104 void Clear() {
105 list_ = nullptr;
106 }
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700107 mirror::Reference* GetList() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier39e32612013-11-12 16:28:05 -0800108 return list_;
109 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700110
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700111 // Visits list_, currently only used for the mark compact GC.
Mathieu Chartier97509952015-07-13 14:35:43 -0700112 void UpdateRoots(IsMarkedVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700113 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800114
115 private:
116 // Lock, used for parallel GC reference enqueuing. It allows for multiple threads simultaneously
117 // calling AtomicEnqueueIfNotEnqueued.
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700118 Mutex* const lock_;
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700119 // 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 -0700120 // GC types. Not an ObjPtr since it is accessed from multiple threads.
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -0700121 mirror::Reference* list_;
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700122
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700123 DISALLOW_IMPLICIT_CONSTRUCTORS(ReferenceQueue);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800124};
125
126} // namespace gc
127} // namespace art
128
129#endif // ART_RUNTIME_GC_REFERENCE_QUEUE_H_