123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158 |
- /*
- * Copyright (c) 2017-2018 Richard Braun.
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- *
- *
- * Generic sleep queues.
- *
- * Sleep queues are used to build sleeping synchronization primitives
- * such as mutexes and condition variables.
- *
- * Although the sleep queues are mostly generic, this implementation
- * relies on knowing whether a synchronization object is a condition
- * variable or not, because waiting on a condition variable unlocks
- * the associated mutex, at which point two sleep queues are locked.
- * Handling condition variable sleep queues slightly differently
- * allows preventing deadlocks while keeping overall complexity low.
- */
- #ifndef KERN_SLEEPQ_H
- #define KERN_SLEEPQ_H
- #include <stdbool.h>
- #include <stdint.h>
- #include <kern/init.h>
- struct sleepq;
- /*
- * Create/destroy a sleep queue.
- */
- struct sleepq * sleepq_create(void);
- void sleepq_destroy(struct sleepq *sleepq);
- /*
- * Acquire/release a sleep queue.
- *
- * Acquiring a sleep queue serializes all access and disables preemption.
- *
- * The condition argument must be true if the synchronization object
- * is a condition variable.
- *
- * If no sleep queue has been lent for the synchronization object, NULL
- * is returned. Note that, in the case of the non-blocking variant,
- * the call may also return NULL if internal state shared by unrelated
- * synchronization objects is locked.
- */
- struct sleepq * sleepq_acquire(const void *sync_obj, bool condition);
- struct sleepq * sleepq_tryacquire(const void *sync_obj, bool condition);
- void sleepq_release(struct sleepq *sleepq);
- /*
- * Versions of the sleep queue acquisition functions that also disable
- * interrupts.
- */
- struct sleepq * sleepq_acquire_intr_save(const void *sync_obj,
- bool condition,
- unsigned long *flags);
- struct sleepq * sleepq_tryacquire_intr_save(const void *sync_obj,
- bool condition,
- unsigned long *flags);
- void sleepq_release_intr_restore(struct sleepq *sleepq,
- unsigned long flags);
- /*
- * Lend/return a sleep queue.
- *
- * Most often, a thread lends its private sleep queue to the sleepq
- * module in order to prepare its sleep. The sleep queue obtained
- * on lending is either the thread's queue, or an already existing
- * queue for this synchronization object if another thread is waiting.
- *
- * When multiple threads lend their sleep queue for the same synchronization
- * object, the extra queues lent are kept in an internal free list, used
- * when threads are awoken to return a queue to them. As a result, the
- * sleep queue returned may not be the one lent.
- *
- * The sleep queue obtained when lending is automatically acquired.
- *
- * The condition argument must be true if the synchronization object
- * is a condition variable.
- */
- struct sleepq * sleepq_lend(const void *sync_obj, bool condition);
- void sleepq_return(struct sleepq *sleepq);
- /*
- * Versions of the sleep queue lending functions that also disable
- * interrupts.
- */
- struct sleepq * sleepq_lend_intr_save(const void *sync_obj, bool condition,
- unsigned long *flags);
- void sleepq_return_intr_restore(struct sleepq *sleepq, unsigned long flags);
- /*
- * Return true if the given sleep queue has no waiters.
- *
- * The sleep queue must be acquired when calling this function.
- */
- bool sleepq_empty(const struct sleepq *sleepq);
- /*
- * Wait for a wake-up on the given sleep queue.
- *
- * The sleep queue must be lent when calling this function. It is
- * released and later reacquired before returning from this function.
- *
- * The calling thread is considered a waiter as long as it didn't
- * reacquire the sleep queue. This means that signalling a sleep queue
- * has no visible effect on the number of waiters until the queue is
- * released, e.g. if a single thread is waiting and another signals
- * the queue, the queue is not immediately considered empty.
- *
- * When bounding the duration of the wait, the caller must pass an absolute
- * time in ticks, and ETIMEDOUT is returned if that time is reached before
- * the sleep queue is signalled.
- */
- void sleepq_wait(struct sleepq *sleepq, const char *wchan);
- int sleepq_timedwait(struct sleepq *sleepq, const char *wchan, uint64_t ticks);
- /*
- * Wake up a thread waiting on the given sleep queue, if any.
- *
- * The sleep queue must be acquired when calling this function.
- * A sleep queue may be signalled from interrupt context.
- *
- * Since a sleep queue must be lent (and in turn is automatically
- * acquired) when waiting, and acquired in order to signal it,
- * wake-ups are serialized and cannot be missed.
- *
- * At least one thread is awoken if any threads are waiting on the sleep
- * queue.
- *
- * Broadcasting a sleep queue wakes up all waiting threads.
- */
- void sleepq_signal(struct sleepq *sleepq);
- void sleepq_broadcast(struct sleepq *sleepq);
- /*
- * This init operation provides :
- * - sleepq creation
- * - module fully initialized
- */
- INIT_OP_DECLARE(sleepq_setup);
- #endif /* KERN_SLEEPQ_H */
|