CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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.