Copyright (C) 2001,2002,2003 Philippe Gerum <rpm@xenomai.org>.
Xenomai 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 2 of the License, or (at your option) any later version.
Xenomai 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 Xenomai; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
Functions | |
void | xnsynch_init (xnsynch_t *synch, xnflags_t flags) |
Initialize a synchronization object. | |
void | xnsynch_sleep_on (xnsynch_t *synch, xnticks_t timeout, xntmode_t timeout_mode) |
Sleep on a synchronization object. | |
static void | xnsynch_clear_boost (xnsynch_t *synch, xnthread_t *lastowner) |
Clear the priority boost. | |
void | xnsynch_renice_sleeper (xnthread_t *thread) |
Change a sleeper's priority. | |
xnthread_t * | xnsynch_wakeup_one_sleeper (xnsynch_t *synch) |
Give the resource ownership to the next waiting thread. | |
xnthread_t * | xnsynch_peek_pendq (xnsynch_t *synch) |
Access the thread leading a synch object wait queue. | |
xnpholder_t * | xnsynch_wakeup_this_sleeper (xnsynch_t *synch, xnpholder_t *holder) |
Give the resource ownership to a given waiting thread. | |
int | xnsynch_flush (xnsynch_t *synch, xnflags_t reason) |
Unblock all waiters pending on a resource. | |
void | xnsynch_forget_sleeper (xnthread_t *thread) |
Abort a wait for a resource. | |
void | xnsynch_release_all_ownerships (xnthread_t *thread) |
Release all ownerships. |