hotspot/src/share/vm/interpreter/oopMapCache.cpp
author drchase
Fri, 09 May 2014 16:50:54 -0400
changeset 24424 2658d7834c6e
parent 13728 882756847a04
child 25473 185aff4215a4
permissions -rw-r--r--
8037816: Fix for 8036122 breaks build with Xcode5/clang Summary: Repaired or selectively disabled offending formats; future-proofed with additional checking Reviewed-by: kvn, jrose, stefank
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
24424
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 13728
diff changeset
     2
 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5402
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5402
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5402
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    26
#include "interpreter/oopMapCache.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    27
#include "memory/allocation.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    28
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    29
#include "oops/oop.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    30
#include "prims/jvmtiRedefineClassesTrace.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    31
#include "runtime/handles.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6176
diff changeset
    32
#include "runtime/signature.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
24424
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 13728
diff changeset
    34
PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 13728
diff changeset
    35
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
class OopMapCacheEntry: private InterpreterOopMap {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
  friend class InterpreterOopMap;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
  friend class OopMapForCacheEntry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
  friend class OopMapCache;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  friend class VerifyClosure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
  // Initialization
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  void fill(methodHandle method, int bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  // fills the bit mask for native calls
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  void fill_for_native(methodHandle method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  void set_mask(CellTypeState* vars, CellTypeState* stack, int stack_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  // Deallocate bit masks and initialize fields
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  void flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  void allocate_bit_mask();   // allocates the bit mask on C heap f necessary
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  void deallocate_bit_mask(); // allocates the bit mask on C heap f necessary
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  bool verify_mask(CellTypeState *vars, CellTypeState *stack, int max_locals, int stack_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  OopMapCacheEntry() : InterpreterOopMap() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
     _resource_allocate_bit_mask = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
// Implementation of OopMapForCacheEntry
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
// (subclass of GenerateOopMap, initializes an OopMapCacheEntry for a given method and bci)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
class OopMapForCacheEntry: public GenerateOopMap {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  OopMapCacheEntry *_entry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  int               _bci;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  int               _stack_top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  virtual bool report_results() const     { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  virtual bool possible_gc_point          (BytecodeStream *bcs);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  virtual void fill_stackmap_prolog       (int nof_gc_points);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  virtual void fill_stackmap_epilog       ();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  virtual void fill_stackmap_for_opcodes  (BytecodeStream *bcs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
                                           CellTypeState* vars,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
                                           CellTypeState* stack,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
                                           int stack_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  virtual void fill_init_vars             (GrowableArray<intptr_t> *init_vars);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  OopMapForCacheEntry(methodHandle method, int bci, OopMapCacheEntry *entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  // Computes stack map for (method,bci) and initialize entry
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  void compute_map(TRAPS);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  int  size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
OopMapForCacheEntry::OopMapForCacheEntry(methodHandle method, int bci, OopMapCacheEntry* entry) : GenerateOopMap(method) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  _bci       = bci;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  _entry     = entry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  _stack_top = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
void OopMapForCacheEntry::compute_map(TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  assert(!method()->is_native(), "cannot compute oop map for native methods");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  // First check if it is a method where the stackmap is always empty
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  if (method()->code_size() == 0 || method()->max_locals() + method()->max_stack() == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
    _entry->set_mask_size(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
    GenerateOopMap::compute_map(CATCH);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
    result_for_basicblock(_bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
bool OopMapForCacheEntry::possible_gc_point(BytecodeStream *bcs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  return false; // We are not reporting any result. We call result_for_basicblock directly
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
void OopMapForCacheEntry::fill_stackmap_prolog(int nof_gc_points) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  // Do nothing
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
void OopMapForCacheEntry::fill_stackmap_epilog() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  // Do nothing
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
void OopMapForCacheEntry::fill_init_vars(GrowableArray<intptr_t> *init_vars) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  // Do nothing
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
void OopMapForCacheEntry::fill_stackmap_for_opcodes(BytecodeStream *bcs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
                                                    CellTypeState* vars,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
                                                    CellTypeState* stack,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
                                                    int stack_top) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  // Only interested in one specific bci
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  if (bcs->bci() == _bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
    _entry->set_mask(vars, stack, stack_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
    _stack_top = stack_top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
int OopMapForCacheEntry::size() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  assert(_stack_top != -1, "compute_map must be called first");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  return ((method()->is_static()) ? 0 : 1) + method()->max_locals() + _stack_top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
// Implementation of InterpreterOopMap and OopMapCacheEntry
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
class VerifyClosure : public OffsetClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  OopMapCacheEntry* _entry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  bool              _failed;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  VerifyClosure(OopMapCacheEntry* entry)         { _entry = entry; _failed = false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  void offset_do(int offset)                     { if (!_entry->is_oop(offset)) _failed = true; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  bool failed() const                            { return _failed; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
InterpreterOopMap::InterpreterOopMap() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  _resource_allocate_bit_mask = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
InterpreterOopMap::~InterpreterOopMap() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
  // The expection is that the bit mask was allocated
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
  // last in this resource area.  That would make the free of the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  // bit_mask effective (see how FREE_RESOURCE_ARRAY does a free).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  // If it was not allocated last, there is not a correctness problem
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  // but the space for the bit_mask is not freed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  assert(_resource_allocate_bit_mask, "Trying to free C heap space");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  if (mask_size() > small_mask_limit) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
    FREE_RESOURCE_ARRAY(uintptr_t, _bit_mask[0], mask_word_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
bool InterpreterOopMap::is_empty() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  bool result = _method == NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  assert(_method != NULL || (_bci == 0 &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
    (_mask_size == 0 || _mask_size == USHRT_MAX) &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
    _bit_mask[0] == 0), "Should be completely empty");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
void InterpreterOopMap::initialize() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
  _method    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
  _mask_size = USHRT_MAX;  // This value should cause a failure quickly
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  _bci       = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
  _expression_stack_size = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
  for (int i = 0; i < N; i++) _bit_mask[i] = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
void InterpreterOopMap::iterate_oop(OffsetClosure* oop_closure) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  int n = number_of_entries();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  int word_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
  uintptr_t value = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
  uintptr_t mask = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
  // iterate over entries
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  for (int i = 0; i < n; i++, mask <<= bits_per_entry) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
    // get current word
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
    if (mask == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
      value = bit_mask()[word_index++];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
      mask = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
    // test for oop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
    if ((value & (mask << oop_bit_number)) != 0) oop_closure->offset_do(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
#ifdef ENABLE_ZAP_DEAD_LOCALS
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
void InterpreterOopMap::iterate_all(OffsetClosure* oop_closure, OffsetClosure* value_closure, OffsetClosure* dead_closure) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  int n = number_of_entries();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  int word_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  uintptr_t value = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  uintptr_t mask = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  // iterate over entries
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  for (int i = 0; i < n; i++, mask <<= bits_per_entry) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
    // get current word
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
    if (mask == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
      value = bit_mask()[word_index++];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
      mask = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
    // test for dead values  & oops, and for live values
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
         if ((value & (mask << dead_bit_number)) != 0)  dead_closure->offset_do(i); // call this for all dead values or oops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
    else if ((value & (mask <<  oop_bit_number)) != 0)   oop_closure->offset_do(i); // call this for all live oops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
    else                                               value_closure->offset_do(i); // call this for all live values
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
void InterpreterOopMap::print() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  int n = number_of_entries();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
  tty->print("oop map for ");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  method()->print_value();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  tty->print(" @ %d = [%d] { ", bci(), n);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  for (int i = 0; i < n; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
#ifdef ENABLE_ZAP_DEAD_LOCALS
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
    if (is_dead(i)) tty->print("%d+ ", i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
    else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
    if (is_oop(i)) tty->print("%d ", i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
  tty->print_cr("}");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
class MaskFillerForNative: public NativeSignatureIterator {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
  uintptr_t * _mask;                             // the bit mask to be filled
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  int         _size;                             // the mask size in bits
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  void set_one(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
    i *= InterpreterOopMap::bits_per_entry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
    assert(0 <= i && i < _size, "offset out of bounds");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
    _mask[i / BitsPerWord] |= (((uintptr_t) 1 << InterpreterOopMap::oop_bit_number) << (i % BitsPerWord));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
  void pass_int()                                { /* ignore */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
  void pass_long()                               { /* ignore */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  void pass_float()                              { /* ignore */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
  void pass_double()                             { /* ignore */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  void pass_object()                             { set_one(offset()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
  MaskFillerForNative(methodHandle method, uintptr_t* mask, int size) : NativeSignatureIterator(method) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
    _mask   = mask;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
    _size   = size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
    // initialize with 0
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
    int i = (size + BitsPerWord - 1) / BitsPerWord;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
    while (i-- > 0) _mask[i] = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
  void generate() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
    NativeSignatureIterator::iterate();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
bool OopMapCacheEntry::verify_mask(CellTypeState* vars, CellTypeState* stack, int max_locals, int stack_top) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  // Check mask includes map
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  VerifyClosure blk(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
  iterate_oop(&blk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  if (blk.failed()) return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  // Check if map is generated correctly
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  // (Use ?: operator to make sure all 'true' & 'false' are represented exactly the same so we can use == afterwards)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  if (TraceOopMapGeneration && Verbose) tty->print("Locals (%d): ", max_locals);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  for(int i = 0; i < max_locals; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
    bool v1 = is_oop(i)               ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
    bool v2 = vars[i].is_reference()  ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
    assert(v1 == v2, "locals oop mask generation error");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
    if (TraceOopMapGeneration && Verbose) tty->print("%d", v1 ? 1 : 0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
#ifdef ENABLE_ZAP_DEAD_LOCALS
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
    bool v3 = is_dead(i)              ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
    bool v4 = !vars[i].is_live()      ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
    assert(v3 == v4, "locals live mask generation error");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
    assert(!(v1 && v3), "dead value marked as oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  if (TraceOopMapGeneration && Verbose) { tty->cr(); tty->print("Stack (%d): ", stack_top); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
  for(int j = 0; j < stack_top; j++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
    bool v1 = is_oop(max_locals + j)  ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
    bool v2 = stack[j].is_reference() ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
    assert(v1 == v2, "stack oop mask generation error");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
    if (TraceOopMapGeneration && Verbose) tty->print("%d", v1 ? 1 : 0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
#ifdef ENABLE_ZAP_DEAD_LOCALS
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
    bool v3 = is_dead(max_locals + j) ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
    bool v4 = !stack[j].is_live()     ? true : false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
    assert(v3 == v4, "stack live mask generation error");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
    assert(!(v1 && v3), "dead value marked as oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  if (TraceOopMapGeneration && Verbose) tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
void OopMapCacheEntry::allocate_bit_mask() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  if (mask_size() > small_mask_limit) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
    assert(_bit_mask[0] == 0, "bit mask should be new or just flushed");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
    _bit_mask[0] = (intptr_t)
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   331
      NEW_C_HEAP_ARRAY(uintptr_t, mask_word_size(), mtClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
void OopMapCacheEntry::deallocate_bit_mask() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  if (mask_size() > small_mask_limit && _bit_mask[0] != 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
    assert(!Thread::current()->resource_area()->contains((void*)_bit_mask[0]),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
      "This bit mask should not be in the resource area");
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   339
    FREE_C_HEAP_ARRAY(uintptr_t, _bit_mask[0], mtClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
    debug_only(_bit_mask[0] = 0;)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
void OopMapCacheEntry::fill_for_native(methodHandle mh) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  assert(mh->is_native(), "method must be native method");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  set_mask_size(mh->size_of_parameters() * bits_per_entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  allocate_bit_mask();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  // fill mask for parameters
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  MaskFillerForNative mf(mh, bit_mask(), mask_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
  mf.generate();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
void OopMapCacheEntry::fill(methodHandle method, int bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  HandleMark hm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  // Flush entry to deallocate an existing entry
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  set_method(method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  set_bci(bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  if (method->is_native()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
    // Native method activations have oops only among the parameters and one
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
    // extra oop following the parameters (the mirror for static native methods).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
    fill_for_native(method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
    EXCEPTION_MARK;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
    OopMapForCacheEntry gen(method, bci, this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
    gen.compute_map(CATCH);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
void OopMapCacheEntry::set_mask(CellTypeState *vars, CellTypeState *stack, int stack_top) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  // compute bit mask size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
  int max_locals = method()->max_locals();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
  int n_entries = max_locals + stack_top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  set_mask_size(n_entries * bits_per_entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  allocate_bit_mask();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
  set_expression_stack_size(stack_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
  // compute bits
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
  int word_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
  uintptr_t value = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  uintptr_t mask = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
  CellTypeState* cell = vars;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
  for (int entry_index = 0; entry_index < n_entries; entry_index++, mask <<= bits_per_entry, cell++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
    // store last word
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
    if (mask == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
      bit_mask()[word_index++] = value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
      value = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
      mask = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
    // switch to stack when done with locals
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
    if (entry_index == max_locals) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
      cell = stack;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
    // set oop bit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
    if ( cell->is_reference()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
      value |= (mask << oop_bit_number );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  #ifdef ENABLE_ZAP_DEAD_LOCALS
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
    // set dead bit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
    if (!cell->is_live()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
      value |= (mask << dead_bit_number);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
      assert(!cell->is_reference(), "dead value marked as oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  #endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
  // make sure last word is stored
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  bit_mask()[word_index] = value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  // verify bit mask
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  assert(verify_mask(vars, stack, max_locals, stack_top), "mask could not be verified");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
void OopMapCacheEntry::flush() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  deallocate_bit_mask();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
  initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
// Implementation of OopMapCache
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
static long _total_memory_usage = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
long OopMapCache::memory_usage() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
  return _total_memory_usage;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
void InterpreterOopMap::resource_copy(OopMapCacheEntry* from) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  assert(_resource_allocate_bit_mask,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
    "Should not resource allocate the _bit_mask");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
  set_method(from->method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  set_bci(from->bci());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  set_mask_size(from->mask_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  set_expression_stack_size(from->expression_stack_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
  // Is the bit mask contained in the entry?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
  if (from->mask_size() <= small_mask_limit) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
    memcpy((void *)_bit_mask, (void *)from->_bit_mask,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
      mask_word_size() * BytesPerWord);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
    // The expectation is that this InterpreterOopMap is a recently created
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
    // and empty. It is used to get a copy of a cached entry.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
    // If the bit mask has a value, it should be in the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
    // resource area.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
    assert(_bit_mask[0] == 0 ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
      Thread::current()->resource_area()->contains((void*)_bit_mask[0]),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
      "The bit mask should have been allocated from a resource area");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
    // Allocate the bit_mask from a Resource area for performance.  Allocating
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
    // from the C heap as is done for OopMapCache has a significant
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
    // performance impact.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
    _bit_mask[0] = (uintptr_t) NEW_RESOURCE_ARRAY(uintptr_t, mask_word_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
    assert(_bit_mask[0] != 0, "bit mask was not allocated");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
    memcpy((void*) _bit_mask[0], (void*) from->_bit_mask[0],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
      mask_word_size() * BytesPerWord);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
inline unsigned int OopMapCache::hash_value_for(methodHandle method, int bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
  // We use method->code_size() rather than method->identity_hash() below since
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  // the mark may not be present if a pointer to the method is already reversed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
  return   ((unsigned int) bci)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
         ^ ((unsigned int) method->max_locals()         << 2)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
         ^ ((unsigned int) method->code_size()          << 4)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
         ^ ((unsigned int) method->size_of_parameters() << 6);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
OopMapCache::OopMapCache() :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
  _mut(Mutex::leaf, "An OopMapCache lock", true)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
{
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   485
  _array  = NEW_C_HEAP_ARRAY(OopMapCacheEntry, _size, mtClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  // Cannot call flush for initialization, since flush
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
  // will check if memory should be deallocated
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
  for(int i = 0; i < _size; i++) _array[i].initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
  NOT_PRODUCT(_total_memory_usage += sizeof(OopMapCache) + (sizeof(OopMapCacheEntry) * _size);)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
OopMapCache::~OopMapCache() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  assert(_array != NULL, "sanity check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  // Deallocate oop maps that are allocated out-of-line
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
  // Deallocate array
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
  NOT_PRODUCT(_total_memory_usage -= sizeof(OopMapCache) + (sizeof(OopMapCacheEntry) * _size);)
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   499
  FREE_C_HEAP_ARRAY(OopMapCacheEntry, _array, mtClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
OopMapCacheEntry* OopMapCache::entry_at(int i) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
  return &_array[i % _size];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
void OopMapCache::flush() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
  for (int i = 0; i < _size; i++) _array[i].flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
void OopMapCache::flush_obsolete_entries() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
  for (int i = 0; i < _size; i++)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
    if (!_array[i].is_empty() && _array[i].method()->is_old()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
      // Cache entry is occupied by an old redefined method and we don't want
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
      // to pin it down so flush the entry.
221
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   515
      RC_TRACE(0x08000000, ("flush: %s(%s): cached entry @%d",
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   516
        _array[i].method()->name()->as_C_string(),
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   517
        _array[i].method()->signature()->as_C_string(), i));
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   518
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
      _array[i].flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
void OopMapCache::lookup(methodHandle method,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
                         int bci,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
                         InterpreterOopMap* entry_for) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
  MutexLocker x(&_mut);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
  OopMapCacheEntry* entry = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
  int probe = hash_value_for(method, bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
  // Search hashtable for match
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  int i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
  for(i = 0; i < _probe_depth; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
    entry = entry_at(probe + i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
    if (entry->match(method, bci)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
      entry_for->resource_copy(entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
      assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
  if (TraceOopMapGeneration) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
    static int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
    tty->print("%d - Computing oopmap at bci %d for ", ++count, bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
    method->print_value(); tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
  // Entry is not in hashtable.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
  // Compute entry and return it
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
221
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   552
  if (method->should_not_be_cached()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
   553
    // It is either not safe or not a good idea to cache this Method*
221
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   554
    // at this time. We give the caller of lookup() a copy of the
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   555
    // interesting info via parameter entry_for, but we don't add it to
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
   556
    // the cache. See the gory details in Method*.cpp.
221
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   557
    compute_one_oop_map(method, bci, entry_for);
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   558
    return;
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   559
  }
ec745a0fe922 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 1
diff changeset
   560
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  // First search for an empty slot
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
  for(i = 0; i < _probe_depth; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
    entry  = entry_at(probe + i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
    if (entry->is_empty()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
      entry->fill(method, bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
      entry_for->resource_copy(entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
      assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
  if (TraceOopMapGeneration) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
    tty->print_cr("*** collision in oopmap cache - flushing item ***");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
  // No empty slot (uncommon case). Use (some approximation of a) LRU algorithm
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
  //entry_at(probe + _probe_depth - 1)->flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
  //for(i = _probe_depth - 1; i > 0; i--) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  //  // Coping entry[i] = entry[i-1];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
  //  OopMapCacheEntry *to   = entry_at(probe + i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
  //  OopMapCacheEntry *from = entry_at(probe + i - 1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
  //  to->copy(from);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  // }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
  assert(method->is_method(), "gaga");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
  entry = entry_at(probe + 0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
  entry->fill(method, bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
  // Copy the  newly cached entry to input parameter
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
  entry_for->resource_copy(entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  if (TraceOopMapGeneration) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
    tty->print("Done with ");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
    method->print_value(); tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
  assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
  return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
void OopMapCache::compute_one_oop_map(methodHandle method, int bci, InterpreterOopMap* entry) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
  // Due to the invariants above it's tricky to allocate a temporary OopMapCacheEntry on the stack
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   606
  OopMapCacheEntry* tmp = NEW_C_HEAP_ARRAY(OopMapCacheEntry, 1, mtClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
  tmp->initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
  tmp->fill(method, bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
  entry->resource_copy(tmp);
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
   610
  FREE_C_HEAP_ARRAY(OopMapCacheEntry, tmp, mtInternal);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
}