Blame misc/allocate_once.c

Packit 6c4009
/* Concurrent allocation and initialization of a pointer.
Packit 6c4009
   Copyright (C) 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 <allocate_once.h>
Packit 6c4009
#include <stdlib.h>
Packit 6c4009
#include <stdbool.h>
Packit 6c4009
Packit 6c4009
void *
Packit 6c4009
__libc_allocate_once_slow (void **place, void *(*allocate) (void *closure),
Packit 6c4009
                           void (*deallocate) (void *closure, void *ptr),
Packit 6c4009
                           void *closure)
Packit 6c4009
{
Packit 6c4009
  void *result = allocate (closure);
Packit 6c4009
  if (result == NULL)
Packit 6c4009
    return NULL;
Packit 6c4009
Packit 6c4009
  /* This loop implements a strong CAS on *place, with acquire-release
Packit 6c4009
     MO semantics, from a weak CAS with relaxed-release MO.  */
Packit 6c4009
  while (true)
Packit 6c4009
    {
Packit 6c4009
      /* Synchronizes with the acquire MO load in allocate_once.  */
Packit 6c4009
      void *expected = NULL;
Packit 6c4009
      if (atomic_compare_exchange_weak_release (place, &expected, result))
Packit 6c4009
        return result;
Packit 6c4009
Packit 6c4009
      /* The failed CAS has relaxed MO semantics, so perform another
Packit 6c4009
         acquire MO load.  */
Packit 6c4009
      void *other_result = atomic_load_acquire (place);
Packit 6c4009
      if (other_result == NULL)
Packit 6c4009
        /* Spurious failure.  Try again.  */
Packit 6c4009
        continue;
Packit 6c4009
Packit 6c4009
      /* We lost the race.  Free what we allocated and return the
Packit 6c4009
         other result.  */
Packit 6c4009
      if (deallocate == NULL)
Packit 6c4009
        free (result);
Packit 6c4009
      else
Packit 6c4009
        deallocate (closure, result);
Packit 6c4009
      return other_result;
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  return result;
Packit 6c4009
}
Packit 6c4009
libc_hidden_def (__libc_allocate_once_slow)