| 1 | /* |
| 2 | * Copyright (c) 2016, 2019, 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_CLASSFILE_MODULEENTRY_HPP |
| 26 | #define SHARE_CLASSFILE_MODULEENTRY_HPP |
| 27 | |
| 28 | #include "jni.h" |
| 29 | #include "classfile/classLoaderData.hpp" |
| 30 | #include "classfile/vmSymbols.hpp" |
| 31 | #include "oops/oopHandle.hpp" |
| 32 | #include "oops/symbol.hpp" |
| 33 | #include "runtime/jniHandles.hpp" |
| 34 | #include "runtime/mutexLocker.hpp" |
| 35 | #include "utilities/growableArray.hpp" |
| 36 | #include "utilities/hashtable.hpp" |
| 37 | #include "utilities/macros.hpp" |
| 38 | #include "utilities/ostream.hpp" |
| 39 | #if INCLUDE_JFR |
| 40 | #include "jfr/support/jfrTraceIdExtension.hpp" |
| 41 | #endif |
| 42 | |
| 43 | #define UNNAMED_MODULE "unnamed module" |
| 44 | #define UNNAMED_MODULE_LEN 14 |
| 45 | #define JAVAPKG "java" |
| 46 | #define JAVAPKG_LEN 4 |
| 47 | #define JAVA_BASE_NAME "java.base" |
| 48 | #define JAVA_BASE_NAME_LEN 9 |
| 49 | |
| 50 | class ModuleClosure; |
| 51 | |
| 52 | // A ModuleEntry describes a module that has been defined by a call to JVM_DefineModule. |
| 53 | // It contains: |
| 54 | // - Symbol* containing the module's name. |
| 55 | // - pointer to the java.lang.Module for this module. |
| 56 | // - pointer to the java.security.ProtectionDomain shared by classes defined to this module. |
| 57 | // - ClassLoaderData*, class loader of this module. |
| 58 | // - a growable array containg other module entries that this module can read. |
| 59 | // - a flag indicating if this module can read all unnamed modules. |
| 60 | // |
| 61 | // The Mutex Module_lock is shared between ModuleEntry and PackageEntry, to lock either |
| 62 | // data structure. |
| 63 | class ModuleEntry : public HashtableEntry<Symbol*, mtModule> { |
| 64 | private: |
| 65 | OopHandle _module; // java.lang.Module |
| 66 | OopHandle _pd; // java.security.ProtectionDomain, cached |
| 67 | // for shared classes from this module |
| 68 | ClassLoaderData* _loader_data; |
| 69 | GrowableArray<ModuleEntry*>* _reads; // list of modules that are readable by this module |
| 70 | Symbol* _version; // module version number |
| 71 | Symbol* _location; // module location |
| 72 | bool _can_read_all_unnamed; |
| 73 | bool _has_default_read_edges; // JVMTI redefine/retransform support |
| 74 | bool _must_walk_reads; // walk module's reads list at GC safepoints to purge out dead modules |
| 75 | bool _is_open; // whether the packages in the module are all unqualifiedly exported |
| 76 | bool _is_patched; // whether the module is patched via --patch-module |
| 77 | JFR_ONLY(DEFINE_TRACE_ID_FIELD;) |
| 78 | enum {MODULE_READS_SIZE = 101}; // Initial size of list of modules that the module can read. |
| 79 | |
| 80 | public: |
| 81 | void init() { |
| 82 | _module = NULL; |
| 83 | _loader_data = NULL; |
| 84 | _pd = NULL; |
| 85 | _reads = NULL; |
| 86 | _version = NULL; |
| 87 | _location = NULL; |
| 88 | _can_read_all_unnamed = false; |
| 89 | _has_default_read_edges = false; |
| 90 | _must_walk_reads = false; |
| 91 | _is_patched = false; |
| 92 | _is_open = false; |
| 93 | } |
| 94 | |
| 95 | Symbol* name() const { return literal(); } |
| 96 | void set_name(Symbol* n) { set_literal(n); } |
| 97 | |
| 98 | oop module() const; |
| 99 | OopHandle module_handle() const { return _module; } |
| 100 | void set_module(OopHandle j) { _module = j; } |
| 101 | |
| 102 | // The shared ProtectionDomain reference is set once the VM loads a shared class |
| 103 | // originated from the current Module. The referenced ProtectionDomain object is |
| 104 | // created by the ClassLoader when loading a class (shared or non-shared) from the |
| 105 | // Module for the first time. This ProtectionDomain object is used for all |
| 106 | // classes from the Module loaded by the same ClassLoader. |
| 107 | oop shared_protection_domain(); |
| 108 | void set_shared_protection_domain(ClassLoaderData *loader_data, Handle pd); |
| 109 | |
| 110 | ClassLoaderData* loader_data() const { return _loader_data; } |
| 111 | |
| 112 | void set_loader_data(ClassLoaderData* cld) { |
| 113 | assert(!cld->is_unsafe_anonymous(), "Unexpected unsafe anonymous class loader data" ); |
| 114 | _loader_data = cld; |
| 115 | } |
| 116 | |
| 117 | Symbol* version() const { return _version; } |
| 118 | void set_version(Symbol* version); |
| 119 | |
| 120 | Symbol* location() const { return _location; } |
| 121 | void set_location(Symbol* location); |
| 122 | bool should_show_version(); |
| 123 | |
| 124 | bool can_read(ModuleEntry* m) const; |
| 125 | bool has_reads_list() const; |
| 126 | void add_read(ModuleEntry* m); |
| 127 | void set_read_walk_required(ClassLoaderData* m_loader_data); |
| 128 | |
| 129 | bool is_open() const { return _is_open; } |
| 130 | void set_is_open(bool is_open); |
| 131 | |
| 132 | bool is_named() const { return (name() != NULL); } |
| 133 | |
| 134 | bool can_read_all_unnamed() const { |
| 135 | assert(is_named() || _can_read_all_unnamed == true, |
| 136 | "unnamed modules can always read all unnamed modules" ); |
| 137 | return _can_read_all_unnamed; |
| 138 | } |
| 139 | |
| 140 | // Modules can only go from strict to loose. |
| 141 | void set_can_read_all_unnamed() { _can_read_all_unnamed = true; } |
| 142 | |
| 143 | bool has_default_read_edges() const { |
| 144 | return _has_default_read_edges; |
| 145 | } |
| 146 | |
| 147 | // Sets true and returns the previous value. |
| 148 | bool set_has_default_read_edges() { |
| 149 | MutexLocker ml(Module_lock); |
| 150 | bool prev = _has_default_read_edges; |
| 151 | _has_default_read_edges = true; |
| 152 | return prev; |
| 153 | } |
| 154 | |
| 155 | void set_is_patched() { |
| 156 | _is_patched = true; |
| 157 | } |
| 158 | bool is_patched() { |
| 159 | return _is_patched; |
| 160 | } |
| 161 | |
| 162 | ModuleEntry* next() const { |
| 163 | return (ModuleEntry*)HashtableEntry<Symbol*, mtModule>::next(); |
| 164 | } |
| 165 | ModuleEntry** next_addr() { |
| 166 | return (ModuleEntry**)HashtableEntry<Symbol*, mtModule>::next_addr(); |
| 167 | } |
| 168 | |
| 169 | // iteration support for readability |
| 170 | void module_reads_do(ModuleClosure* const f); |
| 171 | |
| 172 | // Purge dead weak references out of reads list when any given class loader is unloaded. |
| 173 | void purge_reads(); |
| 174 | void delete_reads(); |
| 175 | |
| 176 | // Special handling for unnamed module, one per class loader |
| 177 | static ModuleEntry* create_unnamed_module(ClassLoaderData* cld); |
| 178 | static ModuleEntry* create_boot_unnamed_module(ClassLoaderData* cld); |
| 179 | static ModuleEntry* new_unnamed_module_entry(Handle module_handle, ClassLoaderData* cld); |
| 180 | void delete_unnamed_module(); |
| 181 | |
| 182 | void print(outputStream* st = tty); |
| 183 | void verify(); |
| 184 | |
| 185 | JFR_ONLY(DEFINE_TRACE_ID_METHODS;) |
| 186 | }; |
| 187 | |
| 188 | // Iterator interface |
| 189 | class ModuleClosure: public StackObj { |
| 190 | public: |
| 191 | virtual void do_module(ModuleEntry* module) = 0; |
| 192 | }; |
| 193 | |
| 194 | |
| 195 | // The ModuleEntryTable is a Hashtable containing a list of all modules defined |
| 196 | // by a particular class loader. Each module is represented as a ModuleEntry node. |
| 197 | // |
| 198 | // Each ModuleEntryTable contains a _javabase_module field which allows for the |
| 199 | // creation of java.base's ModuleEntry very early in bootstrapping before the |
| 200 | // corresponding JVM_DefineModule call for java.base occurs during module system |
| 201 | // initialization. Setting up java.base's ModuleEntry early enables classes, |
| 202 | // loaded prior to the module system being initialized to be created with their |
| 203 | // PackageEntry node's correctly pointing at java.base's ModuleEntry. No class |
| 204 | // outside of java.base is allowed to be loaded pre-module system initialization. |
| 205 | // |
| 206 | // The ModuleEntryTable's lookup is lock free. |
| 207 | // |
| 208 | class ModuleEntryTable : public Hashtable<Symbol*, mtModule> { |
| 209 | friend class VMStructs; |
| 210 | public: |
| 211 | enum Constants { |
| 212 | _moduletable_entry_size = 109 // number of entries in module entry table |
| 213 | }; |
| 214 | |
| 215 | private: |
| 216 | static ModuleEntry* _javabase_module; |
| 217 | |
| 218 | ModuleEntry* new_entry(unsigned int hash, Handle module_handle, bool is_open, |
| 219 | Symbol* name, Symbol* version, Symbol* location, ClassLoaderData* loader_data); |
| 220 | void add_entry(int index, ModuleEntry* new_entry); |
| 221 | |
| 222 | int entry_size() const { return BasicHashtable<mtModule>::entry_size(); } |
| 223 | |
| 224 | ModuleEntry** bucket_addr(int i) { |
| 225 | return (ModuleEntry**)Hashtable<Symbol*, mtModule>::bucket_addr(i); |
| 226 | } |
| 227 | |
| 228 | static unsigned int compute_hash(Symbol* name) { return ((name == NULL) ? 0 : (unsigned int)(name->identity_hash())); } |
| 229 | int index_for(Symbol* name) const { return hash_to_index(compute_hash(name)); } |
| 230 | |
| 231 | public: |
| 232 | ModuleEntryTable(int table_size); |
| 233 | ~ModuleEntryTable(); |
| 234 | |
| 235 | ModuleEntry* bucket(int i) { |
| 236 | return (ModuleEntry*)Hashtable<Symbol*, mtModule>::bucket(i); |
| 237 | } |
| 238 | |
| 239 | // Create module in loader's module entry table. Assume Module_lock |
| 240 | // has been locked by caller. |
| 241 | ModuleEntry* locked_create_entry(Handle module_handle, |
| 242 | bool is_open, |
| 243 | Symbol* module_name, |
| 244 | Symbol* module_version, |
| 245 | Symbol* module_location, |
| 246 | ClassLoaderData* loader_data); |
| 247 | |
| 248 | // Only lookup module within loader's module entry table. The table read is lock-free. |
| 249 | ModuleEntry* lookup_only(Symbol* name); |
| 250 | |
| 251 | // purge dead weak references out of reads list |
| 252 | void purge_all_module_reads(); |
| 253 | |
| 254 | // Special handling for java.base |
| 255 | static ModuleEntry* javabase_moduleEntry() { return _javabase_module; } |
| 256 | static void set_javabase_moduleEntry(ModuleEntry* java_base) { |
| 257 | assert(_javabase_module == NULL, "_javabase_module is already defined" ); |
| 258 | _javabase_module = java_base; |
| 259 | } |
| 260 | |
| 261 | static bool javabase_defined() { return ((_javabase_module != NULL) && |
| 262 | (_javabase_module->module() != NULL)); } |
| 263 | static void finalize_javabase(Handle module_handle, Symbol* version, Symbol* location); |
| 264 | static void patch_javabase_entries(Handle module_handle); |
| 265 | |
| 266 | void print(outputStream* st = tty); |
| 267 | void verify(); |
| 268 | }; |
| 269 | |
| 270 | #endif // SHARE_CLASSFILE_MODULEENTRY_HPP |
| 271 | |