src/hotspot/share/memory/iterator.inline.hpp
author stefank
Sat, 26 May 2018 06:59:49 +0200
changeset 50752 9d62da00bf15
parent 49592 77fb0be7d19f
child 52141 de6dc206a92b
permissions -rw-r--r--
8204540: Automatic oop closure devirtualization Reviewed-by: kbarrett, eosterlund
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     1
/*
47580
96392e113a0a 8186777: Make Klass::_java_mirror an OopHandle
coleenp
parents: 47216
diff changeset
     2
 * Copyright (c) 2014, 2017, Oracle and/or its affiliates. All rights reserved.
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     4
 *
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     7
 * published by the Free Software Foundation.
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     8
 *
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    13
 * accompanied this code).
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    14
 *
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    18
 *
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    21
 * questions.
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    22
 *
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    23
 */
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    24
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    25
#ifndef SHARE_VM_MEMORY_ITERATOR_INLINE_HPP
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    26
#define SHARE_VM_MEMORY_ITERATOR_INLINE_HPP
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    27
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    28
#include "classfile/classLoaderData.hpp"
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    29
#include "memory/iterator.hpp"
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 47580
diff changeset
    30
#include "oops/access.inline.hpp"
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 47580
diff changeset
    31
#include "oops/compressedOops.inline.hpp"
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    32
#include "oops/klass.hpp"
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    33
#include "oops/instanceKlass.inline.hpp"
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    34
#include "oops/instanceMirrorKlass.inline.hpp"
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    35
#include "oops/instanceClassLoaderKlass.inline.hpp"
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    36
#include "oops/instanceRefKlass.inline.hpp"
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    37
#include "oops/objArrayKlass.inline.hpp"
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    38
#include "oops/typeArrayKlass.inline.hpp"
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    39
#include "utilities/debug.hpp"
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    40
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    41
inline void MetadataVisitingOopIterateClosure::do_cld(ClassLoaderData* cld) {
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    42
  bool claim = true;  // Must claim the class loader data before processing.
47580
96392e113a0a 8186777: Make Klass::_java_mirror an OopHandle
coleenp
parents: 47216
diff changeset
    43
  cld->oops_do(this, claim);
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    44
}
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    45
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    46
inline void MetadataVisitingOopIterateClosure::do_klass(Klass* k) {
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    47
  ClassLoaderData* cld = k->class_loader_data();
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    48
  MetadataVisitingOopIterateClosure::do_cld(cld);
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    49
}
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
    50
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    51
#ifdef ASSERT
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    52
// This verification is applied to all visited oops.
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    53
// The closures can turn is off by overriding should_verify_oops().
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    54
template <typename T>
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    55
void OopIterateClosure::verify(T* p) {
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    56
  if (should_verify_oops()) {
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 47580
diff changeset
    57
    T heap_oop = RawAccess<>::oop_load(p);
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 47580
diff changeset
    58
    if (!CompressedOops::is_null(heap_oop)) {
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 47580
diff changeset
    59
      oop o = CompressedOops::decode_not_null(heap_oop);
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    60
      assert(Universe::heap()->is_in_closed_subset(o),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
    61
             "should be in closed *p " PTR_FORMAT " " PTR_FORMAT, p2i(p), p2i(o));
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    62
    }
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    63
  }
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    64
}
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    65
#endif
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    66
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
    67
// Implementation of the non-virtual do_oop dispatch.
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    68
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    69
// The same implementation is used for do_metadata, do_klass, and do_cld.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    70
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    71
// Preconditions:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    72
//  - Base has a pure virtual do_oop
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    73
//  - Only one of the classes in the inheritance chain from OopClosureType to
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    74
//    Base implements do_oop.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    75
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    76
// Given the preconditions:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    77
//  - If &OopClosureType::do_oop is resolved to &Base::do_oop, then there is no
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    78
//    implementation of do_oop between Base and OopClosureType. However, there
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    79
//    must be one implementation in one of the subclasses of OopClosureType.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    80
//    In this case we take the virtual call.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    81
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    82
//  - Conversely, if &OopClosureType::do_oop is not resolved to &Base::do_oop,
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    83
//    then we've found the one and only concrete implementation. In this case we
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    84
//    take a non-virtual call.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    85
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    86
// Because of this it's clear when we should call the virtual call and
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    87
//   when the non-virtual call should be made.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    88
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    89
// The way we find if &OopClosureType::do_oop is resolved to &Base::do_oop is to
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    90
//   check if the resulting type of the class of a member-function pointer to
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    91
//   &OopClosureType::do_oop is equal to the type of the class of a
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    92
//   &Base::do_oop member-function pointer. Template parameter deduction is used
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    93
//   to find these types, and then the IsSame trait is used to check if they are
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    94
//   equal. Finally, SFINAE is used to select the appropriate implementation.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    95
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    96
// Template parameters:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    97
//   T              - narrowOop or oop
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    98
//   Receiver       - the resolved type of the class of the
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
    99
