src/cpu/sparc/vm/bytecodeInterpreter_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 2314
f95d63e2154a
child 6483
018b357638aa
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) 2002, 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 CPU_SPARC_VM_BYTECODEINTERPRETER_SPARC_HPP
stefank@2314 26 #define CPU_SPARC_VM_BYTECODEINTERPRETER_SPARC_HPP
stefank@2314 27
duke@435 28 // Platform specific for C++ based Interpreter
duke@435 29 #define LOTS_OF_REGS /* Lets interpreter use plenty of registers */
duke@435 30
duke@435 31 private:
duke@435 32
duke@435 33 // save the bottom of the stack after frame manager setup. For ease of restoration after return
duke@435 34 // from recursive interpreter call
duke@435 35 intptr_t* _frame_bottom; /* saved bottom of frame manager frame */
duke@435 36 intptr_t* _last_Java_pc; /* pc to return to in frame manager */
duke@435 37 interpreterState _self_link; /* Previous interpreter state */ /* sometimes points to self??? */
duke@435 38 double _native_fresult; /* save result of native calls that might return floats */
duke@435 39 intptr_t _native_lresult; /* save result of native calls that might return handle/longs */
duke@435 40 public:
duke@435 41
duke@435 42 static void pd_layout_interpreterState(interpreterState istate, address last_Java_pc, intptr_t* last_Java_fp);
duke@435 43
duke@435 44
duke@435 45 #define SET_LAST_JAVA_FRAME()
duke@435 46
duke@435 47 #define RESET_LAST_JAVA_FRAME() THREAD->frame_anchor()->set_flags(0);
duke@435 48
duke@435 49 /*
duke@435 50 * Macros for accessing the stack.
duke@435 51 */
duke@435 52 #undef STACK_INT
duke@435 53 #undef STACK_FLOAT
duke@435 54 #undef STACK_ADDR
duke@435 55 #undef STACK_OBJECT
duke@435 56 #undef STACK_DOUBLE
duke@435 57 #undef STACK_LONG
duke@435 58 // JavaStack Implementation
duke@435 59
duke@435 60
duke@435 61 #define GET_STACK_SLOT(offset) (*((intptr_t*) &topOfStack[-(offset)]))
duke@435 62 #define STACK_SLOT(offset) ((address) &topOfStack[-(offset)])
duke@435 63 #define STACK_ADDR(offset) (*((address *) &topOfStack[-(offset)]))
duke@435 64 #define STACK_INT(offset) (*((jint*) &topOfStack[-(offset)]))
duke@435 65 #define STACK_FLOAT(offset) (*((jfloat *) &topOfStack[-(offset)]))
duke@435 66 #define STACK_OBJECT(offset) (*((oop *) &topOfStack [-(offset)]))
duke@435 67 #define STACK_DOUBLE(offset) (((VMJavaVal64*) &topOfStack[-(offset)])->d)
duke@435 68 #define STACK_LONG(offset) (((VMJavaVal64 *) &topOfStack[-(offset)])->l)
duke@435 69
duke@435 70 #define SET_STACK_SLOT(value, offset) (*(intptr_t*)&topOfStack[-(offset)] = *(intptr_t*)(value))
duke@435 71 #define SET_STACK_ADDR(value, offset) (*((address *)&topOfStack[-(offset)]) = (value))
duke@435 72 #define SET_STACK_INT(value, offset) (*((jint *)&topOfStack[-(offset)]) = (value))
duke@435 73 #define SET_STACK_FLOAT(value, offset) (*((jfloat *)&topOfStack[-(offset)]) = (value))
duke@435 74 #define SET_STACK_OBJECT(value, offset) (*((oop *)&topOfStack[-(offset)]) = (value))
duke@435 75 #define SET_STACK_DOUBLE(value, offset) (((VMJavaVal64*)&topOfStack[-(offset)])->d = (value))
duke@435 76 #define SET_STACK_DOUBLE_FROM_ADDR(addr, offset) (((VMJavaVal64*)&topOfStack[-(offset)])->d = \
duke@435 77 ((VMJavaVal64*)(addr))->d)
duke@435 78 #define SET_STACK_LONG(value, offset) (((VMJavaVal64*)&topOfStack[-(offset)])->l = (value))
duke@435 79 #define SET_STACK_LONG_FROM_ADDR(addr, offset) (((VMJavaVal64*)&topOfStack[-(offset)])->l = \
duke@435 80 ((VMJavaVal64*)(addr))->l)
duke@435 81
duke@435 82 #define LOCALS_SLOT(offset) ((intptr_t*)&locals[-(offset)])
duke@435 83 #define LOCALS_ADDR(offset) ((address)locals[-(offset)])
sgoldman@558 84 #define LOCALS_INT(offset) (*((jint*)&locals[-(offset)]))
duke@435 85 #define LOCALS_FLOAT(offset) (*((jfloat*)&locals[-(offset)]))
duke@435 86 #define LOCALS_OBJECT(offset) ((oop)locals[-(offset)])
duke@435 87 #define LOCALS_DOUBLE(offset) (((VMJavaVal64*)&locals[-((offset) + 1)])->d)
duke@435 88 #define LOCALS_LONG(offset) (((VMJavaVal64*)&locals[-((offset) + 1)])->l)
duke@435 89 #define LOCALS_LONG_AT(offset) (((address)&locals[-((offset) + 1)]))
duke@435 90 #define LOCALS_DOUBLE_AT(offset) (((address)&locals[-((offset) + 1)]))
duke@435 91
duke@435 92 #define SET_LOCALS_SLOT(value, offset) (*(intptr_t*)&locals[-(offset)] = *(intptr_t *)(value))
duke@435 93 #define SET_LOCALS_ADDR(value, offset) (*((address *)&locals[-(offset)]) = (value))
duke@435 94 #define SET_LOCALS_INT(value, offset) (*((jint *)&locals[-(offset)]) = (value))
duke@435 95 #define SET_LOCALS_FLOAT(value, offset) (*((jfloat *)&locals[-(offset)]) = (value))
duke@435 96 #define SET_LOCALS_OBJECT(value, offset) (*((oop *)&locals[-(offset)]) = (value))
duke@435 97 #define SET_LOCALS_DOUBLE(value, offset) (((VMJavaVal64*)&locals[-((offset)+1)])->d = (value))
duke@435 98 #define SET_LOCALS_LONG(value, offset) (((VMJavaVal64*)&locals[-((offset)+1)])->l = (value))
duke@435 99 #define SET_LOCALS_DOUBLE_FROM_ADDR(addr, offset) (((VMJavaVal64*)&locals[-((offset)+1)])->d = \
duke@435 100 ((VMJavaVal64*)(addr))->d)
duke@435 101 #define SET_LOCALS_LONG_FROM_ADDR(addr, offset) (((VMJavaVal64*)&locals[-((offset)+1)])->l = \
duke@435 102 ((VMJavaVal64*)(addr))->l)
stefank@2314 103
stefank@2314 104 #endif // CPU_SPARC_VM_BYTECODEINTERPRETER_SPARC_HPP

mercurial