duke@435: /*
stefank@2314:  * Copyright (c) 2004, 2010, Oracle and/or its affiliates. All rights reserved.
duke@435:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435:  *
duke@435:  * This code is free software; you can redistribute it and/or modify it
duke@435:  * under the terms of the GNU General Public License version 2 only, as
duke@435:  * published by the Free Software Foundation.
duke@435:  *
duke@435:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@435:  * version 2 for more details (a copy is included in the LICENSE file that
duke@435:  * accompanied this code).
duke@435:  *
duke@435:  * You should have received a copy of the GNU General Public License version
duke@435:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@435:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435:  *
trims@1907:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907:  * or visit www.oracle.com if you need additional information or have any
trims@1907:  * questions.
duke@435:  *
duke@435:  */
duke@435: 
stefank@2314: #ifndef SHARE_VM_PRIMS_JNIFASTGETFIELD_HPP
stefank@2314: #define SHARE_VM_PRIMS_JNIFASTGETFIELD_HPP
stefank@2314: 
stefank@2314: #include "memory/allocation.hpp"
stefank@2314: #include "prims/jvm_misc.hpp"
stefank@2314: 
duke@435: // Basic logic of a fast version of jni_Get<Primitive>Field:
duke@435: //
duke@435: // (See safepoint.hpp for a description of _safepoint_counter)
duke@435: //
duke@435: // load _safepoint_counter into old_counter
duke@435: // IF old_counter is odd THEN
duke@435: //   a safepoint is going on, return jni_GetXXXField
duke@435: // ELSE
duke@435: //   load the primitive field value into result (speculatively)
duke@435: //   load _safepoint_counter into new_counter
duke@435: //   IF (old_counter == new_counter) THEN
duke@435: //     no safepoint happened during the field access, return result
duke@435: //   ELSE
duke@435: //     a safepoint might have happened in-between, return jni_GetXXXField()
duke@435: //   ENDIF
duke@435: // ENDIF
duke@435: //
duke@435: // LoadLoad membars to maintain the load order may be necessary
duke@435: // for some platforms.
duke@435: //
duke@435: // The fast versions don't check for pending suspension request.
duke@435: // This is fine since it's totally read-only and doesn't create new race.
duke@435: //
duke@435: // There is a hypothetical safepoint counter wraparound. But it's not
duke@435: // a practical concern.
duke@435: 
duke@435: class JNI_FastGetField : AllStatic {
duke@435:  private:
duke@435:   enum { LIST_CAPACITY = 40 };      // a conservative number for the number of
duke@435:                                     // speculative loads on all the platforms
duke@435:   static address speculative_load_pclist [];
duke@435:   static address slowcase_entry_pclist   [];
duke@435:   static int     count;
duke@435: 
duke@435:   static address generate_fast_get_int_field0(BasicType type);
duke@435:   static address generate_fast_get_float_field0(BasicType type);
duke@435: 
duke@435:  public:
duke@435: #if defined(_WINDOWS) && !defined(_WIN64)
duke@435:   static GetBooleanField_t jni_fast_GetBooleanField_fp;
duke@435:   static GetByteField_t    jni_fast_GetByteField_fp;
duke@435:   static GetCharField_t    jni_fast_GetCharField_fp;
duke@435:   static GetShortField_t   jni_fast_GetShortField_fp;
duke@435:   static GetIntField_t     jni_fast_GetIntField_fp;
duke@435:   static GetLongField_t    jni_fast_GetLongField_fp;
duke@435:   static GetFloatField_t   jni_fast_GetFloatField_fp;
duke@435:   static GetDoubleField_t  jni_fast_GetDoubleField_fp;
duke@435: #endif
duke@435: 
duke@435:   static address generate_fast_get_boolean_field();
duke@435:   static address generate_fast_get_byte_field();
duke@435:   static address generate_fast_get_char_field();
duke@435:   static address generate_fast_get_short_field();
duke@435:   static address generate_fast_get_int_field();
duke@435:   static address generate_fast_get_long_field();
duke@435:   static address generate_fast_get_float_field();
duke@435:   static address generate_fast_get_double_field();
duke@435: 
duke@435:   // If pc is in speculative_load_pclist, return the corresponding
duke@435:   // slow case entry pc. Otherwise, return -1.
duke@435:   // This is used by signal/exception handler to handle such case:
duke@435:   // After an even safepoint counter is loaded and a fast field access
duke@435:   // is about to begin, a GC kicks in and shrinks the heap. Then the
duke@435:   // field access may fault. The signal/exception handler needs to
duke@435:   // return to the slow case.
duke@435:   //
duke@435:   // The GC may decide to temporarily stuff some bad values into handles,
duke@435:   // for example, for debugging purpose, in which case we need the mapping also.
duke@435:   static address find_slowcase_pc(address pc);
duke@435: };
stefank@2314: 
stefank@2314: #endif // SHARE_VM_PRIMS_JNIFASTGETFIELD_HPP