Thu, 07 Apr 2011 09:53:20 -0700
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 | /* |
trims@1907 | 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 CPU_SPARC_VM_STUBROUTINES_SPARC_HPP |
stefank@2314 | 26 | #define CPU_SPARC_VM_STUBROUTINES_SPARC_HPP |
stefank@2314 | 27 | |
duke@435 | 28 | // This file holds the platform specific parts of the StubRoutines |
duke@435 | 29 | // definition. See stubRoutines.hpp for a description on how to |
duke@435 | 30 | // extend it. |
duke@435 | 31 | |
duke@435 | 32 | |
duke@435 | 33 | // So unfortunately c2 will call with a pc from a frame object |
duke@435 | 34 | // (already adjusted) and a raw pc (unadjusted), so we need to check both. |
duke@435 | 35 | // It didn't use to be like this before adapter removal. |
duke@435 | 36 | static bool returns_to_call_stub(address return_pc) { |
duke@435 | 37 | return ((return_pc + frame::pc_return_offset) == _call_stub_return_address) || |
duke@435 | 38 | (return_pc == _call_stub_return_address ); |
duke@435 | 39 | } |
duke@435 | 40 | |
duke@435 | 41 | enum /* platform_dependent_constants */ { |
duke@435 | 42 | // %%%%%%%% May be able to shrink this a lot |
twisti@1734 | 43 | code_size1 = 20000, // simply increase if too small (assembler will crash if too small) |
twisti@1734 | 44 | code_size2 = 20000 // simply increase if too small (assembler will crash if too small) |
twisti@1734 | 45 | }; |
twisti@1734 | 46 | |
twisti@1734 | 47 | // MethodHandles adapters |
twisti@1734 | 48 | enum method_handles_platform_dependent_constants { |
twisti@2201 | 49 | method_handles_adapters_code_size = 15000 |
duke@435 | 50 | }; |
duke@435 | 51 | |
duke@435 | 52 | class Sparc { |
duke@435 | 53 | friend class StubGenerator; |
duke@435 | 54 | |
duke@435 | 55 | public: |
duke@435 | 56 | enum { nof_instance_allocators = 10 }; |
duke@435 | 57 | |
duke@435 | 58 | // allocator lock values |
duke@435 | 59 | enum { |
duke@435 | 60 | unlocked = 0, |
duke@435 | 61 | locked = 1 |
duke@435 | 62 | }; |
duke@435 | 63 | |
duke@435 | 64 | enum { |
duke@435 | 65 | v8_oop_lock_ignore_bits = 2, |
duke@435 | 66 | v8_oop_lock_bits = 4, |
duke@435 | 67 | nof_v8_oop_lock_cache_entries = 1 << (v8_oop_lock_bits+v8_oop_lock_ignore_bits), |
duke@435 | 68 | v8_oop_lock_mask = right_n_bits(v8_oop_lock_bits), |
duke@435 | 69 | v8_oop_lock_mask_in_place = v8_oop_lock_mask << v8_oop_lock_ignore_bits |
duke@435 | 70 | }; |
duke@435 | 71 | |
duke@435 | 72 | static int _v8_oop_lock_cache[nof_v8_oop_lock_cache_entries]; |
duke@435 | 73 | |
duke@435 | 74 | private: |
duke@435 | 75 | static address _test_stop_entry; |
duke@435 | 76 | static address _stop_subroutine_entry; |
duke@435 | 77 | static address _flush_callers_register_windows_entry; |
duke@435 | 78 | |
duke@435 | 79 | static int _atomic_memory_operation_lock; |
duke@435 | 80 | |
duke@435 | 81 | static address _partial_subtype_check; |
duke@435 | 82 | |
duke@435 | 83 | public: |
duke@435 | 84 | // %%% global lock for everyone who needs to use atomic_compare_and_exchange |
duke@435 | 85 | // %%% or atomic_increment -- should probably use more locks for more |
duke@435 | 86 | // %%% scalability-- for instance one for each eden space or group of |
duke@435 | 87 | |
duke@435 | 88 | // address of the lock for atomic_compare_and_exchange |
duke@435 | 89 | static int* atomic_memory_operation_lock_addr() { return &_atomic_memory_operation_lock; } |
duke@435 | 90 | |
duke@435 | 91 | // accessor and mutator for _atomic_memory_operation_lock |
duke@435 | 92 | static int atomic_memory_operation_lock() { return _atomic_memory_operation_lock; } |
duke@435 | 93 | static void set_atomic_memory_operation_lock(int value) { _atomic_memory_operation_lock = value; } |
duke@435 | 94 | |
duke@435 | 95 | // test assembler stop routine by setting registers |
duke@435 | 96 | static void (*test_stop_entry()) () { return CAST_TO_FN_PTR(void (*)(void), _test_stop_entry); } |
duke@435 | 97 | |
duke@435 | 98 | // a subroutine for debugging assembler code |
duke@435 | 99 | static address stop_subroutine_entry_address() { return (address)&_stop_subroutine_entry; } |
duke@435 | 100 | |
duke@435 | 101 | // flushes (all but current) register window |
duke@435 | 102 | static intptr_t* (*flush_callers_register_windows_func())() { return CAST_TO_FN_PTR(intptr_t* (*)(void), _flush_callers_register_windows_entry); } |
duke@435 | 103 | |
duke@435 | 104 | static address partial_subtype_check() { return _partial_subtype_check; } |
duke@435 | 105 | }; |
stefank@2314 | 106 | |
stefank@2314 | 107 | #endif // CPU_SPARC_VM_STUBROUTINES_SPARC_HPP |