1 | /* |
2 | * Copyright (c) 2014, 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 | #include "precompiled.hpp" |
26 | #include "classfile/javaClasses.inline.hpp" |
27 | #include "gc/g1/g1CollectedHeap.hpp" |
28 | #include "gc/g1/g1StringDedup.hpp" |
29 | #include "gc/g1/g1StringDedupQueue.hpp" |
30 | #include "logging/log.hpp" |
31 | #include "oops/oop.inline.hpp" |
32 | #include "runtime/atomic.hpp" |
33 | #include "runtime/mutexLocker.hpp" |
34 | #include "runtime/safepointVerifiers.hpp" |
35 | #include "utilities/stack.inline.hpp" |
36 | |
37 | const size_t G1StringDedupQueue::_max_size = 1000000; // Max number of elements per queue |
38 | const size_t G1StringDedupQueue::_max_cache_size = 0; // Max cache size per queue |
39 | |
40 | G1StringDedupQueue::G1StringDedupQueue() : |
41 | _cursor(0), |
42 | _cancel(false), |
43 | _empty(true), |
44 | _dropped(0) { |
45 | _nqueues = ParallelGCThreads; |
46 | _queues = NEW_C_HEAP_ARRAY(G1StringDedupWorkerQueue, _nqueues, mtGC); |
47 | for (size_t i = 0; i < _nqueues; i++) { |
48 | new (_queues + i) G1StringDedupWorkerQueue(G1StringDedupWorkerQueue::default_segment_size(), _max_cache_size, _max_size); |
49 | } |
50 | } |
51 | |
52 | G1StringDedupQueue::~G1StringDedupQueue() { |
53 | ShouldNotReachHere(); |
54 | } |
55 | |
56 | void G1StringDedupQueue::wait_impl() { |
57 | MonitorLocker ml(StringDedupQueue_lock, Mutex::_no_safepoint_check_flag); |
58 | while (_empty && !_cancel) { |
59 | ml.wait(); |
60 | } |
61 | } |
62 | |
63 | void G1StringDedupQueue::cancel_wait_impl() { |
64 | MonitorLocker ml(StringDedupQueue_lock, Mutex::_no_safepoint_check_flag); |
65 | _cancel = true; |
66 | ml.notify(); |
67 | } |
68 | |
69 | void G1StringDedupQueue::push_impl(uint worker_id, oop java_string) { |
70 | assert(SafepointSynchronize::is_at_safepoint(), "Must be at safepoint" ); |
71 | assert(worker_id < _nqueues, "Invalid queue" ); |
72 | |
73 | // Push and notify waiter |
74 | G1StringDedupWorkerQueue& worker_queue = _queues[worker_id]; |
75 | if (!worker_queue.is_full()) { |
76 | worker_queue.push(java_string); |
77 | if (_empty) { |
78 | MonitorLocker ml(StringDedupQueue_lock, Mutex::_no_safepoint_check_flag); |
79 | if (_empty) { |
80 | // Mark non-empty and notify waiter |
81 | _empty = false; |
82 | ml.notify(); |
83 | } |
84 | } |
85 | } else { |
86 | // Queue is full, drop the string and update the statistics |
87 | Atomic::inc(&_dropped); |
88 | } |
89 | } |
90 | |
91 | oop G1StringDedupQueue::pop_impl() { |
92 | assert(!SafepointSynchronize::is_at_safepoint(), "Must not be at safepoint" ); |
93 | NoSafepointVerifier nsv; |
94 | |
95 | // Try all queues before giving up |
96 | for (size_t tries = 0; tries < _nqueues; tries++) { |
97 | // The cursor indicates where we left of last time |
98 | G1StringDedupWorkerQueue* queue = &_queues[_cursor]; |
99 | while (!queue->is_empty()) { |
100 | oop obj = queue->pop(); |
101 | // The oop we pop can be NULL if it was marked |
102 | // dead. Just ignore those and pop the next oop. |
103 | if (obj != NULL) { |
104 | return obj; |
105 | } |
106 | } |
107 | |
108 | // Try next queue |
109 | _cursor = (_cursor + 1) % _nqueues; |
110 | } |
111 | |
112 | // Mark empty |
113 | _empty = true; |
114 | |
115 | return NULL; |
116 | } |
117 | |
118 | void G1StringDedupQueue::unlink_or_oops_do_impl(StringDedupUnlinkOrOopsDoClosure* cl, size_t queue) { |
119 | assert(queue < _nqueues, "Invalid queue" ); |
120 | StackIterator<oop, mtGC> iter(_queues[queue]); |
121 | while (!iter.is_empty()) { |
122 | oop* p = iter.next_addr(); |
123 | if (*p != NULL) { |
124 | if (cl->is_alive(*p)) { |
125 | cl->keep_alive(p); |
126 | } else { |
127 | // Clear dead reference |
128 | *p = NULL; |
129 | } |
130 | } |
131 | } |
132 | } |
133 | |
134 | void G1StringDedupQueue::print_statistics_impl() { |
135 | log_debug(gc, stringdedup)(" Queue" ); |
136 | log_debug(gc, stringdedup)(" Dropped: " UINTX_FORMAT, _dropped); |
137 | } |
138 | |
139 | void G1StringDedupQueue::verify_impl() { |
140 | for (size_t i = 0; i < _nqueues; i++) { |
141 | StackIterator<oop, mtGC> iter(_queues[i]); |
142 | while (!iter.is_empty()) { |
143 | oop obj = iter.next(); |
144 | if (obj != NULL) { |
145 | guarantee(G1CollectedHeap::heap()->is_in_reserved(obj), "Object must be on the heap" ); |
146 | guarantee(!obj->is_forwarded(), "Object must not be forwarded" ); |
147 | guarantee(java_lang_String::is_instance(obj), "Object must be a String" ); |
148 | } |
149 | } |
150 | } |
151 | } |
152 | |