2011-11-22 21:24:44 +01:00
|
|
|
// Copyright 2011 The Go Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2013-11-06 20:49:01 +01:00
|
|
|
// +build dragonfly freebsd linux
|
2012-01-13 06:11:45 +01:00
|
|
|
|
2011-11-22 21:24:44 +01:00
|
|
|
#include "runtime.h"
|
|
|
|
|
|
|
|
// This implementation depends on OS-specific implementations of
|
|
|
|
//
|
2012-01-13 06:11:45 +01:00
|
|
|
// runtime_futexsleep(uint32 *addr, uint32 val, int64 ns)
|
2011-11-22 21:24:44 +01:00
|
|
|
// Atomically,
|
|
|
|
// if(*addr == val) sleep
|
|
|
|
// Might be woken up spuriously; that's allowed.
|
|
|
|
// Don't sleep longer than ns; ns < 0 means forever.
|
|
|
|
//
|
2012-01-13 06:11:45 +01:00
|
|
|
// runtime_futexwakeup(uint32 *addr, uint32 cnt)
|
2011-11-22 21:24:44 +01:00
|
|
|
// If any procs are sleeping on addr, wake up at most cnt.
|
|
|
|
|
|
|
|
enum
|
|
|
|
{
|
|
|
|
MUTEX_UNLOCKED = 0,
|
|
|
|
MUTEX_LOCKED = 1,
|
|
|
|
MUTEX_SLEEPING = 2,
|
|
|
|
|
|
|
|
ACTIVE_SPIN = 4,
|
|
|
|
ACTIVE_SPIN_CNT = 30,
|
|
|
|
PASSIVE_SPIN = 1,
|
|
|
|
};
|
|
|
|
|
|
|
|
// Possible lock states are MUTEX_UNLOCKED, MUTEX_LOCKED and MUTEX_SLEEPING.
|
|
|
|
// MUTEX_SLEEPING means that there is presumably at least one sleeping thread.
|
|
|
|
// Note that there can be spinning threads during all states - they do not
|
|
|
|
// affect mutex's state.
|
|
|
|
void
|
|
|
|
runtime_lock(Lock *l)
|
|
|
|
{
|
|
|
|
uint32 i, v, wait, spin;
|
|
|
|
|
2011-11-28 06:45:49 +01:00
|
|
|
if(runtime_m()->locks++ < 0)
|
2011-11-22 21:24:44 +01:00
|
|
|
runtime_throw("runtime_lock: lock count");
|
|
|
|
|
|
|
|
// Speculative grab for lock.
|
2013-07-16 08:54:42 +02:00
|
|
|
v = runtime_xchg((uint32*)&l->key, MUTEX_LOCKED);
|
2011-11-22 21:24:44 +01:00
|
|
|
if(v == MUTEX_UNLOCKED)
|
|
|
|
return;
|
|
|
|
|
|
|
|
// wait is either MUTEX_LOCKED or MUTEX_SLEEPING
|
|
|
|
// depending on whether there is a thread sleeping
|
|
|
|
// on this mutex. If we ever change l->key from
|
|
|
|
// MUTEX_SLEEPING to some other value, we must be
|
|
|
|
// careful to change it back to MUTEX_SLEEPING before
|
|
|
|
// returning, to ensure that the sleeping thread gets
|
|
|
|
// its wakeup call.
|
|
|
|
wait = v;
|
|
|
|
|
|
|
|
// On uniprocessor's, no point spinning.
|
|
|
|
// On multiprocessors, spin for ACTIVE_SPIN attempts.
|
|
|
|
spin = 0;
|
|
|
|
if(runtime_ncpu > 1)
|
|
|
|
spin = ACTIVE_SPIN;
|
|
|
|
|
|
|
|
for(;;) {
|
|
|
|
// Try for lock, spinning.
|
|
|
|
for(i = 0; i < spin; i++) {
|
|
|
|
while(l->key == MUTEX_UNLOCKED)
|
2013-07-16 08:54:42 +02:00
|
|
|
if(runtime_cas((uint32*)&l->key, MUTEX_UNLOCKED, wait))
|
2011-11-22 21:24:44 +01:00
|
|
|
return;
|
|
|
|
runtime_procyield(ACTIVE_SPIN_CNT);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Try for lock, rescheduling.
|
|
|
|
for(i=0; i < PASSIVE_SPIN; i++) {
|
|
|
|
while(l->key == MUTEX_UNLOCKED)
|
2013-07-16 08:54:42 +02:00
|
|
|
if(runtime_cas((uint32*)&l->key, MUTEX_UNLOCKED, wait))
|
2011-11-22 21:24:44 +01:00
|
|
|
return;
|
|
|
|
runtime_osyield();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Sleep.
|
2013-07-16 08:54:42 +02:00
|
|
|
v = runtime_xchg((uint32*)&l->key, MUTEX_SLEEPING);
|
2011-11-22 21:24:44 +01:00
|
|
|
if(v == MUTEX_UNLOCKED)
|
|
|
|
return;
|
|
|
|
wait = MUTEX_SLEEPING;
|
2013-07-16 08:54:42 +02:00
|
|
|
runtime_futexsleep((uint32*)&l->key, MUTEX_SLEEPING, -1);
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
runtime_unlock(Lock *l)
|
|
|
|
{
|
|
|
|
uint32 v;
|
|
|
|
|
2013-07-16 08:54:42 +02:00
|
|
|
v = runtime_xchg((uint32*)&l->key, MUTEX_UNLOCKED);
|
2011-11-22 21:24:44 +01:00
|
|
|
if(v == MUTEX_UNLOCKED)
|
|
|
|
runtime_throw("unlock of unlocked lock");
|
|
|
|
if(v == MUTEX_SLEEPING)
|
2013-07-16 08:54:42 +02:00
|
|
|
runtime_futexwakeup((uint32*)&l->key, 1);
|
2013-11-06 20:49:01 +01:00
|
|
|
|
|
|
|
if(--runtime_m()->locks < 0)
|
|
|
|
runtime_throw("runtime_unlock: lock count");
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// One-time notifications.
|
|
|
|
void
|
|
|
|
runtime_noteclear(Note *n)
|
|
|
|
{
|
|
|
|
n->key = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
runtime_notewakeup(Note *n)
|
|
|
|
{
|
2013-11-06 20:49:01 +01:00
|
|
|
uint32 old;
|
|
|
|
|
|
|
|
old = runtime_xchg((uint32*)&n->key, 1);
|
|
|
|
if(old != 0) {
|
|
|
|
runtime_printf("notewakeup - double wakeup (%d)\n", old);
|
2013-01-29 21:52:43 +01:00
|
|
|
runtime_throw("notewakeup - double wakeup");
|
2013-11-06 20:49:01 +01:00
|
|
|
}
|
2013-07-16 08:54:42 +02:00
|
|
|
runtime_futexwakeup((uint32*)&n->key, 1);
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
runtime_notesleep(Note *n)
|
|
|
|
{
|
2014-06-07 00:37:27 +02:00
|
|
|
M *m = runtime_m();
|
|
|
|
|
2013-11-06 20:49:01 +01:00
|
|
|
/* For gccgo it's OK to sleep in non-g0, and it happens in
|
|
|
|
stoptheworld because we have not implemented preemption.
|
|
|
|
|
|
|
|
if(runtime_g() != runtime_m()->g0)
|
|
|
|
runtime_throw("notesleep not on g0");
|
|
|
|
*/
|
2014-06-07 00:37:27 +02:00
|
|
|
while(runtime_atomicload((uint32*)&n->key) == 0) {
|
|
|
|
m->blocked = true;
|
2013-07-16 08:54:42 +02:00
|
|
|
runtime_futexsleep((uint32*)&n->key, 0, -1);
|
2014-06-07 00:37:27 +02:00
|
|
|
m->blocked = false;
|
|
|
|
}
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|
|
|
|
|
2013-11-06 20:49:01 +01:00
|
|
|
static bool
|
|
|
|
notetsleep(Note *n, int64 ns, int64 deadline, int64 now)
|
2011-11-22 21:24:44 +01:00
|
|
|
{
|
2014-06-07 00:37:27 +02:00
|
|
|
M *m = runtime_m();
|
|
|
|
|
2013-11-06 20:49:01 +01:00
|
|
|
// Conceptually, deadline and now are local variables.
|
|
|
|
// They are passed as arguments so that the space for them
|
|
|
|
// does not count against our nosplit stack sequence.
|
2011-11-22 21:24:44 +01:00
|
|
|
|
|
|
|
if(ns < 0) {
|
2014-06-07 00:37:27 +02:00
|
|
|
while(runtime_atomicload((uint32*)&n->key) == 0) {
|
|
|
|
m->blocked = true;
|
2013-11-06 20:49:01 +01:00
|
|
|
runtime_futexsleep((uint32*)&n->key, 0, -1);
|
2014-06-07 00:37:27 +02:00
|
|
|
m->blocked = false;
|
|
|
|
}
|
2013-11-06 20:49:01 +01:00
|
|
|
return true;
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|
|
|
|
|
2013-07-16 08:54:42 +02:00
|
|
|
if(runtime_atomicload((uint32*)&n->key) != 0)
|
2013-11-06 20:49:01 +01:00
|
|
|
return true;
|
2011-11-22 21:24:44 +01:00
|
|
|
|
|
|
|
deadline = runtime_nanotime() + ns;
|
|
|
|
for(;;) {
|
2014-06-07 00:37:27 +02:00
|
|
|
m->blocked = true;
|
2013-07-16 08:54:42 +02:00
|
|
|
runtime_futexsleep((uint32*)&n->key, 0, ns);
|
2014-06-07 00:37:27 +02:00
|
|
|
m->blocked = false;
|
2013-07-16 08:54:42 +02:00
|
|
|
if(runtime_atomicload((uint32*)&n->key) != 0)
|
2012-03-06 18:57:23 +01:00
|
|
|
break;
|
2011-11-22 21:24:44 +01:00
|
|
|
now = runtime_nanotime();
|
|
|
|
if(now >= deadline)
|
2012-03-06 18:57:23 +01:00
|
|
|
break;
|
2011-11-22 21:24:44 +01:00
|
|
|
ns = deadline - now;
|
|
|
|
}
|
2013-11-06 20:49:01 +01:00
|
|
|
return runtime_atomicload((uint32*)&n->key) != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
runtime_notetsleep(Note *n, int64 ns)
|
|
|
|
{
|
|
|
|
bool res;
|
|
|
|
|
|
|
|
if(runtime_g() != runtime_m()->g0 && !runtime_m()->gcing)
|
|
|
|
runtime_throw("notetsleep not on g0");
|
|
|
|
|
|
|
|
res = notetsleep(n, ns, 0, 0);
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
// same as runtime_notetsleep, but called on user g (not g0)
|
|
|
|
// calls only nosplit functions between entersyscallblock/exitsyscall
|
|
|
|
bool
|
|
|
|
runtime_notetsleepg(Note *n, int64 ns)
|
|
|
|
{
|
|
|
|
bool res;
|
|
|
|
|
|
|
|
if(runtime_g() == runtime_m()->g0)
|
|
|
|
runtime_throw("notetsleepg on g0");
|
|
|
|
|
|
|
|
runtime_entersyscallblock();
|
|
|
|
res = notetsleep(n, ns, 0, 0);
|
|
|
|
runtime_exitsyscall();
|
|
|
|
return res;
|
2011-11-22 21:24:44 +01:00
|
|
|
}
|