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.
#include <stdarg.h>
#include <nucleus/pod.h>
#include <nucleus/synch.h>
#include <nucleus/thread.h>
#include <nucleus/module.h>
#include <nucleus/ltt.h>
Functions | |
| void | xnsynch_init (xnsynch_t *synch, xnflags_t flags) |
| Initialize a synchronization object. | |
| void | xnsynch_sleep_on (xnsynch_t *synch, xnticks_t timeout) |
| 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. | |
| 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. | |
1.4.6