|
Packit |
6c4009 |
/* elision-lock.c: Elided pthread mutex lock.
|
|
Packit |
6c4009 |
Copyright (C) 2011-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 <pthread.h>
|
|
Packit |
6c4009 |
#include "pthreadP.h"
|
|
Packit |
6c4009 |
#include "lowlevellock.h"
|
|
Packit |
6c4009 |
#include "hle.h"
|
|
Packit |
6c4009 |
#include <elision-conf.h>
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#if !defined(LLL_LOCK) && !defined(EXTRAARG)
|
|
Packit |
6c4009 |
/* Make sure the configuration code is always linked in for static
|
|
Packit |
6c4009 |
libraries. */
|
|
Packit |
6c4009 |
#include "elision-conf.c"
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#ifndef EXTRAARG
|
|
Packit |
6c4009 |
#define EXTRAARG
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
#ifndef LLL_LOCK
|
|
Packit |
6c4009 |
#define LLL_LOCK(a,b) lll_lock(a,b), 0
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#define aconf __elision_aconf
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Adaptive lock using transactions.
|
|
Packit |
6c4009 |
By default the lock region is run as a transaction, and when it
|
|
Packit |
6c4009 |
aborts or the lock is busy the lock adapts itself. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
int
|
|
Packit |
6c4009 |
__lll_lock_elision (int *futex, short *adapt_count, EXTRAARG int private)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* adapt_count can be accessed concurrently; these accesses can be both
|
|
Packit |
6c4009 |
inside of transactions (if critical sections are nested and the outer
|
|
Packit |
6c4009 |
critical section uses lock elision) and outside of transactions. Thus,
|
|
Packit |
6c4009 |
we need to use atomic accesses to avoid data races. However, the
|
|
Packit |
6c4009 |
value of adapt_count is just a hint, so relaxed MO accesses are
|
|
Packit |
6c4009 |
sufficient. */
|
|
Packit |
6c4009 |
if (atomic_load_relaxed (adapt_count) <= 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
unsigned status;
|
|
Packit |
6c4009 |
int try_xbegin;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
for (try_xbegin = aconf.retry_try_xbegin;
|
|
Packit |
6c4009 |
try_xbegin > 0;
|
|
Packit |
6c4009 |
try_xbegin--)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if ((status = _xbegin()) == _XBEGIN_STARTED)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (*futex == 0)
|
|
Packit |
6c4009 |
return 0;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Lock was busy. Fall back to normal locking.
|
|
Packit |
6c4009 |
Could also _xend here but xabort with 0xff code
|
|
Packit |
6c4009 |
is more visible in the profiler. */
|
|
Packit |
6c4009 |
_xabort (_ABORT_LOCK_BUSY);
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (!(status & _XABORT_RETRY))
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if ((status & _XABORT_EXPLICIT)
|
|
Packit |
6c4009 |
&& _XABORT_CODE (status) == _ABORT_LOCK_BUSY)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* Right now we skip here. Better would be to wait a bit
|
|
Packit |
6c4009 |
and retry. This likely needs some spinning. See
|
|
Packit |
6c4009 |
above for why relaxed MO is sufficient. */
|
|
Packit |
6c4009 |
if (atomic_load_relaxed (adapt_count)
|
|
Packit |
6c4009 |
!= aconf.skip_lock_busy)
|
|
Packit |
6c4009 |
atomic_store_relaxed (adapt_count, aconf.skip_lock_busy);
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
/* Internal abort. There is no chance for retry.
|
|
Packit |
6c4009 |
Use the normal locking and next time use lock.
|
|
Packit |
6c4009 |
Be careful to avoid writing to the lock. See above for why
|
|
Packit |
6c4009 |
relaxed MO is sufficient. */
|
|
Packit |
6c4009 |
else if (atomic_load_relaxed (adapt_count)
|
|
Packit |
6c4009 |
!= aconf.skip_lock_internal_abort)
|
|
Packit |
6c4009 |
atomic_store_relaxed (adapt_count,
|
|
Packit |
6c4009 |
aconf.skip_lock_internal_abort);
|
|
Packit |
6c4009 |
break;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* Use a normal lock until the threshold counter runs out.
|
|
Packit |
6c4009 |
Lost updates possible. */
|
|
Packit |
6c4009 |
atomic_store_relaxed (adapt_count,
|
|
Packit |
6c4009 |
atomic_load_relaxed (adapt_count) - 1);
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Use a normal lock here. */
|
|
Packit |
6c4009 |
return LLL_LOCK ((*futex), private);
|
|
Packit |
6c4009 |
}
|