blob: 04d3454c04924a995a0e49e97ad78fab33b1416c [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 Chartier83c8ee02014-01-28 14:50:23 -080029#include "object_callbacks.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
Mathieu Chartier39e32612013-11-12 16:28:05 -080038namespace gc {
39
Mathieu Chartier97509952015-07-13 14:35:43 -070040namespace collector {
41class GarbageCollector;
42} // namespace collector
43
Mathieu Chartier39e32612013-11-12 16:28:05 -080044class Heap;
45
46// Used to temporarily store java.lang.ref.Reference(s) during GC and prior to queueing on the
Richard Uhlerc4695df2016-01-15 14:08:05 -080047// appropriate java.lang.ref.ReferenceQueue. The linked list is maintained as an unordered,
48// circular, and singly-linked list using the pendingNext fields of the java.lang.ref.Reference
49// objects.
Mathieu Chartier39e32612013-11-12 16:28:05 -080050class ReferenceQueue {
51 public:
Mathieu Chartiera5a53ef2014-09-12 12:58:05 -070052 explicit ReferenceQueue(Mutex* lock);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070053
Richard Uhlerc4695df2016-01-15 14:08:05 -080054 // Enqueue a reference if it is unprocessed. Thread safe to call from multiple
55 // threads since it uses a lock to avoid a race between checking for the references presence and
56 // adding it.
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -070057 void AtomicEnqueueIfNotEnqueued(Thread* self, mirror::Reference* ref)
Mathieu Chartier90443472015-07-16 20:32:27 -070058 SHARED_REQUIRES(Locks::mutator_lock_) REQUIRES(!*lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070059
Richard Uhlerc4695df2016-01-15 14:08:05 -080060 // Enqueue a reference. The reference must be unprocessed.
61 // Not thread safe, used when mutators are paused to minimize lock overhead.
Mathieu Chartier90443472015-07-16 20:32:27 -070062 void EnqueueReference(mirror::Reference* ref) SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070063
Richard Uhlerc4695df2016-01-15 14:08:05 -080064 // Dequeue a reference from the queue and return that dequeued reference.
Mathieu Chartier90443472015-07-16 20:32:27 -070065 mirror::Reference* DequeuePendingReference() SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070066
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080067 // Enqueues finalizer references with white referents. White referents are blackened, moved to
68 // the zombie field, and the referent field is cleared.
Mathieu Chartier308351a2014-06-15 12:39:02 -070069 void EnqueueFinalizerReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070070 collector::GarbageCollector* collector)
Mathieu Chartier90443472015-07-16 20:32:27 -070071 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070072
Mathieu Chartier39e32612013-11-12 16:28:05 -080073 // Walks the reference list marking any references subject to the reference clearing policy.
74 // References with a black referent are removed from the list. References with white referents
75 // biased toward saving are blackened and also removed from the list.
Mathieu Chartier97509952015-07-13 14:35:43 -070076 void ForwardSoftReferences(MarkObjectVisitor* visitor)
Mathieu Chartier90443472015-07-16 20:32:27 -070077 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070078
Mathieu Chartier9e2094f2014-12-11 18:43:48 -080079 // Unlink the reference list clearing references objects with white referents. Cleared references
Mathieu Chartier39e32612013-11-12 16:28:05 -080080 // registered to a reference queue are scheduled for appending by the heap worker thread.
Mathieu Chartier308351a2014-06-15 12:39:02 -070081 void ClearWhiteReferences(ReferenceQueue* cleared_references,
Mathieu Chartier97509952015-07-13 14:35:43 -070082 collector::GarbageCollector* collector)
Mathieu Chartier90443472015-07-16 20:32:27 -070083 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070084
Mathieu Chartier90443472015-07-16 20:32:27 -070085 void Dump(std::ostream& os) const SHARED_REQUIRES(Locks::mutator_lock_);
86 size_t GetLength() const SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -070087
Mathieu Chartier39e32612013-11-12 16:28:05 -080088 bool IsEmpty() const {
89 return list_ == nullptr;
90 }
91 void Clear() {
92 list_ = nullptr;
93 }
Mathieu Chartier90443472015-07-16 20:32:27 -070094 mirror::Reference* GetList() SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartier39e32612013-11-12 16:28:05 -080095 return list_;
96 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -070097
Mathieu Chartier52e4b432014-06-10 11:22:31 -070098 // Visits list_, currently only used for the mark compact GC.
Mathieu Chartier97509952015-07-13 14:35:43 -070099 void UpdateRoots(IsMarkedVisitor* visitor)
Mathieu Chartier90443472015-07-16 20:32:27 -0700100 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800101
102 private:
103 // Lock, used for parallel GC reference enqueuing. It allows for multiple threads simultaneously
104 // calling AtomicEnqueueIfNotEnqueued.
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700105 Mutex* const lock_;
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700106 // The actual reference list. Only a root for the mark compact GC since it will be null for other
107 // GC types.
Mathieu Chartier8fa2dad2014-03-13 12:22:56 -0700108 mirror::Reference* list_;
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700109
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700110 DISALLOW_IMPLICIT_CONSTRUCTORS(ReferenceQueue);
Mathieu Chartier39e32612013-11-12 16:28:05 -0800111};
112
113} // namespace gc
114} // namespace art
115
116#endif // ART_RUNTIME_GC_REFERENCE_QUEUE_H_