1 /*
   2  * Copyright (c) 2003, 2014, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #ifndef SHARE_VM_UTILITIES_HASHTABLE_HPP
  26 #define SHARE_VM_UTILITIES_HASHTABLE_HPP
  27 
  28 #include "classfile/classLoaderData.hpp"
  29 #include "memory/allocation.hpp"
  30 #include "oops/oop.hpp"
  31 #include "oops/symbol.hpp"
  32 #include "runtime/handles.hpp"
  33 
  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 
  44 template <MEMFLAGS F> class BasicHashtableEntry : public CHeapObj<F> {
  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.
  56   BasicHashtableEntry<F>* _next;
  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 
  73   static BasicHashtableEntry<F>* make_ptr(BasicHashtableEntry<F>* p) {
  74     return (BasicHashtableEntry*)((intptr_t)p & -2);
  75   }
  76 
  77   BasicHashtableEntry<F>* next() const {
  78     return make_ptr(_next);
  79   }
  80 
  81   void set_next(BasicHashtableEntry<F>* next) {
  82     _next = next;
  83   }
  84 
  85   BasicHashtableEntry<F>** next_addr() {
  86     return &_next;
  87   }
  88 
  89   bool is_shared() const {
  90     return ((intptr_t)_next & 1) != 0;
  91   }
  92 
  93   void set_shared() {
  94     _next = (BasicHashtableEntry<F>*)((intptr_t)_next | 1);
  95   }
  96 };
  97 
  98 
  99 
 100 template <class T, MEMFLAGS F> class HashtableEntry : public BasicHashtableEntry<F> {
 101   friend class VMStructs;
 102 private:
 103   T               _literal;          // ref to item in table.
 104 
 105 public:
 106   // Literal
 107   T literal() const                   { return _literal; }
 108   T* literal_addr()                   { return &_literal; }
 109   void set_literal(T s)               { _literal = s; }
 110 
 111   HashtableEntry* next() const {
 112     return (HashtableEntry*)BasicHashtableEntry<F>::next();
 113   }
 114   HashtableEntry** next_addr() {
 115     return (HashtableEntry**)BasicHashtableEntry<F>::next_addr();
 116   }
 117 };
 118 
 119 
 120 
 121 template <MEMFLAGS F> class HashtableBucket : public CHeapObj<F> {
 122   friend class VMStructs;
 123 private:
 124   // Instance variable
 125   BasicHashtableEntry<F>*       _entry;
 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.
 133   BasicHashtableEntry<F>* get_entry() const;
 134   void set_entry(BasicHashtableEntry<F>* l);
 135 
 136   // The following method is not MT-safe and must be done under lock.
 137   BasicHashtableEntry<F>** entry_addr()  { return &_entry; }
 138 };
 139 
 140 
 141 template <MEMFLAGS F> class BasicHashtable : public CHeapObj<F> {
 142   friend class VMStructs;
 143 
 144 public:
 145   BasicHashtable(int table_size, int entry_size);
 146   BasicHashtable(int table_size, int entry_size,
 147                  HashtableBucket<F>* buckets, int number_of_entries);
 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;
 166   HashtableBucket<F>*     _buckets;
 167   BasicHashtableEntry<F>* _free_list;
 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 
 181   enum {
 182     rehash_count = 100,
 183     rehash_multiple = 60
 184   };
 185 
 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.
 192   BasicHashtableEntry<F>* bucket(int i);
 193 
 194   // The following method is not MT-safe and must be done under lock.
 195   BasicHashtableEntry<F>** bucket_addr(int i) { return _buckets[i].entry_addr(); }
 196 
 197   // Table entry management
 198   BasicHashtableEntry<F>* new_entry(unsigned int hashValue);
 199 
 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
 205   void unlink_entry(BasicHashtableEntry<F>* entry) {
 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
 221   void free_buckets();
 222 
 223 public:
 224   int table_size() { return _table_size; }
 225   void set_entry(int index, BasicHashtableEntry<F>* entry);
 226 
 227   void add_entry(int index, BasicHashtableEntry<F>* entry);
 228 
 229   void free_entry(BasicHashtableEntry<F>* entry);
 230 
 231   int number_of_entries() { return _number_of_entries; }
 232 
 233   void verify() PRODUCT_RETURN;
 234 };
 235 
 236 
 237 template <class T, MEMFLAGS F> class Hashtable : public BasicHashtable<F> {
 238   friend class VMStructs;
 239 
 240 public:
 241   Hashtable(int table_size, int entry_size)
 242     : BasicHashtable<F>(table_size, entry_size) { }
 243 
 244   Hashtable(int table_size, int entry_size,
 245                    HashtableBucket<F>* buckets, int number_of_entries)
 246     : BasicHashtable<F>(table_size, entry_size, buckets, number_of_entries) { }
 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 
 259   unsigned int compute_hash(Symbol* name) {
 260     return (unsigned int) name->identity_hash();
 261   }
 262 
 263   int index_for(Symbol* name) {
 264     return this->hash_to_index(compute_hash(name));
 265   }
 266 
 267   // Table entry management
 268   HashtableEntry<T, F>* new_entry(unsigned int hashValue, T obj);
 269 
 270   // The following method is MT-safe and may be used with caution.
 271   HashtableEntry<T, F>* bucket(int i) {
 272     return (HashtableEntry<T, F>*)BasicHashtable<F>::bucket(i);
 273   }
 274 
 275   // The following method is not MT-safe and must be done under lock.
 276   HashtableEntry<T, F>** bucket_addr(int i) {
 277     return (HashtableEntry<T, F>**)BasicHashtable<F>::bucket_addr(i);
 278   }
 279 
 280   // Function to move these elements into the new table.
 281   void move_to(Hashtable<T, F>* new_table);
 282   static bool use_alternate_hashcode()  { return _seed != 0; }
 283   static juint seed()                    { return _seed; }
 284 
 285   static int literal_size(Symbol *symbol);
 286   static int literal_size(oop oop);
 287 
 288   // The following two are currently not used, but are needed anyway because some
 289   // C++ compilers (MacOS and Solaris) force the instantiation of
 290   // Hashtable<ConstantPool*, mtClass>::dump_table() even though we never call this function
 291   // in the VM code.
 292   static int literal_size(ConstantPool *cp) {Unimplemented(); return 0;}
 293   static int literal_size(Klass *k)         {Unimplemented(); return 0;}
 294 
 295 public:
 296   void dump_table(outputStream* st, const char *table_name);
 297 
 298  private:
 299   static juint _seed;
 300 };
 301 
 302 
 303 //  Verions of hashtable where two handles are used to compute the index.
 304 
 305 template <class T, MEMFLAGS F> class TwoOopHashtable : public Hashtable<T, F> {
 306   friend class VMStructs;
 307 protected:
 308   TwoOopHashtable(int table_size, int entry_size)
 309     : Hashtable<T, F>(table_size, entry_size) {}
 310 
 311   TwoOopHashtable(int table_size, int entry_size, HashtableBucket<F>* t,
 312                   int number_of_entries)
 313     : Hashtable<T, F>(table_size, entry_size, t, number_of_entries) {}
 314 
 315 public:
 316   unsigned int compute_hash(Symbol* name, ClassLoaderData* loader_data) {
 317     unsigned int name_hash = name->identity_hash();
 318     // loader is null with CDS
 319     assert(loader_data != NULL || UseSharedSpaces || DumpSharedSpaces,
 320            "only allowed with shared spaces");
 321     unsigned int loader_hash = loader_data == NULL ? 0 : loader_data->identity_hash();
 322     return name_hash ^ loader_hash;
 323   }
 324 
 325   int index_for(Symbol* name, ClassLoaderData* loader_data) {
 326     return this->hash_to_index(compute_hash(name, loader_data));
 327   }
 328 };
 329 
 330 #endif // SHARE_VM_UTILITIES_HASHTABLE_HPP