|
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)
|