src/share/vm/oops/typeArrayKlass.hpp

Thu, 07 Apr 2011 09:53:20 -0700

author
johnc
date
Thu, 07 Apr 2011 09:53:20 -0700
changeset 2781
e1162778c1c8
parent 2314
f95d63e2154a
child 3157
a92cdbac8b9e
permissions
-rw-r--r--

7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
Summary: A referent object that is only weakly reachable at the start of concurrent marking but is re-attached to the strongly reachable object graph during marking may not be marked as live. This can cause the reference object to be processed prematurely and leave dangling pointers to the referent object. Implement a read barrier for the java.lang.ref.Reference::referent field by intrinsifying the Reference.get() method, and intercepting accesses though JNI, reflection, and Unsafe, so that when a non-null referent object is read it is also logged in an SATB buffer.
Reviewed-by: kvn, iveresov, never, tonyp, dholmes

duke@435 1 /*
stefank@2314 2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_OOPS_TYPEARRAYKLASS_HPP
stefank@2314 26 #define SHARE_VM_OOPS_TYPEARRAYKLASS_HPP
stefank@2314 27
stefank@2314 28 #include "oops/arrayKlass.hpp"
stefank@2314 29
duke@435 30 // A typeArrayKlass is the klass of a typeArray
duke@435 31 // It contains the type and size of the elements
duke@435 32
duke@435 33 class typeArrayKlass : public arrayKlass {
duke@435 34 friend class VMStructs;
duke@435 35 private:
duke@435 36 jint _max_length; // maximum number of elements allowed in an array
duke@435 37 public:
duke@435 38 // instance variables
duke@435 39 jint max_length() { return _max_length; }
duke@435 40 void set_max_length(jint m) { _max_length = m; }
duke@435 41
duke@435 42 // testers
duke@435 43 bool oop_is_typeArray_slow() const { return true; }
duke@435 44
duke@435 45 // klass allocation
duke@435 46 DEFINE_ALLOCATE_PERMANENT(typeArrayKlass);
jcoomes@916 47 static klassOop create_klass(BasicType type, int scale, const char* name_str,
jcoomes@916 48 TRAPS);
jcoomes@916 49 static inline klassOop create_klass(BasicType type, int scale, TRAPS) {
jcoomes@916 50 return create_klass(type, scale, external_name(type), CHECK_NULL);
jcoomes@916 51 }
duke@435 52
duke@435 53 int oop_size(oop obj) const;
duke@435 54 int klass_oop_size() const { return object_size(); }
duke@435 55
duke@435 56 bool compute_is_subtype_of(klassOop k);
duke@435 57
duke@435 58 // Allocation
duke@435 59 typeArrayOop allocate(int length, TRAPS);
duke@435 60 typeArrayOop allocate_permanent(int length, TRAPS); // used for class file structures
duke@435 61 oop multi_allocate(int rank, jint* sizes, TRAPS);
duke@435 62
duke@435 63 // Copying
duke@435 64 void copy_array(arrayOop s, int src_pos, arrayOop d, int dst_pos, int length, TRAPS);
duke@435 65
duke@435 66 // Iteration
duke@435 67 int oop_oop_iterate(oop obj, OopClosure* blk);
duke@435 68 int oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr);
duke@435 69
duke@435 70 // Garbage collection
duke@435 71 void oop_follow_contents(oop obj);
duke@435 72 int oop_adjust_pointers(oop obj);
duke@435 73
duke@435 74 // Parallel Scavenge and Parallel Old
duke@435 75 PARALLEL_GC_DECLS
duke@435 76
duke@435 77 protected:
duke@435 78 // Find n'th dimensional array
duke@435 79 virtual klassOop array_klass_impl(bool or_null, int n, TRAPS);
duke@435 80
duke@435 81 // Returns the array class with this class as element type
duke@435 82 virtual klassOop array_klass_impl(bool or_null, TRAPS);
duke@435 83
duke@435 84 public:
duke@435 85 // Casting from klassOop
duke@435 86 static typeArrayKlass* cast(klassOop k) {
duke@435 87 assert(k->klass_part()->oop_is_typeArray_slow(), "cast to typeArrayKlass");
duke@435 88 return (typeArrayKlass*) k->klass_part();
duke@435 89 }
duke@435 90
duke@435 91 // Naming
duke@435 92 static const char* external_name(BasicType type);
duke@435 93
duke@435 94 // Sizing
duke@435 95 static int header_size() { return oopDesc::header_size() + sizeof(typeArrayKlass)/HeapWordSize; }
duke@435 96 int object_size() const { return arrayKlass::object_size(header_size()); }
duke@435 97
duke@435 98 // Initialization (virtual from Klass)
duke@435 99 void initialize(TRAPS);
duke@435 100
duke@435 101 private:
duke@435 102 // Helpers
duke@435 103 static klassOop array_klass_impl(typeArrayKlassHandle h_this, bool or_null, int n, TRAPS);
duke@435 104
duke@435 105 #ifndef PRODUCT
duke@435 106 public:
duke@435 107 // Printing
duke@435 108 void oop_print_on(oop obj, outputStream* st);
duke@435 109 #endif
duke@435 110 public:
duke@435 111 const char* internal_name() const;
duke@435 112 };
stefank@2314 113
stefank@2314 114 #endif // SHARE_VM_OOPS_TYPEARRAYKLASS_HPP

mercurial