annotate src/share/vm/prims/jniCheck.hpp @ 3249:e1162778c1c8

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
author johnc
date Thu, 07 Apr 2011 09:53:20 -0700
parents f95d63e2154a
children da91efe96a93
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2003, 2010, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 470
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 470
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 470
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_PRIMS_JNICHECK_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_PRIMS_JNICHECK_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #ifndef KERNEL
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "runtime/thread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31
465
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
32 extern "C" {
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
33 // Report a JNI failure caught by -Xcheck:jni. Perform a core dump.
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
34 // Note: two variations -- one to be called when in VM state (e.g. when
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
35 // within IN_VM macro), one to be called when in NATIVE state.
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
36
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
37 // When in VM state:
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
38 static void ReportJNIFatalError(JavaThread* thr, const char *msg) {
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
39 tty->print_cr("FATAL ERROR in native method: %s", msg);
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
40 thr->print_stack();
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
41 os::abort(true);
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
42 }
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
43 }
dc16daa0329d 6739363: Xcheck jni doesn't check native function arguments
poonam
parents: 0
diff changeset
44
0
a61af66fc99e Initial load
duke
parents:
diff changeset
45 //
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // Checked JNI routines that are useful for outside of checked JNI
a61af66fc99e Initial load
duke
parents:
diff changeset
47 //
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 class jniCheck : public AllStatic {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
51 static oop validate_handle(JavaThread* thr, jobject obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
52 static oop validate_object(JavaThread* thr, jobject obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 static klassOop validate_class(JavaThread* thr, jclass clazz, bool allow_primitive = false);
a61af66fc99e Initial load
duke
parents:
diff changeset
54 static void validate_class_descriptor(JavaThread* thr, const char* name);
a61af66fc99e Initial load
duke
parents:
diff changeset
55 static void validate_throwable_klass(JavaThread* thr, klassOop klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
56 static void validate_call_object(JavaThread* thr, jobject obj, jmethodID method_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
57 static void validate_call_class(JavaThread* thr, jclass clazz, jmethodID method_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
58 static methodOop validate_jmethod_id(JavaThread* thr, jmethodID method_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
59 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
60
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
61 #endif // SHARE_VM_PRIMS_JNICHECK_HPP