annotate src/share/vm/utilities/preserveException.cpp @ 1716:be3f9c242c9d

6948538: CMS: BOT walkers can fall into object allocation and initialization cracks Summary: GC workers now recognize an intermediate transient state of blocks which are allocated but have not yet completed initialization. blk_start() calls do not attempt to determine the size of a block in the transient state, rather waiting for the block to become initialized so that it is safe to query its size. Audited and ensured the order of initialization of object fields (klass, free bit and size) to respect block state transition protocol. Also included some new assertion checking code enabled in debug mode. Reviewed-by: chrisphi, johnc, poonam
author ysr
date Mon, 16 Aug 2010 15:58:42 -0700
parents c18cbe5936b8
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
2 * Copyright (c) 1998, 2006, 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 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_preserveException.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // TODO: These three classes should be refactored
a61af66fc99e Initial load
duke
parents:
diff changeset
29
a61af66fc99e Initial load
duke
parents:
diff changeset
30 PreserveExceptionMark::PreserveExceptionMark(Thread*& thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
31 thread = Thread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
32 _thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 _preserved_exception_oop = Handle(thread, _thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
34 _thread->clear_pending_exception(); // Needed to avoid infinite recursion
a61af66fc99e Initial load
duke
parents:
diff changeset
35 _preserved_exception_line = _thread->exception_line();
a61af66fc99e Initial load
duke
parents:
diff changeset
36 _preserved_exception_file = _thread->exception_file();
a61af66fc99e Initial load
duke
parents:
diff changeset
37 }
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 PreserveExceptionMark::~PreserveExceptionMark() {
a61af66fc99e Initial load
duke
parents:
diff changeset
41 if (_thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
42 oop exception = _thread->pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
43 _thread->clear_pending_exception(); // Needed to avoid infinite recursion
a61af66fc99e Initial load
duke
parents:
diff changeset
44 exception->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
45 fatal("PreserveExceptionMark destructor expects no pending exceptions");
a61af66fc99e Initial load
duke
parents:
diff changeset
46 }
a61af66fc99e Initial load
duke
parents:
diff changeset
47 if (_preserved_exception_oop() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
48 _thread->set_pending_exception(_preserved_exception_oop(), _preserved_exception_file, _preserved_exception_line);
a61af66fc99e Initial load
duke
parents:
diff changeset
49 }
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // This code is cloned from PreserveExceptionMark, except that:
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // returned pending exceptions do not cause a crash.
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // thread is passed in, not set (not a reference parameter)
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // and bug 6431341 has been addressed.
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 CautiouslyPreserveExceptionMark::CautiouslyPreserveExceptionMark(Thread* thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 _thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
60 _preserved_exception_oop = Handle(thread, _thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
61 _preserved_exception_line = _thread->exception_line();
a61af66fc99e Initial load
duke
parents:
diff changeset
62 _preserved_exception_file = _thread->exception_file();
a61af66fc99e Initial load
duke
parents:
diff changeset
63 _thread->clear_pending_exception(); // Pending exceptions are checked in the destructor
a61af66fc99e Initial load
duke
parents:
diff changeset
64 }
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66
a61af66fc99e Initial load
duke
parents:
diff changeset
67 CautiouslyPreserveExceptionMark::~CautiouslyPreserveExceptionMark() {
a61af66fc99e Initial load
duke
parents:
diff changeset
68 assert(!_thread->has_pending_exception(), "unexpected exception generated");
a61af66fc99e Initial load
duke
parents:
diff changeset
69 if (_thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
70 _thread->clear_pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72 if (_preserved_exception_oop() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
73 _thread->set_pending_exception(_preserved_exception_oop(), _preserved_exception_file, _preserved_exception_line);
a61af66fc99e Initial load
duke
parents:
diff changeset
74 }
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 void WeakPreserveExceptionMark::preserve() {
a61af66fc99e Initial load
duke
parents:
diff changeset
79 _preserved_exception_oop = Handle(_thread, _thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
80 _preserved_exception_line = _thread->exception_line();
a61af66fc99e Initial load
duke
parents:
diff changeset
81 _preserved_exception_file = _thread->exception_file();
a61af66fc99e Initial load
duke
parents:
diff changeset
82 _thread->clear_pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
83 }
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 void WeakPreserveExceptionMark::restore() {
a61af66fc99e Initial load
duke
parents:
diff changeset
86 if (!_thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
87 _thread->set_pending_exception(_preserved_exception_oop(), _preserved_exception_file, _preserved_exception_line);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 }