author | tschatzl |
Tue, 13 Nov 2018 11:45:16 +0100 | |
changeset 52498 | c3066f7465fa |
parent 52047 | 7bc8b456e5ac |
child 52514 | f4e3900c8d08 |
permissions | -rw-r--r-- |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
1 |
/* |
49364
601146c66cad
8173070: Remove ValueObj class for allocation subclassing for runtime code
coleenp
parents:
47216
diff
changeset
|
2 |
* Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved. |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
4 |
* |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
5 |
* This code is free software; you can redistribute it and/or modify it |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
7 |
* published by the Free Software Foundation. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
8 |
* |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
13 |
* accompanied this code). |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
14 |
* |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
15 |
* You should have received a copy of the GNU General Public License version |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
18 |
* |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
21 |
* questions. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
22 |
* |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
23 |
*/ |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
24 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
25 |
#ifndef SHARE_VM_CLASSFILE_COMPACTHASHTABLE_HPP |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
26 |
#define SHARE_VM_CLASSFILE_COMPACTHASHTABLE_HPP |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
27 |
|
46742 | 28 |
#include "oops/array.hpp" |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
29 |
#include "oops/symbol.hpp" |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
30 |
#include "utilities/hashtable.hpp" |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
31 |
|
51823 | 32 |
|
33 |
template < |
|
34 |
typename K, |
|
35 |
typename V, |
|
36 |
V (*DECODE)(address base_address, u4 offset), |
|
37 |
bool (*EQUALS)(V value, K key, int len) |
|
38 |
> |
|
39 |
class CompactHashtable; |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
40 |
class NumberSeq; |
37995 | 41 |
class SimpleCompactHashtable; |
42 |
class SerializeClosure; |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
43 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
44 |
// Stats for symbol tables in the CDS archive |
49364
601146c66cad
8173070: Remove ValueObj class for allocation subclassing for runtime code
coleenp
parents:
47216
diff
changeset
|
45 |
class CompactHashtableStats { |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
46 |
public: |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
47 |
int hashentry_count; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
48 |
int hashentry_bytes; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
49 |
int bucket_count; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
50 |
int bucket_bytes; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
51 |
}; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
52 |
|
51823 | 53 |
#if INCLUDE_CDS |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
54 |
///////////////////////////////////////////////////////////////////////// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
55 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
56 |
// The compact hash table writer. Used at dump time for writing out |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
57 |
// the compact table to the shared archive. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
58 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
59 |
// At dump time, the CompactHashtableWriter obtains all entries from the |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
60 |
// symbol/string table and adds them to a new temporary hash table. The hash |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
61 |
// table size (number of buckets) is calculated using |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
62 |
// '(num_entries + bucket_size - 1) / bucket_size'. The default bucket |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
63 |
// size is 4 and can be changed by -XX:SharedSymbolTableBucketSize option. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
64 |
// 4 is chosen because it produces smaller sized bucket on average for |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
65 |
// faster lookup. It also has relatively small number of empty buckets and |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
66 |
// good distribution of the entries. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
67 |
// |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
68 |
// We use a simple hash function (hash % num_bucket) for the table. |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
69 |
// The new table is compacted when written out. Please see comments |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
70 |
// above the CompactHashtable class for the table layout detail. The bucket |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
71 |
// offsets are written to the archive as part of the compact table. The |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
72 |
// bucket offset is encoded in the low 30-bit (0-29) and the bucket type |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
73 |
// (regular or compact) are encoded in bit[31, 30]. For buckets with more |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
74 |
// than one entry, both hash and entry offset are written to the |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
75 |
// table. For buckets with only one entry, only the entry offset is written |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
76 |
// to the table and the buckets are tagged as compact in their type bits. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
77 |
// Buckets without entry are skipped from the table. Their offsets are |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
78 |
// still written out for faster lookup. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
79 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
80 |
class CompactHashtableWriter: public StackObj { |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
81 |
public: |
49364
601146c66cad
8173070: Remove ValueObj class for allocation subclassing for runtime code
coleenp
parents:
47216
diff
changeset
|
82 |
class Entry { |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
83 |
unsigned int _hash; |
37995 | 84 |
u4 _value; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
85 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
86 |
public: |
37995 | 87 |
Entry() {} |
88 |
Entry(unsigned int hash, u4 val) : _hash(hash), _value(val) {} |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
89 |
|
37995 | 90 |
u4 value() { |
91 |
return _value; |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
92 |
} |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
93 |
unsigned int hash() { |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
94 |
return _hash; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
95 |
} |
37995 | 96 |
|
97 |
bool operator==(const CompactHashtableWriter::Entry& other) { |
|
98 |
return (_value == other._value && _hash == other._hash); |
|
99 |
} |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
100 |
}; // class CompactHashtableWriter::Entry |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
101 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
102 |
private: |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
103 |
int _num_entries; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
104 |
int _num_buckets; |
37995 | 105 |
int _num_empty_buckets; |
106 |
int _num_value_only_buckets; |
|
107 |
int _num_other_buckets; |
|
108 |
GrowableArray<Entry>** _buckets; |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
109 |
CompactHashtableStats* _stats; |
37995 | 110 |
Array<u4>* _compact_buckets; |
111 |
Array<u4>* _compact_entries; |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
112 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
113 |
public: |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
114 |
// This is called at dump-time only |
37995 | 115 |
CompactHashtableWriter(int num_buckets, CompactHashtableStats* stats); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
116 |
~CompactHashtableWriter(); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
117 |
|
37995 | 118 |
void add(unsigned int hash, u4 value); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
119 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
120 |
private: |
37995 | 121 |
void allocate_table(); |
122 |
void dump_table(NumberSeq* summary); |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
123 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
124 |
public: |
37995 | 125 |
void dump(SimpleCompactHashtable *cht, const char* table_name); |
52047
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
126 |
|
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
127 |
static int default_num_buckets(size_t num_entries) { |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
128 |
return default_num_buckets((int)num_entries); |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
129 |
} |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
130 |
static int default_num_buckets(int num_entries) { |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
131 |
int num_buckets = num_entries / SharedSymbolTableBucketSize; |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
132 |
// calculation of num_buckets can result in zero buckets, we need at least one |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
133 |
return (num_buckets < 1) ? 1 : num_buckets; |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
134 |
} |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
135 |
}; |
51823 | 136 |
#endif // INCLUDE_CDS |
37995 | 137 |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
138 |
#define REGULAR_BUCKET_TYPE 0 |
37995 | 139 |
#define VALUE_ONLY_BUCKET_TYPE 1 |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
140 |
#define TABLEEND_BUCKET_TYPE 3 |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
141 |
#define BUCKET_OFFSET_MASK 0x3FFFFFFF |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
142 |
#define BUCKET_OFFSET(info) ((info) & BUCKET_OFFSET_MASK) |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
143 |
#define BUCKET_TYPE_SHIFT 30 |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
144 |
#define BUCKET_TYPE(info) (((info) & ~BUCKET_OFFSET_MASK) >> BUCKET_TYPE_SHIFT) |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
145 |
#define BUCKET_INFO(offset, type) (((type) << BUCKET_TYPE_SHIFT) | ((offset) & BUCKET_OFFSET_MASK)) |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
146 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
147 |
///////////////////////////////////////////////////////////////////////////// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
148 |
// |
51823 | 149 |
// CompactHashtable is used to store the CDS archive's symbol/string tables. |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
150 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
151 |
// Because these tables are read-only (no entries can be added/deleted) at run-time |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
152 |
// and tend to have large number of entries, we try to minimize the footprint |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
153 |
// cost per entry. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
154 |
// |
37995 | 155 |
// The CompactHashtable is split into two arrays |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
156 |
// |
37995 | 157 |
// u4 buckets[num_buckets+1]; // bit[31,30]: type; bit[29-0]: offset |
158 |
// u4 entries[<variable size>] |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
159 |
// |
37995 | 160 |
// The size of buckets[] is 'num_buckets + 1'. Each entry of |
161 |
// buckets[] is a 32-bit encoding of the bucket type and bucket offset, |
|
162 |
// with the type in the left-most 2-bit and offset in the remaining 30-bit. |
|
163 |
// The last entry is a special type. It contains the end of the last |
|
164 |
// bucket. |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
165 |
// |
37995 | 166 |
// There are two types of buckets, regular buckets and value_only buckets. The |
167 |
// value_only buckets have '01' in their highest 2-bit, and regular buckets have |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
168 |
// '00' in their highest 2-bit. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
169 |
// |
37995 | 170 |
// For normal buckets, each entry is 8 bytes in the entries[]: |
171 |
// u4 hash; /* symbol/string hash */ |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
172 |
// union { |
37995 | 173 |
// u4 offset; /* Symbol* sym = (Symbol*)(base_address + offset) */ |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
174 |
// narrowOop str; /* String narrowOop encoding */ |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
175 |
// } |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
176 |
// |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
177 |
// |
37995 | 178 |
// For value_only buckets, each entry has only the 4-byte 'offset' in the entries[]. |
179 |
// |
|
180 |
// Example -- note that the second bucket is a VALUE_ONLY_BUCKET_TYPE so the hash code |
|
181 |
// is skipped. |
|
182 |
// buckets[0, 4, 5, ....] |
|
183 |
// | | | |
|
184 |
// | | +---+ |
|
185 |
// | | | |
|
186 |
// | +----+ | |
|
187 |
// v v v |
|
188 |
// entries[H,O,H,O,O,H,O,H,O.....] |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
189 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
190 |
// See CompactHashtable::lookup() for how the table is searched at runtime. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
191 |
// See CompactHashtableWriter::dump() for how the table is written at CDS |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
192 |
// dump time. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
193 |
// |
49364
601146c66cad
8173070: Remove ValueObj class for allocation subclassing for runtime code
coleenp
parents:
47216
diff
changeset
|
194 |
class SimpleCompactHashtable { |
37995 | 195 |
protected: |
196 |
address _base_address; |
|
197 |
u4 _bucket_count; |
|
198 |
u4 _entry_count; |
|
199 |
u4* _buckets; |
|
200 |
u4* _entries; |
|
201 |
||
202 |
public: |
|
203 |
SimpleCompactHashtable() { |
|
204 |
_entry_count = 0; |
|
205 |
_bucket_count = 0; |
|
206 |
_buckets = 0; |
|
207 |
_entries = 0; |
|
208 |
} |
|
209 |
||
210 |
void reset() { |
|
211 |
_bucket_count = 0; |
|
212 |
_entry_count = 0; |
|
213 |
_buckets = 0; |
|
214 |
_entries = 0; |
|
215 |
} |
|
216 |
||
217 |
void init(address base_address, u4 entry_count, u4 bucket_count, u4* buckets, u4* entries) { |
|
218 |
_base_address = base_address; |
|
219 |
_bucket_count = bucket_count; |
|
220 |
_entry_count = entry_count; |
|
221 |
_buckets = buckets; |
|
222 |
_entries = entries; |
|
223 |
} |
|
224 |
||
52047
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
225 |
// Read/Write the table's header from/to the CDS archive |
7bc8b456e5ac
8210388: Use hash table to store archived subgraph_info records
iklam
parents:
51823
diff
changeset
|
226 |
void serialize_header(SerializeClosure* soc) NOT_CDS_RETURN; |
51405
8b23aa7cef47
8195100: Use a low latency hashtable for SymbolTable
gziemski
parents:
49364
diff
changeset
|
227 |
|
8b23aa7cef47
8195100: Use a low latency hashtable for SymbolTable
gziemski
parents:
49364
diff
changeset
|
228 |
inline bool empty() { |
8b23aa7cef47
8195100: Use a low latency hashtable for SymbolTable
gziemski
parents:
49364
diff
changeset
|
229 |
return (_entry_count == 0); |
8b23aa7cef47
8195100: Use a low latency hashtable for SymbolTable
gziemski
parents:
49364
diff
changeset
|
230 |
} |
37995 | 231 |
}; |
232 |
||
51823 | 233 |
template < |
234 |
typename K, |
|
235 |
typename V, |
|
236 |
V (*DECODE)(address base_address, u4 offset), |
|
237 |
bool (*EQUALS)(V value, K key, int len) |
|
238 |
> |
|
239 |
class CompactHashtable : public SimpleCompactHashtable { |
|
28822
fa57694ade05
8071962: The SA code needs to be updated to support Symbol lookup from the shared archive.
jiangli
parents:
28615
diff
changeset
|
240 |
friend class VMStructs; |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
241 |
|
51823 | 242 |
V decode(u4 offset) const { |
243 |
return DECODE(_base_address, offset); |
|
244 |
} |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
245 |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
246 |
public: |
37995 | 247 |
CompactHashtable() : SimpleCompactHashtable() {} |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
248 |
|
51823 | 249 |
// Lookup a value V from the compact table using key K |
250 |
inline V lookup(K key, unsigned int hash, int len) const { |
|
251 |
if (_entry_count > 0) { |
|
252 |
int index = hash % _bucket_count; |
|
253 |
u4 bucket_info = _buckets[index]; |
|
254 |
u4 bucket_offset = BUCKET_OFFSET(bucket_info); |
|
255 |
int bucket_type = BUCKET_TYPE(bucket_info); |
|
256 |
u4* entry = _entries + bucket_offset; |
|
257 |
||
258 |
if (bucket_type == VALUE_ONLY_BUCKET_TYPE) { |
|
259 |
V value = decode(entry[0]); |
|
260 |
if (EQUALS(value, key, len)) { |
|
261 |
return value; |
|
262 |
} |
|
263 |
} else { |
|
264 |
// This is a regular bucket, which has more than one |
|
265 |
// entries. Each entry is a pair of entry (hash, offset). |
|
266 |
// Seek until the end of the bucket. |
|
267 |
u4* entry_max = _entries + BUCKET_OFFSET(_buckets[index + 1]); |
|
268 |
while (entry < entry_max) { |
|
269 |
unsigned int h = (unsigned int)(entry[0]); |
|
270 |
if (h == hash) { |
|
271 |
V value = decode(entry[1]); |
|
272 |
if (EQUALS(value, key, len)) { |
|
273 |
return value; |
|
274 |
} |
|
275 |
} |
|
276 |
entry += 2; |
|
277 |
} |
|
278 |
} |
|
279 |
} |
|
280 |
return NULL; |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
281 |
} |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
282 |
|
51823 | 283 |
template <class ITER> |
284 |
inline void iterate(ITER* iter) const { |
|
285 |
for (u4 i = 0; i < _bucket_count; i++) { |
|
286 |
u4 bucket_info = _buckets[i]; |
|
287 |
u4 bucket_offset = BUCKET_OFFSET(bucket_info); |
|
288 |
int bucket_type = BUCKET_TYPE(bucket_info); |
|
289 |
u4* entry = _entries + bucket_offset; |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
290 |
|
51823 | 291 |
if (bucket_type == VALUE_ONLY_BUCKET_TYPE) { |
292 |
iter->do_value(decode(entry[0])); |
|
293 |
} else { |
|
294 |
u4*entry_max = _entries + BUCKET_OFFSET(_buckets[i + 1]); |
|
295 |
while (entry < entry_max) { |
|
296 |
iter->do_value(decode(entry[1])); |
|
297 |
entry += 2; |
|
298 |
} |
|
299 |
} |
|
300 |
} |
|
39713 | 301 |
} |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
302 |
}; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
303 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
304 |
//////////////////////////////////////////////////////////////////////// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
305 |
// |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
306 |
// Read/Write the contents of a hashtable textual dump (created by |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
307 |
// SymbolTable::dump and StringTable::dump). |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
308 |
// Because the dump file may be big (hundred of MB in extreme cases), |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
309 |
// we use mmap for fast access when reading it. |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
310 |
// |
49364
601146c66cad
8173070: Remove ValueObj class for allocation subclassing for runtime code
coleenp
parents:
47216
diff
changeset
|
311 |
class HashtableTextDump { |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
312 |
int _fd; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
313 |
const char* _base; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
314 |
const char* _p; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
315 |
const char* _end; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
316 |
const char* _filename; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
317 |
size_t _size; |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
318 |
int _prefix_type; |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
319 |
int _line_no; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
320 |
public: |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
321 |
HashtableTextDump(const char* filename); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
322 |
~HashtableTextDump(); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
323 |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
324 |
enum { |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
325 |
SymbolPrefix = 1 << 0, |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
326 |
StringPrefix = 1 << 1, |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
327 |
Unknown = 1 << 2 |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
328 |
}; |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
329 |
|
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
330 |
void quit(const char* err, const char* msg); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
331 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
332 |
inline int remain() { |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
333 |
return (int)(_end - _p); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
334 |
} |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
335 |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
336 |
void corrupted(const char *p, const char *msg); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
337 |
|
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
338 |
inline void corrupted_if(bool cond, const char *msg) { |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
339 |
if (cond) { |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
340 |
corrupted(_p, msg); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
341 |
} |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
342 |
} |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
343 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
344 |
bool skip_newline(); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
345 |
int skip(char must_be_char); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
346 |
void skip_past(char c); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
347 |
void check_version(const char* ver); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
348 |
|
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
349 |
inline void get_num(char delim, int *num) { |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
350 |
const char* p = _p; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
351 |
const char* end = _end; |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
352 |
u8 n = 0; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
353 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
354 |
while (p < end) { |
37995 | 355 |
char c = *p++; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
356 |
if ('0' <= c && c <= '9') { |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
357 |
n = n * 10 + (c - '0'); |
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
358 |
if (n > (u8)INT_MAX) { |
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
359 |
corrupted(_p, "Num overflow"); |
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
360 |
} |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
361 |
} else if (c == delim) { |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
362 |
_p = p; |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
363 |
*num = (int)n; |
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
364 |
return; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
365 |
} else { |
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
366 |
// Not [0-9], not 'delim' |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
367 |
corrupted(_p, "Unrecognized format");; |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
368 |
} |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
369 |
} |
35868
bf29f15cdf30
8147500: The HashtableTextDump::get_num() should check for integer overflow
jiangli
parents:
34659
diff
changeset
|
370 |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
371 |
corrupted(_end, "Incorrect format"); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
372 |
ShouldNotReachHere(); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
373 |
} |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
374 |
|
31345
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
375 |
void scan_prefix_type(); |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
376 |
int scan_prefix(int* utf8_length); |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
377 |
int scan_string_prefix(); |
1bba15125d8d
8015086: add interned strings to the shared archive.
jiangli
parents:
28822
diff
changeset
|
378 |
int scan_symbol_prefix(); |
28363
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
379 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
380 |
jchar unescape(const char* from, const char* end, int count); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
381 |
void get_utf8(char* utf8_buffer, int utf8_length); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
382 |
static void put_utf8(outputStream* st, const char* utf8_string, int utf8_length); |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
383 |
}; |
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
384 |
|
047115468f16
8059510: Compact symbol table layout inside shared archive.
jiangli
parents:
diff
changeset
|
385 |
#endif // SHARE_VM_CLASSFILE_COMPACTHASHTABLE_HPP |