#include <threads.h>

Include dependency graph for threads.c:

Macros
#define	__CPROVER_THREADS_H_INCLUDED

Functions
int	thrd_create (thrd_t thr, thrd_start_t func, void arg)

int	thrd_equal (thrd_t lhs, thrd_t rhs)

thrd_t	thrd_current ()

int	thrd_sleep (const struct timespec time_point, struct timespec remaining)

void	thrd_yield ()

void	thrd_exit (int res)

int	mtx_init (mtx_t *mutex, int type)

int	mtx_lock (mtx_t *mutex)

int	mtx_timedlock (mtx_t restrict mutex, const struct timespec restrict time_point)

int	mtx_trylock (mtx_t *mutex)

int	mtx_unlock (mtx_t *mutex)

void	mtx_destroy (mtx_t *mutex)

void	call_once (once_flag flag, void(func)(void))

int	cnd_init (cnd_t *cond)

int	cnd_signal (cnd_t *cond)

int	cnd_broadcast (cnd_t *cond)

int	cnd_wait (cnd_t cond, mtx_t mutex)

int	cnd_timedwait (cnd_t restrict cond, mtx_t restrict mutex, const struct timespec *restrict time_point)

void	cnd_destroy (cnd_t *cond)

Macro Definition Documentation

◆ __CPROVER_THREADS_H_INCLUDED

#define __CPROVER_THREADS_H_INCLUDED

Definition at line 7 of file threads.c.

Function Documentation

◆ call_once()

void call_once	(	once_flag *	flag,
		void(*)(void)	func
	)

Definition at line 137 of file threads.c.

◆ cnd_broadcast()

int cnd_broadcast ( cnd_t * cond )

Definition at line 171 of file threads.c.

◆ cnd_destroy()

void cnd_destroy ( cnd_t * cond )

Definition at line 205 of file threads.c.

◆ cnd_init()

int cnd_init ( cnd_t * cond )

Definition at line 148 of file threads.c.

◆ cnd_signal()

int cnd_signal ( cnd_t * cond )

Definition at line 159 of file threads.c.

◆ cnd_timedwait()

int cnd_timedwait	(	cnd_t *restrict	cond,
		mtx_t *restrict	mutex,
		const struct timespec *restrict	time_point
	)

Definition at line 193 of file threads.c.

◆ cnd_wait()

int cnd_wait	(	cnd_t *	cond,
		mtx_t *	mutex
	)

Definition at line 182 of file threads.c.

◆ mtx_destroy()

void mtx_destroy ( mtx_t * mutex )

Definition at line 126 of file threads.c.

◆ mtx_init()

int mtx_init	(	mtx_t *	mutex,
		int	type
	)

Definition at line 68 of file threads.c.

◆ mtx_lock()

int mtx_lock ( mtx_t * mutex )

Definition at line 79 of file threads.c.

◆ mtx_timedlock()

int mtx_timedlock	(	mtx_t *restrict	mutex,
		const struct timespec *restrict	time_point
	)

Definition at line 90 of file threads.c.

◆ mtx_trylock()

int mtx_trylock ( mtx_t * mutex )

Definition at line 103 of file threads.c.

◆ mtx_unlock()

int mtx_unlock ( mtx_t * mutex )

Definition at line 114 of file threads.c.

◆ thrd_create()

int thrd_create	(	thrd_t *	thr,
		thrd_start_t	func,
		void *	arg
	)

Definition at line 10 of file threads.c.

◆ thrd_current()

thrd_t thrd_current ( )

Definition at line 32 of file threads.c.

◆ thrd_equal()

int thrd_equal	(	thrd_t	lhs,
		thrd_t	rhs
	)

Definition at line 21 of file threads.c.

◆ thrd_exit()

void thrd_exit ( int res )

Definition at line 56 of file threads.c.

◆ thrd_sleep()

int thrd_sleep	(	const struct timespec *	time_point,
		struct timespec *	remaining
	)

Definition at line 43 of file threads.c.

◆ thrd_yield()

void thrd_yield ( )

Definition at line 50 of file threads.c.

Macros

Functions