include/native/sem.h

Go to the documentation of this file.

#ifndef _XENO_SEM_H
#define _XENO_SEM_H

#include <nucleus/synch.h>
#include <native/types.h>

/* Creation flags. */
#define S_PRIO  XNSYNCH_PRIO    /* Pend by task priority order. */
#define S_FIFO  XNSYNCH_FIFO    /* Pend by FIFO order. */
#define S_PULSE 0x100           /* Apply pulse mode. */

typedef struct rt_sem_info {

    unsigned long count; /* !< Current semaphore value. */

    int nwaiters;       /* !< Number of pending tasks. */

    char name[XNOBJECT_NAME_LEN]; /* !< Symbolic name. */

} RT_SEM_INFO;

typedef struct rt_sem_placeholder {
    xnhandle_t opaque;
} RT_SEM_PLACEHOLDER;

#if (defined(__KERNEL__) || defined(__XENO_SIM__)) && !defined(DOXYGEN_CPP)

#include <native/ppd.h>

#define XENO_SEM_MAGIC 0x55550303

typedef struct rt_sem {

    unsigned magic;   /* !< Magic code - must be first */

    xnsynch_t synch_base; /* !< Base synchronization object. */

    unsigned long count; /* !< Current semaphore value. */

    int mode;           /* !< Creation mode. */

    xnhandle_t handle;  /* !< Handle in registry -- zero if unregistered. */

    char name[XNOBJECT_NAME_LEN]; /* !< Symbolic name. */

#ifdef CONFIG_XENO_OPT_PERVASIVE
    pid_t cpid;                 /* !< Creator's pid. */
#endif /* CONFIG_XENO_OPT_PERVASIVE */

    xnholder_t rlink;           /* !< Link in resource queue. */

#define rlink2sem(ln)           container_of(ln, RT_SEM, rlink)

    xnqueue_t *rqueue;          /* !< Backpointer to resource queue. */

} RT_SEM;

#ifdef __cplusplus
extern "C" {
#endif

#ifdef CONFIG_XENO_OPT_NATIVE_SEM

int __native_sem_pkg_init(void);

void __native_sem_pkg_cleanup(void);

static inline void __native_sem_flush_rq(xnqueue_t *rq)
{
        xeno_flush_rq(RT_SEM, rq, sem);
}

#else /* !CONFIG_XENO_OPT_NATIVE_SEM */

#define __native_sem_pkg_init()         ({ 0; })
#define __native_sem_pkg_cleanup()              do { } while(0)
#define __native_sem_flush_rq(rq)               do { } while(0)

#endif /* !CONFIG_XENO_OPT_NATIVE_SEM */

#ifdef __cplusplus
}
#endif

#else /* !(__KERNEL__ || __XENO_SIM__) */

typedef RT_SEM_PLACEHOLDER RT_SEM;

#ifdef __cplusplus
extern "C" {
#endif

int rt_sem_bind(RT_SEM *sem,
                const char *name,
                RTIME timeout);

static inline int rt_sem_unbind (RT_SEM *sem)

{
    sem->opaque = XN_NO_HANDLE;
    return 0;
}

#ifdef __cplusplus
}
#endif

#endif /* __KERNEL__ || __XENO_SIM__ */

#ifdef __cplusplus
extern "C" {
#endif

/* Public interface. */

int rt_sem_create(RT_SEM *sem,
                  const char *name,
                  unsigned long icount,
                  int mode);

int rt_sem_delete(RT_SEM *sem);

int rt_sem_p(RT_SEM *sem,
             RTIME timeout);

int rt_sem_v(RT_SEM *sem);

int rt_sem_broadcast(RT_SEM *sem);

int rt_sem_inquire(RT_SEM *sem,
                   RT_SEM_INFO *info);

#ifdef __cplusplus
}
#endif

#endif /* !_XENO_SEM_H */

---