aoqi@0: /* phh@9507: * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved. aoqi@0: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. aoqi@0: * aoqi@0: * This code is free software; you can redistribute it and/or modify it aoqi@0: * under the terms of the GNU General Public License version 2 only, as aoqi@0: * published by the Free Software Foundation. aoqi@0: * aoqi@0: * This code is distributed in the hope that it will be useful, but WITHOUT aoqi@0: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or aoqi@0: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License aoqi@0: * version 2 for more details (a copy is included in the LICENSE file that aoqi@0: * accompanied this code). aoqi@0: * aoqi@0: * You should have received a copy of the GNU General Public License version aoqi@0: * 2 along with this work; if not, write to the Free Software Foundation, aoqi@0: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. aoqi@0: * aoqi@0: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA aoqi@0: * or visit www.oracle.com if you need additional information or have any aoqi@0: * questions. aoqi@0: * aoqi@0: */ aoqi@0: aoqi@0: #include "precompiled.hpp" aoqi@0: #include "classfile/symbolTable.hpp" aoqi@0: #include "classfile/systemDictionary.hpp" aoqi@0: #include "classfile/vmSymbols.hpp" aoqi@0: #include "gc_interface/collectedHeap.hpp" aoqi@0: #include "gc_interface/collectedHeap.inline.hpp" aoqi@0: #include "memory/metadataFactory.hpp" aoqi@0: #include "memory/resourceArea.hpp" aoqi@0: #include "memory/universe.hpp" aoqi@0: #include "memory/universe.inline.hpp" aoqi@0: #include "oops/instanceKlass.hpp" aoqi@0: #include "oops/klass.inline.hpp" aoqi@0: #include "oops/objArrayKlass.hpp" aoqi@0: #include "oops/oop.inline.hpp" aoqi@0: #include "oops/typeArrayKlass.hpp" aoqi@0: #include "oops/typeArrayOop.hpp" aoqi@0: #include "runtime/handles.inline.hpp" goetz@6911: #include "runtime/orderAccess.inline.hpp" aoqi@0: #include "utilities/macros.hpp" aoqi@0: aoqi@0: bool TypeArrayKlass::compute_is_subtype_of(Klass* k) { aoqi@0: if (!k->oop_is_typeArray()) { aoqi@0: return ArrayKlass::compute_is_subtype_of(k); aoqi@0: } aoqi@0: aoqi@0: TypeArrayKlass* tak = TypeArrayKlass::cast(k); aoqi@0: if (dimension() != tak->dimension()) return false; aoqi@0: aoqi@0: return element_type() == tak->element_type(); aoqi@0: } aoqi@0: aoqi@0: TypeArrayKlass* TypeArrayKlass::create_klass(BasicType type, aoqi@0: const char* name_str, TRAPS) { aoqi@0: Symbol* sym = NULL; aoqi@0: if (name_str != NULL) { aoqi@0: sym = SymbolTable::new_permanent_symbol(name_str, CHECK_NULL); aoqi@0: } aoqi@0: aoqi@0: ClassLoaderData* null_loader_data = ClassLoaderData::the_null_class_loader_data(); aoqi@0: aoqi@0: TypeArrayKlass* ak = TypeArrayKlass::allocate(null_loader_data, type, sym, CHECK_NULL); aoqi@0: aoqi@0: // Add all classes to our internal class loader list here, aoqi@0: // including classes in the bootstrap (NULL) class loader. aoqi@0: // GC walks these as strong roots. aoqi@0: null_loader_data->add_class(ak); aoqi@0: aoqi@0: // Call complete_create_array_klass after all instance variables have been initialized. aoqi@0: complete_create_array_klass(ak, ak->super(), CHECK_NULL); aoqi@0: aoqi@0: return ak; aoqi@0: } aoqi@0: aoqi@0: TypeArrayKlass* TypeArrayKlass::allocate(ClassLoaderData* loader_data, BasicType type, Symbol* name, TRAPS) { aoqi@0: assert(TypeArrayKlass::header_size() <= InstanceKlass::header_size(), aoqi@0: "array klasses must be same size as InstanceKlass"); aoqi@0: aoqi@0: int size = ArrayKlass::static_size(TypeArrayKlass::header_size()); aoqi@0: aoqi@0: return new (loader_data, size, THREAD) TypeArrayKlass(type, name); aoqi@0: } aoqi@0: aoqi@0: TypeArrayKlass::TypeArrayKlass(BasicType type, Symbol* name) : ArrayKlass(name) { aoqi@0: set_layout_helper(array_layout_helper(type)); aoqi@0: assert(oop_is_array(), "sanity"); aoqi@0: assert(oop_is_typeArray(), "sanity"); aoqi@0: aoqi@0: set_max_length(arrayOopDesc::max_array_length(type)); aoqi@0: assert(size() >= TypeArrayKlass::header_size(), "bad size"); aoqi@0: aoqi@0: set_class_loader_data(ClassLoaderData::the_null_class_loader_data()); aoqi@0: } aoqi@0: aoqi@0: typeArrayOop TypeArrayKlass::allocate_common(int length, bool do_zero, TRAPS) { aoqi@0: assert(log2_element_size() >= 0, "bad scale"); aoqi@0: if (length >= 0) { aoqi@0: if (length <= max_length()) { aoqi@0: size_t size = typeArrayOopDesc::object_size(layout_helper(), length); aoqi@0: KlassHandle h_k(THREAD, this); aoqi@0: typeArrayOop t; aoqi@0: CollectedHeap* ch = Universe::heap(); aoqi@0: if (do_zero) { aoqi@0: t = (typeArrayOop)CollectedHeap::array_allocate(h_k, (int)size, length, CHECK_NULL); aoqi@0: } else { aoqi@0: t = (typeArrayOop)CollectedHeap::array_allocate_nozero(h_k, (int)size, length, CHECK_NULL); aoqi@0: } aoqi@0: return t; aoqi@0: } else { aoqi@0: report_java_out_of_memory("Requested array size exceeds VM limit"); aoqi@0: JvmtiExport::post_array_size_exhausted(); aoqi@0: THROW_OOP_0(Universe::out_of_memory_error_array_size()); aoqi@0: } aoqi@0: } else { aoqi@0: THROW_0(vmSymbols::java_lang_NegativeArraySizeException()); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: oop TypeArrayKlass::multi_allocate(int rank, jint* last_size, TRAPS) { aoqi@0: // For typeArrays this is only called for the last dimension aoqi@0: assert(rank == 1, "just checking"); aoqi@0: int length = *last_size; aoqi@0: return allocate(length, THREAD); aoqi@0: } aoqi@0: aoqi@0: aoqi@0: void TypeArrayKlass::copy_array(arrayOop s, int src_pos, arrayOop d, int dst_pos, int length, TRAPS) { aoqi@0: assert(s->is_typeArray(), "must be type array"); aoqi@0: aoqi@0: // Check destination aoqi@0: if (!d->is_typeArray() || element_type() != TypeArrayKlass::cast(d->klass())->element_type()) { aoqi@0: THROW(vmSymbols::java_lang_ArrayStoreException()); aoqi@0: } aoqi@0: aoqi@0: // Check is all offsets and lengths are non negative aoqi@0: if (src_pos < 0 || dst_pos < 0 || length < 0) { aoqi@0: THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException()); aoqi@0: } aoqi@0: // Check if the ranges are valid aoqi@0: if ( (((unsigned int) length + (unsigned int) src_pos) > (unsigned int) s->length()) aoqi@0: || (((unsigned int) length + (unsigned int) dst_pos) > (unsigned int) d->length()) ) { aoqi@0: THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException()); aoqi@0: } aoqi@0: // Check zero copy aoqi@0: if (length == 0) aoqi@0: return; aoqi@0: aoqi@0: // This is an attempt to make the copy_array fast. aoqi@0: int l2es = log2_element_size(); aoqi@0: int ihs = array_header_in_bytes() / wordSize; aoqi@0: char* src = (char*) ((oop*)s + ihs) + ((size_t)src_pos << l2es); aoqi@0: char* dst = (char*) ((oop*)d + ihs) + ((size_t)dst_pos << l2es); aoqi@0: Copy::conjoint_memory_atomic(src, dst, (size_t)length << l2es); aoqi@0: } aoqi@0: aoqi@0: aoqi@0: // create a klass of array holding typeArrays aoqi@0: Klass* TypeArrayKlass::array_klass_impl(bool or_null, int n, TRAPS) { aoqi@0: int dim = dimension(); aoqi@0: assert(dim <= n, "check order of chain"); aoqi@0: if (dim == n) aoqi@0: return this; aoqi@0: aoqi@0: if (higher_dimension() == NULL) { aoqi@0: if (or_null) return NULL; aoqi@0: aoqi@0: ResourceMark rm; aoqi@0: JavaThread *jt = (JavaThread *)THREAD; aoqi@0: { aoqi@0: MutexLocker mc(Compile_lock, THREAD); // for vtables aoqi@0: // Atomic create higher dimension and link into list aoqi@0: MutexLocker mu(MultiArray_lock, THREAD); aoqi@0: aoqi@0: if (higher_dimension() == NULL) { aoqi@0: Klass* oak = ObjArrayKlass::allocate_objArray_klass( aoqi@0: class_loader_data(), dim + 1, this, CHECK_NULL); aoqi@0: ObjArrayKlass* h_ak = ObjArrayKlass::cast(oak); aoqi@0: h_ak->set_lower_dimension(this); aoqi@0: OrderAccess::storestore(); aoqi@0: set_higher_dimension(h_ak); aoqi@0: assert(h_ak->oop_is_objArray(), "incorrect initialization of ObjArrayKlass"); aoqi@0: } aoqi@0: } aoqi@0: } else { aoqi@0: CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops()); aoqi@0: } aoqi@0: ObjArrayKlass* h_ak = ObjArrayKlass::cast(higher_dimension()); aoqi@0: if (or_null) { aoqi@0: return h_ak->array_klass_or_null(n); aoqi@0: } phh@9507: return h_ak->array_klass(n, THREAD); aoqi@0: } aoqi@0: aoqi@0: Klass* TypeArrayKlass::array_klass_impl(bool or_null, TRAPS) { aoqi@0: return array_klass_impl(or_null, dimension() + 1, THREAD); aoqi@0: } aoqi@0: aoqi@0: int TypeArrayKlass::oop_size(oop obj) const { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: typeArrayOop t = typeArrayOop(obj); aoqi@0: return t->object_size(); aoqi@0: } aoqi@0: aoqi@0: void TypeArrayKlass::oop_follow_contents(oop obj) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: // Performance tweak: We skip iterating over the klass pointer since we aoqi@0: // know that Universe::TypeArrayKlass never moves. aoqi@0: } aoqi@0: aoqi@0: #if INCLUDE_ALL_GCS aoqi@0: void TypeArrayKlass::oop_follow_contents(ParCompactionManager* cm, oop obj) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: // Performance tweak: We skip iterating over the klass pointer since we aoqi@0: // know that Universe::TypeArrayKlass never moves. aoqi@0: } aoqi@0: #endif // INCLUDE_ALL_GCS aoqi@0: aoqi@0: int TypeArrayKlass::oop_adjust_pointers(oop obj) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: typeArrayOop t = typeArrayOop(obj); aoqi@0: // Performance tweak: We skip iterating over the klass pointer since we aoqi@0: // know that Universe::TypeArrayKlass never moves. aoqi@0: return t->object_size(); aoqi@0: } aoqi@0: aoqi@0: int TypeArrayKlass::oop_oop_iterate(oop obj, ExtendedOopClosure* blk) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: typeArrayOop t = typeArrayOop(obj); aoqi@0: // Performance tweak: We skip iterating over the klass pointer since we aoqi@0: // know that Universe::TypeArrayKlass never moves. aoqi@0: return t->object_size(); aoqi@0: } aoqi@0: aoqi@0: int TypeArrayKlass::oop_oop_iterate_m(oop obj, ExtendedOopClosure* blk, MemRegion mr) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: typeArrayOop t = typeArrayOop(obj); aoqi@0: // Performance tweak: We skip iterating over the klass pointer since we aoqi@0: // know that Universe::TypeArrayKlass never moves. aoqi@0: return t->object_size(); aoqi@0: } aoqi@0: aoqi@0: #if INCLUDE_ALL_GCS aoqi@0: void TypeArrayKlass::oop_push_contents(PSPromotionManager* pm, oop obj) { aoqi@0: ShouldNotReachHere(); aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: } aoqi@0: aoqi@0: int aoqi@0: TypeArrayKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) { aoqi@0: assert(obj->is_typeArray(),"must be a type array"); aoqi@0: return typeArrayOop(obj)->object_size(); aoqi@0: } aoqi@0: #endif // INCLUDE_ALL_GCS aoqi@0: aoqi@0: void TypeArrayKlass::initialize(TRAPS) { aoqi@0: // Nothing to do. Having this function is handy since objArrayKlasses can be aoqi@0: // initialized by calling initialize on their bottom_klass, see ObjArrayKlass::initialize aoqi@0: } aoqi@0: aoqi@0: const char* TypeArrayKlass::external_name(BasicType type) { aoqi@0: switch (type) { aoqi@0: case T_BOOLEAN: return "[Z"; aoqi@0: case T_CHAR: return "[C"; aoqi@0: case T_FLOAT: return "[F"; aoqi@0: case T_DOUBLE: return "[D"; aoqi@0: case T_BYTE: return "[B"; aoqi@0: case T_SHORT: return "[S"; aoqi@0: case T_INT: return "[I"; aoqi@0: case T_LONG: return "[J"; aoqi@0: default: ShouldNotReachHere(); aoqi@0: } aoqi@0: return NULL; aoqi@0: } aoqi@0: aoqi@0: aoqi@0: // Printing aoqi@0: aoqi@0: void TypeArrayKlass::print_on(outputStream* st) const { aoqi@0: #ifndef PRODUCT aoqi@0: assert(is_klass(), "must be klass"); aoqi@0: print_value_on(st); aoqi@0: Klass::print_on(st); aoqi@0: #endif //PRODUCT aoqi@0: } aoqi@0: aoqi@0: void TypeArrayKlass::print_value_on(outputStream* st) const { aoqi@0: assert(is_klass(), "must be klass"); aoqi@0: st->print("{type array "); aoqi@0: switch (element_type()) { aoqi@0: case T_BOOLEAN: st->print("bool"); break; aoqi@0: case T_CHAR: st->print("char"); break; aoqi@0: case T_FLOAT: st->print("float"); break; aoqi@0: case T_DOUBLE: st->print("double"); break; aoqi@0: case T_BYTE: st->print("byte"); break; aoqi@0: case T_SHORT: st->print("short"); break; aoqi@0: case T_INT: st->print("int"); break; aoqi@0: case T_LONG: st->print("long"); break; aoqi@0: default: ShouldNotReachHere(); aoqi@0: } aoqi@0: st->print("}"); aoqi@0: } aoqi@0: aoqi@0: #ifndef PRODUCT aoqi@0: aoqi@0: static void print_boolean_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: st->print_cr(" - %3d: %s", index, (ta->bool_at(index) == 0) ? "false" : "true"); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_char_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: jchar c = ta->char_at(index); aoqi@0: st->print_cr(" - %3d: %x %c", index, c, isprint(c) ? c : ' '); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_float_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: st->print_cr(" - %3d: %g", index, ta->float_at(index)); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_double_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: st->print_cr(" - %3d: %g", index, ta->double_at(index)); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_byte_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: jbyte c = ta->byte_at(index); aoqi@0: st->print_cr(" - %3d: %x %c", index, c, isprint(c) ? c : ' '); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_short_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: int v = ta->ushort_at(index); aoqi@0: st->print_cr(" - %3d: 0x%x\t %d", index, v, v); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_int_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: jint v = ta->int_at(index); aoqi@0: st->print_cr(" - %3d: 0x%x %d", index, v, v); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: static void print_long_array(typeArrayOop ta, int print_len, outputStream* st) { aoqi@0: for (int index = 0; index < print_len; index++) { aoqi@0: jlong v = ta->long_at(index); aoqi@0: st->print_cr(" - %3d: 0x%x 0x%x", index, high(v), low(v)); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: aoqi@0: void TypeArrayKlass::oop_print_on(oop obj, outputStream* st) { aoqi@0: ArrayKlass::oop_print_on(obj, st); aoqi@0: typeArrayOop ta = typeArrayOop(obj); aoqi@0: int print_len = MIN2((intx) ta->length(), MaxElementPrintSize); aoqi@0: switch (element_type()) { aoqi@0: case T_BOOLEAN: print_boolean_array(ta, print_len, st); break; aoqi@0: case T_CHAR: print_char_array(ta, print_len, st); break; aoqi@0: case T_FLOAT: print_float_array(ta, print_len, st); break; aoqi@0: case T_DOUBLE: print_double_array(ta, print_len, st); break; aoqi@0: case T_BYTE: print_byte_array(ta, print_len, st); break; aoqi@0: case T_SHORT: print_short_array(ta, print_len, st); break; aoqi@0: case T_INT: print_int_array(ta, print_len, st); break; aoqi@0: case T_LONG: print_long_array(ta, print_len, st); break; aoqi@0: default: ShouldNotReachHere(); aoqi@0: } aoqi@0: int remaining = ta->length() - print_len; aoqi@0: if (remaining > 0) { aoqi@0: st->print_cr(" - <%d more elements, increase MaxElementPrintSize to print>", remaining); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: #endif // PRODUCT aoqi@0: aoqi@0: const char* TypeArrayKlass::internal_name() const { aoqi@0: return Klass::external_name(); aoqi@0: }