1 /*
   2 * Copyright (c) 2016, 2017, 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 #include "precompiled.hpp"
  26 #include "classfile/classFileParser.hpp"
  27 #include "classfile/classLoader.hpp"
  28 #include "classfile/classLoaderData.inline.hpp"
  29 #include "classfile/javaAssertions.hpp"
  30 #include "classfile/javaClasses.hpp"
  31 #include "classfile/javaClasses.inline.hpp"
  32 #include "classfile/moduleEntry.hpp"
  33 #include "classfile/modules.hpp"
  34 #include "classfile/packageEntry.hpp"
  35 #include "classfile/stringTable.hpp"
  36 #include "classfile/symbolTable.hpp"
  37 #include "classfile/systemDictionary.hpp"
  38 #include "classfile/vmSymbols.hpp"
  39 #include "logging/log.hpp"
  40 #include "memory/resourceArea.hpp"
  41 #include "oops/instanceKlass.hpp"
  42 #include "runtime/arguments.hpp"
  43 #include "runtime/handles.inline.hpp"
  44 #include "runtime/javaCalls.hpp"
  45 #include "runtime/reflection.hpp"
  46 #include "utilities/stringUtils.hpp"
  47 #include "utilities/utf8.hpp"
  48 
  49 static bool verify_module_name(const char *module_name) {
  50   if (module_name == NULL) return false;
  51   int len = (int)strlen(module_name);
  52   return (len > 0 && len <= Symbol::max_length());
  53 }
  54 
  55 bool Modules::verify_package_name(const char* package_name) {
  56   if (package_name == NULL) return false;
  57   int len = (int)strlen(package_name);
  58   return (len > 0 && len <= Symbol::max_length() &&
  59     UTF8::is_legal_utf8((const unsigned char *)package_name, len, false) &&
  60     ClassFileParser::verify_unqualified_name(package_name, len,
  61     ClassFileParser::LegalClass));
  62 }
  63 
  64 static char* get_module_name(oop module, TRAPS) {
  65   oop name_oop = java_lang_Module::name(module);
  66   if (name_oop == NULL) {
  67     THROW_MSG_NULL(vmSymbols::java_lang_NullPointerException(), "Null module name");
  68   }
  69   char* module_name = java_lang_String::as_utf8_string(name_oop);
  70   if (!verify_module_name(module_name)) {
  71     THROW_MSG_NULL(vmSymbols::java_lang_IllegalArgumentException(),
  72                    err_msg("Invalid module name: %s",
  73                            module_name != NULL ? module_name : "NULL"));
  74   }
  75   return module_name;
  76 }
  77 
  78 static const char* get_module_version(jstring version) {
  79   if (version == NULL) {
  80     return NULL;
  81   }
  82   return java_lang_String::as_utf8_string(JNIHandles::resolve_non_null(version));
  83 }
  84 
  85 static ModuleEntryTable* get_module_entry_table(Handle h_loader, TRAPS) {
  86   // This code can be called during start-up, before the classLoader's classLoader data got
  87   // created.  So, call register_loader() to make sure the classLoader data gets created.
  88   ClassLoaderData *loader_cld = SystemDictionary::register_loader(h_loader, CHECK_NULL);
  89   return loader_cld->modules();
  90 }
  91 
  92 static PackageEntryTable* get_package_entry_table(Handle h_loader, TRAPS) {
  93   // This code can be called during start-up, before the classLoader's classLoader data got
  94   // created.  So, call register_loader() to make sure the classLoader data gets created.
  95   ClassLoaderData *loader_cld = SystemDictionary::register_loader(h_loader, CHECK_NULL);
  96   return loader_cld->packages();
  97 }
  98 
  99 static ModuleEntry* get_module_entry(jobject module, TRAPS) {
 100   Handle module_h(THREAD, JNIHandles::resolve(module));
 101   if (!java_lang_Module::is_instance(module_h())) {
 102     THROW_MSG_NULL(vmSymbols::java_lang_IllegalArgumentException(),
 103                    "module is not an instance of type java.lang.Module");
 104   }
 105   return java_lang_Module::module_entry(module_h(), CHECK_NULL);
 106 }
 107 
 108 static PackageEntry* get_package_entry(ModuleEntry* module_entry, const char* package_name, TRAPS) {
 109   ResourceMark rm(THREAD);
 110   if (package_name == NULL) return NULL;
 111   TempNewSymbol pkg_symbol = SymbolTable::new_symbol(package_name, CHECK_NULL);
 112   PackageEntryTable* package_entry_table = module_entry->loader_data()->packages();
 113   assert(package_entry_table != NULL, "Unexpected null package entry table");
 114   return package_entry_table->lookup_only(pkg_symbol);
 115 }
 116 
 117 static PackageEntry* get_package_entry_by_name(Symbol* package,
 118                                                Handle h_loader,
 119                                                TRAPS) {
 120   if (package != NULL) {
 121     ResourceMark rm(THREAD);
 122     if (Modules::verify_package_name(package->as_C_string())) {
 123       PackageEntryTable* const package_entry_table =
 124         get_package_entry_table(h_loader, CHECK_NULL);
 125       assert(package_entry_table != NULL, "Unexpected null package entry table");
 126       return package_entry_table->lookup_only(package);
 127     }
 128   }
 129   return NULL;
 130 }
 131 
 132 bool Modules::is_package_defined(Symbol* package, Handle h_loader, TRAPS) {
 133   PackageEntry* res = get_package_entry_by_name(package, h_loader, CHECK_false);
 134   return res != NULL;
 135 }
 136 
 137 static void define_javabase_module(jobject module, jstring version,
 138                                    jstring location, const char* const* packages,
 139                                    jsize num_packages, TRAPS) {
 140   ResourceMark rm(THREAD);
 141 
 142   Handle module_handle(THREAD, JNIHandles::resolve(module));
 143 
 144   // Obtain java.base's module version
 145   const char* module_version = get_module_version(version);
 146   TempNewSymbol version_symbol;
 147   if (module_version != NULL) {
 148     version_symbol = SymbolTable::new_symbol(module_version, CHECK);
 149   } else {
 150     version_symbol = NULL;
 151   }
 152 
 153   // Obtain java.base's location
 154   const char* module_location = NULL;
 155   TempNewSymbol location_symbol = NULL;
 156   if (location != NULL) {
 157     module_location =
 158       java_lang_String::as_utf8_string(JNIHandles::resolve_non_null(location));
 159     if (module_location != NULL) {
 160       location_symbol = SymbolTable::new_symbol(module_location, CHECK);
 161     }
 162   }
 163 
 164 
 165   // Check that the packages are syntactically ok.
 166   GrowableArray<Symbol*>* pkg_list = new GrowableArray<Symbol*>(num_packages);
 167   for (int x = 0; x < num_packages; x++) {
 168     const char *package_name = packages[x];
 169     if (!Modules::verify_package_name(package_name)) {
 170       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 171                 err_msg("Invalid package name: %s for module: " JAVA_BASE_NAME, package_name));
 172     }
 173     Symbol* pkg_symbol = SymbolTable::new_symbol(package_name, CHECK);
 174     pkg_list->append(pkg_symbol);
 175   }
 176 
 177   // Validate java_base's loader is the boot loader.
 178   oop loader = java_lang_Module::loader(module_handle());
 179   if (loader != NULL) {
 180     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 181               "Class loader must be the boot class loader");
 182   }
 183   Handle h_loader(THREAD, loader);
 184 
 185   // Ensure the boot loader's PackageEntryTable has been created
 186   PackageEntryTable* package_table = get_package_entry_table(h_loader, CHECK);
 187   assert(pkg_list->length() == 0 || package_table != NULL, "Bad package_table");
 188 
 189   // Ensure java.base's ModuleEntry has been created
 190   assert(ModuleEntryTable::javabase_moduleEntry() != NULL, "No ModuleEntry for " JAVA_BASE_NAME);
 191 
 192   bool duplicate_javabase = false;
 193   {
 194     MutexLocker m1(Module_lock, THREAD);
 195 
 196     if (ModuleEntryTable::javabase_defined()) {
 197       duplicate_javabase = true;
 198     } else {
 199 
 200       // Verify that all java.base packages created during bootstrapping are in
 201       // pkg_list.  If any are not in pkg_list, than a non-java.base class was
 202       // loaded erroneously pre java.base module definition.
 203       package_table->verify_javabase_packages(pkg_list);
 204 
 205       // loop through and add any new packages for java.base
 206       PackageEntry* pkg;
 207       for (int x = 0; x < pkg_list->length(); x++) {
 208         // Some of java.base's packages were added early in bootstrapping, ignore duplicates.
 209         if (package_table->lookup_only(pkg_list->at(x)) == NULL) {
 210           pkg = package_table->locked_create_entry_or_null(pkg_list->at(x), ModuleEntryTable::javabase_moduleEntry());
 211           assert(pkg != NULL, "Unable to create a " JAVA_BASE_NAME " package entry");
 212         }
 213         // Unable to have a GrowableArray of TempNewSymbol.  Must decrement the refcount of
 214         // the Symbol* that was created above for each package. The refcount was incremented
 215         // by SymbolTable::new_symbol and as well by the PackageEntry creation.
 216         pkg_list->at(x)->decrement_refcount();
 217       }
 218 
 219       // Finish defining java.base's ModuleEntry
 220       ModuleEntryTable::finalize_javabase(module_handle, version_symbol, location_symbol);
 221     }
 222   }
 223   if (duplicate_javabase) {
 224     THROW_MSG(vmSymbols::java_lang_InternalError(),
 225               "Module " JAVA_BASE_NAME " is already defined");
 226   }
 227 
 228   // Only the thread that actually defined the base module will get here,
 229   // so no locking is needed.
 230 
 231   // Patch any previously loaded class's module field with java.base's java.lang.Module.
 232   ModuleEntryTable::patch_javabase_entries(module_handle);
 233 
 234   log_debug(modules)("define_javabase_module(): Definition of module: "
 235                      JAVA_BASE_NAME ", version: %s, location: %s, package #: %d",
 236                      module_version != NULL ? module_version : "NULL",
 237                      module_location != NULL ? module_location : "NULL",
 238                      pkg_list->length());
 239 
 240   // packages defined to java.base
 241   if (log_is_enabled(Trace, modules)) {
 242     for (int x = 0; x < pkg_list->length(); x++) {
 243       log_trace(modules)("define_javabase_module(): creation of package %s for module " JAVA_BASE_NAME,
 244                          (pkg_list->at(x))->as_C_string());
 245     }
 246   }
 247 }
 248 
 249 // Caller needs ResourceMark.
 250 void throw_dup_pkg_exception(const char* module_name, PackageEntry* package, TRAPS) {
 251   const char* package_name = package->name()->as_C_string();
 252   if (package->module()->is_named()) {
 253     THROW_MSG(vmSymbols::java_lang_IllegalStateException(),
 254       err_msg("Package %s for module %s is already in another module, %s, defined to the class loader",
 255               package_name, module_name, package->module()->name()->as_C_string()));
 256   } else {
 257     THROW_MSG(vmSymbols::java_lang_IllegalStateException(),
 258       err_msg("Package %s for module %s is already in the unnamed module defined to the class loader",
 259               package_name, module_name));
 260   }
 261 }
 262 
 263 void Modules::define_module(jobject module, jboolean is_open, jstring version,
 264                             jstring location, const char* const* packages,
 265                             jsize num_packages, TRAPS) {
 266   ResourceMark rm(THREAD);
 267 
 268   if (module == NULL) {
 269     THROW_MSG(vmSymbols::java_lang_NullPointerException(), "Null module object");
 270   }
 271 
 272   if (num_packages < 0) {
 273     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 274               "num_packages must be >= 0");
 275   }
 276 
 277   if (packages == NULL && num_packages > 0) {
 278     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 279               "num_packages should be zero if packages is null");
 280   }
 281 
 282   Handle module_handle(THREAD, JNIHandles::resolve(module));
 283   if (!java_lang_Module::is_instance(module_handle())) {
 284     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 285               "module is not an instance of type java.lang.Module");
 286   }
 287 
 288   char* module_name = get_module_name(module_handle(), CHECK);
 289   if (module_name == NULL) {
 290     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 291               "Module name cannot be null");
 292   }
 293 
 294   // Special handling of java.base definition
 295   if (strcmp(module_name, JAVA_BASE_NAME) == 0) {
 296     assert(is_open == JNI_FALSE, "java.base module cannot be open");
 297     define_javabase_module(module, version, location, packages, num_packages, CHECK);
 298     return;
 299   }
 300 
 301   const char* module_version = get_module_version(version);
 302 
 303   oop loader = java_lang_Module::loader(module_handle());
 304   // Make sure loader is not the jdk.internal.reflect.DelegatingClassLoader.
 305   if (loader != java_lang_ClassLoader::non_reflection_class_loader(loader)) {
 306     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 307               "Class loader is an invalid delegating class loader");
 308   }
 309   Handle h_loader = Handle(THREAD, loader);
 310 
 311   // Check that the list of packages has no duplicates and that the
 312   // packages are syntactically ok.
 313   GrowableArray<Symbol*>* pkg_list = new GrowableArray<Symbol*>(num_packages);
 314   for (int x = 0; x < num_packages; x++) {
 315     const char* package_name = packages[x];
 316     if (!verify_package_name(package_name)) {
 317       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 318                 err_msg("Invalid package name: %s for module: %s",
 319                         package_name, module_name));
 320     }
 321 
 322     // Only modules defined to either the boot or platform class loader, can define a "java/" package.
 323     if (!h_loader.is_null() &&
 324         !SystemDictionary::is_platform_class_loader(h_loader()) &&
 325         (strncmp(package_name, JAVAPKG, JAVAPKG_LEN) == 0 &&
 326           (package_name[JAVAPKG_LEN] == '/' || package_name[JAVAPKG_LEN] == '\0'))) {
 327       const char* class_loader_name = SystemDictionary::loader_name(h_loader());
 328       size_t pkg_len = strlen(package_name);
 329       char* pkg_name = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, pkg_len);
 330       strncpy(pkg_name, package_name, pkg_len);
 331       StringUtils::replace_no_expand(pkg_name, "/", ".");
 332       const char* msg_text1 = "Class loader (instance of): ";
 333       const char* msg_text2 = " tried to define prohibited package name: ";
 334       size_t len = strlen(msg_text1) + strlen(class_loader_name) + strlen(msg_text2) + pkg_len + 1;
 335       char* message = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, len);
 336       jio_snprintf(message, len, "%s%s%s%s", msg_text1, class_loader_name, msg_text2, pkg_name);
 337       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), message);
 338     }
 339 
 340     Symbol* pkg_symbol = SymbolTable::new_symbol(package_name, CHECK);
 341     pkg_list->append(pkg_symbol);
 342   }
 343 
 344   ModuleEntryTable* module_table = get_module_entry_table(h_loader, CHECK);
 345   assert(module_table != NULL, "module entry table shouldn't be null");
 346 
 347   // Create symbol* entry for module name.
 348   TempNewSymbol module_symbol = SymbolTable::new_symbol(module_name, CHECK);
 349 
 350   bool dupl_modules = false;
 351 
 352   // Create symbol* entry for module version.
 353   TempNewSymbol version_symbol;
 354   if (module_version != NULL) {
 355     version_symbol = SymbolTable::new_symbol(module_version, CHECK);
 356   } else {
 357     version_symbol = NULL;
 358   }
 359 
 360   // Create symbol* entry for module location.
 361   const char* module_location = NULL;
 362   TempNewSymbol location_symbol = NULL;
 363   if (location != NULL) {
 364     module_location =
 365       java_lang_String::as_utf8_string(JNIHandles::resolve_non_null(location));
 366     if (module_location != NULL) {
 367       location_symbol = SymbolTable::new_symbol(module_location, CHECK);
 368     }
 369   }
 370 
 371   ClassLoaderData* loader_data = ClassLoaderData::class_loader_data_or_null(h_loader());
 372   assert(loader_data != NULL, "class loader data shouldn't be null");
 373 
 374   PackageEntryTable* package_table = NULL;
 375   PackageEntry* existing_pkg = NULL;
 376   {
 377     MutexLocker ml(Module_lock, THREAD);
 378 
 379     if (num_packages > 0) {
 380       package_table = get_package_entry_table(h_loader, CHECK);
 381       assert(package_table != NULL, "Missing package_table");
 382 
 383       // Check that none of the packages exist in the class loader's package table.
 384       for (int x = 0; x < pkg_list->length(); x++) {
 385         existing_pkg = package_table->lookup_only(pkg_list->at(x));
 386         if (existing_pkg != NULL) {
 387           // This could be because the module was already defined.  If so,
 388           // report that error instead of the package error.
 389           if (module_table->lookup_only(module_symbol) != NULL) {
 390             dupl_modules = true;
 391           }
 392           break;
 393         }
 394       }
 395     }  // if (num_packages > 0)...
 396 
 397     // Add the module and its packages.
 398     if (!dupl_modules && existing_pkg == NULL) {
 399       // Create the entry for this module in the class loader's module entry table.
 400       ModuleEntry* module_entry = module_table->locked_create_entry_or_null(module_handle,
 401                                     (is_open == JNI_TRUE), module_symbol,
 402                                     version_symbol, location_symbol, loader_data);
 403 
 404       if (module_entry == NULL) {
 405         dupl_modules = true;
 406       } else {
 407         // Add the packages.
 408         assert(pkg_list->length() == 0 || package_table != NULL, "Bad package table");
 409         PackageEntry* pkg;
 410         for (int y = 0; y < pkg_list->length(); y++) {
 411           pkg = package_table->locked_create_entry_or_null(pkg_list->at(y), module_entry);
 412           assert(pkg != NULL, "Unable to create a module's package entry");
 413 
 414           // Unable to have a GrowableArray of TempNewSymbol.  Must decrement the refcount of
 415           // the Symbol* that was created above for each package. The refcount was incremented
 416           // by SymbolTable::new_symbol and as well by the PackageEntry creation.
 417           pkg_list->at(y)->decrement_refcount();
 418         }
 419 
 420         // Store pointer to ModuleEntry record in java.lang.Module object.
 421         java_lang_Module::set_module_entry(module_handle(), module_entry);
 422       }
 423     }
 424   }  // Release the lock
 425 
 426   // any errors ?
 427   if (dupl_modules) {
 428      THROW_MSG(vmSymbols::java_lang_IllegalStateException(),
 429                err_msg("Module %s is already defined", module_name));
 430   } else if (existing_pkg != NULL) {
 431       throw_dup_pkg_exception(module_name, existing_pkg, CHECK);
 432   }
 433 
 434   if (log_is_enabled(Debug, modules)) {
 435     outputStream* logst = Log(modules)::debug_stream();
 436     logst->print("define_module(): creation of module: %s, version: %s, location: %s, ",
 437                  module_name, module_version != NULL ? module_version : "NULL",
 438                  module_location != NULL ? module_location : "NULL");
 439     loader_data->print_value_on(logst);
 440     logst->print_cr(", package #: %d", pkg_list->length());
 441     for (int y = 0; y < pkg_list->length(); y++) {
 442       log_trace(modules)("define_module(): creation of package %s for module %s",
 443                          (pkg_list->at(y))->as_C_string(), module_name);
 444     }
 445   }
 446 
 447   // If the module is defined to the boot loader and an exploded build is being
 448   // used, prepend <java.home>/modules/modules_name, if it exists, to the system boot class path.
 449   if (loader == NULL &&
 450       !Universe::is_module_initialized() &&
 451       !ClassLoader::has_jrt_entry()) {
 452     ClassLoader::add_to_exploded_build_list(module_symbol, CHECK);
 453   }
 454 }
 455 
 456 void Modules::set_bootloader_unnamed_module(jobject module, TRAPS) {
 457   ResourceMark rm(THREAD);
 458 
 459   if (module == NULL) {
 460     THROW_MSG(vmSymbols::java_lang_NullPointerException(), "Null module object");
 461   }
 462   Handle module_handle(THREAD, JNIHandles::resolve(module));
 463   if (!java_lang_Module::is_instance(module_handle())) {
 464     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 465               "module is not an instance of type java.lang.Module");
 466   }
 467 
 468   // Ensure that this is an unnamed module
 469   oop name = java_lang_Module::name(module_handle());
 470   if (name != NULL) {
 471     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 472               "boot loader's unnamed module's java.lang.Module has a name");
 473   }
 474 
 475   // Validate java_base's loader is the boot loader.
 476   oop loader = java_lang_Module::loader(module_handle());
 477   if (loader != NULL) {
 478     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 479               "Class loader must be the boot class loader");
 480   }
 481   Handle h_loader(THREAD, loader);
 482 
 483   log_debug(modules)("set_bootloader_unnamed_module(): recording unnamed module for boot loader");
 484 
 485   // Set java.lang.Module for the boot loader's unnamed module
 486   ClassLoaderData* boot_loader_data = ClassLoaderData::the_null_class_loader_data();
 487   ModuleEntry* unnamed_module = boot_loader_data->unnamed_module();
 488   assert(unnamed_module != NULL, "boot loader's unnamed ModuleEntry not defined");
 489   unnamed_module->set_module(boot_loader_data->add_handle(module_handle));
 490   // Store pointer to the ModuleEntry in the unnamed module's java.lang.Module object.
 491   java_lang_Module::set_module_entry(module_handle(), unnamed_module);
 492 }
 493 
 494 void Modules::add_module_exports(jobject from_module, const char* package_name, jobject to_module, TRAPS) {
 495   if (package_name == NULL) {
 496     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 497               "package is null");
 498   }
 499   if (from_module == NULL) {
 500     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 501               "from_module is null");
 502   }
 503   ModuleEntry* from_module_entry = get_module_entry(from_module, CHECK);
 504   if (from_module_entry == NULL) {
 505     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 506               "from_module cannot be found");
 507   }
 508 
 509   // All packages in unnamed and open modules are exported by default.
 510   if (!from_module_entry->is_named() || from_module_entry->is_open()) return;
 511 
 512   ModuleEntry* to_module_entry;
 513   if (to_module == NULL) {
 514     to_module_entry = NULL;  // It's an unqualified export.
 515   } else {
 516     to_module_entry = get_module_entry(to_module, CHECK);
 517     if (to_module_entry == NULL) {
 518       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 519                 "to_module is invalid");
 520     }
 521   }
 522 
 523   PackageEntry *package_entry = get_package_entry(from_module_entry, package_name, CHECK);
 524   ResourceMark rm(THREAD);
 525   if (package_entry == NULL) {
 526     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 527               err_msg("Package %s not found in from_module %s",
 528                       package_name != NULL ? package_name : "",
 529                       from_module_entry->name()->as_C_string()));
 530   }
 531   if (package_entry->module() != from_module_entry) {
 532     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 533               err_msg("Package: %s found in module %s, not in from_module: %s",
 534                       package_entry->name()->as_C_string(),
 535                       package_entry->module()->name()->as_C_string(),
 536                       from_module_entry->name()->as_C_string()));
 537   }
 538 
 539   log_debug(modules)("add_module_exports(): package %s in module %s is exported to module %s",
 540                      package_entry->name()->as_C_string(),
 541                      from_module_entry->name()->as_C_string(),
 542                      to_module_entry == NULL ? "NULL" :
 543                       to_module_entry->is_named() ?
 544                         to_module_entry->name()->as_C_string() : UNNAMED_MODULE);
 545 
 546   // Do nothing if modules are the same.
 547   if (from_module_entry != to_module_entry) {
 548     package_entry->set_exported(to_module_entry);
 549   }
 550 }
 551 
 552 
 553 void Modules::add_module_exports_qualified(jobject from_module, const char* package,
 554                                            jobject to_module, TRAPS) {
 555   if (to_module == NULL) {
 556     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 557               "to_module is null");
 558   }
 559   add_module_exports(from_module, package, to_module, CHECK);
 560 }
 561 
 562 void Modules::add_reads_module(jobject from_module, jobject to_module, TRAPS) {
 563   if (from_module == NULL) {
 564     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 565               "from_module is null");
 566   }
 567 
 568   ModuleEntry* from_module_entry = get_module_entry(from_module, CHECK);
 569   if (from_module_entry == NULL) {
 570     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 571               "from_module is not valid");
 572   }
 573 
 574   ModuleEntry* to_module_entry;
 575   if (to_module != NULL) {
 576     to_module_entry = get_module_entry(to_module, CHECK);
 577     if (to_module_entry == NULL) {
 578       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 579                 "to_module is invalid");
 580     }
 581   } else {
 582     to_module_entry = NULL;
 583   }
 584 
 585   ResourceMark rm(THREAD);
 586   log_debug(modules)("add_reads_module(): Adding read from module %s to module %s",
 587                      from_module_entry->is_named() ?
 588                      from_module_entry->name()->as_C_string() : UNNAMED_MODULE,
 589                      to_module_entry == NULL ? "all unnamed" :
 590                        (to_module_entry->is_named() ?
 591                         to_module_entry->name()->as_C_string() : UNNAMED_MODULE));
 592 
 593   // if modules are the same or if from_module is unnamed then no need to add the read.
 594   if (from_module_entry != to_module_entry && from_module_entry->is_named()) {
 595     from_module_entry->add_read(to_module_entry);
 596   }
 597 }
 598 
 599 // This method is called by JFR and JNI.
 600 jobject Modules::get_module(jclass clazz, TRAPS) {
 601   assert(ModuleEntryTable::javabase_defined(),
 602          "Attempt to call get_module before " JAVA_BASE_NAME " is defined");
 603 
 604   if (clazz == NULL) {
 605     THROW_MSG_(vmSymbols::java_lang_NullPointerException(),
 606                "class is null", JNI_FALSE);
 607   }
 608   oop mirror = JNIHandles::resolve_non_null(clazz);
 609   if (mirror == NULL) {
 610     log_debug(modules)("get_module(): no mirror, returning NULL");
 611     return NULL;
 612   }
 613   if (!java_lang_Class::is_instance(mirror)) {
 614     THROW_MSG_(vmSymbols::java_lang_IllegalArgumentException(),
 615                "Invalid class", JNI_FALSE);
 616   }
 617 
 618   oop module = java_lang_Class::module(mirror);
 619 
 620   assert(module != NULL, "java.lang.Class module field not set");
 621   assert(java_lang_Module::is_instance(module), "module is not an instance of type java.lang.Module");
 622 
 623   if (log_is_enabled(Debug, modules)) {
 624     ResourceMark rm(THREAD);
 625     outputStream* logst = Log(modules)::debug_stream();
 626     Klass* klass = java_lang_Class::as_Klass(mirror);
 627     oop module_name = java_lang_Module::name(module);
 628     if (module_name != NULL) {
 629       logst->print("get_module(): module ");
 630       java_lang_String::print(module_name, tty);
 631     } else {
 632       logst->print("get_module(): Unamed Module");
 633     }
 634     if (klass != NULL) {
 635       logst->print_cr(" for class %s", klass->external_name());
 636     } else {
 637       logst->print_cr(" for primitive class");
 638     }
 639   }
 640 
 641   return JNIHandles::make_local(THREAD, module);
 642 }
 643 
 644 jobject Modules::get_named_module(Handle h_loader, const char* package_name, TRAPS) {
 645   assert(ModuleEntryTable::javabase_defined(),
 646          "Attempt to call get_named_module before " JAVA_BASE_NAME " is defined");
 647   assert(h_loader.is_null() || java_lang_ClassLoader::is_subclass(h_loader->klass()),
 648          "Class loader is not a subclass of java.lang.ClassLoader");
 649   assert(package_name != NULL, "the package_name should not be NULL");
 650 
 651   if (strlen(package_name) == 0) {
 652     return NULL;
 653   }
 654   TempNewSymbol package_sym = SymbolTable::new_symbol(package_name, CHECK_NULL);
 655   const PackageEntry* const pkg_entry =
 656     get_package_entry_by_name(package_sym, h_loader, THREAD);
 657   const ModuleEntry* const module_entry = (pkg_entry != NULL ? pkg_entry->module() : NULL);
 658 
 659   if (module_entry != NULL && module_entry->module() != NULL && module_entry->is_named()) {
 660     return JNIHandles::make_local(THREAD, JNIHandles::resolve(module_entry->module()));
 661   }
 662   return NULL;
 663 }
 664 
 665 
 666 // This method is called by JFR and by the above method.
 667 jobject Modules::get_module(Symbol* package_name, Handle h_loader, TRAPS) {
 668   const PackageEntry* const pkg_entry =
 669     get_package_entry_by_name(package_name, h_loader, THREAD);
 670   const ModuleEntry* const module_entry = (pkg_entry != NULL ? pkg_entry->module() : NULL);
 671 
 672   if (module_entry != NULL &&
 673       module_entry->module() != NULL) {
 674     return JNIHandles::make_local(THREAD, JNIHandles::resolve(module_entry->module()));
 675   }
 676 
 677   return NULL;
 678 }
 679 
 680 void Modules::add_module_package(jobject module, const char* package_name, TRAPS) {
 681   ResourceMark rm(THREAD);
 682 
 683   if (module == NULL) {
 684     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 685               "module is null");
 686   }
 687   if (package_name == NULL) {
 688     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 689               "package is null");
 690   }
 691   ModuleEntry* module_entry = get_module_entry(module, CHECK);
 692   if (module_entry == NULL) {
 693     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 694               "module is invalid");
 695   }
 696   if (!module_entry->is_named()) {
 697     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 698               "module cannot be an unnamed module");
 699   }
 700   if (!verify_package_name(package_name)) {
 701     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 702               err_msg("Invalid package name: %s", package_name));
 703   }
 704 
 705   ClassLoaderData *loader_data = module_entry->loader_data();
 706 
 707   // Only modules defined to either the boot or platform class loader, can define a "java/" package.
 708   if (!loader_data->is_the_null_class_loader_data() &&
 709       !loader_data->is_platform_class_loader_data() &&
 710       (strncmp(package_name, JAVAPKG, JAVAPKG_LEN) == 0 &&
 711         (package_name[JAVAPKG_LEN] == '/' || package_name[JAVAPKG_LEN] == '\0'))) {
 712     const char* class_loader_name = SystemDictionary::loader_name(loader_data);
 713     size_t pkg_len = strlen(package_name);
 714     char* pkg_name = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, pkg_len);
 715     strncpy(pkg_name, package_name, pkg_len);
 716     StringUtils::replace_no_expand(pkg_name, "/", ".");
 717     const char* msg_text1 = "Class loader (instance of): ";
 718     const char* msg_text2 = " tried to define prohibited package name: ";
 719     size_t len = strlen(msg_text1) + strlen(class_loader_name) + strlen(msg_text2) + pkg_len + 1;
 720     char* message = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, len);
 721     jio_snprintf(message, len, "%s%s%s%s", msg_text1, class_loader_name, msg_text2, pkg_name);
 722     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), message);
 723   }
 724 
 725   log_debug(modules)("add_module_package(): Adding package %s to module %s",
 726                      package_name, module_entry->name()->as_C_string());
 727 
 728   TempNewSymbol pkg_symbol = SymbolTable::new_symbol(package_name, CHECK);
 729   PackageEntryTable* package_table = loader_data->packages();
 730   assert(package_table != NULL, "Missing package_table");
 731 
 732   PackageEntry* existing_pkg = NULL;
 733   {
 734     MutexLocker ml(Module_lock, THREAD);
 735 
 736     // Check that the package does not exist in the class loader's package table.
 737     existing_pkg = package_table->lookup_only(pkg_symbol);
 738     if (existing_pkg == NULL) {
 739       PackageEntry* pkg = package_table->locked_create_entry_or_null(pkg_symbol, module_entry);
 740       assert(pkg != NULL, "Unable to create a module's package entry");
 741     }
 742   }
 743   if (existing_pkg != NULL) {
 744     throw_dup_pkg_exception(module_entry->name()->as_C_string(), existing_pkg, CHECK);
 745   }
 746 }
 747 
 748 // Export package in module to all unnamed modules.
 749 void Modules::add_module_exports_to_all_unnamed(jobject module, const char* package_name, TRAPS) {
 750   if (module == NULL) {
 751     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 752               "module is null");
 753   }
 754   if (package_name == NULL) {
 755     THROW_MSG(vmSymbols::java_lang_NullPointerException(),
 756               "package is null");
 757   }
 758   ModuleEntry* module_entry = get_module_entry(module, CHECK);
 759   if (module_entry == NULL) {
 760     THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 761               "module is invalid");
 762   }
 763 
 764   if (module_entry->is_named()) { // No-op for unnamed module.
 765     PackageEntry *package_entry = get_package_entry(module_entry, package_name, CHECK);
 766     ResourceMark rm(THREAD);
 767     if (package_entry == NULL) {
 768       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 769                 err_msg("Package %s not found in module %s",
 770                         package_name != NULL ? package_name : "",
 771                         module_entry->name()->as_C_string()));
 772     }
 773     if (package_entry->module() != module_entry) {
 774       THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(),
 775                 err_msg("Package: %s found in module %s, not in module: %s",
 776                         package_entry->name()->as_C_string(),
 777                         package_entry->module()->name()->as_C_string(),
 778                         module_entry->name()->as_C_string()));
 779     }
 780 
 781     log_debug(modules)("add_module_exports_to_all_unnamed(): package %s in module"
 782                        " %s is exported to all unnamed modules",
 783                        package_entry->name()->as_C_string(),
 784                        module_entry->name()->as_C_string());
 785 
 786     // Mark package as exported to all unnamed modules.
 787     package_entry->set_is_exported_allUnnamed();
 788   }
 789 }