LIBRARY

Concurrency Kit (libck, -lck)

SYNOPSIS

In ck_tflock.h

ck_tflock_ticket_t lock = CK_TFLOCK_TICKET_INITIALIZER;

Ft void Fn ck_tflock_ticket_init ck_tflock_ticket_t *lock Ft void Fn ck_tflock_ticket_write_lock ck_tflock_ticket_t *lock Ft void Fn ck_tflock_ticket_write_unlock ck_tflock_ticket_t *lock Ft void Fn ck_tflock_ticket_read_lock ck_tflock_ticket_t *lock Ft void Fn ck_tflock_ticket_read_unlock ck_tflock_ticket_t *lock

DESCRIPTION

This is a centralized task-fair reader-writer lock. It requires little space overhead and has a low latency fast path.

EXAMPLE

#include <ck_tflock.h>
static ck_tflock_ticket_t lock = CK_TFLOCK_INITIALIZER;
static void
reader(void)
{
        for (;;) {
                ck_tflock_ticket_read_lock(&lock);
                /* Read-side critical section. */
                ck_tflock_ticket_read_unlock(&lock);
        }
        return;
}
static void
writer(void)
{
        for (;;) {
                ck_tflock_ticket_write_lock(&lock);
                /* Write-side critical section. */
                ck_tflock_ticket_write_unlock(&lock);
        }
        return;
}