//                    &OopClosureType::do_oop member-function pointer. That is,
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   100
//                    the klass with the do_oop member function.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   101
//   Base           - klass with the pure virtual do_oop member function.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   102
//   OopClosureType - The dynamic closure type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   103
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   104
// Parameters:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   105
//   closure - The closure to call
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   106
//   p       - The oop (or narrowOop) field to pass to the closure
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   107
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   108
template <typename T, typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   109
static typename EnableIf<IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   110
call_do_oop(void (Receiver::*)(T*), void (Base::*)(T*), OopClosureType* closure, T* p) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   111
  closure->do_oop(p);
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   112
}
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   113
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   114
template <typename T, typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   115
static typename EnableIf<!IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   116
call_do_oop(void (Receiver::*)(T*), void (Base::*)(T*), OopClosureType* closure, T* p) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   117
  // Sanity check
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   118
  STATIC_ASSERT((!IsSame<OopClosureType, OopIterateClosure>::value));
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   119
  closure->OopClosureType::do_oop(p);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   120
}
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   121
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   122
template <typename OopClosureType, typename T>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   123
inline void Devirtualizer::do_oop_no_verify(OopClosureType* closure, T* p) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   124
  call_do_oop<T>(&OopClosureType::do_oop, &OopClosure::do_oop, closure, p);
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   125
}
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   126
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   127
template <typename OopClosureType, typename T>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   128
inline void Devirtualizer::do_oop(OopClosureType* closure, T* p) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   129
  debug_only(closure->verify(p));
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   130
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   131
  do_oop_no_verify(closure, p);
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   132
}
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   133
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   134
// Implementation of the non-virtual do_metadata dispatch.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   135
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   136
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   137
static typename EnableIf<IsSame<Receiver, Base>::value, bool>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   138
call_do_metadata(bool (Receiver::*)(), bool (Base::*)(), OopClosureType* closure) {
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   139
  return closure->do_metadata();
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   140
}
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   141
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   142
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   143
static typename EnableIf<!IsSame<Receiver, Base>::value, bool>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   144
call_do_metadata(bool (Receiver::*)(), bool (Base::*)(), OopClosureType* closure) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   145
  return closure->OopClosureType::do_metadata();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   146
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   147
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   148
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   149
inline bool Devirtualizer::do_metadata(OopClosureType* closure) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   150
  return call_do_metadata(&OopClosureType::do_metadata, &OopIterateClosure::do_metadata, closure);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   151
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   152
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   153
// Implementation of the non-virtual do_klass dispatch.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   154
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   155
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   156
static typename EnableIf<IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   157
call_do_klass(void (Receiver::*)(Klass*), void (Base::*)(Klass*), OopClosureType* closure, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   158
  closure->do_klass(k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   159
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   160
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   161
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   162
static typename EnableIf<!IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   163
call_do_klass(void (Receiver::*)(Klass*), void (Base::*)(Klass*), OopClosureType* closure, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   164
  closure->OopClosureType::do_klass(k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   165
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   166
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   167
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   168
inline void Devirtualizer::do_klass(OopClosureType* closure, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   169
  call_do_klass(&OopClosureType::do_klass, &OopIterateClosure::do_klass, closure, k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   170
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   171
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   172
// Implementation of the non-virtual do_cld dispatch.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   173
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   174
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   175
static typename EnableIf<IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   176
call_do_cld(void (Receiver::*)(ClassLoaderData*), void (Base::*)(ClassLoaderData*), OopClosureType* closure, ClassLoaderData* cld) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   177
  closure->do_cld(cld);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   178
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   179
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   180
template <typename Receiver, typename Base, typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   181
static typename EnableIf<!IsSame<Receiver, Base>::value, void>::type
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   182
call_do_cld(void (Receiver::*)(ClassLoaderData*), void (Base::*)(ClassLoaderData*), OopClosureType* closure, ClassLoaderData* cld) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   183
  closure->OopClosureType::do_cld(cld);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   184
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   185
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   186
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   187
void Devirtualizer::do_cld(OopClosureType* closure, ClassLoaderData* cld) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   188
  call_do_cld(&OopClosureType::do_cld, &OopIterateClosure::do_cld, closure, cld);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   189
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   190
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   191
// Dispatch table implementation for *Klass::oop_oop_iterate
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   192
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   193
// It allows for a single call to do a multi-dispatch to an optimized version
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   194
//   of oop_oop_iterate that statically know all these types:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   195
//   - OopClosureType    : static type give at call site
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   196
//   - Klass*            : dynamic to static type through Klass::id() -> table index
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   197
//   - UseCompressedOops : dynamic to static value determined once
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   198
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   199
// when users call obj->oop_iterate(&cl).
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   200
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   201
// oopDesc::oop_iterate() calls OopOopIterateDispatch::function(klass)(cl, obj, klass),
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   202
//   which dispatches to an optimized version of
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   203
//   [Instance, ObjArry, etc]Klass::oop_oop_iterate(oop, OopClosureType)
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   204
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   205
// OopClosureType :
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   206
//   If OopClosureType has an implementation of do_oop (and do_metadata et.al.),
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   207
//   then the static type of OopClosureType will be used to allow inlining of
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   208
//   do_oop (even though do_oop is virtual). Otherwise, a virtual call will be
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   209
//   used when calling do_oop.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   210
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   211
// Klass* :
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   212
//   A table mapping from *Klass::ID to function is setup. This happens once
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   213
//   when the program starts, when the static _table instance is initialized for
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   214
//   the OopOopIterateDispatch specialized with the OopClosureType.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   215
//
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   216
// UseCompressedOops :
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   217
//   Initially the table is populated with an init function, and not the actual
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   218
//   oop_oop_iterate function. This is done, so that the first time we dispatch
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   219
//   through the init function we check what the value of UseCompressedOops
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   220
//   became, and use that to determine if we should install an optimized
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   221
//   narrowOop version or optimized oop version of oop_oop_iterate. The appropriate
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   222
//   oop_oop_iterate function replaces the init function in the table, and
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   223
//   succeeding calls will jump directly to oop_oop_iterate.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   224
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   225
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   226
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   227
class OopOopIterateDispatch : public AllStatic {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   228
private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   229
  class Table {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   230
  private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   231
    template <typename KlassType, typename T>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   232
    static void oop_oop_iterate(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   233
      ((KlassType*)k)->KlassType::template oop_oop_iterate<T>(obj, cl);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   234
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   235
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   236
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   237
    static void init(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   238
      OopOopIterateDispatch<OopClosureType>::_table.set_resolve_function_and_execute<KlassType>(cl, obj, k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   239
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   240
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   241
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   242
    void set_init_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   243
      _function[KlassType::ID] = &init<KlassType>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   244
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   245
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   246
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   247
    void set_resolve_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   248
      // Size requirement to prevent word tearing
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   249
      // when functions pointers are updated.
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   250
      STATIC_ASSERT(sizeof(_function[0]) == sizeof(void*));
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   251
      if (UseCompressedOops) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   252
        _function[KlassType::ID] = &oop_oop_iterate<KlassType, narrowOop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   253
      } else {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   254
        _function[KlassType::ID] = &oop_oop_iterate<KlassType, oop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   255
      }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   256
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   257
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   258
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   259
    void set_resolve_function_and_execute(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   260
      set_resolve_function<KlassType>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   261
      _function[KlassType::ID](cl, obj, k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   262
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   263
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   264
  public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   265
    void (*_function[KLASS_ID_COUNT])(OopClosureType*, oop, Klass*);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   266
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   267
    Table(){
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   268
      set_init_function<InstanceKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   269
      set_init_function<InstanceRefKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   270
      set_init_function<InstanceMirrorKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   271
      set_init_function<InstanceClassLoaderKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   272
      set_init_function<ObjArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   273
      set_init_function<TypeArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   274
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   275
  };
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   276
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   277
  static Table _table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   278
public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   279
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   280
  static void (*function(Klass* klass))(OopClosureType*, oop, Klass*) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   281
    return _table._function[klass->id()];
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   282
  }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   283
};
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   284
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   285
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   286
typename OopOopIterateDispatch<OopClosureType>::Table OopOopIterateDispatch<OopClosureType>::_table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   287
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   288
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   289
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   290
class OopOopIterateBoundedDispatch {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   291
private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   292
  class Table {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   293
  private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   294
    template <typename KlassType, typename T>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   295
    static void oop_oop_iterate_bounded(OopClosureType* cl, oop obj, Klass* k, MemRegion mr) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   296
      ((KlassType*)k)->KlassType::template oop_oop_iterate_bounded<T>(obj, cl, mr);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   297
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   298
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   299
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   300
    static void init(OopClosureType* cl, oop obj, Klass* k, MemRegion mr) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   301
      OopOopIterateBoundedDispatch<OopClosureType>::_table.set_resolve_function_and_execute<KlassType>(cl, obj, k, mr);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   302
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   303
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   304
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   305
    void set_init_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   306
      _function[KlassType::ID] = &init<KlassType>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   307
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   308
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   309
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   310
    void set_resolve_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   311
      if (UseCompressedOops) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   312
        _function[KlassType::ID] = &oop_oop_iterate_bounded<KlassType, narrowOop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   313
      } else {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   314
        _function[KlassType::ID] = &oop_oop_iterate_bounded<KlassType, oop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   315
      }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   316
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   317
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   318
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   319
    void set_resolve_function_and_execute(OopClosureType* cl, oop obj, Klass* k, MemRegion mr) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   320
      set_resolve_function<KlassType>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   321
      _function[KlassType::ID](cl, obj, k, mr);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   322
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   323
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   324
  public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   325
    void (*_function[KLASS_ID_COUNT])(OopClosureType*, oop, Klass*, MemRegion);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   326
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   327
    Table(){
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   328
      set_init_function<InstanceKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   329
      set_init_function<InstanceRefKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   330
      set_init_function<InstanceMirrorKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   331
      set_init_function<InstanceClassLoaderKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   332
      set_init_function<ObjArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   333
      set_init_function<TypeArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   334
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   335
  };
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   336
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   337
  static Table _table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   338
public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   339
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   340
  static void (*function(Klass* klass))(OopClosureType*, oop, Klass*, MemRegion) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   341
    return _table._function[klass->id()];
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   342
  }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   343
};
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   344
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   345
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   346
typename OopOopIterateBoundedDispatch<OopClosureType>::Table OopOopIterateBoundedDispatch<OopClosureType>::_table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   347
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   348
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   349
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   350
class OopOopIterateBackwardsDispatch {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   351
private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   352
  class Table {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   353
  private:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   354
    template <typename KlassType, typename T>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   355
    static void oop_oop_iterate_backwards(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   356
      ((KlassType*)k)->KlassType::template oop_oop_iterate_reverse<T>(obj, cl);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   357
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   358
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   359
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   360
    static void init(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   361
      OopOopIterateBackwardsDispatch<OopClosureType>::_table.set_resolve_function_and_execute<KlassType>(cl, obj, k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   362
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   363
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   364
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   365
    void set_init_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   366
      _function[KlassType::ID] = &init<KlassType>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   367
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   368
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   369
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   370
    void set_resolve_function() {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   371
      if (UseCompressedOops) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   372
        _function[KlassType::ID] = &oop_oop_iterate_backwards<KlassType, narrowOop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   373
      } else {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   374
        _function[KlassType::ID] = &oop_oop_iterate_backwards<KlassType, oop>;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   375
      }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   376
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   377
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   378
    template <typename KlassType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   379
    void set_resolve_function_and_execute(OopClosureType* cl, oop obj, Klass* k) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   380
      set_resolve_function<KlassType>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   381
      _function[KlassType::ID](cl, obj, k);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   382
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   383
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   384
  public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   385
    void (*_function[KLASS_ID_COUNT])(OopClosureType*, oop, Klass*);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   386
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   387
    Table(){
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   388
      set_init_function<InstanceKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   389
      set_init_function<InstanceRefKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   390
      set_init_function<InstanceMirrorKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   391
      set_init_function<InstanceClassLoaderKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   392
      set_init_function<ObjArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   393
      set_init_function<TypeArrayKlass>();
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   394
    }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   395
  };
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   396
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   397
  static Table _table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   398
public:
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   399
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   400
  static void (*function(Klass* klass))(OopClosureType*, oop, Klass*) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   401
    return _table._function[klass->id()];
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   402
  }
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   403
};
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   404
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   405
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   406
typename OopOopIterateBackwardsDispatch<OopClosureType>::Table OopOopIterateBackwardsDispatch<OopClosureType>::_table;
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   407
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   408
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   409
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   410
void OopIteratorClosureDispatch::oop_oop_iterate(OopClosureType* cl, oop obj, Klass* klass) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   411
  OopOopIterateDispatch<OopClosureType>::function(klass)(cl, obj, klass);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   412
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   413
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   414
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   415
void OopIteratorClosureDispatch::oop_oop_iterate(OopClosureType* cl, oop obj, Klass* klass, MemRegion mr) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   416
  OopOopIterateBoundedDispatch<OopClosureType>::function(klass)(cl, obj, klass, mr);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   417
}
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   418
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   419
template <typename OopClosureType>
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   420
void OopIteratorClosureDispatch::oop_oop_iterate_backwards(OopClosureType* cl, oop obj, Klass* klass) {
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   421
  OopOopIterateBackwardsDispatch<OopClosureType>::function(klass)(cl, obj, klass);
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 49592
diff changeset
   422
}
30150
d9c940aa42ef 8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents: 25356
diff changeset
   423
25356
4a4a482298a6 8046670: Make CMS metadata aware closures applicable for other collectors
stefank
parents:
diff changeset
   424
#endif // SHARE_VM_MEMORY_ITERATOR_INLINE_HPP