Path: blob/aarch64-shenandoah-jdk8u272-b10/hotspot/src/share/vm/classfile/loaderConstraints.cpp
32285 views
/*1* Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved.2* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.3*4* This code is free software; you can redistribute it and/or modify it5* under the terms of the GNU General Public License version 2 only, as6* published by the Free Software Foundation.7*8* This code is distributed in the hope that it will be useful, but WITHOUT9* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or10* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License11* version 2 for more details (a copy is included in the LICENSE file that12* accompanied this code).13*14* You should have received a copy of the GNU General Public License version15* 2 along with this work; if not, write to the Free Software Foundation,16* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.17*18* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA19* or visit www.oracle.com if you need additional information or have any20* questions.21*22*/2324#include "precompiled.hpp"25#include "classfile/classLoaderData.inline.hpp"26#include "classfile/loaderConstraints.hpp"27#include "memory/resourceArea.hpp"28#include "oops/oop.inline.hpp"29#include "runtime/handles.inline.hpp"30#include "runtime/safepoint.hpp"31#include "utilities/hashtable.inline.hpp"3233void LoaderConstraintEntry::set_loader(int i, oop p) {34set_loader_data(i, ClassLoaderData::class_loader_data(p));35}3637LoaderConstraintTable::LoaderConstraintTable(int nof_buckets)38: Hashtable<Klass*, mtClass>(nof_buckets, sizeof(LoaderConstraintEntry)) {};394041LoaderConstraintEntry* LoaderConstraintTable::new_entry(42unsigned int hash, Symbol* name,43Klass* klass, int num_loaders,44int max_loaders) {45LoaderConstraintEntry* entry;46entry = (LoaderConstraintEntry*)Hashtable<Klass*, mtClass>::new_entry(hash, klass);47entry->set_name(name);48entry->set_num_loaders(num_loaders);49entry->set_max_loaders(max_loaders);50return entry;51}5253void LoaderConstraintTable::free_entry(LoaderConstraintEntry *entry) {54// decrement name refcount before freeing55entry->name()->decrement_refcount();56Hashtable<Klass*, mtClass>::free_entry(entry);57}5859// Enhanced Class Redefinition support60void LoaderConstraintTable::classes_do(KlassClosure* f) {61for (int index = 0; index < table_size(); index++) {62for (LoaderConstraintEntry* probe = bucket(index);63probe != NULL;64probe = probe->next()) {65if (probe->klass() != NULL) {66f->do_klass(probe->klass());67}68}69}70}7172// The loaderConstraintTable must always be accessed with the73// SystemDictionary lock held. This is true even for readers as74// entries in the table could be being dynamically resized.7576LoaderConstraintEntry** LoaderConstraintTable::find_loader_constraint(77Symbol* name, Handle loader) {7879unsigned int hash = compute_hash(name);80int index = hash_to_index(hash);81LoaderConstraintEntry** pp = bucket_addr(index);82ClassLoaderData* loader_data = ClassLoaderData::class_loader_data(loader());8384while (*pp) {85LoaderConstraintEntry* p = *pp;86if (p->hash() == hash) {87if (p->name() == name) {88for (int i = p->num_loaders() - 1; i >= 0; i--) {89if (p->loader_data(i) == loader_data) {90return pp;91}92}93}94}95pp = p->next_addr();96}97return pp;98}99100101void LoaderConstraintTable::purge_loader_constraints() {102assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");103// Remove unloaded entries from constraint table104for (int index = 0; index < table_size(); index++) {105LoaderConstraintEntry** p = bucket_addr(index);106while(*p) {107LoaderConstraintEntry* probe = *p;108Klass* klass = probe->klass();109// Remove klass that is no longer alive110if (klass != NULL &&111klass->class_loader_data()->is_unloading()) {112probe->set_klass(NULL);113if (TraceLoaderConstraints) {114ResourceMark rm;115tty->print_cr("[Purging class object from constraint for name %s,"116" loader list:",117probe->name()->as_C_string());118for (int i = 0; i < probe->num_loaders(); i++) {119tty->print_cr("[ [%d]: %s", i,120probe->loader_data(i)->loader_name());121}122}123}124// Remove entries no longer alive from loader array125int n = 0;126while (n < probe->num_loaders()) {127if (probe->loader_data(n)->is_unloading()) {128if (TraceLoaderConstraints) {129ResourceMark rm;130tty->print_cr("[Purging loader %s from constraint for name %s",131probe->loader_data(n)->loader_name(),132probe->name()->as_C_string()133);134}135136// Compact array137int num = probe->num_loaders() - 1;138probe->set_num_loaders(num);139probe->set_loader_data(n, probe->loader_data(num));140probe->set_loader_data(num, NULL);141142if (TraceLoaderConstraints) {143ResourceMark rm;144tty->print_cr("[New loader list:");145for (int i = 0; i < probe->num_loaders(); i++) {146tty->print_cr("[ [%d]: %s", i,147probe->loader_data(i)->loader_name());148}149}150151continue; // current element replaced, so restart without152// incrementing n153}154n++;155}156// Check whether entry should be purged157if (probe->num_loaders() < 2) {158if (TraceLoaderConstraints) {159ResourceMark rm;160tty->print("[Purging complete constraint for name %s\n",161probe->name()->as_C_string());162}163164// Purge entry165*p = probe->next();166FREE_C_HEAP_ARRAY(oop, probe->loaders(), mtClass);167free_entry(probe);168} else {169#ifdef ASSERT170if (probe->klass() != NULL) {171ClassLoaderData* loader_data =172probe->klass()->class_loader_data();173assert(!loader_data->is_unloading(), "klass should be live");174}175#endif176// Go to next entry177p = probe->next_addr();178}179}180}181}182183bool LoaderConstraintTable::add_entry(Symbol* class_name,184Klass* klass1, Handle class_loader1,185Klass* klass2, Handle class_loader2) {186int failure_code = 0; // encode different reasons for failing187188if (klass1 != NULL && klass2 != NULL && klass1 != klass2) {189failure_code = 1;190} else {191Klass* klass = klass1 != NULL ? klass1 : klass2;192193LoaderConstraintEntry** pp1 = find_loader_constraint(class_name,194class_loader1);195if (*pp1 != NULL && (*pp1)->klass() != NULL) {196if (klass != NULL) {197if (klass != (*pp1)->klass()) {198failure_code = 2;199}200} else {201klass = (*pp1)->klass();202}203}204205LoaderConstraintEntry** pp2 = find_loader_constraint(class_name,206class_loader2);207if (*pp2 != NULL && (*pp2)->klass() != NULL) {208if (klass != NULL) {209if (klass != (*pp2)->klass()) {210failure_code = 3;211}212} else {213klass = (*pp2)->klass();214}215}216217if (failure_code == 0) {218if (*pp1 == NULL && *pp2 == NULL) {219unsigned int hash = compute_hash(class_name);220int index = hash_to_index(hash);221LoaderConstraintEntry* p;222p = new_entry(hash, class_name, klass, 2, 2);223p->set_loaders(NEW_C_HEAP_ARRAY(ClassLoaderData*, 2, mtClass));224p->set_loader(0, class_loader1());225p->set_loader(1, class_loader2());226p->set_klass(klass);227p->set_next(bucket(index));228set_entry(index, p);229if (TraceLoaderConstraints) {230ResourceMark rm;231tty->print("[Adding new constraint for name: %s, loader[0]: %s,"232" loader[1]: %s ]\n",233class_name->as_C_string(),234SystemDictionary::loader_name(class_loader1()),235SystemDictionary::loader_name(class_loader2())236);237}238} else if (*pp1 == *pp2) {239/* constraint already imposed */240if ((*pp1)->klass() == NULL) {241(*pp1)->set_klass(klass);242if (TraceLoaderConstraints) {243ResourceMark rm;244tty->print("[Setting class object in existing constraint for"245" name: %s and loader %s ]\n",246class_name->as_C_string(),247SystemDictionary::loader_name(class_loader1())248);249}250} else {251assert((*pp1)->klass() == klass, "loader constraints corrupted");252}253} else if (*pp1 == NULL) {254extend_loader_constraint(*pp2, class_loader1, klass);255} else if (*pp2 == NULL) {256extend_loader_constraint(*pp1, class_loader2, klass);257} else {258merge_loader_constraints(pp1, pp2, klass);259}260}261}262263if (failure_code != 0 && TraceLoaderConstraints) {264ResourceMark rm;265const char* reason = "";266switch(failure_code) {267case 1: reason = "the class objects presented by loader[0] and loader[1]"268" are different"; break;269case 2: reason = "the class object presented by loader[0] does not match"270" the stored class object in the constraint"; break;271case 3: reason = "the class object presented by loader[1] does not match"272" the stored class object in the constraint"; break;273default: reason = "unknown reason code";274}275tty->print("[Failed to add constraint for name: %s, loader[0]: %s,"276" loader[1]: %s, Reason: %s ]\n",277class_name->as_C_string(),278SystemDictionary::loader_name(class_loader1()),279SystemDictionary::loader_name(class_loader2()),280reason281);282}283284return failure_code == 0;285}286287288// return true if the constraint was updated, false if the constraint is289// violated290bool LoaderConstraintTable::check_or_update(instanceKlassHandle k,291Handle loader,292Symbol* name) {293LoaderConstraintEntry* p = *(find_loader_constraint(name, loader));294if (p && p->klass() != NULL && p->klass() != k()) {295if (TraceLoaderConstraints) {296ResourceMark rm;297tty->print("[Constraint check failed for name %s, loader %s: "298"the presented class object differs from that stored ]\n",299name->as_C_string(),300SystemDictionary::loader_name(loader()));301}302return false;303} else {304if (p && p->klass() == NULL) {305p->set_klass(k());306if (TraceLoaderConstraints) {307ResourceMark rm;308tty->print("[Updating constraint for name %s, loader %s, "309"by setting class object ]\n",310name->as_C_string(),311SystemDictionary::loader_name(loader()));312}313}314return true;315}316}317318Klass* LoaderConstraintTable::find_constrained_klass(Symbol* name,319Handle loader) {320LoaderConstraintEntry *p = *(find_loader_constraint(name, loader));321if (p != NULL && p->klass() != NULL) {322if (p->klass()->oop_is_instance() && !InstanceKlass::cast(p->klass())->is_loaded()) {323// Only return fully loaded classes. Classes found through the324// constraints might still be in the process of loading.325return NULL;326}327return p->klass();328}329330// No constraints, or else no klass loaded yet.331return NULL;332}333334void LoaderConstraintTable::ensure_loader_constraint_capacity(335LoaderConstraintEntry *p,336int nfree) {337if (p->max_loaders() - p->num_loaders() < nfree) {338int n = nfree + p->num_loaders();339ClassLoaderData** new_loaders = NEW_C_HEAP_ARRAY(ClassLoaderData*, n, mtClass);340memcpy(new_loaders, p->loaders(), sizeof(ClassLoaderData*) * p->num_loaders());341p->set_max_loaders(n);342FREE_C_HEAP_ARRAY(ClassLoaderData*, p->loaders(), mtClass);343p->set_loaders(new_loaders);344}345}346347348void LoaderConstraintTable::extend_loader_constraint(LoaderConstraintEntry* p,349Handle loader,350Klass* klass) {351ensure_loader_constraint_capacity(p, 1);352int num = p->num_loaders();353p->set_loader(num, loader());354p->set_num_loaders(num + 1);355if (TraceLoaderConstraints) {356ResourceMark rm;357tty->print("[Extending constraint for name %s by adding loader[%d]: %s %s",358p->name()->as_C_string(),359num,360SystemDictionary::loader_name(loader()),361(p->klass() == NULL ? " and setting class object ]\n" : " ]\n")362);363}364if (p->klass() == NULL) {365p->set_klass(klass);366} else {367assert(klass == NULL || p->klass() == klass, "constraints corrupted");368}369}370371372void LoaderConstraintTable::merge_loader_constraints(373LoaderConstraintEntry** pp1,374LoaderConstraintEntry** pp2,375Klass* klass) {376// make sure *pp1 has higher capacity377if ((*pp1)->max_loaders() < (*pp2)->max_loaders()) {378LoaderConstraintEntry** tmp = pp2;379pp2 = pp1;380pp1 = tmp;381}382383LoaderConstraintEntry* p1 = *pp1;384LoaderConstraintEntry* p2 = *pp2;385386ensure_loader_constraint_capacity(p1, p2->num_loaders());387388for (int i = 0; i < p2->num_loaders(); i++) {389int num = p1->num_loaders();390p1->set_loader_data(num, p2->loader_data(i));391p1->set_num_loaders(num + 1);392}393394if (TraceLoaderConstraints) {395ResourceMark rm;396tty->print_cr("[Merged constraints for name %s, new loader list:",397p1->name()->as_C_string()398);399400for (int i = 0; i < p1->num_loaders(); i++) {401tty->print_cr("[ [%d]: %s", i,402p1->loader_data(i)->loader_name());403}404if (p1->klass() == NULL) {405tty->print_cr("[... and setting class object]");406}407}408409// p1->klass() will hold NULL if klass, p2->klass(), and old410// p1->klass() are all NULL. In addition, all three must have411// matching non-NULL values, otherwise either the constraints would412// have been violated, or the constraints had been corrupted (and an413// assertion would fail).414if (p2->klass() != NULL) {415assert(p2->klass() == klass, "constraints corrupted");416}417if (p1->klass() == NULL) {418p1->set_klass(klass);419} else {420assert(p1->klass() == klass, "constraints corrupted");421}422423*pp2 = p2->next();424FREE_C_HEAP_ARRAY(oop, p2->loaders(), mtClass);425free_entry(p2);426return;427}428429430void LoaderConstraintTable::verify(Dictionary* dictionary,431PlaceholderTable* placeholders) {432Thread *thread = Thread::current();433for (int cindex = 0; cindex < _loader_constraint_size; cindex++) {434for (LoaderConstraintEntry* probe = bucket(cindex);435probe != NULL;436probe = probe->next()) {437if (probe->klass() != NULL) {438InstanceKlass* ik = InstanceKlass::cast(probe->klass());439guarantee(ik->name() == probe->name(), "name should match");440Symbol* name = ik->name();441ClassLoaderData* loader_data = ik->class_loader_data();442unsigned int d_hash = dictionary->compute_hash(name, loader_data);443int d_index = dictionary->hash_to_index(d_hash);444Klass* k = dictionary->find_class(d_index, d_hash, name, loader_data);445if (k != NULL) {446// We found the class in the system dictionary, so we should447// make sure that the Klass* matches what we already have.448guarantee(k == probe->klass(), "klass should be in dictionary");449} else {450// If we don't find the class in the system dictionary, it451// has to be in the placeholders table.452unsigned int p_hash = placeholders->compute_hash(name, loader_data);453int p_index = placeholders->hash_to_index(p_hash);454PlaceholderEntry* entry = placeholders->get_entry(p_index, p_hash,455name, loader_data);456457// The InstanceKlass might not be on the entry, so the only458// thing we can check here is whether we were successful in459// finding the class in the placeholders table.460guarantee(entry != NULL, "klass should be in the placeholders");461}462}463for (int n = 0; n< probe->num_loaders(); n++) {464assert(ClassLoaderDataGraph::contains_loader_data(probe->loader_data(n)), "The loader is missing");465}466}467}468}469470#ifndef PRODUCT471472// Called with the system dictionary lock held473void LoaderConstraintTable::print() {474ResourceMark rm;475476assert_locked_or_safepoint(SystemDictionary_lock);477tty->print_cr("Java loader constraints (entries=%d)", _loader_constraint_size);478for (int cindex = 0; cindex < _loader_constraint_size; cindex++) {479for (LoaderConstraintEntry* probe = bucket(cindex);480probe != NULL;481probe = probe->next()) {482tty->print("%4d: ", cindex);483probe->name()->print();484tty->print(" , loaders:");485for (int n = 0; n < probe->num_loaders(); n++) {486probe->loader_data(n)->print_value();487tty->print(", ");488}489tty->cr();490}491}492}493#endif494495496