Mercurial > hg > graal-compiler

annotate src/share/vm/memory/blockOffsetTable.inline.hpp @ 1959:9eecf81a02fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
7000578: CMS: assert(SafepointSynchronize::is_at_safepoint()) failed: Else races are possible Summary: Weakened assert in onj_is_alive() to allow its use at initialization time when is_at_safepoint() normally reports false; added some related asserts to check order of is_init_completed() after Universe::is_fully_initialized(). Reviewed-by: jcoomes
author ysr
date Tue, 16 Nov 2010 13:58:48 -0800
parents be3f9c242c9d
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1716
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
2 * Copyright (c) 2000, 2010, Oracle and/or its affiliates. All rights reserved.
0
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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
21 * questions.
0
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 // BlockOffsetTable inlines
a61af66fc99e Initial load
duke
parents:
diff changeset
27 //////////////////////////////////////////////////////////////////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
28 inline HeapWord* BlockOffsetTable::block_start(const void* addr) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
29 if (addr >= _bottom && addr < _end) {
a61af66fc99e Initial load
duke
parents:
diff changeset
30 return block_start_unsafe(addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
31 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 return NULL;
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 //////////////////////////////////////////////////////////////////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // BlockOffsetSharedArray inlines
a61af66fc99e Initial load
duke
parents:
diff changeset
38 //////////////////////////////////////////////////////////////////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
39 inline size_t BlockOffsetSharedArray::index_for(const void* p) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
40 char* pc = (char*)p;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 assert(pc >= (char*)_reserved.start() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
42 pc < (char*)_reserved.end(),
a61af66fc99e Initial load
duke
parents:
diff changeset
43 "p not in range.");
a61af66fc99e Initial load
duke
parents:
diff changeset
44 size_t delta = pointer_delta(pc, _reserved.start(), sizeof(char));
a61af66fc99e Initial load
duke
parents:
diff changeset
45 size_t result = delta >> LogN;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 assert(result < _vs.committed_size(), "bad index from address");
a61af66fc99e Initial load
duke
parents:
diff changeset
47 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
48 }
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50 inline HeapWord* BlockOffsetSharedArray::address_for_index(size_t index) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
51 assert(index < _vs.committed_size(), "bad index");
a61af66fc99e Initial load
duke
parents:
diff changeset
52 HeapWord* result = _reserved.start() + (index << LogN_words);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 assert(result >= _reserved.start() && result < _reserved.end(),
a61af66fc99e Initial load
duke
parents:
diff changeset
54 "bad address from index");
a61af66fc99e Initial load
duke
parents:
diff changeset
55 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
56 }
a61af66fc99e Initial load
duke
parents:
diff changeset
57
1716
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
58 inline void BlockOffsetSharedArray::check_reducing_assertion(bool reducing) {
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
59 assert(reducing || !SafepointSynchronize::is_at_safepoint() || init_to_zero() ||
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
60 Thread::current()->is_VM_thread() ||
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
61 Thread::current()->is_ConcurrentGC_thread() ||
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
62 ((!Thread::current()->is_ConcurrentGC_thread()) &&
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
63 ParGCRareEvent_lock->owned_by_self()), "Crack");
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
64 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 //////////////////////////////////////////////////////////////////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // BlockOffsetArrayNonContigSpace inlines
a61af66fc99e Initial load
duke
parents:
diff changeset
68 //////////////////////////////////////////////////////////////////////////
1716
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
69 inline void BlockOffsetArrayNonContigSpace::freed(HeapWord* blk,
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
70 size_t size) {
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
71 freed(blk, blk + size);
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
72 }
be3f9c242c9d 6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
ysr
parents: 1552
diff changeset
73
0
a61af66fc99e Initial load
duke
parents:
diff changeset
74 inline void BlockOffsetArrayNonContigSpace::freed(HeapWord* blk_start,
a61af66fc99e Initial load
duke
parents:
diff changeset
75 HeapWord* blk_end) {
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // Verify that the BOT shows [blk_start, blk_end) to be one block.
a61af66fc99e Initial load
duke
parents:
diff changeset
77 verify_single_block(blk_start, blk_end);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // adjust _unallocated_block upward or downward
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // as appropriate
a61af66fc99e Initial load
duke
parents:
diff changeset
80 if (BlockOffsetArrayUseUnallocatedBlock) {
a61af66fc99e Initial load
duke
parents:
diff changeset
81 assert(_unallocated_block <= _end,
a61af66fc99e Initial load
duke
parents:
diff changeset
82 "Inconsistent value for _unallocated_block");
a61af66fc99e Initial load
duke
parents:
diff changeset
83 if (blk_end >= _unallocated_block && blk_start <= _unallocated_block) {
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // CMS-specific note: a block abutting _unallocated_block to
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // its left is being freed, a new block is being added or
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // we are resetting following a compaction
a61af66fc99e Initial load
duke
parents:
diff changeset
87 _unallocated_block = blk_start;
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 }
a61af66fc99e Initial load
duke
parents:
diff changeset
90 }