1 /*
2 * Copyright (c) 1997, 2019, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef SHARE_OOPS_INSTANCEREFKLASS_HPP
26 #define SHARE_OOPS_INSTANCEREFKLASS_HPP
27
28 #include "oops/instanceKlass.hpp"
29 #include "utilities/macros.hpp"
30
31 class ClassFileParser;
32
33 // An InstanceRefKlass is a specialized InstanceKlass for Java
34 // classes that are subclasses of java/lang/ref/Reference.
35 //
36 // These classes are used to implement soft/weak/final/phantom
37 // references and finalization, and need special treatment by the
38 // garbage collector.
39 //
40 // During GC discovered reference objects are added (chained) to one
41 // of the four lists below, depending on the type of reference.
42 // The linked occurs through the next field in class java/lang/ref/Reference.
43 //
44 // Afterwards, the discovered references are processed in decreasing
45 // order of reachability. Reference objects eligible for notification
46 // are linked to the static pending_list in class java/lang/ref/Reference,
47 // and the pending list lock object in the same class is notified.
48
49
50 class InstanceRefKlass: public InstanceKlass {
51 friend class InstanceKlass;
52 public:
53 static const KlassKind Kind = InstanceRefKlassKind;
54
55 private:
56 InstanceRefKlass(const ClassFileParser& parser);
57
58 public:
59 InstanceRefKlass() { assert(DumpSharedSpaces || UseSharedSpaces, "only for CDS"); }
60
61 // Oop fields (and metadata) iterators
62 //
63 // The InstanceRefKlass iterators also support reference processing.
64
65
66 // Forward iteration
67 // Iterate over all oop fields and metadata.
68 template <typename T, class OopClosureType>
69 inline void oop_oop_iterate(oop obj, OopClosureType* closure);
70
71 // Reverse iteration
72 // Iterate over all oop fields and metadata.
73 template <typename T, class OopClosureType>
74 inline void oop_oop_iterate_reverse(oop obj, OopClosureType* closure);
75
76 // Bounded range iteration
77 // Iterate over all oop fields and metadata.
78 template <typename T, class OopClosureType>
79 inline void oop_oop_iterate_bounded(oop obj, OopClosureType* closure, MemRegion mr);
80
81 private:
82
83 // Reference processing part of the iterators.
84
85 template <typename T, class OopClosureType, class Contains>
86 inline void oop_oop_iterate_ref_processing(oop obj, OopClosureType* closure, Contains& contains);
87
88 // Only perform reference processing if the referent object is within mr.
89 template <typename T, class OopClosureType>
90 inline void oop_oop_iterate_ref_processing_bounded(oop obj, OopClosureType* closure, MemRegion mr);
91
92 // Reference processing
93 template <typename T, class OopClosureType>
94 inline void oop_oop_iterate_ref_processing(oop obj, OopClosureType* closure);
95
96 // Building blocks for specialized handling.
97 template <typename T, class OopClosureType, class Contains>
98 static void do_referent(oop obj, OopClosureType* closure, Contains& contains);
99
100 template <typename T, class OopClosureType, class Contains>
101 static void do_discovered(oop obj, OopClosureType* closure, Contains& contains);
102
103 template <typename T, class OopClosureType>
104 static bool try_discover(oop obj, ReferenceType type, OopClosureType* closure);
105
106 // Do discovery while handling InstanceRefKlasses. Reference discovery
107 // is only done if the closure provides a ReferenceProcessor.
108 template <typename T, class OopClosureType, class Contains>
109 static void oop_oop_iterate_discovery(oop obj, ReferenceType type, OopClosureType* closure, Contains& contains);
110
111 // Used for a special case in G1 where the closure needs to be applied
112 // to the discovered field. Reference discovery is also done if the
113 // closure provides a ReferenceProcessor.
114 template <typename T, class OopClosureType, class Contains>
115 static void oop_oop_iterate_discovered_and_discovery(oop obj, ReferenceType type, OopClosureType* closure, Contains& contains);
116
117 // Apply the closure to all fields. No reference discovery is done.
118 template <typename T, class OopClosureType, class Contains>
119 static void oop_oop_iterate_fields(oop obj, OopClosureType* closure, Contains& contains);
120
121 // Apply the closure to all fields, except the referent field. No reference discovery is done.
122 template <typename T, class OopClosureType, class Contains>
123 static void oop_oop_iterate_fields_except_referent(oop obj, OopClosureType* closure, Contains& contains);
124
125 template <typename T>
126 void trace_reference_gc(const char *s, oop obj) NOT_DEBUG_RETURN;
127
128 public:
129 // Update non-static oop maps so 'referent', 'nextPending' and
130 // 'discovered' will look like non-oops
131 static void update_nonstatic_oop_maps(Klass* k);
132
133 public:
134 // Verification
135 void oop_verify_on(oop obj, outputStream* st);
136 };
137
138 #endif // SHARE_OOPS_INSTANCEREFKLASS_HPP