Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/g1StringDedup.cpp @ 23472:047a642c9729
8065579: WB method to start G1 concurrent mark cycle should be introduced
Summary: Add a WhiteBox callback to the VM to start a concurrent mark cycle in G1.
Reviewed-by: tschatzl, sjohanss
Contributed-by: Leonid Mesnik <leonid.mesnik@oracle.com>
author | kevinw |
---|---|
date | Wed, 02 Dec 2015 13:58:34 +0530 |
parents | c3fcc09c9239 |
children |
rev | line source |
---|---|
17764 | 1 /* |
2 * Copyright (c) 2014, 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 #include "precompiled.hpp" | |
26 #include "classfile/javaClasses.hpp" | |
27 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp" | |
28 #include "gc_implementation/g1/g1GCPhaseTimes.hpp" | |
29 #include "gc_implementation/g1/g1StringDedup.hpp" | |
30 #include "gc_implementation/g1/g1StringDedupQueue.hpp" | |
31 #include "gc_implementation/g1/g1StringDedupStat.hpp" | |
32 #include "gc_implementation/g1/g1StringDedupTable.hpp" | |
33 #include "gc_implementation/g1/g1StringDedupThread.hpp" | |
34 | |
35 bool G1StringDedup::_enabled = false; | |
36 | |
37 void G1StringDedup::initialize() { | |
38 assert(UseG1GC, "String deduplication only available with G1"); | |
39 if (UseStringDeduplication) { | |
40 _enabled = true; | |
41 G1StringDedupQueue::create(); | |
42 G1StringDedupTable::create(); | |
43 G1StringDedupThread::create(); | |
44 } | |
45 } | |
46 | |
17947
1772223a25a2
8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents:
17764
diff
changeset
|
47 void G1StringDedup::stop() { |
1772223a25a2
8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents:
17764
diff
changeset
|
48 assert(is_enabled(), "String deduplication not enabled"); |
1772223a25a2
8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents:
17764
diff
changeset
|
49 G1StringDedupThread::stop(); |
1772223a25a2
8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents:
17764
diff
changeset
|
50 } |
1772223a25a2
8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents:
17764
diff
changeset
|
51 |
17764 | 52 bool G1StringDedup::is_candidate_from_mark(oop obj) { |
53 if (java_lang_String::is_instance(obj)) { | |
54 bool from_young = G1CollectedHeap::heap()->heap_region_containing_raw(obj)->is_young(); | |
55 if (from_young && obj->age() < StringDeduplicationAgeThreshold) { | |
56 // Candidate found. String is being evacuated from young to old but has not | |
57 // reached the deduplication age threshold, i.e. has not previously been a | |
58 // candidate during its life in the young generation. | |
59 return true; | |
60 } | |
61 } | |
62 | |
63 // Not a candidate | |
64 return false; | |
65 } | |
66 | |
67 void G1StringDedup::enqueue_from_mark(oop java_string) { | |
68 assert(is_enabled(), "String deduplication not enabled"); | |
69 if (is_candidate_from_mark(java_string)) { | |
70 G1StringDedupQueue::push(0 /* worker_id */, java_string); | |
71 } | |
72 } | |
73 | |
74 bool G1StringDedup::is_candidate_from_evacuation(bool from_young, bool to_young, oop obj) { | |
75 if (from_young && java_lang_String::is_instance(obj)) { | |
76 if (to_young && obj->age() == StringDeduplicationAgeThreshold) { | |
77 // Candidate found. String is being evacuated from young to young and just | |
78 // reached the deduplication age threshold. | |
79 return true; | |
80 } | |
81 if (!to_young && obj->age() < StringDeduplicationAgeThreshold) { | |
82 // Candidate found. String is being evacuated from young to old but has not | |
83 // reached the deduplication age threshold, i.e. has not previously been a | |
84 // candidate during its life in the young generation. | |
85 return true; | |
86 } | |
87 } | |
88 | |
89 // Not a candidate | |
90 return false; | |
91 } | |
92 | |
93 void G1StringDedup::enqueue_from_evacuation(bool from_young, bool to_young, uint worker_id, oop java_string) { | |
94 assert(is_enabled(), "String deduplication not enabled"); | |
95 if (is_candidate_from_evacuation(from_young, to_young, java_string)) { | |
96 G1StringDedupQueue::push(worker_id, java_string); | |
97 } | |
98 } | |
99 | |
100 void G1StringDedup::deduplicate(oop java_string) { | |
101 assert(is_enabled(), "String deduplication not enabled"); | |
102 G1StringDedupStat dummy; // Statistics from this path is never used | |
103 G1StringDedupTable::deduplicate(java_string, dummy); | |
104 } | |
105 | |
106 void G1StringDedup::oops_do(OopClosure* keep_alive) { | |
107 assert(is_enabled(), "String deduplication not enabled"); | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
108 unlink_or_oops_do(NULL, keep_alive, true /* allow_resize_and_rehash */); |
17764 | 109 } |
110 | |
111 void G1StringDedup::unlink(BoolObjectClosure* is_alive) { | |
112 assert(is_enabled(), "String deduplication not enabled"); | |
113 // Don't allow a potential resize or rehash during unlink, as the unlink | |
114 // operation itself might remove enough entries to invalidate such a decision. | |
115 unlink_or_oops_do(is_alive, NULL, false /* allow_resize_and_rehash */); | |
116 } | |
117 | |
118 // | |
119 // Task for parallel unlink_or_oops_do() operation on the deduplication queue | |
120 // and table. | |
121 // | |
122 class G1StringDedupUnlinkOrOopsDoTask : public AbstractGangTask { | |
123 private: | |
124 G1StringDedupUnlinkOrOopsDoClosure _cl; | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
125 G1GCPhaseTimes* _phase_times; |
17764 | 126 |
127 public: | |
128 G1StringDedupUnlinkOrOopsDoTask(BoolObjectClosure* is_alive, | |
129 OopClosure* keep_alive, | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
130 bool allow_resize_and_rehash, |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
131 G1GCPhaseTimes* phase_times) : |
17764 | 132 AbstractGangTask("G1StringDedupUnlinkOrOopsDoTask"), |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
133 _cl(is_alive, keep_alive, allow_resize_and_rehash), _phase_times(phase_times) { } |
17764 | 134 |
135 virtual void work(uint worker_id) { | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
136 { |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
137 G1GCParPhaseTimesTracker x(_phase_times, G1GCPhaseTimes::StringDedupQueueFixup, worker_id); |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
138 G1StringDedupQueue::unlink_or_oops_do(&_cl); |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
139 } |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
140 { |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
141 G1GCParPhaseTimesTracker x(_phase_times, G1GCPhaseTimes::StringDedupTableFixup, worker_id); |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
142 G1StringDedupTable::unlink_or_oops_do(&_cl, worker_id); |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
143 } |
17764 | 144 } |
145 }; | |
146 | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
147 void G1StringDedup::unlink_or_oops_do(BoolObjectClosure* is_alive, |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
148 OopClosure* keep_alive, |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
149 bool allow_resize_and_rehash, |
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
150 G1GCPhaseTimes* phase_times) { |
17764 | 151 assert(is_enabled(), "String deduplication not enabled"); |
152 | |
22908
c3fcc09c9239
8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents:
17947
diff
changeset
|
153 G1StringDedupUnlinkOrOopsDoTask task(is_alive, keep_alive, allow_resize_and_rehash, phase_times); |
17764 | 154 if (G1CollectedHeap::use_parallel_gc_threads()) { |
155 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
156 g1h->set_par_threads(); | |
157 g1h->workers()->run_task(&task); | |
158 g1h->set_par_threads(0); | |
159 } else { | |
160 task.work(0); | |
161 } | |
162 } | |
163 | |
164 void G1StringDedup::threads_do(ThreadClosure* tc) { | |
165 assert(is_enabled(), "String deduplication not enabled"); | |
166 tc->do_thread(G1StringDedupThread::thread()); | |
167 } | |
168 | |
169 void G1StringDedup::print_worker_threads_on(outputStream* st) { | |
170 assert(is_enabled(), "String deduplication not enabled"); | |
171 G1StringDedupThread::thread()->print_on(st); | |
172 st->cr(); | |
173 } | |
174 | |
175 void G1StringDedup::verify() { | |
176 assert(is_enabled(), "String deduplication not enabled"); | |
177 G1StringDedupQueue::verify(); | |
178 G1StringDedupTable::verify(); | |
179 } | |
180 | |
181 G1StringDedupUnlinkOrOopsDoClosure::G1StringDedupUnlinkOrOopsDoClosure(BoolObjectClosure* is_alive, | |
182 OopClosure* keep_alive, | |
183 bool allow_resize_and_rehash) : | |
184 _is_alive(is_alive), | |
185 _keep_alive(keep_alive), | |
186 _resized_table(NULL), | |
187 _rehashed_table(NULL), | |
188 _next_queue(0), | |
189 _next_bucket(0) { | |
190 if (allow_resize_and_rehash) { | |
191 // If both resize and rehash is needed, only do resize. Rehash of | |
192 // the table will eventually happen if the situation persists. | |
193 _resized_table = G1StringDedupTable::prepare_resize(); | |
194 if (!is_resizing()) { | |
195 _rehashed_table = G1StringDedupTable::prepare_rehash(); | |
196 } | |
197 } | |
198 } | |
199 | |
200 G1StringDedupUnlinkOrOopsDoClosure::~G1StringDedupUnlinkOrOopsDoClosure() { | |
201 assert(!is_resizing() || !is_rehashing(), "Can not both resize and rehash"); | |
202 if (is_resizing()) { | |
203 G1StringDedupTable::finish_resize(_resized_table); | |
204 } else if (is_rehashing()) { | |
205 G1StringDedupTable::finish_rehash(_rehashed_table); | |
206 } | |
207 } |