1 /*
  2  * Copyright (c) 1997, 2025, Oracle and/or its affiliates. All rights reserved.
  3  * Copyright (c) 2021, Azul Systems, Inc. All rights reserved.
  4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  5  *
  6  * This code is free software; you can redistribute it and/or modify it
  7  * under the terms of the GNU General Public License version 2 only, as
  8  * published by the Free Software Foundation.
  9  *
 10  * This code is distributed in the hope that it will be useful, but WITHOUT
 11  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 12  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 13  * version 2 for more details (a copy is included in the LICENSE file that
 14  * accompanied this code).
 15  *
 16  * You should have received a copy of the GNU General Public License version
 17  * 2 along with this work; if not, write to the Free Software Foundation,
 18  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 19  *
 20  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 21  * or visit www.oracle.com if you need additional information or have any
 22  * questions.
 23  *
 24  */
 25 
 26 #include "precompiled.hpp"
 27 #include "cds/cdsConfig.hpp"
 28 #include "classfile/javaClasses.hpp"
 29 #include "classfile/javaThreadStatus.hpp"
 30 #include "gc/shared/barrierSet.hpp"
 31 #include "jfr/jfrEvents.hpp"
 32 #include "jvm.h"
 33 #include "jvmtifiles/jvmtiEnv.hpp"
 34 #include "logging/log.hpp"
 35 #include "memory/allocation.inline.hpp"
 36 #include "memory/iterator.hpp"
 37 #include "memory/resourceArea.hpp"
 38 #include "nmt/memTracker.hpp"
 39 #include "oops/oop.inline.hpp"
 40 #include "runtime/atomic.hpp"
 41 #include "runtime/handles.inline.hpp"
 42 #include "runtime/javaThread.inline.hpp"
 43 #include "runtime/nonJavaThread.hpp"
 44 #include "runtime/orderAccess.hpp"
 45 #include "runtime/osThread.hpp"
 46 #include "runtime/safepoint.hpp"
 47 #include "runtime/safepointMechanism.inline.hpp"
 48 #include "runtime/thread.inline.hpp"
 49 #include "runtime/threadSMR.inline.hpp"
 50 #include "utilities/macros.hpp"
 51 #include "utilities/spinYield.hpp"
 52 #if INCLUDE_JFR
 53 #include "jfr/jfr.hpp"
 54 #endif
 55 
 56 #ifndef USE_LIBRARY_BASED_TLS_ONLY
 57 // Current thread is maintained as a thread-local variable
 58 THREAD_LOCAL Thread* Thread::_thr_current = nullptr;
 59 #endif
 60 
 61 // ======= Thread ========
 62 // Base class for all threads: VMThread, WatcherThread, ConcurrentMarkSweepThread,
 63 // JavaThread
 64 
 65 Thread::Thread(MemTag mem_tag) {
 66 
 67   DEBUG_ONLY(_run_state = PRE_CALL_RUN;)
 68 
 69   // stack and get_thread
 70   set_stack_base(nullptr);
 71   set_stack_size(0);
 72   set_lgrp_id(-1);
 73   DEBUG_ONLY(clear_suspendible_thread();)
 74   DEBUG_ONLY(clear_indirectly_suspendible_thread();)
 75   DEBUG_ONLY(clear_indirectly_safepoint_thread();)
 76 
 77   // allocated data structures
 78   set_osthread(nullptr);
 79   set_resource_area(new (mem_tag) ResourceArea(mem_tag));
 80   DEBUG_ONLY(_current_resource_mark = nullptr;)
 81   set_handle_area(new (mem_tag) HandleArea(mem_tag, nullptr));
 82   set_metadata_handles(new (mtClass) GrowableArray<Metadata*>(30, mtClass));
 83   set_last_handle_mark(nullptr);
 84 
 85   // Initial value of zero ==> never claimed.
 86   _threads_do_token = 0;
 87   _threads_hazard_ptr = nullptr;
 88   _threads_list_ptr = nullptr;
 89   _nested_threads_hazard_ptr_cnt = 0;
 90   _rcu_counter = 0;
 91 
 92   // the handle mark links itself to last_handle_mark
 93   new HandleMark(this);
 94 
 95   // plain initialization
 96   debug_only(_owned_locks = nullptr;)
 97   NOT_PRODUCT(_skip_gcalot = false;)
 98   _jvmti_env_iteration_count = 0;
 99   set_allocated_bytes(0);
100   _current_pending_raw_monitor = nullptr;
101   _vm_error_callbacks = nullptr;
102 
103   // thread-specific hashCode stream generator state - Marsaglia shift-xor form
104   // If we are dumping, keep ihashes constant. Note that during dumping we only
105   // ever run one java thread, and no other thread should generate ihashes either,
106   // so using a constant seed should work fine.
107   _hashStateX = CDSConfig::is_dumping_static_archive() ? 0x12345678 : os::random();
108   _hashStateY = 842502087;
109   _hashStateZ = 0x8767;    // (int)(3579807591LL & 0xffff) ;
110   _hashStateW = 273326509;
111 
112   // Many of the following fields are effectively final - immutable
113   // Note that nascent threads can't use the Native Monitor-Mutex
114   // construct until the _MutexEvent is initialized ...
115   // CONSIDER: instead of using a fixed set of purpose-dedicated ParkEvents
116   // we might instead use a stack of ParkEvents that we could provision on-demand.
117   // The stack would act as a cache to avoid calls to ParkEvent::Allocate()
118   // and ::Release()
119   _ParkEvent   = ParkEvent::Allocate(this);
120 
121 #ifdef CHECK_UNHANDLED_OOPS
122   if (CheckUnhandledOops) {
123     _unhandled_oops = new UnhandledOops(this);
124   }
125 #endif // CHECK_UNHANDLED_OOPS
126 
127   // Notify the barrier set that a thread is being created. The initial
128   // thread is created before the barrier set is available.  The call to
129   // BarrierSet::on_thread_create() for this thread is therefore deferred
130   // to BarrierSet::set_barrier_set().
131   BarrierSet* const barrier_set = BarrierSet::barrier_set();
132   if (barrier_set != nullptr) {
133     barrier_set->on_thread_create(this);
134   } else {
135     // Only the main thread should be created before the barrier set
136     // and that happens just before Thread::current is set. No other thread
137     // can attach as the VM is not created yet, so they can't execute this code.
138     // If the main thread creates other threads before the barrier set that is an error.
139     assert(Thread::current_or_null() == nullptr, "creating thread before barrier set");
140   }
141 
142   MACOS_AARCH64_ONLY(DEBUG_ONLY(_wx_init = false));
143 }
144 
145 #ifdef ASSERT
146 address Thread::stack_base() const {
147   // Note: can't report Thread::name() here as that can require a ResourceMark which we
148   // can't use because this gets called too early in the thread initialization.
149   assert(_stack_base != nullptr, "Stack base not yet set for thread id:%d (0 if not set)",
150          osthread() != nullptr ? osthread()->thread_id() : 0);
151   return _stack_base;
152 }
153 #endif
154 
155 void Thread::initialize_tlab() {
156   if (UseTLAB) {
157     tlab().initialize();
158   }
159 }
160 
161 void Thread::initialize_thread_current() {
162 #ifndef USE_LIBRARY_BASED_TLS_ONLY
163   assert(_thr_current == nullptr, "Thread::current already initialized");
164   _thr_current = this;
165 #endif
166   assert(ThreadLocalStorage::thread() == nullptr, "ThreadLocalStorage::thread already initialized");
167   ThreadLocalStorage::set_thread(this);
168   assert(Thread::current() == ThreadLocalStorage::thread(), "TLS mismatch!");
169 }
170 
171 void Thread::clear_thread_current() {
172   assert(Thread::current() == ThreadLocalStorage::thread(), "TLS mismatch!");
173 #ifndef USE_LIBRARY_BASED_TLS_ONLY
174   _thr_current = nullptr;
175 #endif
176   ThreadLocalStorage::set_thread(nullptr);
177 }
178 
179 void Thread::record_stack_base_and_size() {
180   // Note: at this point, Thread object is not yet initialized. Do not rely on
181   // any members being initialized. Do not rely on Thread::current() being set.
182   // If possible, refrain from doing anything which may crash or assert since
183   // quite probably those crash dumps will be useless.
184   address base;
185   size_t size;
186   os::current_stack_base_and_size(&base, &size);
187   set_stack_base(base);
188   set_stack_size(size);
189 
190   // Set stack limits after thread is initialized.
191   if (is_Java_thread()) {
192     JavaThread::cast(this)->stack_overflow_state()->initialize(stack_base(), stack_end());
193   }
194 }
195 
196 void Thread::register_thread_stack_with_NMT() {
197   MemTracker::record_thread_stack(stack_end(), stack_size());
198 }
199 
200 void Thread::unregister_thread_stack_with_NMT() {
201   MemTracker::release_thread_stack(stack_end(), stack_size());
202 }
203 
204 void Thread::call_run() {
205   DEBUG_ONLY(_run_state = CALL_RUN;)
206 
207   // At this point, Thread object should be fully initialized and
208   // Thread::current() should be set.
209 
210   assert(Thread::current_or_null() != nullptr, "current thread is unset");
211   assert(Thread::current_or_null() == this, "current thread is wrong");
212 
213   // Perform common initialization actions
214 
215   MACOS_AARCH64_ONLY(this->init_wx());
216 
217   register_thread_stack_with_NMT();
218 
219   JFR_ONLY(Jfr::on_thread_start(this);)
220 
221   log_debug(os, thread)("Thread %zu stack dimensions: "
222     PTR_FORMAT "-" PTR_FORMAT " (" SIZE_FORMAT "k).",
223     os::current_thread_id(), p2i(stack_end()),
224     p2i(stack_base()), stack_size()/1024);
225 
226   // Perform <ChildClass> initialization actions
227   DEBUG_ONLY(_run_state = PRE_RUN;)
228   this->pre_run();
229 
230   // Invoke <ChildClass>::run()
231   DEBUG_ONLY(_run_state = RUN;)
232   this->run();
233   // Returned from <ChildClass>::run(). Thread finished.
234 
235   // Perform common tear-down actions
236 
237   assert(Thread::current_or_null() != nullptr, "current thread is unset");
238   assert(Thread::current_or_null() == this, "current thread is wrong");
239 
240   // Perform <ChildClass> tear-down actions
241   DEBUG_ONLY(_run_state = POST_RUN;)
242   this->post_run();
243 
244   // Note: at this point the thread object may already have deleted itself,
245   // so from here on do not dereference *this*. Not all thread types currently
246   // delete themselves when they terminate. But no thread should ever be deleted
247   // asynchronously with respect to its termination - that is what _run_state can
248   // be used to check.
249 
250   // Logically we should do this->unregister_thread_stack_with_NMT() here, but we
251   // had to move that into post_run() because of the `this` deletion issue.
252 
253   assert(Thread::current_or_null() == nullptr, "current thread still present");
254 }
255 
256 Thread::~Thread() {
257 
258   // Attached threads will remain in PRE_CALL_RUN, as will threads that don't actually
259   // get started due to errors etc. Any active thread should at least reach post_run
260   // before it is deleted (usually in post_run()).
261   assert(_run_state == PRE_CALL_RUN ||
262          _run_state == POST_RUN, "Active Thread deleted before post_run(): "
263          "_run_state=%d", (int)_run_state);
264 
265   // Notify the barrier set that a thread is being destroyed. Note that a barrier
266   // set might not be available if we encountered errors during bootstrapping.
267   BarrierSet* const barrier_set = BarrierSet::barrier_set();
268   if (barrier_set != nullptr) {
269     barrier_set->on_thread_destroy(this);
270   }
271 
272   // deallocate data structures
273   delete resource_area();
274   // since the handle marks are using the handle area, we have to deallocated the root
275   // handle mark before deallocating the thread's handle area,
276   assert(last_handle_mark() != nullptr, "check we have an element");
277   delete last_handle_mark();
278   assert(last_handle_mark() == nullptr, "check we have reached the end");
279 
280   ParkEvent::Release(_ParkEvent);
281   // Set to null as a termination indicator for has_terminated().
282   Atomic::store(&_ParkEvent, (ParkEvent*)nullptr);
283 
284   delete handle_area();
285   delete metadata_handles();
286 
287   // osthread() can be null, if creation of thread failed.
288   if (osthread() != nullptr) os::free_thread(osthread());
289 
290   // Clear Thread::current if thread is deleting itself and it has not
291   // already been done. This must be done before the memory is deallocated.
292   // Needed to ensure JNI correctly detects non-attached threads.
293   if (this == Thread::current_or_null()) {
294     Thread::clear_thread_current();
295   }
296 
297   CHECK_UNHANDLED_OOPS_ONLY(if (CheckUnhandledOops) delete unhandled_oops();)
298 }
299 
300 #ifdef ASSERT
301 // A JavaThread is considered dangling if it not handshake-safe with respect to
302 // the current thread, it is not on a ThreadsList, or not at safepoint.
303 void Thread::check_for_dangling_thread_pointer(Thread *thread) {
304   assert(!thread->is_Java_thread() ||
305          JavaThread::cast(thread)->is_handshake_safe_for(Thread::current()) ||
306          !JavaThread::cast(thread)->on_thread_list() ||
307          SafepointSynchronize::is_at_safepoint() ||
308          ThreadsSMRSupport::is_a_protected_JavaThread_with_lock(JavaThread::cast(thread)),
309          "possibility of dangling Thread pointer");
310 }
311 #endif
312 
313 // Is the target JavaThread protected by the calling Thread or by some other
314 // mechanism?
315 //
316 bool Thread::is_JavaThread_protected(const JavaThread* target) {
317   Thread* current_thread = Thread::current();
318 
319   // Do the simplest check first:
320   if (SafepointSynchronize::is_at_safepoint()) {
321     // The target is protected since JavaThreads cannot exit
322     // while we're at a safepoint.
323     return true;
324   }
325 
326   // If the target hasn't been started yet then it is trivially
327   // "protected". We assume the caller is the thread that will do
328   // the starting.
329   if (target->osthread() == nullptr || target->osthread()->get_state() <= INITIALIZED) {
330     return true;
331   }
332 
333   // Now make the simple checks based on who the caller is:
334   if (current_thread == target || Threads_lock->owner() == current_thread) {
335     // Target JavaThread is self or calling thread owns the Threads_lock.
336     // Second check is the same as Threads_lock->owner_is_self(),
337     // but we already have the current thread so check directly.
338     return true;
339   }
340 
341   // Check the ThreadsLists associated with the calling thread (if any)
342   // to see if one of them protects the target JavaThread:
343   if (is_JavaThread_protected_by_TLH(target)) {
344     return true;
345   }
346 
347   // Use this debug code with -XX:+UseNewCode to diagnose locations that
348   // are missing a ThreadsListHandle or other protection mechanism:
349   // guarantee(!UseNewCode, "current_thread=" INTPTR_FORMAT " is not protecting target="
350   //           INTPTR_FORMAT, p2i(current_thread), p2i(target));
351 
352   // Note: Since 'target' isn't protected by a TLH, the call to
353   // target->is_handshake_safe_for() may crash, but we have debug bits so
354   // we'll be able to figure out what protection mechanism is missing.
355   assert(target->is_handshake_safe_for(current_thread), "JavaThread=" INTPTR_FORMAT
356          " is not protected and not handshake safe.", p2i(target));
357 
358   // The target JavaThread is not protected so it is not safe to query:
359   return false;
360 }
361 
362 // Is the target JavaThread protected by a ThreadsListHandle (TLH) associated
363 // with the calling Thread?
364 //
365 bool Thread::is_JavaThread_protected_by_TLH(const JavaThread* target) {
366   Thread* current_thread = Thread::current();
367 
368   // Check the ThreadsLists associated with the calling thread (if any)
369   // to see if one of them protects the target JavaThread:
370   for (SafeThreadsListPtr* stlp = current_thread->_threads_list_ptr;
371        stlp != nullptr; stlp = stlp->previous()) {
372     if (stlp->list()->includes(target)) {
373       // The target JavaThread is protected by this ThreadsList:
374       return true;
375     }
376   }
377 
378   // The target JavaThread is not protected by a TLH so it is not safe to query:
379   return false;
380 }
381 
382 void Thread::set_priority(Thread* thread, ThreadPriority priority) {
383   debug_only(check_for_dangling_thread_pointer(thread);)
384   // Can return an error!
385   (void)os::set_priority(thread, priority);
386 }
387 
388 
389 void Thread::start(Thread* thread) {
390   // Start is different from resume in that its safety is guaranteed by context or
391   // being called from a Java method synchronized on the Thread object.
392   if (thread->is_Java_thread()) {
393     // Initialize the thread state to RUNNABLE before starting this thread.
394     // Can not set it after the thread started because we do not know the
395     // exact thread state at that time. It could be in MONITOR_WAIT or
396     // in SLEEPING or some other state.
397     java_lang_Thread::set_thread_status(JavaThread::cast(thread)->threadObj(),
398                                         JavaThreadStatus::RUNNABLE);
399   }
400   os::start_thread(thread);
401 }
402 
403 // GC Support
404 bool Thread::claim_par_threads_do(uintx claim_token) {
405   uintx token = _threads_do_token;
406   if (token != claim_token) {
407     uintx res = Atomic::cmpxchg(&_threads_do_token, token, claim_token);
408     if (res == token) {
409       return true;
410     }
411     guarantee(res == claim_token, "invariant");
412   }
413   return false;
414 }
415 
416 void Thread::oops_do_no_frames(OopClosure* f, NMethodClosure* cf) {
417   // Do oop for ThreadShadow
418   f->do_oop((oop*)&_pending_exception);
419   handle_area()->oops_do(f);
420 }
421 
422 // If the caller is a NamedThread, then remember, in the current scope,
423 // the given JavaThread in its _processed_thread field.
424 class RememberProcessedThread: public StackObj {
425   NamedThread* _cur_thr;
426 public:
427   RememberProcessedThread(Thread* thread) {
428     Thread* self = Thread::current();
429     if (self->is_Named_thread()) {
430       _cur_thr = (NamedThread *)self;
431       assert(_cur_thr->processed_thread() == nullptr, "nesting not supported");
432       _cur_thr->set_processed_thread(thread);
433     } else {
434       _cur_thr = nullptr;
435     }
436   }
437 
438   ~RememberProcessedThread() {
439     if (_cur_thr) {
440       assert(_cur_thr->processed_thread() != nullptr, "nesting not supported");
441       _cur_thr->set_processed_thread(nullptr);
442     }
443   }
444 };
445 
446 void Thread::oops_do(OopClosure* f, NMethodClosure* cf) {
447   // Record JavaThread to GC thread
448   RememberProcessedThread rpt(this);
449   oops_do_no_frames(f, cf);
450   oops_do_frames(f, cf);
451 }
452 
453 void Thread::metadata_handles_do(void f(Metadata*)) {
454   // Only walk the Handles in Thread.
455   if (metadata_handles() != nullptr) {
456     for (int i = 0; i< metadata_handles()->length(); i++) {
457       f(metadata_handles()->at(i));
458     }
459   }
460 }
461 
462 void Thread::print_on(outputStream* st, bool print_extended_info) const {
463   // get_priority assumes osthread initialized
464   if (osthread() != nullptr) {
465     int os_prio;
466     if (os::get_native_priority(this, &os_prio) == OS_OK) {
467       st->print("os_prio=%d ", os_prio);
468     }
469 
470     st->print("cpu=%.2fms ",
471               (double)os::thread_cpu_time(const_cast<Thread*>(this), true) / 1000000.0
472               );
473     st->print("elapsed=%.2fs ",
474               (double)_statistical_info.getElapsedTime() / 1000.0
475               );
476     if (is_Java_thread() && (PrintExtendedThreadInfo || print_extended_info)) {
477       size_t allocated_bytes = (size_t) const_cast<Thread*>(this)->cooked_allocated_bytes();
478       st->print("allocated=" SIZE_FORMAT "%s ",
479                 byte_size_in_proper_unit(allocated_bytes),
480                 proper_unit_for_byte_size(allocated_bytes)
481                 );
482       st->print("defined_classes=" INT64_FORMAT " ", _statistical_info.getDefineClassCount());
483     }
484 
485     st->print("tid=" INTPTR_FORMAT " ", p2i(this));
486     if (!is_Java_thread() || !JavaThread::cast(this)->is_vthread_mounted()) {
487       osthread()->print_on(st);
488     }
489   }
490   ThreadsSMRSupport::print_info_on(this, st);
491   st->print(" ");
492   debug_only(if (WizardMode) print_owned_locks_on(st);)
493 }
494 
495 void Thread::print() const { print_on(tty); }
496 
497 // Thread::print_on_error() is called by fatal error handler. Don't use
498 // any lock or allocate memory.
499 void Thread::print_on_error(outputStream* st, char* buf, int buflen) const {
500   assert(!(is_Compiler_thread() || is_Java_thread()), "Can't call name() here if it allocates");
501 
502   st->print("%s \"%s\"", type_name(), name());
503 
504   OSThread* os_thr = osthread();
505   if (os_thr != nullptr) {
506     st->fill_to(67);
507     if (os_thr->get_state() != ZOMBIE) {
508       // Use raw field members for stack base/size as this could be
509       // called before a thread has run enough to initialize them.
510       st->print(" [id=%d, stack(" PTR_FORMAT "," PTR_FORMAT ") (" PROPERFMT ")]",
511                 osthread()->thread_id(), p2i(_stack_base - _stack_size), p2i(_stack_base),
512                 PROPERFMTARGS(_stack_size));
513     } else {
514       st->print(" terminated");
515     }
516   } else {
517     st->print(" unknown state (no osThread)");
518   }
519   ThreadsSMRSupport::print_info_on(this, st);
520 }
521 
522 void Thread::print_value_on(outputStream* st) const {
523   if (is_Named_thread()) {
524     st->print(" \"%s\" ", name());
525   }
526   st->print(INTPTR_FORMAT, p2i(this));   // print address
527 }
528 
529 #ifdef ASSERT
530 void Thread::print_owned_locks_on(outputStream* st) const {
531   Mutex* cur = _owned_locks;
532   if (cur == nullptr) {
533     st->print(" (no locks) ");
534   } else {
535     st->print_cr(" Locks owned:");
536     while (cur) {
537       cur->print_on(st);
538       cur = cur->next();
539     }
540   }
541 }
542 
543 Thread* Thread::_starting_thread = nullptr;
544 
545 bool Thread::is_starting_thread(const Thread* t) {
546   assert(_starting_thread != nullptr, "invariant");
547   return t == _starting_thread;
548 }
549 #endif // ASSERT
550 
551 bool Thread::set_as_starting_thread(JavaThread* jt) {
552   assert(jt != nullptr, "invariant");
553   assert(_starting_thread == nullptr, "already initialized: "
554          "_starting_thread=" INTPTR_FORMAT, p2i(_starting_thread));
555   // NOTE: this must be called from Threads::create_vm().
556   DEBUG_ONLY(_starting_thread = jt;)
557   return os::create_main_thread(jt);
558 }
559 
560 // Ad-hoc mutual exclusion primitives: SpinLock
561 //
562 // We employ SpinLocks _only for low-contention, fixed-length
563 // short-duration critical sections where we're concerned
564 // about native mutex_t or HotSpot Mutex:: latency.
565 //
566 // TODO-FIXME: ListLock should be of type SpinLock.
567 // We should make this a 1st-class type, integrated into the lock
568 // hierarchy as leaf-locks.  Critically, the SpinLock structure
569 // should have sufficient padding to avoid false-sharing and excessive
570 // cache-coherency traffic.
571 
572 
573 typedef volatile int SpinLockT;
574 
575 void Thread::SpinAcquire(volatile int * adr, const char * LockName) {
576   if (Atomic::cmpxchg(adr, 0, 1) == 0) {
577     return;   // normal fast-path return
578   }
579 
580   // Slow-path : We've encountered contention -- Spin/Yield/Block strategy.
581   int ctr = 0;
582   int Yields = 0;
583   for (;;) {
584     while (*adr != 0) {
585       ++ctr;
586       if ((ctr & 0xFFF) == 0 || !os::is_MP()) {
587         if (Yields > 5) {
588           os::naked_short_sleep(1);
589         } else {
590           os::naked_yield();
591           ++Yields;
592         }
593       } else {
594         SpinPause();
595       }
596     }
597     if (Atomic::cmpxchg(adr, 0, 1) == 0) return;
598   }
599 }
600 
601 void Thread::SpinRelease(volatile int * adr) {
602   assert(*adr != 0, "invariant");
603   OrderAccess::fence();      // guarantee at least release consistency.
604   // Roach-motel semantics.
605   // It's safe if subsequent LDs and STs float "up" into the critical section,
606   // but prior LDs and STs within the critical section can't be allowed
607   // to reorder or float past the ST that releases the lock.
608   // Loads and stores in the critical section - which appear in program
609   // order before the store that releases the lock - must also appear
610   // before the store that releases the lock in memory visibility order.
611   // Conceptually we need a #loadstore|#storestore "release" MEMBAR before
612   // the ST of 0 into the lock-word which releases the lock, so fence
613   // more than covers this on all platforms.
614   *adr = 0;
615 }