Mercurial > hg > truffle
annotate src/share/vm/utilities/hashtable.hpp @ 9126:bc26f978b0ce
HotSpotResolvedObjectType: implement hasFinalizeSubclass() correctly
don't use the (wrong) cached value, but ask the runtime on each request.
Fixes regression on xml.* benchmarks @ specjvm2008. The problem was:
After the constructor of Object was deoptimized due to an assumption violation,
it was recompiled again after some time. However, on recompilation, the value
of hasFinalizeSubclass for the class was not updated and it was compiled again
with a, now wrong, assumption, which then triggers deoptimization again.
This was repeated until it hit the recompilation limit (defined by
PerMethodRecompilationCutoff), and therefore only executed by the interpreter
from now on, causing the performance regression.
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Mon, 15 Apr 2013 19:54:58 +0200 |
parents | da91efe96a93 |
children | a5d6f0c3585f |
rev | line source |
---|---|
0 | 1 /* |
4864
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
2426
diff
changeset
|
2 * Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
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 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_UTILITIES_HASHTABLE_HPP |
26 #define SHARE_VM_UTILITIES_HASHTABLE_HPP | |
27 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
28 #include "classfile/classLoaderData.hpp" |
1972 | 29 #include "memory/allocation.hpp" |
30 #include "oops/oop.hpp" | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
31 #include "oops/symbol.hpp" |
1972 | 32 #include "runtime/handles.hpp" |
33 | |
0 | 34 // This is a generic hashtable, designed to be used for the symbol |
35 // and string tables. | |
36 // | |
37 // It is implemented as an open hash table with a fixed number of buckets. | |
38 // | |
39 // %note: | |
40 // - TableEntrys are allocated in blocks to reduce the space overhead. | |
41 | |
42 | |
43 | |
6197 | 44 template <MEMFLAGS F> class BasicHashtableEntry : public CHeapObj<F> { |
0 | 45 friend class VMStructs; |
46 private: | |
47 unsigned int _hash; // 32-bit hash for item | |
48 | |
49 // Link to next element in the linked list for this bucket. EXCEPT | |
50 // bit 0 set indicates that this entry is shared and must not be | |
51 // unlinked from the table. Bit 0 is set during the dumping of the | |
52 // archive. Since shared entries are immutable, _next fields in the | |
53 // shared entries will not change. New entries will always be | |
54 // unshared and since pointers are align, bit 0 will always remain 0 | |
55 // with no extra effort. | |
6197 | 56 BasicHashtableEntry<F>* _next; |
0 | 57 |
58 // Windows IA64 compiler requires subclasses to be able to access these | |
59 protected: | |
60 // Entry objects should not be created, they should be taken from the | |
61 // free list with BasicHashtable.new_entry(). | |
62 BasicHashtableEntry() { ShouldNotReachHere(); } | |
63 // Entry objects should not be destroyed. They should be placed on | |
64 // the free list instead with BasicHashtable.free_entry(). | |
65 ~BasicHashtableEntry() { ShouldNotReachHere(); } | |
66 | |
67 public: | |
68 | |
69 unsigned int hash() const { return _hash; } | |
70 void set_hash(unsigned int hash) { _hash = hash; } | |
71 unsigned int* hash_addr() { return &_hash; } | |
72 | |
6197 | 73 static BasicHashtableEntry<F>* make_ptr(BasicHashtableEntry<F>* p) { |
0 | 74 return (BasicHashtableEntry*)((intptr_t)p & -2); |
75 } | |
76 | |
6197 | 77 BasicHashtableEntry<F>* next() const { |
0 | 78 return make_ptr(_next); |
79 } | |
80 | |
6197 | 81 void set_next(BasicHashtableEntry<F>* next) { |
0 | 82 _next = next; |
83 } | |
84 | |
6197 | 85 BasicHashtableEntry<F>** next_addr() { |
0 | 86 return &_next; |
87 } | |
88 | |
89 bool is_shared() const { | |
90 return ((intptr_t)_next & 1) != 0; | |
91 } | |
92 | |
93 void set_shared() { | |
6197 | 94 _next = (BasicHashtableEntry<F>*)((intptr_t)_next | 1); |
0 | 95 } |
96 }; | |
97 | |
98 | |
99 | |
6197 | 100 template <class T, MEMFLAGS F> class HashtableEntry : public BasicHashtableEntry<F> { |
0 | 101 friend class VMStructs; |
102 private: | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
103 T _literal; // ref to item in table. |
0 | 104 |
105 public: | |
106 // Literal | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
107 T literal() const { return _literal; } |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
108 T* literal_addr() { return &_literal; } |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
109 void set_literal(T s) { _literal = s; } |
0 | 110 |
111 HashtableEntry* next() const { | |
6197 | 112 return (HashtableEntry*)BasicHashtableEntry<F>::next(); |
0 | 113 } |
114 HashtableEntry** next_addr() { | |
6197 | 115 return (HashtableEntry**)BasicHashtableEntry<F>::next_addr(); |
0 | 116 } |
117 }; | |
118 | |
119 | |
120 | |
6197 | 121 template <MEMFLAGS F> class HashtableBucket : public CHeapObj<F> { |
0 | 122 friend class VMStructs; |
123 private: | |
124 // Instance variable | |
6197 | 125 BasicHashtableEntry<F>* _entry; |
0 | 126 |
127 public: | |
128 // Accessing | |
129 void clear() { _entry = NULL; } | |
130 | |
131 // The following methods use order access methods to avoid race | |
132 // conditions in multiprocessor systems. | |
6197 | 133 BasicHashtableEntry<F>* get_entry() const; |
134 void set_entry(BasicHashtableEntry<F>* l); | |
0 | 135 |
136 // The following method is not MT-safe and must be done under lock. | |
6197 | 137 BasicHashtableEntry<F>** entry_addr() { return &_entry; } |
0 | 138 }; |
139 | |
140 | |
6197 | 141 template <MEMFLAGS F> class BasicHashtable : public CHeapObj<F> { |
0 | 142 friend class VMStructs; |
143 | |
144 public: | |
145 BasicHashtable(int table_size, int entry_size); | |
146 BasicHashtable(int table_size, int entry_size, | |
6197 | 147 HashtableBucket<F>* buckets, int number_of_entries); |
0 | 148 |
149 // Sharing support. | |
150 void copy_buckets(char** top, char* end); | |
151 void copy_table(char** top, char* end); | |
152 | |
153 // Bucket handling | |
154 int hash_to_index(unsigned int full_hash) { | |
155 int h = full_hash % _table_size; | |
156 assert(h >= 0 && h < _table_size, "Illegal hash value"); | |
157 return h; | |
158 } | |
159 | |
160 // Reverse the order of elements in each of the buckets. | |
161 void reverse(); | |
162 | |
163 private: | |
164 // Instance variables | |
165 int _table_size; | |
6197 | 166 HashtableBucket<F>* _buckets; |
167 BasicHashtableEntry<F>* _free_list; | |
0 | 168 char* _first_free_entry; |
169 char* _end_block; | |
170 int _entry_size; | |
171 int _number_of_entries; | |
172 | |
173 protected: | |
174 | |
175 #ifdef ASSERT | |
176 int _lookup_count; | |
177 int _lookup_length; | |
178 void verify_lookup_length(double load); | |
179 #endif | |
180 | |
6162 | 181 enum { |
182 rehash_count = 100, | |
183 rehash_multiple = 60 | |
184 }; | |
185 | |
0 | 186 void initialize(int table_size, int entry_size, int number_of_entries); |
187 | |
188 // Accessor | |
189 int entry_size() const { return _entry_size; } | |
190 | |
191 // The following method is MT-safe and may be used with caution. | |
6197 | 192 BasicHashtableEntry<F>* bucket(int i); |
0 | 193 |
194 // The following method is not MT-safe and must be done under lock. | |
6197 | 195 BasicHashtableEntry<F>** bucket_addr(int i) { return _buckets[i].entry_addr(); } |
0 | 196 |
197 // Table entry management | |
6197 | 198 BasicHashtableEntry<F>* new_entry(unsigned int hashValue); |
0 | 199 |
6162 | 200 // Check that the table is unbalanced |
201 bool check_rehash_table(int count); | |
202 | |
203 // Used when moving the entry to another table | |
204 // Clean up links, but do not add to free_list | |
6197 | 205 void unlink_entry(BasicHashtableEntry<F>* entry) { |
6162 | 206 entry->set_next(NULL); |
207 --_number_of_entries; | |
208 } | |
209 | |
210 // Move over freelist and free block for allocation | |
211 void copy_freelist(BasicHashtable* src) { | |
212 _free_list = src->_free_list; | |
213 src->_free_list = NULL; | |
214 _first_free_entry = src->_first_free_entry; | |
215 src->_first_free_entry = NULL; | |
216 _end_block = src->_end_block; | |
217 src->_end_block = NULL; | |
218 } | |
219 | |
220 // Free the buckets in this hashtable | |
6172
246d977b51f2
7178670: runtime/7158800/BadUtf8.java fails in SymbolTable::rehash_table
coleenp
parents:
6162
diff
changeset
|
221 void free_buckets(); |
6162 | 222 |
0 | 223 public: |
4864
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
2426
diff
changeset
|
224 int table_size() { return _table_size; } |
6197 | 225 void set_entry(int index, BasicHashtableEntry<F>* entry); |
0 | 226 |
6197 | 227 void add_entry(int index, BasicHashtableEntry<F>* entry); |
0 | 228 |
6197 | 229 void free_entry(BasicHashtableEntry<F>* entry); |
0 | 230 |
231 int number_of_entries() { return _number_of_entries; } | |
232 | |
233 void verify() PRODUCT_RETURN; | |
234 }; | |
235 | |
236 | |
6197 | 237 template <class T, MEMFLAGS F> class Hashtable : public BasicHashtable<F> { |
0 | 238 friend class VMStructs; |
239 | |
240 public: | |
241 Hashtable(int table_size, int entry_size) | |
6197 | 242 : BasicHashtable<F>(table_size, entry_size) { } |
0 | 243 |
244 Hashtable(int table_size, int entry_size, | |
6197 | 245 HashtableBucket<F>* buckets, int number_of_entries) |
246 : BasicHashtable<F>(table_size, entry_size, buckets, number_of_entries) { } | |
0 | 247 |
248 // Debugging | |
249 void print() PRODUCT_RETURN; | |
250 | |
251 // Reverse the order of elements in each of the buckets. Hashtable | |
252 // entries which refer to objects at a lower address than 'boundary' | |
253 // are separated from those which refer to objects at higher | |
254 // addresses, and appear first in the list. | |
255 void reverse(void* boundary = NULL); | |
256 | |
257 protected: | |
258 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
259 unsigned int compute_hash(Symbol* name) { |
0 | 260 return (unsigned int) name->identity_hash(); |
261 } | |
262 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
263 int index_for(Symbol* name) { |
6260
5e2dc722e70d
7186278: Build error after CR#6995781 / 7151532 with GCC 4.7.0
andrew
parents:
6201
diff
changeset
|
264 return this->hash_to_index(compute_hash(name)); |
0 | 265 } |
266 | |
267 // Table entry management | |
6197 | 268 HashtableEntry<T, F>* new_entry(unsigned int hashValue, T obj); |
0 | 269 |
270 // The following method is MT-safe and may be used with caution. | |
6197 | 271 HashtableEntry<T, F>* bucket(int i) { |
272 return (HashtableEntry<T, F>*)BasicHashtable<F>::bucket(i); | |
0 | 273 } |
274 | |
275 // The following method is not MT-safe and must be done under lock. | |
6197 | 276 HashtableEntry<T, F>** bucket_addr(int i) { |
277 return (HashtableEntry<T, F>**)BasicHashtable<F>::bucket_addr(i); | |
0 | 278 } |
6162 | 279 |
280 // Function to move these elements into the new table. | |
6197 | 281 void move_to(Hashtable<T, F>* new_table); |
6201
ace99a6ffc83
7181200: JVM new hashing code breaks SA in product mode
coleenp
parents:
6197
diff
changeset
|
282 static bool use_alternate_hashcode() { return _seed != 0; } |
ace99a6ffc83
7181200: JVM new hashing code breaks SA in product mode
coleenp
parents:
6197
diff
changeset
|
283 static jint seed() { return _seed; } |
ace99a6ffc83
7181200: JVM new hashing code breaks SA in product mode
coleenp
parents:
6197
diff
changeset
|
284 |
ace99a6ffc83
7181200: JVM new hashing code breaks SA in product mode
coleenp
parents:
6197
diff
changeset
|
285 private: |
ace99a6ffc83
7181200: JVM new hashing code breaks SA in product mode
coleenp
parents:
6197
diff
changeset
|
286 static jint _seed; |
0 | 287 }; |
288 | |
289 | |
290 // Verions of hashtable where two handles are used to compute the index. | |
291 | |
6197 | 292 template <class T, MEMFLAGS F> class TwoOopHashtable : public Hashtable<T, F> { |
0 | 293 friend class VMStructs; |
294 protected: | |
295 TwoOopHashtable(int table_size, int entry_size) | |
6197 | 296 : Hashtable<T, F>(table_size, entry_size) {} |
0 | 297 |
6197 | 298 TwoOopHashtable(int table_size, int entry_size, HashtableBucket<F>* t, |
0 | 299 int number_of_entries) |
6197 | 300 : Hashtable<T, F>(table_size, entry_size, t, number_of_entries) {} |
0 | 301 |
302 public: | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
303 unsigned int compute_hash(Symbol* name, ClassLoaderData* loader_data) { |
0 | 304 unsigned int name_hash = name->identity_hash(); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
305 // loader is null with CDS |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
306 assert(loader_data != NULL || UseSharedSpaces || DumpSharedSpaces, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
307 "only allowed with shared spaces"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
308 unsigned int loader_hash = loader_data == NULL ? 0 : loader_data->identity_hash(); |
0 | 309 return name_hash ^ loader_hash; |
310 } | |
311 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
312 int index_for(Symbol* name, ClassLoaderData* loader_data) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6260
diff
changeset
|
313 return this->hash_to_index(compute_hash(name, loader_data)); |
0 | 314 } |
315 }; | |
1972 | 316 |
317 #endif // SHARE_VM_UTILITIES_HASHTABLE_HPP |