annotate src/share/vm/gc_implementation/parallelScavenge/adjoiningVirtualSpaces.hpp @ 795:215f81b4d9b3

6841831: G1: assert(contains_reference(from),"We just added it!") fires Summary: During parallel rset updating we have to make sure that the worker ids of the refinement threads do not intersect with the worker ids that can be claimed by the mutator threads. Reviewed-by: tonyp
author iveresov
date Mon, 18 May 2009 11:52:46 -0700
parents a61af66fc99e
children c18cbe5936b8
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 2003 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 // Contains two virtual spaces that each can individually span
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // most of the reserved region but committed parts of which
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // cannot overlap.
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // +-------+ <--- high_boundary for H
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // | H |
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // --------- <--- low for H
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // ========= <--- low_boundary for H, high_boundary for L
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // --------- <--- high for L
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // | L |
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // | |
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // +-------+ <--- low_boundary for L
a61af66fc99e Initial load
duke
parents:
diff changeset
49 //
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Each virtual space in the AdjoiningVirtualSpaces grows and shrink
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // within its reserved region (between the low_boundary and the
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // boundary) independently. If L want to grow above its high_boundary,
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // then the high_boundary of L and the low_boundary of H must be
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // moved up consistently. AdjoiningVirtualSpaces provide the
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // interfaces for moving the this boundary.
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 class AdjoiningVirtualSpaces {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // space at the high end and the low end, respectively
a61af66fc99e Initial load
duke
parents:
diff changeset
59 PSVirtualSpace* _high;
a61af66fc99e Initial load
duke
parents:
diff changeset
60 PSVirtualSpace* _low;
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // The reserved space spanned by the two spaces.
a61af66fc99e Initial load
duke
parents:
diff changeset
63 ReservedSpace _reserved_space;
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // The minimum byte size for the low space. It will not
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // be shrunk below this value.
a61af66fc99e Initial load
duke
parents:
diff changeset
67 size_t _min_low_byte_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
68 // Same for the high space
a61af66fc99e Initial load
duke
parents:
diff changeset
69 size_t _min_high_byte_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 const size_t _alignment;
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // Allocates two virtual spaces that will be located at the
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // high and low ends. Does no initialization.
a61af66fc99e Initial load
duke
parents:
diff changeset
76 AdjoiningVirtualSpaces(ReservedSpace rs,
a61af66fc99e Initial load
duke
parents:
diff changeset
77 size_t min_low_byte_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
78 size_t min_high_byte_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
79 size_t alignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // accessors
a61af66fc99e Initial load
duke
parents:
diff changeset
82 PSVirtualSpace* high() { return _high; }
a61af66fc99e Initial load
duke
parents:
diff changeset
83 PSVirtualSpace* low() { return _low; }
a61af66fc99e Initial load
duke
parents:
diff changeset
84 ReservedSpace reserved_space() { return _reserved_space; }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 size_t min_low_byte_size() { return _min_low_byte_size; }
a61af66fc99e Initial load
duke
parents:
diff changeset
86 size_t min_high_byte_size() { return _min_high_byte_size; }
a61af66fc99e Initial load
duke
parents:
diff changeset
87 size_t alignment() const { return _alignment; }
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // move boundary between the two spaces up
a61af66fc99e Initial load
duke
parents:
diff changeset
90 bool adjust_boundary_up(size_t size_in_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // and down
a61af66fc99e Initial load
duke
parents:
diff changeset
92 bool adjust_boundary_down(size_t size_in_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // Maximum byte size for the high space.
a61af66fc99e Initial load
duke
parents:
diff changeset
95 size_t high_byte_size_limit() {
a61af66fc99e Initial load
duke
parents:
diff changeset
96 return _reserved_space.size() - _min_low_byte_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
97 }
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // Maximum byte size for the low space.
a61af66fc99e Initial load
duke
parents:
diff changeset
99 size_t low_byte_size_limit() {
a61af66fc99e Initial load
duke
parents:
diff changeset
100 return _reserved_space.size() - _min_high_byte_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 // Sets the boundaries for the virtual spaces and commits and
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // initial size;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 void initialize(size_t max_low_byte_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
106 size_t init_low_byte_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
107 size_t init_high_byte_size);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 };