Subject: Condition variables
To: None <tech-kern@netbsd.org>
From: Jason R Thorpe <thorpej@zembu.com>
List: tech-smp
Date: 06/05/2000 16:15:33
Hi folks...

I have written a condition variable implementation for the NetBSD kernel,
based on the tsleep() implementation.  For those of you unfamiliar with
condition variables, a condition variable is like a tsleep() "wait channel",
except it is separate from the thing you're waiting for (e.g. if you're
waiting for a VM page, you wait on `&pg->condvar', not `pg').  If you've
ever programmed in pthreads, you understand how this all works.

These are important in an SMP environment for eliminating race conditions
between a thread blocking and another thread unblocking blocked threads; when
you block on a condition variable, you pass an interlock that is not released
until you are on the sleep queue.

The API is pretty straightforward:

void	cond_init(condvar_t *cv, const char *name);
int	cond_wait(condvar_t *cv, int prio, int timo,
	    __volatile struct simplelock *interlock);
void	cond_signal(condvar_t *cv);
void	cond_broadcast(condvar_t *cv);

The `prio' and `timo' arguments to cond_wait() are the same as the
corresponding arguments for tsleep().  A new `prio' flag has also
been added, PNORELOCK, to prevent the thread from attempting to
relock the interlock when it is unblocked.

I am currently running a lockmgr() that uses condition variables, and
also a mostly condition variable'ized UVM at the moment.  All is well.

After a little more testing and review by a couple of people, I plan
on committing this, within the next day or two.

-- 
        -- Jason R. Thorpe <thorpej@zembu.com>