comparison src/cpu/zero/vm/cppInterpreter_zero.cpp @ 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 c7f3d0b4570f
children 732454aaf5cb
comparison
equal deleted inserted replaced
3248:e6beb62de02d 3249:e1162778c1c8
735 return NULL; 735 return NULL;
736 736
737 return generate_entry((address) CppInterpreter::accessor_entry); 737 return generate_entry((address) CppInterpreter::accessor_entry);
738 } 738 }
739 739
740 address InterpreterGenerator::generate_Reference_get_entry(void) {
741 #ifndef SERIALGC
742 if (UseG1GC) {
743 // We need to generate have a routine that generates code to:
744 // * load the value in the referent field
745 // * passes that value to the pre-barrier.
746 //
747 // In the case of G1 this will record the value of the
748 // referent in an SATB buffer if marking is active.
749 // This will cause concurrent marking to mark the referent
750 // field as live.
751 Unimplemented();
752 }
753 #endif // SERIALGC
754
755 // If G1 is not enabled then attempt to go through the accessor entry point
756 // Reference.get is an accessor
757 return generate_accessor_entry();
758 }
759
740 address InterpreterGenerator::generate_native_entry(bool synchronized) { 760 address InterpreterGenerator::generate_native_entry(bool synchronized) {
741 assert(synchronized == false, "should be"); 761 assert(synchronized == false, "should be");
742 762
743 return generate_entry((address) CppInterpreter::native_entry); 763 return generate_entry((address) CppInterpreter::native_entry);
744 } 764 }
788 case Interpreter::java_lang_math_abs: 808 case Interpreter::java_lang_math_abs:
789 case Interpreter::java_lang_math_log: 809 case Interpreter::java_lang_math_log:
790 case Interpreter::java_lang_math_log10: 810 case Interpreter::java_lang_math_log10:
791 case Interpreter::java_lang_math_sqrt: 811 case Interpreter::java_lang_math_sqrt:
792 entry_point = ((InterpreterGenerator*) this)->generate_math_entry(kind); 812 entry_point = ((InterpreterGenerator*) this)->generate_math_entry(kind);
813 break;
814
815 case Interpreter::java_lang_ref_reference_get:
816 entry_point = ((InterpreterGenerator*)this)->generate_Reference_get_entry();
793 break; 817 break;
794 818
795 default: 819 default:
796 ShouldNotReachHere(); 820 ShouldNotReachHere();
797 } 821 }