hotspot/src/share/vm/memory/space.hpp
author kvn
Thu, 06 Mar 2008 10:30:17 -0800
changeset 211 e2b60448c234
parent 1 489c9b5090e2
child 360 21d113ecbf6a
permissions -rw-r--r--
6667610: (Escape Analysis) retry compilation without EA if it fails Summary: During split unique types EA could exceed nodes limit and fail the method compilation. Reviewed-by: rasbold
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-2007 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
// A space is an abstraction for the "storage units" backing
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
// up the generation abstraction. It includes specific
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
// implementations for keeping track of free and used space,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
// for iterating over objects and free blocks, etc.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
// Here's the Space hierarchy:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
// - Space               -- an asbtract base class describing a heap area
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
//   - CompactibleSpace  -- a space supporting compaction
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
//     - CompactibleFreeListSpace -- (used for CMS generation)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
//     - ContiguousSpace -- a compactible space in which all free space
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
//                          is contiguous
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
//       - EdenSpace     -- contiguous space used as nursery
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
//         - ConcEdenSpace -- contiguous space with a 'soft end safe' allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
//       - OffsetTableContigSpace -- contiguous space with a block offset array
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
//                          that allows "fast" block_start calls
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
//         - TenuredSpace -- (used for TenuredGeneration)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
//         - ContigPermSpace -- an offset table contiguous space for perm gen
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
// Forward decls.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
class Space;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
class BlockOffsetArray;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
class BlockOffsetArrayContigSpace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
class Generation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
class CompactibleSpace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
class BlockOffsetTable;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
class GenRemSet;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
class CardTableRS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
class DirtyCardToOopClosure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
// An oop closure that is circumscribed by a filtering memory region.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
class SpaceMemRegionOopsIterClosure: public virtual OopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  OopClosure* cl;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  MemRegion mr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  void do_oop(oop* p) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
    if (mr.contains(p)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
      cl->do_oop(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  SpaceMemRegionOopsIterClosure(OopClosure* _cl, MemRegion _mr): cl(_cl), mr(_mr) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
// A Space describes a heap area. Class Space is an abstract
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
// base class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
// Space supports allocation, size computation and GC support is provided.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
// Invariant: bottom() and end() are on page_size boundaries and
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
// bottom() <= top() <= end()
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
// top() is inclusive and end() is exclusive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
class Space: public CHeapObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  HeapWord* _bottom;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  HeapWord* _end;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  // Used in support of save_marks()
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  HeapWord* _saved_mark_word;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  MemRegionClosure* _preconsumptionDirtyCardClosure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  // A sequential tasks done structure. This supports
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  // parallel GC, where we have threads dynamically
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  // claiming sub-tasks from a larger parallel task.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  SequentialSubTasksDone _par_seq_tasks;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  Space():
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    _bottom(NULL), _end(NULL), _preconsumptionDirtyCardClosure(NULL) { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  // Accessors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  HeapWord* bottom() const         { return _bottom; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  HeapWord* end() const            { return _end;    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  virtual void set_bottom(HeapWord* value) { _bottom = value; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  virtual void set_end(HeapWord* value)    { _end = value; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  HeapWord* saved_mark_word() const  { return _saved_mark_word; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  void set_saved_mark_word(HeapWord* p) { _saved_mark_word = p; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  MemRegionClosure* preconsumptionDirtyCardClosure() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
    return _preconsumptionDirtyCardClosure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  void setPreconsumptionDirtyCardClosure(MemRegionClosure* cl) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
    _preconsumptionDirtyCardClosure = cl;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  // Returns a subregion of the space containing all the objects in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  // the space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  virtual MemRegion used_region() const { return MemRegion(bottom(), end()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  // Returns a region that is guaranteed to contain (at least) all objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  // allocated at the time of the last call to "save_marks".  If the space
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  // initializes its DirtyCardToOopClosure's specifying the "contig" option
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  // (that is, if the space is contiguous), then this region must contain only
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  // such objects: the memregion will be from the bottom of the region to the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  // saved mark.  Otherwise, the "obj_allocated_since_save_marks" method of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  // the space must distiguish between objects in the region allocated before
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  // and after the call to save marks.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  virtual MemRegion used_region_at_save_marks() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
    return MemRegion(bottom(), saved_mark_word());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  // Initialization
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  virtual void initialize(MemRegion mr, bool clear_space);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  virtual void clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  // For detecting GC bugs.  Should only be called at GC boundaries, since
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  // some unused space may be used as scratch space during GC's.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  // Default implementation does nothing. We also call this when expanding
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  // a space to satisfy an allocation request. See bug #4668531
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  virtual void mangle_unused_area() {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  virtual void mangle_region(MemRegion mr) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  // Testers
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  bool is_empty() const              { return used() == 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  bool not_empty() const             { return used() > 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  // Returns true iff the given the space contains the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  // given address as part of an allocated object. For
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  // ceratin kinds of spaces, this might be a potentially
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  // expensive operation. To prevent performance problems
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  // on account of its inadvertent use in product jvm's,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  // we restrict its use to assertion checks only.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  virtual bool is_in(const void* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
  // Returns true iff the given reserved memory of the space contains the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  // given address.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  bool is_in_reserved(const void* p) const { return _bottom <= p && p < _end; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  // Returns true iff the given block is not allocated.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  virtual bool is_free_block(const HeapWord* p) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  // Test whether p is double-aligned
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  static bool is_aligned(void* p) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
    return ((intptr_t)p & (sizeof(double)-1)) == 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
  // Size computations.  Sizes are in bytes.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  size_t capacity()     const { return byte_size(bottom(), end()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  virtual size_t used() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  virtual size_t free() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  // Iterate over all the ref-containing fields of all objects in the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
  // space, calling "cl.do_oop" on each.  Fields in objects allocated by
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
  // applications of the closure are not included in the iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  virtual void oop_iterate(OopClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  // Same as above, restricted to the intersection of a memory region and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  // the space.  Fields in objects allocated by applications of the closure
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  // are not included in the iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  virtual void oop_iterate(MemRegion mr, OopClosure* cl) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
  // Iterate over all objects in the space, calling "cl.do_object" on
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
  // each.  Objects allocated by applications of the closure are not
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
  // included in the iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  virtual void object_iterate(ObjectClosure* blk) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  // Iterate over all objects that intersect with mr, calling "cl->do_object"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  // on each.  There is an exception to this: if this closure has already
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  // been invoked on an object, it may skip such objects in some cases.  This is
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
  // Most likely to happen in an "upwards" (ascending address) iteration of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  // MemRegions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
  virtual void object_iterate_mem(MemRegion mr, UpwardsObjectClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
  // Iterate over as many initialized objects in the space as possible,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  // calling "cl.do_object_careful" on each. Return NULL if all objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
  // in the space (at the start of the iteration) were iterated over.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
  // Return an address indicating the extent of the iteration in the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
  // event that the iteration had to return because of finding an
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  // uninitialized object in the space, or if the closure "cl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
  // signalled early termination.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  virtual HeapWord* object_iterate_careful(ObjectClosureCareful* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  virtual HeapWord* object_iterate_careful_m(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
                                             ObjectClosureCareful* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
  // Create and return a new dirty card to oop closure. Can be
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  // overriden to return the appropriate type of closure
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
  // depending on the type of space in which the closure will
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  // operate. ResourceArea allocated.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  virtual DirtyCardToOopClosure* new_dcto_cl(OopClosure* cl,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
                                             CardTableModRefBS::PrecisionStyle precision,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
                                             HeapWord* boundary = NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  // If "p" is in the space, returns the address of the start of the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  // "block" that contains "p".  We say "block" instead of "object" since
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  // some heaps may not pack objects densely; a chunk may either be an
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
  // object or a non-object.  If "p" is not in the space, return NULL.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  virtual HeapWord* block_start(const void* p) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  // Requires "addr" to be the start of a chunk, and returns its size.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
  // "addr + size" is required to be the start of a new chunk, or the end
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  // of the active area of the heap.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  virtual size_t block_size(const HeapWord* addr) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  // Requires "addr" to be the start of a block, and returns "TRUE" iff
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  // the block is an object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  virtual bool block_is_obj(const HeapWord* addr) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  // Requires "addr" to be the start of a block, and returns "TRUE" iff
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
  // the block is an object and the object is alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
  virtual bool obj_is_alive(const HeapWord* addr) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  // Allocation (return NULL if full).  Assumes the caller has established
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  // mutually exclusive access to the space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  virtual HeapWord* allocate(size_t word_size) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
  // Allocation (return NULL if full).  Enforces mutual exclusion internally.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  virtual HeapWord* par_allocate(size_t word_size) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  // Returns true if this object has been allocated since a
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  // generation's "save_marks" call.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  virtual bool obj_allocated_since_save_marks(const oop obj) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  // Mark-sweep-compact support: all spaces can update pointers to objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
  // moving as a part of compaction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  virtual void adjust_pointers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  // PrintHeapAtGC support
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
  virtual void print() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  virtual void print_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  virtual void print_short() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  virtual void print_short_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
  // Accessor for parallel sequential tasks.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
  SequentialSubTasksDone* par_seq_tasks() { return &_par_seq_tasks; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
  // IF "this" is a ContiguousSpace, return it, else return NULL.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
  virtual ContiguousSpace* toContiguousSpace() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  // Debugging
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  virtual void verify(bool allow_dirty) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
// A MemRegionClosure (ResourceObj) whose "do_MemRegion" function applies an
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
// OopClosure to (the addresses of) all the ref-containing fields that could
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
// be modified by virtue of the given MemRegion being dirty. (Note that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
// because of the imprecise nature of the write barrier, this may iterate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
// over oops beyond the region.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
// This base type for dirty card to oop closures handles memory regions
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
// in non-contiguous spaces with no boundaries, and should be sub-classed
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
// to support other space types. See ContiguousDCTOC for a sub-class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
// that works with ContiguousSpaces.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
class DirtyCardToOopClosure: public MemRegionClosureRO {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  OopClosure* _cl;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
  Space* _sp;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  CardTableModRefBS::PrecisionStyle _precision;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  HeapWord* _boundary;          // If non-NULL, process only non-NULL oops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
                                // pointing below boundary.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
  HeapWord* _min_done;          // ObjHeadPreciseArray precision requires
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
                                // a downwards traversal; this is the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
                                // lowest location already done (or,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
                                // alternatively, the lowest address that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
                                // shouldn't be done again.  NULL means infinity.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  NOT_PRODUCT(HeapWord* _last_bottom;)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  // Get the actual top of the area on which the closure will
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
  // operate, given where the top is assumed to be (the end of the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  // memory region passed to do_MemRegion) and where the object
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  // at the top is assumed to start. For example, an object may
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  // start at the top but actually extend past the assumed top,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  // in which case the top becomes the end of the object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  virtual HeapWord* get_actual_top(HeapWord* top, HeapWord* top_obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  // Walk the given memory region from bottom to (actual) top
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
  // looking for objects and applying the oop closure (_cl) to
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  // them. The base implementation of this treats the area as
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  // blocks, where a block may or may not be an object. Sub-
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  // classes should override this to provide more accurate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
  // or possibly more efficient walking.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  virtual void walk_mem_region(MemRegion mr, HeapWord* bottom, HeapWord* top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  DirtyCardToOopClosure(Space* sp, OopClosure* cl,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
                        CardTableModRefBS::PrecisionStyle precision,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
                        HeapWord* boundary) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
    _sp(sp), _cl(cl), _precision(precision), _boundary(boundary),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
    _min_done(NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
    NOT_PRODUCT(_last_bottom = NULL;)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  void do_MemRegion(MemRegion mr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  void set_min_done(HeapWord* min_done) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
    _min_done = min_done;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
  void set_last_bottom(HeapWord* last_bottom) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
    _last_bottom = last_bottom;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
// A structure to represent a point at which objects are being copied
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
// during compaction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
class CompactPoint : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  Generation* gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  CompactibleSpace* space;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  HeapWord* threshold;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  CompactPoint(Generation* _gen, CompactibleSpace* _space,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
               HeapWord* _threshold) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
    gen(_gen), space(_space), threshold(_threshold) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
// A space that supports compaction operations.  This is usually, but not
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
// necessarily, a space that is normally contiguous.  But, for example, a
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
// free-list-based space whose normal collection is a mark-sweep without
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
// compaction could still support compaction in full GC's.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
class CompactibleSpace: public Space {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  friend class CompactibleFreeListSpace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  friend class CompactingPermGenGen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  friend class CMSPermGenGen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  HeapWord* _compaction_top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
  CompactibleSpace* _next_compaction_space;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
  virtual void initialize(MemRegion mr, bool clear_space);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  // Used temporarily during a compaction phase to hold the value
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  // top should have when compaction is complete.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  HeapWord* compaction_top() const { return _compaction_top;    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  void set_compaction_top(HeapWord* value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
    assert(value == NULL || (value >= bottom() && value <= end()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
      "should point inside space");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
    _compaction_top = value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  // Perform operations on the space needed after a compaction
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  // has been performed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  virtual void reset_after_compaction() {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
  // Returns the next space (in the current generation) to be compacted in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
  // the global compaction order.  Also is used to select the next
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
  // space into which to compact.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  virtual CompactibleSpace* next_compaction_space() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
    return _next_compaction_space;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  void set_next_compaction_space(CompactibleSpace* csp) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
    _next_compaction_space = csp;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
  // MarkSweep support phase2
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  // Start the process of compaction of the current space: compute
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  // post-compaction addresses, and insert forwarding pointers.  The fields
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
  // "cp->gen" and "cp->compaction_space" are the generation and space into
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
  // which we are currently compacting.  This call updates "cp" as necessary,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
  // and leaves the "compaction_top" of the final value of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  // "cp->compaction_space" up-to-date.  Offset tables may be updated in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
  // this phase as if the final copy had occurred; if so, "cp->threshold"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
  // indicates when the next such action should be taken.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  virtual void prepare_for_compaction(CompactPoint* cp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  // MarkSweep support phase3
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
  virtual void adjust_pointers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  // MarkSweep support phase4
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  virtual void compact();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
  // The maximum percentage of objects that can be dead in the compacted
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
  // live part of a compacted space ("deadwood" support.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  virtual int allowed_dead_ratio() const { return 0; };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
  // Some contiguous spaces may maintain some data structures that should
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  // be updated whenever an allocation crosses a boundary.  This function
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  // returns the first such boundary.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  // (The default implementation returns the end of the space, so the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  // boundary is never crossed.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  virtual HeapWord* initialize_threshold() { return end(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  // "q" is an object of the given "size" that should be forwarded;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  // "cp" names the generation ("gen") and containing "this" (which must
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  // also equal "cp->space").  "compact_top" is where in "this" the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
  // next object should be forwarded to.  If there is room in "this" for
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
  // the object, insert an appropriate forwarding pointer in "q".
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
  // If not, go to the next compaction space (there must
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  // be one, since compaction must succeed -- we go to the first space of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
  // the previous generation if necessary, updating "cp"), reset compact_top
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  // and then forward.  In either case, returns the new value of "compact_top".
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  // If the forwarding crosses "cp->threshold", invokes the "cross_threhold"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
  // function of the then-current compaction space, and updates "cp->threshold
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
  // accordingly".
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  virtual HeapWord* forward(oop q, size_t size, CompactPoint* cp,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
                    HeapWord* compact_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  // Return a size with adjusments as required of the space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
  virtual size_t adjust_object_size_v(size_t size) const { return size; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  // Used during compaction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
  HeapWord* _first_dead;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
  HeapWord* _end_of_live;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
  // Minimum size of a free block.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
  virtual size_t minimum_free_block_size() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
  // This the function is invoked when an allocation of an object covering
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
  // "start" to "end occurs crosses the threshold; returns the next
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
  // threshold.  (The default implementation does nothing.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  virtual HeapWord* cross_threshold(HeapWord* start, HeapWord* the_end) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
    return end();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  // Requires "allowed_deadspace_words > 0", that "q" is the start of a
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
  // free block of the given "word_len", and that "q", were it an object,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
  // would not move if forwared.  If the size allows, fill the free
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
  // block with an object, to prevent excessive compaction.  Returns "true"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  // iff the free region was made deadspace, and modifies
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  // "allowed_deadspace_words" to reflect the number of available deadspace
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  // words remaining after this operation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
  bool insert_deadspace(size_t& allowed_deadspace_words, HeapWord* q,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
                        size_t word_len);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
#define SCAN_AND_FORWARD(cp,scan_limit,block_is_obj,block_size) {            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
  /* Compute the new addresses for the live objects and store it in the mark \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
   * Used by universe::mark_sweep_phase2()                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
   */                                                                        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
  HeapWord* compact_top; /* This is where we are currently compacting to. */ \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
  /* We're sure to be here before any objects are compacted into this        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
   * space, so this is a good time to initialize this:                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
   */                                                                        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  set_compaction_top(bottom());                                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
  if (cp->space == NULL) {                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
    assert(cp->gen != NULL, "need a generation");                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
    assert(cp->threshold == NULL, "just checking");                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
    assert(cp->gen->first_compaction_space() == this, "just checking");      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
    cp->space = cp->gen->first_compaction_space();                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
    compact_top = cp->space->bottom();                                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
    cp->space->set_compaction_top(compact_top);                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
    cp->threshold = cp->space->initialize_threshold();                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
  } else {                                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
    compact_top = cp->space->compaction_top();                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  }                                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
  /* We allow some amount of garbage towards the bottom of the space, so     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
   * we don't start compacting before there is a significant gain to be made.\
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
   * Occasionally, we want to ensure a full compaction, which is determined  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
   * by the MarkSweepAlwaysCompactCount parameter.                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
   */                                                                        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
  int invocations = SharedHeap::heap()->perm_gen()->stat_record()->invocations;\
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  bool skip_dead = ((invocations % MarkSweepAlwaysCompactCount) != 0);       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
  size_t allowed_deadspace = 0;                                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  if (skip_dead) {                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
    int ratio = allowed_dead_ratio();                                        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
    allowed_deadspace = (capacity() * ratio / 100) / HeapWordSize;           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
  }                                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  HeapWord* q = bottom();                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
  HeapWord* t = scan_limit();                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
  HeapWord*  end_of_live= q;    /* One byte beyond the last byte of the last \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
                                   live object. */                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  HeapWord*  first_dead = end();/* The first dead object. */                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  LiveRange* liveRange  = NULL; /* The current live range, recorded in the   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
                                   first header of preceding free area. */   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
  _first_dead = first_dead;                                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
  const intx interval = PrefetchScanIntervalInBytes;                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
  while (q < t) {                                                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
    assert(!block_is_obj(q) ||                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
           oop(q)->mark()->is_marked() || oop(q)->mark()->is_unlocked() ||   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
           oop(q)->mark()->has_bias_pattern(),                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
           "these are the only valid states during a mark sweep");           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
    if (block_is_obj(q) && oop(q)->is_gc_marked()) {                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
      /* prefetch beyond q */                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
      Prefetch::write(q, interval);                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
      /* size_t size = oop(q)->size();  changing this for cms for perm gen */\
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
      size_t size = block_size(q);                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
      compact_top = cp->space->forward(oop(q), size, cp, compact_top);       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
      q += size;                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
      end_of_live = q;                                                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
    } else {                                                                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
      /* run over all the contiguous dead objects */                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
      HeapWord* end = q;                                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
      do {                                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
        /* prefetch beyond end */                                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
        Prefetch::write(end, interval);                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
        end += block_size(end);                                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
      } while (end < t && (!block_is_obj(end) || !oop(end)->is_gc_marked()));\
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
      /* see if we might want to pretend this object is alive so that        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
       * we don't have to compact quite as often.                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
       */                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
      if (allowed_deadspace > 0 && q == compact_top) {                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
        size_t sz = pointer_delta(end, q);                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
        if (insert_deadspace(allowed_deadspace, q, sz)) {                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
          compact_top = cp->space->forward(oop(q), sz, cp, compact_top);     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
          q = end;                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
          end_of_live = end;                                                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
          continue;                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
        }                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
      }                                                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
      /* otherwise, it really is a free region. */                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
      /* for the previous LiveRange, record the end of the live objects. */  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
      if (liveRange) {                                                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
        liveRange->set_end(q);                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
      }                                                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
      /* record the current LiveRange object.                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
       * liveRange->start() is overlaid on the mark word.                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
       */                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
      liveRange = (LiveRange*)q;                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
      liveRange->set_start(end);                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
      liveRange->set_end(end);                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
      /* see if this is the first dead region. */                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
      if (q < first_dead) {                                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
        first_dead = q;                                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
      }                                                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
      /* move on to the next object */                                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
      q = end;                                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   558
    }                                                                        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
  }                                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  assert(q == t, "just checking");                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
  if (liveRange != NULL) {                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
    liveRange->set_end(q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
  }                                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  _end_of_live = end_of_live;                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
  if (end_of_live < first_dead) {                                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
    first_dead = end_of_live;                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
  }                                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  _first_dead = first_dead;                                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
  /* save the compaction_top of the compaction space. */                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
  cp->space->set_compaction_top(compact_top);                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
#define SCAN_AND_ADJUST_POINTERS(adjust_obj_size) {                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
  /* adjust all the interior pointers to point at the new locations of objects  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
   * Used by MarkSweep::mark_sweep_phase3() */                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
  HeapWord* q = bottom();                                                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  HeapWord* t = _end_of_live;  /* Established by "prepare_for_compaction". */   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
  assert(_first_dead <= _end_of_live, "Stands to reason, no?");                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  if (q < t && _first_dead > q &&                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
      !oop(q)->is_gc_marked()) {                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
    /* we have a chunk of the space which hasn't moved and we've                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
     * reinitialized the mark word during the previous pass, so we can't        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
     * use is_gc_marked for the traversal. */                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
    HeapWord* end = _first_dead;                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
    while (q < end) {                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
      /* I originally tried to conjoin "block_start(q) == q" to the             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
       * assertion below, but that doesn't work, because you can't              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
       * accurately traverse previous objects to get to the current one         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
       * after their pointers (including pointers into permGen) have been       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
       * updated, until the actual compaction is done.  dld, 4/00 */            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
      assert(block_is_obj(q),                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
             "should be at block boundaries, and should be looking at objs");   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
      debug_only(MarkSweep::track_interior_pointers(oop(q)));                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
      /* point all the oops to the new location */                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
      size_t size = oop(q)->adjust_pointers();                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
      size = adjust_obj_size(size);                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
      debug_only(MarkSweep::check_interior_pointers());                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
      debug_only(MarkSweep::validate_live_oop(oop(q), size));                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
      q += size;                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
    if (_first_dead == t) {                                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
      q = t;                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
    } else {                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
      /* $$$ This is funky.  Using this to read the previously written          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
       * LiveRange.  See also use below. */                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
      q = (HeapWord*)oop(_first_dead)->mark()->decode_pointer();                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
  }                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
  const intx interval = PrefetchScanIntervalInBytes;                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
  debug_only(HeapWord* prev_q = NULL);                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
  while (q < t) {                                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
    /* prefetch beyond q */                                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
    Prefetch::write(q, interval);                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
    if (oop(q)->is_gc_marked()) {                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
      /* q is alive */                                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
      debug_only(MarkSweep::track_interior_pointers(oop(q)));                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
      /* point all the oops to the new location */                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
      size_t size = oop(q)->adjust_pointers();                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
      size = adjust_obj_size(size);                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
      debug_only(MarkSweep::check_interior_pointers());                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
      debug_only(MarkSweep::validate_live_oop(oop(q), size));                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
      debug_only(prev_q = q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
      q += size;                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
    } else {                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
      /* q is not a live object, so its mark should point at the next           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
       * live object */                                                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
      debug_only(prev_q = q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
      q = (HeapWord*) oop(q)->mark()->decode_pointer();                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
      assert(q > prev_q, "we should be moving forward through memory");         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
  }                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
  assert(q == t, "just checking");                                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
#define SCAN_AND_COMPACT(obj_size) {                                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
  /* Copy all live objects to their new location                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
   * Used by MarkSweep::mark_sweep_phase4() */                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
  HeapWord*       q = bottom();                                                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
  HeapWord* const t = _end_of_live;                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
  debug_only(HeapWord* prev_q = NULL);                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  if (q < t && _first_dead > q &&                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
      !oop(q)->is_gc_marked()) {                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
    debug_only(                                                                 \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
    /* we have a chunk of the space which hasn't moved and we've reinitialized the              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
     * mark word during the previous pass, so we can't use is_gc_marked for the \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
     * traversal. */                                                            \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
    HeapWord* const end = _first_dead;                                          \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
    while (q < end) {                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
      size_t size = obj_size(q);                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
      assert(!oop(q)->is_gc_marked(), "should be unmarked (special dense prefix handling)"); \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
      debug_only(MarkSweep::live_oop_moved_to(q, size, q));                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
      debug_only(prev_q = q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
      q += size;                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
    )  /* debug_only */                                                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
    if (_first_dead == t) {                                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
      q = t;                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
    } else {                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
      /* $$$ Funky */                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
      q = (HeapWord*) oop(_first_dead)->mark()->decode_pointer();               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   681
  }                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
  const intx scan_interval = PrefetchScanIntervalInBytes;                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
  const intx copy_interval = PrefetchCopyIntervalInBytes;                       \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
  while (q < t) {                                                               \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
    if (!oop(q)->is_gc_marked()) {                                              \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
      /* mark is pointer to next marked oop */                                  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
      debug_only(prev_q = q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
      q = (HeapWord*) oop(q)->mark()->decode_pointer();                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
      assert(q > prev_q, "we should be moving forward through memory");         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
    } else {                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
      /* prefetch beyond q */                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
      Prefetch::read(q, scan_interval);                                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
      /* size and destination */                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
      size_t size = obj_size(q);                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
      HeapWord* compaction_top = (HeapWord*)oop(q)->forwardee();                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
      /* prefetch beyond compaction_top */                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
      Prefetch::write(compaction_top, copy_interval);                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
      /* copy object and reinit its mark */                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
      debug_only(MarkSweep::live_oop_moved_to(q, size, compaction_top));        \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
      assert(q != compaction_top, "everything in this pass should be moving");  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
      Copy::aligned_conjoint_words(q, compaction_top, size);                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
      oop(compaction_top)->init_mark();                                         \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
      assert(oop(compaction_top)->klass() != NULL, "should have a class");      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
      debug_only(prev_q = q);                                                   \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
      q += size;                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
    }                                                                           \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
  }                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
                                                                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
  /* Reset space after compaction is complete */                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
  reset_after_compaction();                                                     \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
  /* We do this clear, below, since it has overloaded meanings for some */      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
  /* space subtypes.  For example, OffsetTableContigSpace's that were   */      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
  /* compacted into will have had their offset table thresholds updated */      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   719
  /* continuously, but those that weren't need to have their thresholds */      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
  /* re-initialized.  Also mangles unused area for debugging.           */      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   721
  if (is_empty()) {                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
    clear();                                                                    \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
  } else {                                                                      \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
    if (ZapUnusedHeapArea) mangle_unused_area();                                \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
  }                                                                             \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
// A space in which the free area is contiguous.  It therefore supports
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
// faster allocation, and compaction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
class ContiguousSpace: public CompactibleSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
  friend class OneContigSpaceCardGeneration;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
  HeapWord* _top;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
  HeapWord* _concurrent_iteration_safe_limit;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
  // Allocation helpers (return NULL if full).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  inline HeapWord* allocate_impl(size_t word_size, HeapWord* end_value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  inline HeapWord* par_allocate_impl(size_t word_size, HeapWord* end_value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
  virtual void initialize(MemRegion mr, bool clear_space);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
  // Accessors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
  HeapWord* top() const            { return _top;    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
  void set_top(HeapWord* value)    { _top = value; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
  void set_saved_mark()       { _saved_mark_word = top();    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  void reset_saved_mark()     { _saved_mark_word = bottom(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
  virtual void clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
  WaterMark bottom_mark()     { return WaterMark(this, bottom()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
  WaterMark top_mark()        { return WaterMark(this, top()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
  WaterMark saved_mark()      { return WaterMark(this, saved_mark_word()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
  bool saved_mark_at_top() const { return saved_mark_word() == top(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
  void mangle_unused_area();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
  void mangle_region(MemRegion mr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
  // Size computations: sizes in bytes.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
  size_t capacity() const        { return byte_size(bottom(), end()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
  size_t used() const            { return byte_size(bottom(), top()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  size_t free() const            { return byte_size(top(),    end()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
  // Override from space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
  bool is_in(const void* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
  virtual bool is_free_block(const HeapWord* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
  // In a contiguous space we have a more obvious bound on what parts
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
  // contain objects.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
  MemRegion used_region() const { return MemRegion(bottom(), top()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
  MemRegion used_region_at_save_marks() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
    return MemRegion(bottom(), saved_mark_word());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
  // Allocation (return NULL if full)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
  virtual HeapWord* allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
  virtual HeapWord* par_allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
  virtual bool obj_allocated_since_save_marks(const oop obj) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
    return (HeapWord*)obj >= saved_mark_word();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
  // Iteration
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
  void oop_iterate(OopClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  void oop_iterate(MemRegion mr, OopClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
  void object_iterate(ObjectClosure* blk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
  void object_iterate_mem(MemRegion mr, UpwardsObjectClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
  // iterates on objects up to the safe limit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
  HeapWord* object_iterate_careful(ObjectClosureCareful* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
  inline HeapWord* concurrent_iteration_safe_limit();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  // changes the safe limit, all objects from bottom() to the new
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  // limit should be properly initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
  inline void set_concurrent_iteration_safe_limit(HeapWord* new_limit);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
#ifndef SERIALGC
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
  // In support of parallel oop_iterate.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
  #define ContigSpace_PAR_OOP_ITERATE_DECL(OopClosureType, nv_suffix)  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
    void par_oop_iterate(MemRegion mr, OopClosureType* blk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
    ALL_PAR_OOP_ITERATE_CLOSURES(ContigSpace_PAR_OOP_ITERATE_DECL)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
  #undef ContigSpace_PAR_OOP_ITERATE_DECL
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
#endif // SERIALGC
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
  // Compaction support
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
  virtual void reset_after_compaction() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
    assert(compaction_top() >= bottom() && compaction_top() <= end(), "should point inside space");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
    set_top(compaction_top());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
    // set new iteration safe limit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
    set_concurrent_iteration_safe_limit(compaction_top());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
  virtual size_t minimum_free_block_size() const { return 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
  // Override.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
  DirtyCardToOopClosure* new_dcto_cl(OopClosure* cl,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
                                     CardTableModRefBS::PrecisionStyle precision,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
                                     HeapWord* boundary = NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
  // Apply "blk->do_oop" to the addresses of all reference fields in objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
   823
  // starting with the _saved_mark_word, which was noted during a generation's
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
  // save_marks and is required to denote the head of an object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   825
  // Fields in objects allocated by applications of the closure
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
  // *are* included in the iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
  // Updates _saved_mark_word to point to just after the last object
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
  // iterated over.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
#define ContigSpace_OOP_SINCE_SAVE_MARKS_DECL(OopClosureType, nv_suffix)  \
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
  void oop_since_save_marks_iterate##nv_suffix(OopClosureType* blk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
  ALL_SINCE_SAVE_MARKS_CLOSURES(ContigSpace_OOP_SINCE_SAVE_MARKS_DECL)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
#undef ContigSpace_OOP_SINCE_SAVE_MARKS_DECL
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
  // Same as object_iterate, but starting from "mark", which is required
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
  // to denote the start of an object.  Objects allocated by
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
  // applications of the closure *are* included in the iteration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
  virtual void object_iterate_from(WaterMark mark, ObjectClosure* blk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
  // Very inefficient implementation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
  virtual HeapWord* block_start(const void* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
  size_t block_size(const HeapWord* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
  // If a block is in the allocated area, it is an object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   844
  bool block_is_obj(const HeapWord* p) const { return p < top(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
  // Addresses for inlined allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
  HeapWord** top_addr() { return &_top; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
  HeapWord** end_addr() { return &_end; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   849
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
  // Overrides for more efficient compaction support.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
  void prepare_for_compaction(CompactPoint* cp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   852
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
  // PrintHeapAtGC support.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  virtual void print_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  // Checked dynamic downcasts.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
  virtual ContiguousSpace* toContiguousSpace() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
    return this;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
  // Debugging
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
  virtual void verify(bool allow_dirty) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
  // Used to increase collection frequency.  "factor" of 0 means entire
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
  // space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
  void allocate_temporary_filler(int factor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
// A dirty card to oop closure that does filtering.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
// It knows how to filter out objects that are outside of the _boundary.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
class Filtering_DCTOC : public DirtyCardToOopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   874
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
  // Override.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
  void walk_mem_region(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
                       HeapWord* bottom, HeapWord* top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
  // Walk the given memory region, from bottom to top, applying
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
  // the given oop closure to (possibly) all objects found. The
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
  // given oop closure may or may not be the same as the oop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
  // closure with which this closure was created, as it may
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
  // be a filtering closure which makes use of the _boundary.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
  // We offer two signatures, so the FilteringClosure static type is
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
  // apparent.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
  virtual void walk_mem_region_with_cl(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
                                       HeapWord* bottom, HeapWord* top,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
                                       OopClosure* cl) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
  virtual void walk_mem_region_with_cl(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
                                       HeapWord* bottom, HeapWord* top,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
                                       FilteringClosure* cl) = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
  Filtering_DCTOC(Space* sp, OopClosure* cl,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
                  CardTableModRefBS::PrecisionStyle precision,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
                  HeapWord* boundary) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   897
    DirtyCardToOopClosure(sp, cl, precision, boundary) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
489c9b5090e2 Initial load
duke
parents:
diff changeset
   900
// A dirty card to oop closure for contiguous spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
// (ContiguousSpace and sub-classes).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
// It is a FilteringClosure, as defined above, and it knows:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
// 1. That the actual top of any area in a memory region
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
//    contained by the space is bounded by the end of the contiguous
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
//    region of the space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   907
// 2. That the space is really made up of objects and not just
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
//    blocks.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
class ContiguousSpaceDCTOC : public Filtering_DCTOC {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   911
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
  // Overrides.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
  HeapWord* get_actual_top(HeapWord* top, HeapWord* top_obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
  virtual void walk_mem_region_with_cl(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
                                       HeapWord* bottom, HeapWord* top,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
                                       OopClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
  virtual void walk_mem_region_with_cl(MemRegion mr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
                                       HeapWord* bottom, HeapWord* top,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
                                       FilteringClosure* cl);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
  ContiguousSpaceDCTOC(ContiguousSpace* sp, OopClosure* cl,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
                       CardTableModRefBS::PrecisionStyle precision,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
                       HeapWord* boundary) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
    Filtering_DCTOC(sp, cl, precision, boundary)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
  {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
// Class EdenSpace describes eden-space in new generation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
489c9b5090e2 Initial load
duke
parents:
diff changeset
   933
class DefNewGeneration;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
class EdenSpace : public ContiguousSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
  DefNewGeneration* _gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   939
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
  // _soft_end is used as a soft limit on allocation.  As soft limits are
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
  // reached, the slow-path allocation code can invoke other actions and then
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
  // adjust _soft_end up to a new soft limit or to end().
489c9b5090e2 Initial load
duke
parents:
diff changeset
   943
  HeapWord* _soft_end;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
489c9b5090e2 Initial load
duke
parents:
diff changeset
   945
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   946
  EdenSpace(DefNewGeneration* gen) : _gen(gen) { _soft_end = NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   947
489c9b5090e2 Initial load
duke
parents:
diff changeset
   948
  // Get/set just the 'soft' limit.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
  HeapWord* soft_end()               { return _soft_end; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
  HeapWord** soft_end_addr()         { return &_soft_end; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
  void set_soft_end(HeapWord* value) { _soft_end = value; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
  // Override.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   954
  void clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
  // Set both the 'hard' and 'soft' limits (_end and _soft_end).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
  void set_end(HeapWord* value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
    set_soft_end(value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
    ContiguousSpace::set_end(value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
489c9b5090e2 Initial load
duke
parents:
diff changeset
   962
  // Allocation (return NULL if full)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
  HeapWord* allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
  HeapWord* par_allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
// Class ConcEdenSpace extends EdenSpace for the sake of safe
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
// allocation while soft-end is being modified concurrently
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
class ConcEdenSpace : public EdenSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   971
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
  ConcEdenSpace(DefNewGeneration* gen) : EdenSpace(gen) { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
  // Allocation (return NULL if full)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
  HeapWord* par_allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   977
489c9b5090e2 Initial load
duke
parents:
diff changeset
   978
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
// A ContigSpace that Supports an efficient "block_start" operation via
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
// a BlockOffsetArray (whose BlockOffsetSharedArray may be shared with
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
// other spaces.)  This is the abstract base class for old generation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
// (tenured, perm) spaces.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
class OffsetTableContigSpace: public ContiguousSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
  BlockOffsetArrayContigSpace _offsets;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   988
  Mutex _par_alloc_lock;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   989
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
  // Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
   992
  OffsetTableContigSpace(BlockOffsetSharedArray* sharedOffsetArray,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   993
                         MemRegion mr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   994
489c9b5090e2 Initial load
duke
parents:
diff changeset
   995
  void set_bottom(HeapWord* value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   996
  void set_end(HeapWord* value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   997
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
  void clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   999
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1000
  inline HeapWord* block_start(const void* p) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
  // Add offset table update.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1003
  virtual inline HeapWord* allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
  inline HeapWord* par_allocate(size_t word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1005
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1006
  // MarkSweep support phase3
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1007
  virtual HeapWord* initialize_threshold();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1008
  virtual HeapWord* cross_threshold(HeapWord* start, HeapWord* end);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1010
  virtual void print_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
  // Debugging
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
  void verify(bool allow_dirty) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1014
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
  // Shared space support
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
  void serialize_block_offset_array_offsets(SerializeOopClosure* soc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
// Class TenuredSpace is used by TenuredGeneration
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
class TenuredSpace: public OffsetTableContigSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
  // Mark sweep support
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
  int allowed_dead_ratio() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
  // Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
  TenuredSpace(BlockOffsetSharedArray* sharedOffsetArray,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
               MemRegion mr) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
    OffsetTableContigSpace(sharedOffsetArray, mr) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
// Class ContigPermSpace is used by CompactingPermGen
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
class ContigPermSpace: public OffsetTableContigSpace {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
  // Mark sweep support
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
  int allowed_dead_ratio() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
  // Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
  ContigPermSpace(BlockOffsetSharedArray* sharedOffsetArray, MemRegion mr) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
    OffsetTableContigSpace(sharedOffsetArray, mr) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
};