annotate src/share/vm/gc_implementation/concurrentMarkSweep/concurrentGCThread.hpp @ 286:3529d0e8d09c

6608862: segv in JvmtiEnvBase::check_for_periodic_clean_up() Reviewed-by: dholmes, dcubed, jcoomes
author xlu
date Fri, 15 Aug 2008 10:08:20 -0700
parents a61af66fc99e
children
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 2001-2005 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 class VoidClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // A SuspendibleThreadSet is (obviously) a set of threads that can be
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // suspended. A thread can join and later leave the set, and periodically
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // yield. If some thread (not in the set) requests, via suspend_all, that
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // the threads be suspended, then the requesting thread is blocked until
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // all the threads in the set have yielded or left the set. (Threads may
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // not enter the set when an attempted suspension is in progress.) The
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // suspending thread later calls resume_all, allowing the suspended threads
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // to continue.
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 class SuspendibleThreadSet {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 Monitor* _m;
a61af66fc99e Initial load
duke
parents:
diff changeset
38 int _async;
a61af66fc99e Initial load
duke
parents:
diff changeset
39 bool _async_stop;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 int _async_stopped;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 bool _initialized;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 double _suspend_all_start;
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 void initialize_work();
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
47 SuspendibleThreadSet() : _initialized(false) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Add the current thread to the set. May block if a suspension
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // is in progress.
a61af66fc99e Initial load
duke
parents:
diff changeset
51 void join();
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // Removes the current thread from the set.
a61af66fc99e Initial load
duke
parents:
diff changeset
53 void leave();
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // Returns "true" iff an suspension is in progress.
a61af66fc99e Initial load
duke
parents:
diff changeset
55 bool should_yield() { return _async_stop; }
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // Suspends the current thread if a suspension is in progress (for
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // the duration of the suspension.)
a61af66fc99e Initial load
duke
parents:
diff changeset
58 void yield(const char* id);
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Return when all threads in the set are suspended.
a61af66fc99e Initial load
duke
parents:
diff changeset
60 void suspend_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Allow suspended threads to resume.
a61af66fc99e Initial load
duke
parents:
diff changeset
62 void resume_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // Redundant initializations okay.
a61af66fc99e Initial load
duke
parents:
diff changeset
64 void initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // Double-check dirty read idiom.
a61af66fc99e Initial load
duke
parents:
diff changeset
66 if (!_initialized) initialize_work();
a61af66fc99e Initial load
duke
parents:
diff changeset
67 }
a61af66fc99e Initial load
duke
parents:
diff changeset
68 };
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 class ConcurrentGCThread: public NamedThread {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 friend class VMStructs;
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
75 static bool _should_terminate;
a61af66fc99e Initial load
duke
parents:
diff changeset
76 static bool _has_terminated;
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 enum CGC_flag_type {
a61af66fc99e Initial load
duke
parents:
diff changeset
79 CGC_nil = 0x0,
a61af66fc99e Initial load
duke
parents:
diff changeset
80 CGC_dont_suspend = 0x1,
a61af66fc99e Initial load
duke
parents:
diff changeset
81 CGC_CGC_safepoint = 0x2,
a61af66fc99e Initial load
duke
parents:
diff changeset
82 CGC_VM_safepoint = 0x4
a61af66fc99e Initial load
duke
parents:
diff changeset
83 };
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 static int _CGC_flag;
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 static bool CGC_flag_is_set(int b) { return (_CGC_flag & b) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
88 static int set_CGC_flag(int b) { return _CGC_flag |= b; }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 static int reset_CGC_flag(int b) { return _CGC_flag &= ~b; }
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 void stopWorldAndDo(VoidClosure* op);
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // All instances share this one set.
a61af66fc99e Initial load
duke
parents:
diff changeset
94 static SuspendibleThreadSet _sts;
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // Create and start the thread (setting it's priority high.)
a61af66fc99e Initial load
duke
parents:
diff changeset
97 void create_and_start();
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // Do initialization steps in the thread: record stack base and size,
a61af66fc99e Initial load
duke
parents:
diff changeset
100 // init thread local storage, set JNI handle block.
a61af66fc99e Initial load
duke
parents:
diff changeset
101 void initialize_in_thread();
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 // Wait until Universe::is_fully_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
104 void wait_for_universe_init();
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // Record that the current thread is terminating, and will do more
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // concurrent work.
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void terminate();
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // Constructor
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 ConcurrentGCThread();
a61af66fc99e Initial load
duke
parents:
diff changeset
114 ~ConcurrentGCThread() {} // Exists to call NamedThread destructor.
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // Tester
a61af66fc99e Initial load
duke
parents:
diff changeset
117 bool is_ConcurrentGC_thread() const { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
118
a61af66fc99e Initial load
duke
parents:
diff changeset
119 static void safepoint_synchronize();
a61af66fc99e Initial load
duke
parents:
diff changeset
120 static void safepoint_desynchronize();
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // All overridings should probably do _sts::yield, but we allow
a61af66fc99e Initial load
duke
parents:
diff changeset
123 // overriding for distinguished debugging messages. Default is to do
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // nothing.
a61af66fc99e Initial load
duke
parents:
diff changeset
125 virtual void yield() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
126
a61af66fc99e Initial load
duke
parents:
diff changeset
127 bool should_yield() { return _sts.should_yield(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
128
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // they are prefixed by sts since there are already yield() and
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // should_yield() (non-static) methods in this class and it was an
a61af66fc99e Initial load
duke
parents:
diff changeset
131 // easy way to differentiate them.
a61af66fc99e Initial load
duke
parents:
diff changeset
132 static void stsYield(const char* id);
a61af66fc99e Initial load
duke
parents:
diff changeset
133 static bool stsShouldYield();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 static void stsJoin();
a61af66fc99e Initial load
duke
parents:
diff changeset
135 static void stsLeave();
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 };
a61af66fc99e Initial load
duke
parents:
diff changeset
138
a61af66fc99e Initial load
duke
parents:
diff changeset
139 // The SurrogateLockerThread is used by concurrent GC threads for
a61af66fc99e Initial load
duke
parents:
diff changeset
140 // manipulating Java monitors, in particular, currently for
a61af66fc99e Initial load
duke
parents:
diff changeset
141 // manipulating the pending_list_lock. XXX
a61af66fc99e Initial load
duke
parents:
diff changeset
142 class SurrogateLockerThread: public JavaThread {
a61af66fc99e Initial load
duke
parents:
diff changeset
143 friend class VMStructs;
a61af66fc99e Initial load
duke
parents:
diff changeset
144 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
145 enum SLT_msg_type {
a61af66fc99e Initial load
duke
parents:
diff changeset
146 empty = 0, // no message
a61af66fc99e Initial load
duke
parents:
diff changeset
147 acquirePLL, // acquire pending list lock
a61af66fc99e Initial load
duke
parents:
diff changeset
148 releaseAndNotifyPLL // notify and release pending list lock
a61af66fc99e Initial load
duke
parents:
diff changeset
149 };
a61af66fc99e Initial load
duke
parents:
diff changeset
150 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // the following are shared with the CMSThread
a61af66fc99e Initial load
duke
parents:
diff changeset
152 SLT_msg_type _buffer; // communication buffer
a61af66fc99e Initial load
duke
parents:
diff changeset
153 Monitor _monitor; // monitor controlling buffer
a61af66fc99e Initial load
duke
parents:
diff changeset
154 BasicLock _basicLock; // used for PLL locking
a61af66fc99e Initial load
duke
parents:
diff changeset
155
a61af66fc99e Initial load
duke
parents:
diff changeset
156 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
157 static SurrogateLockerThread* make(TRAPS);
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159 SurrogateLockerThread();
a61af66fc99e Initial load
duke
parents:
diff changeset
160
a61af66fc99e Initial load
duke
parents:
diff changeset
161 bool is_hidden_from_external_view() const { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
162
a61af66fc99e Initial load
duke
parents:
diff changeset
163 void loop(); // main method
a61af66fc99e Initial load
duke
parents:
diff changeset
164
a61af66fc99e Initial load
duke
parents:
diff changeset
165 void manipulatePLL(SLT_msg_type msg);
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 };