annotate src/share/vm/gc_implementation/parallelScavenge/psPromotionLAB.hpp @ 113:ba764ed4b6f2

6420645: Create a vm that uses compressed oops for up to 32gb heapsizes Summary: Compressed oops in instances, arrays, and headers. Code contributors are coleenp, phh, never, swamyv Reviewed-by: jmasa, kamg, acorn, tbell, kvn, rasbold
author coleenp
date Sun, 13 Apr 2008 17:43:42 -0400
parents a61af66fc99e
children d1605aabd0a1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 2002 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 //
a61af66fc99e Initial load
duke
parents:
diff changeset
26 // PSPromotionLAB is a parallel scavenge promotion lab. This class acts very
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // much like a MutableSpace. We couldn't embed a MutableSpace, though, as
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // it has a considerable number of asserts and invariants that are violated.
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 class ObjectStartArray;
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class PSPromotionLAB : public CHeapObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
34 protected:
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
35 static size_t filler_header_size;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 enum LabState {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 needs_flush,
a61af66fc99e Initial load
duke
parents:
diff changeset
39 flushed,
a61af66fc99e Initial load
duke
parents:
diff changeset
40 zero_size
a61af66fc99e Initial load
duke
parents:
diff changeset
41 };
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 HeapWord* _top;
a61af66fc99e Initial load
duke
parents:
diff changeset
44 HeapWord* _bottom;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 HeapWord* _end;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 LabState _state;
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 void set_top(HeapWord* value) { _top = value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
49 void set_bottom(HeapWord* value) { _bottom = value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
50 void set_end(HeapWord* value) { _end = value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // The shared initialize code invokes this.
a61af66fc99e Initial load
duke
parents:
diff changeset
53 debug_only(virtual bool lab_is_valid(MemRegion lab) { return false; });
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 PSPromotionLAB() : _top(NULL), _bottom(NULL), _end(NULL) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // Filling and flushing.
a61af66fc99e Initial load
duke
parents:
diff changeset
59 void initialize(MemRegion lab);
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 virtual void flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
62
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // Accessors
a61af66fc99e Initial load
duke
parents:
diff changeset
64 HeapWord* bottom() const { return _bottom; }
a61af66fc99e Initial load
duke
parents:
diff changeset
65 HeapWord* end() const { return _end; }
a61af66fc99e Initial load
duke
parents:
diff changeset
66 HeapWord* top() const { return _top; }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 bool is_flushed() { return _state == flushed; }
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 bool unallocate_object(oop obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // Returns a subregion containing all objects in this space.
a61af66fc99e Initial load
duke
parents:
diff changeset
73 MemRegion used_region() { return MemRegion(bottom(), top()); }
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Boolean querries.
a61af66fc99e Initial load
duke
parents:
diff changeset
76 bool is_empty() const { return used() == 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
77 bool not_empty() const { return used() > 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
78 bool contains(const void* p) const { return _bottom <= p && p < _end; }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // Size computations. Sizes are in bytes.
a61af66fc99e Initial load
duke
parents:
diff changeset
81 size_t capacity() const { return byte_size(bottom(), end()); }
a61af66fc99e Initial load
duke
parents:
diff changeset
82 size_t used() const { return byte_size(bottom(), top()); }
a61af66fc99e Initial load
duke
parents:
diff changeset
83 size_t free() const { return byte_size(top(), end()); }
a61af66fc99e Initial load
duke
parents:
diff changeset
84 };
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 class PSYoungPromotionLAB : public PSPromotionLAB {
a61af66fc99e Initial load
duke
parents:
diff changeset
87 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
88 PSYoungPromotionLAB() { }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // Not MT safe
a61af66fc99e Initial load
duke
parents:
diff changeset
91 HeapWord* allocate(size_t size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // Can't assert this, when young fills, we keep the LAB around, but flushed.
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // assert(_state != flushed, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
94 HeapWord* obj = top();
a61af66fc99e Initial load
duke
parents:
diff changeset
95 HeapWord* new_top = obj + size;
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // The 'new_top>obj' check is needed to detect overflow of obj+size.
a61af66fc99e Initial load
duke
parents:
diff changeset
97 if (new_top > obj && new_top <= end()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
98 set_top(new_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
99 assert(is_object_aligned((intptr_t)obj) && is_object_aligned((intptr_t)new_top),
a61af66fc99e Initial load
duke
parents:
diff changeset
100 "checking alignment");
a61af66fc99e Initial load
duke
parents:
diff changeset
101 return obj;
a61af66fc99e Initial load
duke
parents:
diff changeset
102 }
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 debug_only(virtual bool lab_is_valid(MemRegion lab));
a61af66fc99e Initial load
duke
parents:
diff changeset
108 };
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 class PSOldPromotionLAB : public PSPromotionLAB {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
112 ObjectStartArray* _start_array;
a61af66fc99e Initial load
duke
parents:
diff changeset
113
a61af66fc99e Initial load
duke
parents:
diff changeset
114 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
115 PSOldPromotionLAB() : _start_array(NULL) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
116 PSOldPromotionLAB(ObjectStartArray* start_array) : _start_array(start_array) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 void set_start_array(ObjectStartArray* start_array) { _start_array = start_array; }
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 void flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // Not MT safe
a61af66fc99e Initial load
duke
parents:
diff changeset
123 HeapWord* allocate(size_t size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // Cannot test for this now that we're doing promotion failures
a61af66fc99e Initial load
duke
parents:
diff changeset
125 // assert(_state != flushed, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
126 assert(_start_array != NULL, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
127 HeapWord* obj = top();
a61af66fc99e Initial load
duke
parents:
diff changeset
128 HeapWord* new_top = obj + size;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // The 'new_top>obj' check is needed to detect overflow of obj+size.
a61af66fc99e Initial load
duke
parents:
diff changeset
130 if (new_top > obj && new_top <= end()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
131 set_top(new_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
132 assert(is_object_aligned((intptr_t)obj) && is_object_aligned((intptr_t)new_top),
a61af66fc99e Initial load
duke
parents:
diff changeset
133 "checking alignment");
a61af66fc99e Initial load
duke
parents:
diff changeset
134 _start_array->allocate_block(obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
135 return obj;
a61af66fc99e Initial load
duke
parents:
diff changeset
136 }
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
139 }
a61af66fc99e Initial load
duke
parents:
diff changeset
140
a61af66fc99e Initial load
duke
parents:
diff changeset
141 debug_only(virtual bool lab_is_valid(MemRegion lab));
a61af66fc99e Initial load
duke
parents:
diff changeset
142 };