src/cpu/sparc/vm/c1_MacroAssembler_sparc.hpp

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

author
johnc
date
Thu, 07 Apr 2011 09:53:20 -0700
changeset 2781
e1162778c1c8
parent 2423
b1a2afa37ec4
child 6876
710a3c8b516e
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 /*
phh@2423 2 * Copyright (c) 1999, 2011, 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 CPU_SPARC_VM_C1_MACROASSEMBLER_SPARC_HPP
stefank@2314 26 #define CPU_SPARC_VM_C1_MACROASSEMBLER_SPARC_HPP
stefank@2314 27
duke@435 28 void pd_init() { /* nothing to do */ }
duke@435 29
duke@435 30 public:
duke@435 31 void try_allocate(
duke@435 32 Register obj, // result: pointer to object after successful allocation
duke@435 33 Register var_size_in_bytes, // object size in bytes if unknown at compile time; invalid otherwise
duke@435 34 int con_size_in_bytes, // object size in bytes if known at compile time
duke@435 35 Register t1, // temp register
duke@435 36 Register t2, // temp register
duke@435 37 Label& slow_case // continuation point if fast allocation fails
duke@435 38 );
duke@435 39
duke@435 40 void initialize_header(Register obj, Register klass, Register len, Register t1, Register t2);
duke@435 41 void initialize_body(Register base, Register index);
duke@435 42
duke@435 43 // locking/unlocking
duke@435 44 void lock_object (Register Rmark, Register Roop, Register Rbox, Register Rscratch, Label& slow_case);
duke@435 45 void unlock_object(Register Rmark, Register Roop, Register Rbox, Label& slow_case);
duke@435 46
duke@435 47 void initialize_object(
duke@435 48 Register obj, // result: pointer to object after successful allocation
duke@435 49 Register klass, // object klass
duke@435 50 Register var_size_in_bytes, // object size in bytes if unknown at compile time; invalid otherwise
duke@435 51 int con_size_in_bytes, // object size in bytes if known at compile time
duke@435 52 Register t1, // temp register
duke@435 53 Register t2 // temp register
duke@435 54 );
duke@435 55
duke@435 56 // allocation of fixed-size objects
duke@435 57 // (can also be used to allocate fixed-size arrays, by setting
duke@435 58 // hdr_size correctly and storing the array length afterwards)
duke@435 59 void allocate_object(
duke@435 60 Register obj, // result: pointer to object after successful allocation
duke@435 61 Register t1, // temp register
duke@435 62 Register t2, // temp register
duke@435 63 Register t3, // temp register
duke@435 64 int hdr_size, // object header size in words
duke@435 65 int obj_size, // object size in words
duke@435 66 Register klass, // object klass
duke@435 67 Label& slow_case // continuation point if fast allocation fails
duke@435 68 );
duke@435 69
duke@435 70 enum {
duke@435 71 max_array_allocation_length = 0x01000000 // sparc friendly value, requires sethi only
duke@435 72 };
duke@435 73
duke@435 74 // allocation of arrays
duke@435 75 void allocate_array(
duke@435 76 Register obj, // result: pointer to array after successful allocation
duke@435 77 Register len, // array length
duke@435 78 Register t1, // temp register
duke@435 79 Register t2, // temp register
duke@435 80 Register t3, // temp register
duke@435 81 int hdr_size, // object header size in words
duke@435 82 int elt_size, // element size in bytes
duke@435 83 Register klass, // object klass
duke@435 84 Label& slow_case // continuation point if fast allocation fails
duke@435 85 );
duke@435 86
duke@435 87 // invalidates registers in this window
duke@435 88 void invalidate_registers(bool iregisters, bool lregisters, bool oregisters,
duke@435 89 Register preserve1 = noreg, Register preserve2 = noreg);
stefank@2314 90
stefank@2314 91 #endif // CPU_SPARC_VM_C1_MACROASSEMBLER_SPARC_HPP

mercurial