annotate src/share/vm/code/oopRecorder.cpp @ 3992:d1bdeef3e3e2

7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76 Summary: There is a race between one thread successfully forwarding and copying the klass mirror for the SoftReference class (including the static master clock) and another thread attempting to use the master clock while attempting to discover a soft reference object. Maintain a shadow copy of the soft reference master clock and use the shadow during reference discovery and reference processing. Reviewed-by: tonyp, brutisso, ysr
author johnc
date Wed, 12 Oct 2011 10:25:51 -0700
parents f95d63e2154a
children da91efe96a93
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1579
jrose
parents: 1552 1563
diff changeset
2 * Copyright (c) 1998, 2010, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
26 #include "code/oopRecorder.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
27 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
28 #include "oops/oop.inline.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
29
a61af66fc99e Initial load
duke
parents:
diff changeset
30 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
31 int OopRecorder::_find_index_calls = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 int OopRecorder::_hit_indexes = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 int OopRecorder::_missed_indexes = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 #endif //ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 OopRecorder::OopRecorder(Arena* arena) {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 _handles = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
39 _indexes = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 _arena = arena;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 _complete = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 OopRecorder::IndexCache::IndexCache() {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 assert(first_index > 0, "initial zero state of cache must be invalid index");
a61af66fc99e Initial load
duke
parents:
diff changeset
46 Copy::zero_to_bytes(&_cache[0], sizeof(_cache));
a61af66fc99e Initial load
duke
parents:
diff changeset
47 }
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 int OopRecorder::oop_size() {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 _complete = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
51 if (_handles == NULL) return 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
52 return _handles->length() * sizeof(oop);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
1563
1a5913bf5e19 6951083: oops and relocations should part of nmethod not CodeBlob
twisti
parents: 0
diff changeset
55 void OopRecorder::copy_to(nmethod* nm) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
56 assert(_complete, "must be frozen");
a61af66fc99e Initial load
duke
parents:
diff changeset
57 maybe_initialize(); // get non-null handles, even if we have no oops
1563
1a5913bf5e19 6951083: oops and relocations should part of nmethod not CodeBlob
twisti
parents: 0
diff changeset
58 nm->copy_oops(_handles);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
59 }
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 void OopRecorder::maybe_initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
62 if (_handles == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 if (_arena != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 _handles = new(_arena) GrowableArray<jobject>(_arena, 10, 0, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
65 _no_finds = new(_arena) GrowableArray<int>( _arena, 10, 0, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 _handles = new GrowableArray<jobject>(10, 0, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 _no_finds = new GrowableArray<int>( 10, 0, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 jobject OopRecorder::handle_at(int index) {
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // there is always a NULL virtually present as first object
a61af66fc99e Initial load
duke
parents:
diff changeset
76 if (index == null_index) return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 return _handles->at(index - first_index);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // Local definition. Used only in this module.
a61af66fc99e Initial load
duke
parents:
diff changeset
82 inline bool OopRecorder::is_real_jobject(jobject h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
83 return h != NULL && h != (jobject)Universe::non_oop_word();
a61af66fc99e Initial load
duke
parents:
diff changeset
84 }
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 int OopRecorder::add_handle(jobject h, bool make_findable) {
a61af66fc99e Initial load
duke
parents:
diff changeset
88 assert(!_complete, "cannot allocate more elements after size query");
a61af66fc99e Initial load
duke
parents:
diff changeset
89 maybe_initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // indexing uses 1 as an origin--0 means null
a61af66fc99e Initial load
duke
parents:
diff changeset
91 int index = _handles->length() + first_index;
a61af66fc99e Initial load
duke
parents:
diff changeset
92 _handles->append(h);
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // Support correct operation of find_index().
a61af66fc99e Initial load
duke
parents:
diff changeset
95 assert(!(make_findable && !is_real_jobject(h)), "nulls are not findable");
a61af66fc99e Initial load
duke
parents:
diff changeset
96 if (make_findable) {
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // This index may be returned from find_index().
a61af66fc99e Initial load
duke
parents:
diff changeset
98 if (_indexes != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
99 int* cloc = _indexes->cache_location(h);
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _indexes->set_cache_location_index(cloc, index);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 } else if (index == index_cache_threshold && _arena != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
102 _indexes = new(_arena) IndexCache();
a61af66fc99e Initial load
duke
parents:
diff changeset
103 for (int i = 0; i < _handles->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // Load the cache with pre-existing elements.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 int index0 = i + first_index;
a61af66fc99e Initial load
duke
parents:
diff changeset
106 if (_no_finds->contains(index0)) continue;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 int* cloc = _indexes->cache_location(_handles->at(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
108 _indexes->set_cache_location_index(cloc, index0);
a61af66fc99e Initial load
duke
parents:
diff changeset
109 }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 }
a61af66fc99e Initial load
duke
parents:
diff changeset
111 } else if (is_real_jobject(h)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // Remember that this index is not to be returned from find_index().
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // This case is rare, because most or all uses of allocate_index pass
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // a jobject argument of NULL or Universe::non_oop_word.
a61af66fc99e Initial load
duke
parents:
diff changeset
115 // Thus, the expected length of _no_finds is zero.
a61af66fc99e Initial load
duke
parents:
diff changeset
116 _no_finds->append(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
117 }
a61af66fc99e Initial load
duke
parents:
diff changeset
118
a61af66fc99e Initial load
duke
parents:
diff changeset
119 return index;
a61af66fc99e Initial load
duke
parents:
diff changeset
120 }
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 int OopRecorder::maybe_find_index(jobject h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 debug_only(_find_index_calls++);
a61af66fc99e Initial load
duke
parents:
diff changeset
125 assert(!_complete, "cannot allocate more elements after size query");
a61af66fc99e Initial load
duke
parents:
diff changeset
126 maybe_initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
127 if (h == NULL) return null_index;
a61af66fc99e Initial load
duke
parents:
diff changeset
128 assert(is_real_jobject(h), "must be valid jobject");
a61af66fc99e Initial load
duke
parents:
diff changeset
129 int* cloc = (_indexes == NULL)? NULL: _indexes->cache_location(h);
a61af66fc99e Initial load
duke
parents:
diff changeset
130 if (cloc != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
131 int cindex = _indexes->cache_location_index(cloc);
a61af66fc99e Initial load
duke
parents:
diff changeset
132 if (cindex == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
133 return -1; // We know this handle is completely new.
a61af66fc99e Initial load
duke
parents:
diff changeset
134 }
a61af66fc99e Initial load
duke
parents:
diff changeset
135 if (cindex >= first_index && _handles->at(cindex - first_index) == h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
136 debug_only(_hit_indexes++);
a61af66fc99e Initial load
duke
parents:
diff changeset
137 return cindex;
a61af66fc99e Initial load
duke
parents:
diff changeset
138 }
a61af66fc99e Initial load
duke
parents:
diff changeset
139 if (!_indexes->cache_location_collision(cloc)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
140 return -1; // We know the current cache occupant is unique to that cloc.
a61af66fc99e Initial load
duke
parents:
diff changeset
141 }
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // Not found in cache, due to a cache collision. (Or, no cache at all.)
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // Do a linear search, most recent to oldest.
a61af66fc99e Initial load
duke
parents:
diff changeset
146 for (int i = _handles->length() - 1; i >= 0; i--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 if (_handles->at(i) == h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
148 int findex = i + first_index;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 if (_no_finds->contains(findex)) continue; // oops; skip this one
a61af66fc99e Initial load
duke
parents:
diff changeset
150 if (cloc != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 _indexes->set_cache_location_index(cloc, findex);
a61af66fc99e Initial load
duke
parents:
diff changeset
152 }
a61af66fc99e Initial load
duke
parents:
diff changeset
153 debug_only(_missed_indexes++);
a61af66fc99e Initial load
duke
parents:
diff changeset
154 return findex;
a61af66fc99e Initial load
duke
parents:
diff changeset
155 }
a61af66fc99e Initial load
duke
parents:
diff changeset
156 }
a61af66fc99e Initial load
duke
parents:
diff changeset
157 return -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
158 }