CBMC
semaphore.c File Reference
#include <semaphore.h>
+ Include dependency graph for semaphore.c:

Go to the source code of this file.

Functions

int sem_init (sem_t *sem, int pshared, unsigned int value)
 
int sem_wait (sem_t *sem)
 
int sem_timedwait (sem_t *sem, const struct timespec *abstime)
 
int sem_trywait (sem_t *sem)
 
int sem_post (sem_t *sem)
 
int sem_post_multiple (sem_t *sem, int number)
 
int sem_getvalue (sem_t *sem, int *sval)
 
int sem_destroy (sem_t *sem)
 

Function Documentation

◆ sem_destroy()

int sem_destroy ( sem_t *  sem)

Definition at line 141 of file semaphore.c.

◆ sem_getvalue()

int sem_getvalue ( sem_t *  sem,
int *  sval 
)

Definition at line 121 of file semaphore.c.

◆ sem_init()

int sem_init ( sem_t *  sem,
int  pshared,
unsigned int  value 
)

Definition at line 5 of file semaphore.c.

◆ sem_post()

int sem_post ( sem_t *  sem)

Definition at line 82 of file semaphore.c.

◆ sem_post_multiple()

int sem_post_multiple ( sem_t *  sem,
int  number 
)

Definition at line 101 of file semaphore.c.

◆ sem_timedwait()

int sem_timedwait ( sem_t *  sem,
const struct timespec *  abstime 
)

Definition at line 43 of file semaphore.c.

◆ sem_trywait()

int sem_trywait ( sem_t *  sem)

Definition at line 63 of file semaphore.c.

◆ sem_wait()

int sem_wait ( sem_t *  sem)

Definition at line 24 of file semaphore.c.