author | phh |
Sat, 30 Nov 2019 14:33:05 -0800 | |
changeset 59330 | 5b96c12f909d |
parent 57828 | 35db8fba55f9 |
permissions | -rw-r--r-- |
51546 | 1 |
/* |
53536
482109fae02b
8213229: Investigate treating StringTable as weak in young collections
tschatzl
parents:
51599
diff
changeset
|
2 |
* Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved. |
51546 | 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" |
|
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
26 |
#include "gc/shared/oopStorageSet.hpp" |
51546 | 27 |
#include "gc/shared/weakProcessorPhases.hpp" |
28 |
#include "utilities/debug.hpp" |
|
29 |
#include "utilities/macros.hpp" |
|
30 |
||
31 |
#if INCLUDE_JFR |
|
32 |
#include "jfr/jfr.hpp" |
|
33 |
#endif // INCLUDE_JFR |
|
34 |
||
35 |
#if INCLUDE_JVMTI |
|
36 |
#include "prims/jvmtiExport.hpp" |
|
37 |
#endif // INCLUDE_JVMTI |
|
38 |
||
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
39 |
// serial_phase_count is 0 if JFR and JVMTI are both not built, |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
40 |
// requiring some code to be careful to avoid tautological checks |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
41 |
// that some compilers warn about. |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
42 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
43 |
#define HAVE_SERIAL_PHASES (INCLUDE_JVMTI || INCLUDE_JFR) |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
44 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
45 |
WeakProcessorPhases::Phase WeakProcessorPhases::serial_phase(uint value) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
46 |
#if HAVE_SERIAL_PHASES |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
47 |
assert(value < serial_phase_count, "Invalid serial phase value %u", value); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
48 |
return static_cast<Phase>(value + serial_phase_start); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
49 |
#else |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
50 |
STATIC_ASSERT(serial_phase_count == 0); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
51 |
fatal("invalid serial phase value %u", value); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
52 |
return static_cast<Phase>(serial_phase_start); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
53 |
#endif // HAVE_SERIAL_PHASES |
51546 | 54 |
} |
55 |
||
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
56 |
WeakProcessorPhases::Phase WeakProcessorPhases::oopstorage_phase(uint value) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
57 |
assert(value < oopstorage_phase_count, "Invalid oopstorage phase value %u", value); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
58 |
return static_cast<Phase>(value + oopstorage_phase_start); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
59 |
} |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
60 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
61 |
static uint raw_phase_index(WeakProcessorPhases::Phase phase) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
62 |
return static_cast<uint>(phase); |
51546 | 63 |
} |
64 |
||
65 |
uint WeakProcessorPhases::serial_index(Phase phase) { |
|
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
66 |
assert(is_serial(phase), "not serial phase %u", raw_phase_index(phase)); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
67 |
return raw_phase_index(phase) - serial_phase_start; |
51546 | 68 |
} |
69 |
||
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
70 |
uint WeakProcessorPhases::oopstorage_index(Phase phase) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
71 |
assert(is_oopstorage(phase), "not oopstorage phase %u", raw_phase_index(phase)); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
72 |
return raw_phase_index(phase) - oopstorage_phase_start; |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
73 |
} |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
74 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
75 |
static bool is_phase(WeakProcessorPhases::Phase phase, uint start, uint count) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
76 |
return (raw_phase_index(phase) - start) < count; |
51546 | 77 |
} |
78 |
||
79 |
bool WeakProcessorPhases::is_serial(Phase phase) { |
|
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
80 |
#if HAVE_SERIAL_PHASES |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
81 |
return is_phase(phase, serial_phase_start, serial_phase_count); |
51599
3198179d97fa
8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents:
51546
diff
changeset
|
82 |
#else |
3198179d97fa
8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents:
51546
diff
changeset
|
83 |
STATIC_ASSERT(serial_phase_count == 0); |
3198179d97fa
8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents:
51546
diff
changeset
|
84 |
return false; |
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
85 |
#endif // HAVE_SERIAL_PHASES |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
86 |
} |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
87 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
88 |
bool WeakProcessorPhases::is_oopstorage(Phase phase) { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
89 |
return is_phase(phase, oopstorage_phase_start, oopstorage_phase_count); |
51546 | 90 |
} |
91 |
||
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
92 |
#ifdef ASSERT |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
93 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
94 |
void WeakProcessorPhases::Iterator::verify_nonsingular() const { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
95 |
assert(_limit != singular_value, "precondition"); |
51546 | 96 |
} |
97 |
||
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
98 |
void WeakProcessorPhases::Iterator::verify_category_match(const Iterator& other) const { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
99 |
verify_nonsingular(); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
100 |
assert(_limit == other._limit, "precondition"); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
101 |
} |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
102 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
103 |
void WeakProcessorPhases::Iterator::verify_dereferenceable() const { |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
104 |
verify_nonsingular(); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
105 |
assert(_index < _limit, "precondition"); |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
106 |
} |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
107 |
|
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
108 |
#endif // ASSERT |
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
109 |
|
51546 | 110 |
const char* WeakProcessorPhases::description(Phase phase) { |
111 |
switch (phase) { |
|
112 |
JVMTI_ONLY(case jvmti: return "JVMTI weak processing";) |
|
113 |
JFR_ONLY(case jfr: return "JFR weak processing";) |
|
114 |
default: |
|
115 |
ShouldNotReachHere(); |
|
57828
35db8fba55f9
8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents:
54511
diff
changeset
|
116 |
return "Invalid serial weak processing phase"; |
51546 | 117 |
} |
118 |
} |
|
119 |
||
120 |
WeakProcessorPhases::Processor WeakProcessorPhases::processor(Phase phase) { |
|
121 |
switch (phase) { |
|
122 |
JVMTI_ONLY(case jvmti: return &JvmtiExport::weak_oops_do;) |
|
123 |
JFR_ONLY(case jfr: return &Jfr::weak_oops_do;) |
|
124 |
default: |
|
125 |
ShouldNotReachHere(); |
|
126 |
return NULL; |
|
127 |
} |
|
128 |
} |