ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
semaphore.h File Reference
#include <time.h>
Include dependency graph for semaphore.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  sem_t

Functions

int sem_init (sem_t *__sem, int __pshared, unsigned int __value)
int sem_destroy (sem_t *__sem)
sem_t * sem_open (const char *__name, int __oflag,...)
int sem_close (sem_t *__sem)
int sem_unlink (const char *__name)
int sem_wait (sem_t *__sem)
int sem_trywait (sem_t *__sem)
int sem_post (sem_t *__sem)
int sem_getvalue (sem_t *__restrict __sem, int *__restrict __sval)

Function Documentation

◆ sem_close()

int sem_close ( sem_t * __sem)
extern

◆ sem_destroy()

int sem_destroy ( sem_t * __sem)
extern

◆ sem_getvalue()

int sem_getvalue ( sem_t *__restrict __sem,
int *__restrict __sval )
extern

◆ sem_init()

int sem_init ( sem_t * __sem,
int __pshared,
unsigned int __value )
extern

◆ sem_open()

sem_t * sem_open ( const char * __name,
int __oflag,
... )
extern

◆ sem_post()

int sem_post ( sem_t * __sem)
extern

◆ sem_trywait()

int sem_trywait ( sem_t * __sem)
extern

◆ sem_unlink()

int sem_unlink ( const char * __name)
extern

◆ sem_wait()

int sem_wait ( sem_t * __sem)
extern