Blame sysdeps/hppa/nptl/pthread_spin_unlock.c

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