Blame sysdeps/hppa/nptl/pthread_spin_unlock.c

Packit 6c4009
/* Copyright (C) 2005-2018 Free Software Foundation, Inc.
Packit 6c4009
   This file is part of the GNU C Library.
Packit 6c4009
Packit 6c4009
   The GNU C Library is free software; you can redistribute it and/or
Packit 6c4009
   modify it under the terms of the GNU Lesser General Public
Packit 6c4009
   License as published by the Free Software Foundation; either
Packit 6c4009
   version 2.1 of the License, or (at your option) any later version.
Packit 6c4009
Packit 6c4009
   The GNU C Library is distributed in the hope that it will be useful,
Packit 6c4009
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 6c4009
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 6c4009
   Lesser General Public License for more details.
Packit 6c4009
Packit 6c4009
   You should have received a copy of the GNU Lesser General Public
Packit 6c4009
   License along with the GNU C Library.  If not, see
Packit 6c4009
   <http://www.gnu.org/licenses/>.  */
Packit 6c4009
Packit 6c4009
#include "pthreadP.h"
Packit 6c4009
Packit 6c4009
int
Packit 6c4009
pthread_spin_unlock (pthread_spinlock_t *lock)
Packit 6c4009
{
Packit 6c4009
  /* CONCURRENCTY NOTES:
Packit 6c4009
Packit 6c4009
     The atomic_exchange_rel synchronizes-with the atomic_exhange_acq in
Packit 6c4009
     pthread_spin_lock.
Packit 6c4009
Packit 6c4009
     On hppa we must not use a plain `stw` to reset the guard lock.  This
Packit 6c4009
     has to do with the kernel compare-and-swap helper that is used to
Packit 6c4009
     implement all of the atomic operations.
Packit 6c4009
Packit 6c4009
     The kernel CAS helper uses its own internal locks and that means that
Packit 6c4009
     to create a true happens-before relationship between any two threads,
Packit 6c4009
     the second thread must observe the internal lock having a value of 0
Packit 6c4009
     (it must attempt to take the lock with ldcw).  This creates the
Packit 6c4009
     ordering required for a second thread to observe the effects of the
Packit 6c4009
     RMW of the kernel CAS helper in any other thread.
Packit 6c4009
Packit 6c4009
     Therefore if a variable is used in an atomic macro it must always be
Packit 6c4009
     manipulated with atomic macros in order for memory ordering rules to
Packit 6c4009
     be preserved.  */
Packit 6c4009
  atomic_exchange_rel (lock, 0);
Packit 6c4009
  return 0;
Packit 6c4009
}