1 /*
   2  * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #include "precompiled.hpp"
  26 #include "classfile/altHashing.hpp"
  27 #include "classfile/javaClasses.inline.hpp"
  28 #include "memory/resourceArea.hpp"
  29 #include "oops/access.inline.hpp"
  30 #include "oops/oop.inline.hpp"
  31 #include "oops/verifyOopClosure.hpp"
  32 #include "runtime/handles.inline.hpp"
  33 #include "runtime/thread.inline.hpp"
  34 #include "utilities/copy.hpp"
  35 #if INCLUDE_G1GC
  36 #include "gc/g1/g1Allocator.inline.hpp"
  37 #endif
  38 
  39 bool always_do_update_barrier = false;
  40 
  41 void oopDesc::print_on(outputStream* st) const {
  42   if (this == NULL) {
  43     st->print_cr("NULL");
  44   } else {
  45     klass()->oop_print_on(oop(this), st);
  46   }
  47 }
  48 
  49 void oopDesc::print_address_on(outputStream* st) const {
  50   st->print("{" INTPTR_FORMAT "}", p2i(this));
  51 
  52 }
  53 
  54 void oopDesc::print()         { print_on(tty);         }
  55 
  56 void oopDesc::print_address() { print_address_on(tty); }
  57 
  58 char* oopDesc::print_string() {
  59   stringStream st;
  60   print_on(&st);
  61   return st.as_string();
  62 }
  63 
  64 void oopDesc::print_value() {
  65   print_value_on(tty);
  66 }
  67 
  68 char* oopDesc::print_value_string() {
  69   char buf[100];
  70   stringStream st(buf, sizeof(buf));
  71   print_value_on(&st);
  72   return st.as_string();
  73 }
  74 
  75 void oopDesc::print_value_on(outputStream* st) const {
  76   oop obj = oop(this);
  77   if (this == NULL) {
  78     st->print("NULL");
  79   } else if (java_lang_String::is_instance(obj)) {
  80     java_lang_String::print(obj, st);
  81     print_address_on(st);
  82   } else {
  83     klass()->oop_print_value_on(obj, st);
  84   }
  85 }
  86 
  87 
  88 void oopDesc::verify_on(outputStream* st) {
  89   if (this != NULL) {
  90     klass()->oop_verify_on(this, st);
  91   }
  92 }
  93 
  94 
  95 void oopDesc::verify() {
  96   verify_on(tty);
  97 }
  98 
  99 intptr_t oopDesc::slow_identity_hash() {
 100   // slow case; we have to acquire the micro lock in order to locate the header
 101   Thread* THREAD = Thread::current();
 102   ResetNoHandleMark rnm; // Might be called from LEAF/QUICK ENTRY
 103   HandleMark hm(THREAD);
 104   Handle object(THREAD, this);
 105   return ObjectSynchronizer::identity_hash_value_for(object);
 106 }
 107 
 108 // When String table needs to rehash
 109 unsigned int oopDesc::new_hash(juint seed) {
 110   EXCEPTION_MARK;
 111   ResourceMark rm;
 112   int length;
 113   jchar* chars = java_lang_String::as_unicode_string(this, length, THREAD);
 114   if (chars != NULL) {
 115     // Use alternate hashing algorithm on the string
 116     return AltHashing::murmur3_32(seed, chars, length);
 117   } else {
 118     vm_exit_out_of_memory(length, OOM_MALLOC_ERROR, "unable to create Unicode strings for String table rehash");
 119     return 0;
 120   }
 121 }
 122 
 123 // used only for asserts and guarantees
 124 bool oopDesc::is_oop(oop obj, bool ignore_mark_word) {
 125   if (!Universe::heap()->is_oop(obj)) {
 126     return false;
 127   }
 128 
 129   // Header verification: the mark is typically non-NULL. If we're
 130   // at a safepoint, it must not be null.
 131   // Outside of a safepoint, the header could be changing (for example,
 132   // another thread could be inflating a lock on this object).
 133   if (ignore_mark_word) {
 134     return true;
 135   }
 136   if (obj->mark_raw() != NULL) {
 137     return true;
 138   }
 139   return !SafepointSynchronize::is_at_safepoint();
 140 }
 141 
 142 // used only for asserts and guarantees
 143 bool oopDesc::is_oop_or_null(oop obj, bool ignore_mark_word) {
 144   return obj == NULL ? true : is_oop(obj, ignore_mark_word);
 145 }
 146 
 147 #ifndef PRODUCT
 148 // used only for asserts
 149 bool oopDesc::is_unlocked_oop() const {
 150   if (!Universe::heap()->is_in_reserved(this)) return false;
 151   return mark()->is_unlocked();
 152 }
 153 #endif // PRODUCT
 154 
 155 VerifyOopClosure VerifyOopClosure::verify_oop;
 156 
 157 template <class T> void VerifyOopClosure::do_oop_work(T* p) {
 158   oop obj = RawAccess<>::oop_load(p);
 159   guarantee(oopDesc::is_oop_or_null(obj), "invalid oop: " INTPTR_FORMAT, p2i((oopDesc*) obj));
 160 }
 161 
 162 void VerifyOopClosure::do_oop(oop* p)       { VerifyOopClosure::do_oop_work(p); }
 163 void VerifyOopClosure::do_oop(narrowOop* p) { VerifyOopClosure::do_oop_work(p); }
 164 
 165 // type test operations that doesn't require inclusion of oop.inline.hpp.
 166 bool oopDesc::is_instance_noinline()          const { return is_instance();            }
 167 bool oopDesc::is_array_noinline()             const { return is_array();               }
 168 bool oopDesc::is_objArray_noinline()          const { return is_objArray();            }
 169 bool oopDesc::is_typeArray_noinline()         const { return is_typeArray();           }
 170 
 171 bool oopDesc::has_klass_gap() {
 172   // Only has a klass gap when compressed class pointers are used.
 173   return UseCompressedClassPointers;
 174 }
 175 
 176 oop oopDesc::obj_field_acquire(int offset) const                      { return HeapAccess<MO_ACQUIRE>::oop_load_at(as_oop(), offset); }
 177 
 178 void oopDesc::obj_field_put_raw(int offset, oop value)                { RawAccess<>::oop_store_at(as_oop(), offset, value); }
 179 void oopDesc::release_obj_field_put(int offset, oop value)            { HeapAccess<MO_RELEASE>::oop_store_at(as_oop(), offset, value); }
 180 void oopDesc::obj_field_put_volatile(int offset, oop value)           { HeapAccess<MO_SEQ_CST>::oop_store_at(as_oop(), offset, value); }
 181 
 182 address oopDesc::address_field(int offset) const                      { return HeapAccess<>::load_at(as_oop(), offset); }
 183 address oopDesc::address_field_acquire(int offset) const              { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 184 
 185 void oopDesc::address_field_put(int offset, address value)            { HeapAccess<>::store_at(as_oop(), offset, value); }
 186 void oopDesc::release_address_field_put(int offset, address value)    { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 187 
 188 Metadata* oopDesc::metadata_field(int offset) const                   { return HeapAccess<>::load_at(as_oop(), offset); }
 189 void oopDesc::metadata_field_put(int offset, Metadata* value)         { HeapAccess<>::store_at(as_oop(), offset, value); }
 190 
 191 Metadata* oopDesc::metadata_field_acquire(int offset) const           { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 192 void oopDesc::release_metadata_field_put(int offset, Metadata* value) { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 193 
 194 jbyte oopDesc::byte_field_acquire(int offset) const                   { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 195 void oopDesc::release_byte_field_put(int offset, jbyte value)         { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 196 
 197 jchar oopDesc::char_field_acquire(int offset) const                   { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 198 void oopDesc::release_char_field_put(int offset, jchar value)         { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 199 
 200 jboolean oopDesc::bool_field_acquire(int offset) const                { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 201 void oopDesc::release_bool_field_put(int offset, jboolean value)      { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, jboolean(value & 1)); }
 202 
 203 jint oopDesc::int_field_acquire(int offset) const                     { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 204 void oopDesc::release_int_field_put(int offset, jint value)           { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 205 
 206 jshort oopDesc::short_field_acquire(int offset) const                 { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 207 void oopDesc::release_short_field_put(int offset, jshort value)       { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 208 
 209 jlong oopDesc::long_field_acquire(int offset) const                   { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 210 void oopDesc::release_long_field_put(int offset, jlong value)         { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 211 
 212 jfloat oopDesc::float_field_acquire(int offset) const                 { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 213 void oopDesc::release_float_field_put(int offset, jfloat value)       { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 214 
 215 jdouble oopDesc::double_field_acquire(int offset) const               { return HeapAccess<MO_ACQUIRE>::load_at(as_oop(), offset); }
 216 void oopDesc::release_double_field_put(int offset, jdouble value)     { HeapAccess<MO_RELEASE>::store_at(as_oop(), offset, value); }
 217 
 218 #if INCLUDE_CDS_JAVA_HEAP
 219 bool oopDesc::is_archive_object(oop p) {
 220   return (p == NULL) ? false : G1ArchiveAllocator::is_archive_object(p);
 221 }
 222 #endif