hotspot/src/share/vm/memory/iterator.hpp
author ysr
Tue, 01 Jul 2008 11:59:44 -0700
changeset 1383 3a216aa862b7
parent 1374 4c24294029a9
child 1388 3677f5f3d66b
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
489c9b5090e2 Initial load
duke
parents:
diff changeset
     2
 * Copyright 1997-2006 Sun Microsystems, Inc.  All Rights Reserved.
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
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
// The following classes are C++ `closures` for iterating over objects, roots and spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
class ReferenceProcessor;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    29
// Closure provides abortability.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    30
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    31
class Closure : public StackObj {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    32
 protected:
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    33
  bool _abort;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    34
  void set_abort() { _abort = true; }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    35
 public:
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    36
  Closure() : _abort(false) {}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    37
  // A subtype can use this mechanism to indicate to some iterator mapping
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    38
  // functions that the iteration should cease.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    39
  bool abort() { return _abort; }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    40
  void clear_abort() { _abort = false; }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    41
};
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    42
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
// OopClosure is used for iterating through roots (oop*)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    45
class OopClosure : public Closure {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  ReferenceProcessor* _ref_processor;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
  OopClosure(ReferenceProcessor* rp) : _ref_processor(rp) { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  OopClosure() : _ref_processor(NULL) { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  virtual void do_oop(oop* o) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  virtual void do_oop_v(oop* o) { do_oop(o); }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    52
  virtual void do_oop(narrowOop* o) = 0;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    53
  virtual void do_oop_v(narrowOop* o) { do_oop(o); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  // In support of post-processing of weak links of KlassKlass objects;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  // see KlassKlass::oop_oop_iterate().
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  virtual const bool should_remember_klasses() const { return false;    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  virtual void remember_klass(Klass* k) { /* do nothing */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  // If "true", invoke on nmethods (when scanning compiled frames).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  virtual const bool do_nmethods() const { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  // The methods below control how object iterations invoking this closure
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  // should be performed:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  // If "true", invoke on header klass field.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  bool do_header() { return true; } // Note that this is non-virtual.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  // Controls how prefetching is done for invocations of this closure.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  Prefetch::style prefetch_style() { // Note that this is non-virtual.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
    return Prefetch::do_none;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    72
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    73
  // True iff this closure may be safely applied more than once to an oop
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    74
  // location without an intervening "major reset" (like the end of a GC).
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    75
  virtual bool idempotent() { return false; }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    76
  virtual bool apply_to_weak_ref_discovered_field() { return false; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
// ObjectClosure is used for iterating through an object space
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
    81
class ObjectClosure : public Closure {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  // Called for each object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  virtual void do_object(oop obj) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
class BoolObjectClosure : public ObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  virtual bool do_object_b(oop obj) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
// Applies an oop closure to all ref fields in objects iterated over in an
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
// object iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
class ObjectToOopClosure: public ObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  OopClosure* _cl;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  void do_object(oop obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  ObjectToOopClosure(OopClosure* cl) : _cl(cl) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
// A version of ObjectClosure with "memory" (see _previous_address below)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
class UpwardsObjectClosure: public BoolObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  HeapWord* _previous_address;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  UpwardsObjectClosure() : _previous_address(NULL) { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  void set_previous(HeapWord* addr) { _previous_address = addr; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  HeapWord* previous()              { return _previous_address; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  // A return value of "true" can be used by the caller to decide
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  // if this object's end should *NOT* be recorded in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  // _previous_address above.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  virtual bool do_object_bm(oop obj, MemRegion mr) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
// A version of ObjectClosure that is expected to be robust
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
// in the face of possibly uninitialized objects.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
class ObjectClosureCareful : public ObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  virtual size_t do_object_careful_m(oop p, MemRegion mr) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  virtual size_t do_object_careful(oop p) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
// The following are used in CompactibleFreeListSpace and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
// ConcurrentMarkSweepGeneration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
// Blk closure (abstract class)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
class BlkClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  virtual size_t do_blk(HeapWord* addr) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
// A version of BlkClosure that is expected to be robust
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
// in the face of possibly uninitialized objects.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
class BlkClosureCareful : public BlkClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  size_t do_blk(HeapWord* addr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
    guarantee(false, "call do_blk_careful instead");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
    return 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  virtual size_t do_blk_careful(HeapWord* addr) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
// SpaceClosure is used for iterating over spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
class Space;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
class CompactibleSpace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
class SpaceClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  // Called for each space
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  virtual void do_space(Space* s) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
class CompactibleSpaceClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  // Called for each compactible space
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  virtual void do_space(CompactibleSpace* s) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
// MonitorClosure is used for iterating over monitors in the monitors cache
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
class ObjectMonitor;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
class MonitorClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  // called for each monitor in cache
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  virtual void do_monitor(ObjectMonitor* m) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
// A closure that is applied without any arguments.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
class VoidClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  // I would have liked to declare this a pure virtual, but that breaks
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  // in mysterious ways, for unknown reasons.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  virtual void do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
// YieldClosure is intended for use by iteration loops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
// to incrementalize their work, allowing interleaving
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
// of an interruptable task so as to allow other
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
// threads to run (which may not otherwise be able to access
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
// exclusive resources, for instance). Additionally, the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
// closure also allows for aborting an ongoing iteration
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
// by means of checking the return value from the polling
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
// call.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
class YieldClosure : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
   virtual bool should_return() = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
// Abstract closure for serializing data (read or write).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
class SerializeOopClosure : public OopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  // Return bool indicating whether closure implements read or write.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
  virtual bool reading() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  // Read/write the int pointed to by i.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
  virtual void do_int(int* i) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
  // Read/write the size_t pointed to by i.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  virtual void do_size_t(size_t* i) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  // Read/write the void pointer pointed to by p.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  virtual void do_ptr(void** p) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  // Read/write the HeapWord pointer pointed to be p.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  virtual void do_ptr(HeapWord** p) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  // Read/write the region specified.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  virtual void do_region(u_char* start, size_t size) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  // Check/write the tag.  If reading, then compare the tag against
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
  // the passed in value and fail is they don't match.  This allows
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  // for verification that sections of the serialized data are of the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
  // correct length.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  virtual void do_tag(int tag) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
};