truffle: src/share/vm/classfile/symbolTable.hpp annotate

annotate src/share/vm/classfile/symbolTable.hpp @ 12275:63147986a428

8019835: Strings interned in different threads equal but does not == Summary: Add -XX:+VerifyStringTableAtExit option and code to verify StringTable invariants. Reviewed-by: rdurbin, sspitsyn, coleenp

author	dcubed
date	Wed, 18 Sep 2013 07:02:10 -0700
parents	01522ca68fc7
children	c90e76575b03

rev	line source
0 a61af66fc99e Initial load duke parents: diff changeset	1 /*
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	2 * Copyright (c) 1997, 2013, 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: 665 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 665 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: 665 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: 1552 diff changeset	25 #ifndef SHARE_VM_CLASSFILE_SYMBOLTABLE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	26 #define SHARE_VM_CLASSFILE_SYMBOLTABLE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	27
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	28 #include "memory/allocation.inline.hpp"
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	29 #include "oops/symbol.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	30 #include "utilities/hashtable.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	31
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	32 // The symbol table holds all Symbol*s and corresponding interned strings.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	33 // Symbol*s and literal strings should be canonicalized.
0 a61af66fc99e Initial load duke parents: diff changeset	34 //
a61af66fc99e Initial load duke parents: diff changeset	35 // The interned strings are created lazily.
a61af66fc99e Initial load duke parents: diff changeset	36 //
a61af66fc99e Initial load duke parents: diff changeset	37 // It is implemented as an open hash table with a fixed number of buckets.
a61af66fc99e Initial load duke parents: diff changeset	38 //
a61af66fc99e Initial load duke parents: diff changeset	39 // %note:
a61af66fc99e Initial load duke parents: diff changeset	40 // - symbolTableEntrys are allocated in blocks to reduce the space overhead.
a61af66fc99e Initial load duke parents: diff changeset	41
a61af66fc99e Initial load duke parents: diff changeset	42 class BoolObjectClosure;
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	43 class outputStream;
0 a61af66fc99e Initial load duke parents: diff changeset	44
a61af66fc99e Initial load duke parents: diff changeset	45
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	46 // Class to hold a newly created or referenced Symbol* temporarily in scope.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	47 // new_symbol() and lookup() will create a Symbol* if not already in the
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	48 // symbol table and add to the symbol's reference count.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	49 // probe() and lookup_only() will increment the refcount if symbol is found.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	50 class TempNewSymbol : public StackObj {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	51 Symbol* _temp;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	52
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	53 public:
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	54 TempNewSymbol() : _temp(NULL) {}
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	55 // Creating or looking up a symbol increments the symbol's reference count
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	56 TempNewSymbol(Symbol *s) : _temp(s) {}
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	57
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	58 // Operator= increments reference count.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	59 void operator=(const TempNewSymbol &s) {
6266 1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6201 diff changeset	60 //clear(); //FIXME
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	61 _temp = s._temp;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	62 if (_temp !=NULL) _temp->increment_refcount();
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	63 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	64
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	65 // Decrement reference counter so it can go away if it's unique
6266 1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6201 diff changeset	66 void clear() { if (_temp != NULL) _temp->decrement_refcount(); _temp = NULL; }
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6201 diff changeset	67
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6201 diff changeset	68 ~TempNewSymbol() { clear(); }
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	69
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	70 // Operators so they can be used like Symbols
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	71 Symbol* operator -> () const { return _temp; }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	72 bool operator == (Symbol* o) const { return _temp == o; }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	73 // Sneaky conversion function
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	74 operator Symbol*() { return _temp; }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	75 };
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	76
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	77 class SymbolTable : public Hashtable<Symbol*, mtSymbol> {
0 a61af66fc99e Initial load duke parents: diff changeset	78 friend class VMStructs;
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	79 friend class ClassFileParser;
0 a61af66fc99e Initial load duke parents: diff changeset	80
a61af66fc99e Initial load duke parents: diff changeset	81 private:
a61af66fc99e Initial load duke parents: diff changeset	82 // The symbol table
a61af66fc99e Initial load duke parents: diff changeset	83 static SymbolTable* _the_table;
a61af66fc99e Initial load duke parents: diff changeset	84
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	85 // Set if one bucket is out of balance due to hash algorithm deficiency
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	86 static bool _needs_rehashing;
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	87
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	88 // For statistics
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	89 static int symbols_removed;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	90 static int symbols_counted;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	91
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	92 Symbol* allocate_symbol(const u1* name, int len, bool c_heap, TRAPS); // Assumes no characters larger than 0x7F
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	93
0 a61af66fc99e Initial load duke parents: diff changeset	94 // Adding elements
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	95 Symbol* basic_add(int index, u1* name, int len, unsigned int hashValue,
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	96 bool c_heap, TRAPS);
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	97 bool basic_add(ClassLoaderData* loader_data,
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	98 constantPoolHandle cp, int names_count,
0 a61af66fc99e Initial load duke parents: diff changeset	99 const char** names, int* lengths, int* cp_indices,
a61af66fc99e Initial load duke parents: diff changeset	100 unsigned int* hashValues, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	101
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	102 static void new_symbols(ClassLoaderData* loader_data,
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	103 constantPoolHandle cp, int names_count,
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	104 const char** name, int* lengths,
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	105 int* cp_indices, unsigned int* hashValues,
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	106 TRAPS) {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	107 add(loader_data, cp, names_count, name, lengths, cp_indices, hashValues, THREAD);
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	108 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	109
0 a61af66fc99e Initial load duke parents: diff changeset	110 // Table size
a61af66fc99e Initial load duke parents: diff changeset	111 enum {
a61af66fc99e Initial load duke parents: diff changeset	112 symbol_table_size = 20011
a61af66fc99e Initial load duke parents: diff changeset	113 };
a61af66fc99e Initial load duke parents: diff changeset	114
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	115 Symbol* lookup(int index, const char* name, int len, unsigned int hash);
0 a61af66fc99e Initial load duke parents: diff changeset	116
a61af66fc99e Initial load duke parents: diff changeset	117 SymbolTable()
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	118 : Hashtable<Symbol, mtSymbol>(symbol_table_size, sizeof (HashtableEntry<Symbol, mtSymbol>)) {}
0 a61af66fc99e Initial load duke parents: diff changeset	119
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	120 SymbolTable(HashtableBucket<mtSymbol>* t, int number_of_entries)
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	121 : Hashtable<Symbol, mtSymbol>(symbol_table_size, sizeof (HashtableEntry<Symbol, mtSymbol>), t,
0 a61af66fc99e Initial load duke parents: diff changeset	122 number_of_entries) {}
a61af66fc99e Initial load duke parents: diff changeset	123
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	124 // Arena for permanent symbols (null class loader) that are never unloaded
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	125 static Arena* _arena;
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	126 static Arena* arena() { return _arena; } // called for statistics
0 a61af66fc99e Initial load duke parents: diff changeset	127
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	128 static void initialize_symbols(int arena_alloc_size = 0);
0 a61af66fc99e Initial load duke parents: diff changeset	129 public:
a61af66fc99e Initial load duke parents: diff changeset	130 enum {
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	131 symbol_alloc_batch_size = 8,
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	132 // Pick initial size based on java -version size measurements
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	133 symbol_alloc_arena_size = 360*K
0 a61af66fc99e Initial load duke parents: diff changeset	134 };
a61af66fc99e Initial load duke parents: diff changeset	135
a61af66fc99e Initial load duke parents: diff changeset	136 // The symbol table
a61af66fc99e Initial load duke parents: diff changeset	137 static SymbolTable* the_table() { return _the_table; }
a61af66fc99e Initial load duke parents: diff changeset	138
a61af66fc99e Initial load duke parents: diff changeset	139 static void create_table() {
a61af66fc99e Initial load duke parents: diff changeset	140 assert(_the_table == NULL, "One symbol table allowed.");
a61af66fc99e Initial load duke parents: diff changeset	141 _the_table = new SymbolTable();
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	142 initialize_symbols(symbol_alloc_arena_size);
0 a61af66fc99e Initial load duke parents: diff changeset	143 }
a61af66fc99e Initial load duke parents: diff changeset	144
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	145 static void create_table(HashtableBucket<mtSymbol>* t, int length,
0 a61af66fc99e Initial load duke parents: diff changeset	146 int number_of_entries) {
a61af66fc99e Initial load duke parents: diff changeset	147 assert(_the_table == NULL, "One symbol table allowed.");
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	148 assert(length == symbol_table_size * sizeof(HashtableBucket<mtSymbol>),
0 a61af66fc99e Initial load duke parents: diff changeset	149 "bad shared symbol size.");
a61af66fc99e Initial load duke parents: diff changeset	150 _the_table = new SymbolTable(t, number_of_entries);
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	151 // if CDS give symbol table a default arena size since most symbols
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	152 // are already allocated in the shared misc section.
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	153 initialize_symbols();
0 a61af66fc99e Initial load duke parents: diff changeset	154 }
a61af66fc99e Initial load duke parents: diff changeset	155
6172 246d977b51f2 7178670: runtime/7158800/BadUtf8.java fails in SymbolTable::rehash_table coleenp parents: 6162 diff changeset	156 static unsigned int hash_symbol(const char* s, int len);
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	157
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	158 static Symbol* lookup(const char* name, int len, TRAPS);
0 a61af66fc99e Initial load duke parents: diff changeset	159 // lookup only, won't add. Also calculate hash.
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	160 static Symbol* lookup_only(const char* name, int len, unsigned int& hash);
0 a61af66fc99e Initial load duke parents: diff changeset	161 // Only copy to C string to be added if lookup failed.
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	162 static Symbol* lookup(const Symbol* sym, int begin, int end, TRAPS);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	163
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	164 static void release(Symbol* sym);
0 a61af66fc99e Initial load duke parents: diff changeset	165
4800 94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure phh parents: 2418 diff changeset	166 // Look up the address of the literal in the SymbolTable for this Symbol*
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure phh parents: 2418 diff changeset	167 static Symbol** lookup_symbol_addr(Symbol* sym);
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure phh parents: 2418 diff changeset	168
665 c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	169 // jchar (utf16) version of lookups
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	170 static Symbol* lookup_unicode(const jchar* name, int len, TRAPS);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	171 static Symbol* lookup_only_unicode(const jchar* name, int len, unsigned int& hash);
665 c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	172
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	173 static void add(ClassLoaderData* loader_data,
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	174 constantPoolHandle cp, int names_count,
0 a61af66fc99e Initial load duke parents: diff changeset	175 const char** names, int* lengths, int* cp_indices,
a61af66fc99e Initial load duke parents: diff changeset	176 unsigned int* hashValues, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	177
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	178 // Release any dead symbols
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	179 static void unlink();
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	180
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	181 // iterate over symbols
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	182 static void symbols_do(SymbolClosure *cl);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	183
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	184 // Symbol creation
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	185 static Symbol* new_symbol(const char* utf8_buffer, int length, TRAPS) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	186 assert(utf8_buffer != NULL, "just checking");
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	187 return lookup(utf8_buffer, length, THREAD);
0 a61af66fc99e Initial load duke parents: diff changeset	188 }
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	189 static Symbol* new_symbol(const char* name, TRAPS) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	190 return new_symbol(name, (int)strlen(name), THREAD);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	191 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	192 static Symbol* new_symbol(const Symbol* sym, int begin, int end, TRAPS) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	193 assert(begin <= end && end <= sym->utf8_length(), "just checking");
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	194 return lookup(sym, begin, end, THREAD);
0 a61af66fc99e Initial load duke parents: diff changeset	195 }
a61af66fc99e Initial load duke parents: diff changeset	196
5979 fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	197 // Create a symbol in the arena for symbols that are not deleted
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	198 static Symbol* new_permanent_symbol(const char* name, TRAPS);
fc9d8850ab8b 7150058: Allocate symbols from null boot loader to an arena for NMT coleenp parents: 4800 diff changeset	199
0 a61af66fc99e Initial load duke parents: diff changeset	200 // Symbol lookup
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	201 static Symbol* lookup(int index, const char* name, int len, TRAPS);
0 a61af66fc99e Initial load duke parents: diff changeset	202
a61af66fc99e Initial load duke parents: diff changeset	203 // Needed for preloading classes in signatures when compiling.
a61af66fc99e Initial load duke parents: diff changeset	204 // Returns the symbol is already present in symbol table, otherwise
a61af66fc99e Initial load duke parents: diff changeset	205 // NULL. NO ALLOCATION IS GUARANTEED!
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	206 static Symbol* probe(const char* name, int len) {
665 c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	207 unsigned int ignore_hash;
c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	208 return lookup_only(name, len, ignore_hash);
c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	209 }
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	210 static Symbol* probe_unicode(const jchar* name, int len) {
665 c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	211 unsigned int ignore_hash;
c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	212 return lookup_only_unicode(name, len, ignore_hash);
c89f86385056 6814659: separable cleanups and subroutines for 6655638 jrose parents: 0 diff changeset	213 }
0 a61af66fc99e Initial load duke parents: diff changeset	214
a61af66fc99e Initial load duke parents: diff changeset	215 // Histogram
a61af66fc99e Initial load duke parents: diff changeset	216 static void print_histogram() PRODUCT_RETURN;
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	217 static void print() PRODUCT_RETURN;
0 a61af66fc99e Initial load duke parents: diff changeset	218
a61af66fc99e Initial load duke parents: diff changeset	219 // Debugging
a61af66fc99e Initial load duke parents: diff changeset	220 static void verify();
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	221 static void dump(outputStream* st);
0 a61af66fc99e Initial load duke parents: diff changeset	222
a61af66fc99e Initial load duke parents: diff changeset	223 // Sharing
a61af66fc99e Initial load duke parents: diff changeset	224 static void copy_buckets(char** top, char*end) {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	225 the_table()->Hashtable<Symbol*, mtSymbol>::copy_buckets(top, end);
0 a61af66fc99e Initial load duke parents: diff changeset	226 }
a61af66fc99e Initial load duke parents: diff changeset	227 static void copy_table(char** top, char*end) {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	228 the_table()->Hashtable<Symbol*, mtSymbol>::copy_table(top, end);
0 a61af66fc99e Initial load duke parents: diff changeset	229 }
a61af66fc99e Initial load duke parents: diff changeset	230 static void reverse(void* boundary = NULL) {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	231 the_table()->Hashtable<Symbol*, mtSymbol>::reverse(boundary);
0 a61af66fc99e Initial load duke parents: diff changeset	232 }
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	233
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	234 // Rehash the symbol table if it gets out of balance
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	235 static void rehash_table();
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	236 static bool needs_rehashing() { return _needs_rehashing; }
0 a61af66fc99e Initial load duke parents: diff changeset	237 };
a61af66fc99e Initial load duke parents: diff changeset	238
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	239 class StringTable : public Hashtable<oop, mtSymbol> {
0 a61af66fc99e Initial load duke parents: diff changeset	240 friend class VMStructs;
a61af66fc99e Initial load duke parents: diff changeset	241
a61af66fc99e Initial load duke parents: diff changeset	242 private:
a61af66fc99e Initial load duke parents: diff changeset	243 // The string table
a61af66fc99e Initial load duke parents: diff changeset	244 static StringTable* _the_table;
a61af66fc99e Initial load duke parents: diff changeset	245
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	246 // Set if one bucket is out of balance due to hash algorithm deficiency
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	247 static bool _needs_rehashing;
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	248
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	249 // Claimed high water mark for parallel chunked scanning
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	250 static volatile int _parallel_claimed_idx;
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	251
0 a61af66fc99e Initial load duke parents: diff changeset	252 static oop intern(Handle string_or_null, jchar* chars, int length, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	253 oop basic_add(int index, Handle string_or_null, jchar* name, int len,
a61af66fc99e Initial load duke parents: diff changeset	254 unsigned int hashValue, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	255
a61af66fc99e Initial load duke parents: diff changeset	256 oop lookup(int index, jchar* chars, int length, unsigned int hashValue);
a61af66fc99e Initial load duke parents: diff changeset	257
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	258 // Apply the give oop closure to the entries to the buckets
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	259 // in the range [start_idx, end_idx).
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	260 static void buckets_do(OopClosure* f, int start_idx, int end_idx);
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	261
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	262 StringTable() : Hashtable<oop, mtSymbol>((int)StringTableSize,
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	263 sizeof (HashtableEntry<oop, mtSymbol>)) {}
0 a61af66fc99e Initial load duke parents: diff changeset	264
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	265 StringTable(HashtableBucket<mtSymbol>* t, int number_of_entries)
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	266 : Hashtable<oop, mtSymbol>((int)StringTableSize, sizeof (HashtableEntry<oop, mtSymbol>), t,
2378 924777755fad 6962930: make the string table size configurable jcoomes parents: 2177 diff changeset	267 number_of_entries) {}
0 a61af66fc99e Initial load duke parents: diff changeset	268 public:
a61af66fc99e Initial load duke parents: diff changeset	269 // The string table
a61af66fc99e Initial load duke parents: diff changeset	270 static StringTable* the_table() { return _the_table; }
a61af66fc99e Initial load duke parents: diff changeset	271
6982 e4f764ddb06a 7122219: Passed StringTableSize value not verified hseigel parents: 6725 diff changeset	272 // Size of one bucket in the string table. Used when checking for rollover.
e4f764ddb06a 7122219: Passed StringTableSize value not verified hseigel parents: 6725 diff changeset	273 static uint bucket_size() { return sizeof(HashtableBucket<mtSymbol>); }
e4f764ddb06a 7122219: Passed StringTableSize value not verified hseigel parents: 6725 diff changeset	274
0 a61af66fc99e Initial load duke parents: diff changeset	275 static void create_table() {
a61af66fc99e Initial load duke parents: diff changeset	276 assert(_the_table == NULL, "One string table allowed.");
a61af66fc99e Initial load duke parents: diff changeset	277 _the_table = new StringTable();
a61af66fc99e Initial load duke parents: diff changeset	278 }
a61af66fc99e Initial load duke parents: diff changeset	279
a61af66fc99e Initial load duke parents: diff changeset	280 // GC support
a61af66fc99e Initial load duke parents: diff changeset	281 // Delete pointers to otherwise-unreachable objects.
10363 8dbc025ff709 8015422: Large performance hit when the StringTable is walked twice in Parallel Scavenge stefank parents: 8850 diff changeset	282 static void unlink_or_oops_do(BoolObjectClosure* cl, OopClosure* f);
8dbc025ff709 8015422: Large performance hit when the StringTable is walked twice in Parallel Scavenge stefank parents: 8850 diff changeset	283 static void unlink(BoolObjectClosure* cl) {
8dbc025ff709 8015422: Large performance hit when the StringTable is walked twice in Parallel Scavenge stefank parents: 8850 diff changeset	284 unlink_or_oops_do(cl, NULL);
8dbc025ff709 8015422: Large performance hit when the StringTable is walked twice in Parallel Scavenge stefank parents: 8850 diff changeset	285 }
0 a61af66fc99e Initial load duke parents: diff changeset	286
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	287 // Serially invoke "f->do_oop" on the locations of all oops in the table.
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	288 static void oops_do(OopClosure* f);
0 a61af66fc99e Initial load duke parents: diff changeset	289
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	290 // Possibly parallel version of the above
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	291 static void possibly_parallel_oops_do(OopClosure* f);
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	292
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	293 // Hashing algorithm, used as the hash value used by the
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	294 // StringTable for bucket selection and comparison (stored in the
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	295 // HashtableEntry structures). This is used in the String.intern() method.
6172 246d977b51f2 7178670: runtime/7158800/BadUtf8.java fails in SymbolTable::rehash_table coleenp parents: 6162 diff changeset	296 static unsigned int hash_string(const jchar* s, int len);
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	297
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	298 // Internal test.
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	299 static void test_alt_hash() PRODUCT_RETURN;
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	300
0 a61af66fc99e Initial load duke parents: diff changeset	301 // Probing
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	302 static oop lookup(Symbol* symbol);
8850 ede380e13960 8009763: Add WB test for String.intern() mgerdin parents: 6982 diff changeset	303 static oop lookup(jchar* chars, int length);
0 a61af66fc99e Initial load duke parents: diff changeset	304
a61af66fc99e Initial load duke parents: diff changeset	305 // Interning
2177 3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable coleenp parents: 1972 diff changeset	306 static oop intern(Symbol* symbol, TRAPS);
0 a61af66fc99e Initial load duke parents: diff changeset	307 static oop intern(oop string, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	308 static oop intern(const char *utf8_string, TRAPS);
a61af66fc99e Initial load duke parents: diff changeset	309
a61af66fc99e Initial load duke parents: diff changeset	310 // Debugging
a61af66fc99e Initial load duke parents: diff changeset	311 static void verify();
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	312 static void dump(outputStream* st);
0 a61af66fc99e Initial load duke parents: diff changeset	313
12275 63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	314 enum VerifyMesgModes {
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	315 _verify_quietly = 0,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	316 _verify_with_mesgs = 1
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	317 };
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	318
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	319 enum VerifyRetTypes {
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	320 _verify_pass = 0,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	321 _verify_fail_continue = 1,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	322 _verify_fail_done = 2
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	323 };
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	324
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	325 static VerifyRetTypes compare_entries(int bkt1, int e_cnt1,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	326 HashtableEntry<oop, mtSymbol>* e_ptr1,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	327 int bkt2, int e_cnt2,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	328 HashtableEntry<oop, mtSymbol>* e_ptr2);
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	329 static VerifyRetTypes verify_entry(int bkt, int e_cnt,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	330 HashtableEntry<oop, mtSymbol>* e_ptr,
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	331 VerifyMesgModes mesg_mode);
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	332 static int verify_and_compare_entries();
63147986a428 8019835: Strings interned in different threads equal but does not == dcubed parents: 10991 diff changeset	333
0 a61af66fc99e Initial load duke parents: diff changeset	334 // Sharing
a61af66fc99e Initial load duke parents: diff changeset	335 static void copy_buckets(char** top, char*end) {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	336 the_table()->Hashtable<oop, mtSymbol>::copy_buckets(top, end);
0 a61af66fc99e Initial load duke parents: diff changeset	337 }
a61af66fc99e Initial load duke parents: diff changeset	338 static void copy_table(char** top, char*end) {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	339 the_table()->Hashtable<oop, mtSymbol>::copy_table(top, end);
0 a61af66fc99e Initial load duke parents: diff changeset	340 }
a61af66fc99e Initial load duke parents: diff changeset	341 static void reverse() {
6197 d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1) zgu parents: 6172 diff changeset	342 the_table()->Hashtable<oop, mtSymbol>::reverse();
0 a61af66fc99e Initial load duke parents: diff changeset	343 }
6162 e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	344
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	345 // Rehash the symbol table if it gets out of balance
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	346 static void rehash_table();
e9140bf80b4a 7158800: Improve storage of symbol tables coleenp parents: 5979 diff changeset	347 static bool needs_rehashing() { return _needs_rehashing; }
10991 01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	348
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	349 // Parallel chunked scanning
01522ca68fc7 8015237: Parallelize string table scanning during strong root processing johnc parents: 10363 diff changeset	350 static void clear_parallel_claimed_index() { _parallel_claimed_idx = 0; }
0 a61af66fc99e Initial load duke parents: diff changeset	351 };
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	352 #endif // SHARE_VM_CLASSFILE_SYMBOLTABLE_HPP

Mercurial > hg > truffle

annotate src/share/vm/classfile/symbolTable.hpp @ 12275:63147986a428