#include <__esbmc/stddefs.h>
#include <stddef.h>
#include <stdint.h>
#include <sched.h>
#include <time.h>

Include dependency graph for pthread.h:

This graph shows which files directly or indirectly include this file:

Classes
union	pthread_attr_t
struct	pthread_mutex_t
union	pthread_mutexattr_t
struct	pthread_cond_t
union	pthread_condattr_t
struct	pthread_rwlock_t
union	pthread_rwlockattr_t
struct	pthread_spinlock_t
struct	pthread_barrier_t
union	pthread_barrierattr_t
struct	sched_param
struct	_pthread_cleanup_buffer

Macros
#define	NULL 0
#define	PTHREAD_MUTEX_INITIALIZER { 0, 0, 0, 0, 0, }
#define	PTHREAD_COND_INITIALIZER { 0, 0, 0, }
#define	PTHREAD_RWLOCK_INITIALIZER { 0, }
#define	PTHREAD_CREATE_JOINABLE PTHREAD_CREATE_JOINABLE
#define	PTHREAD_CREATE_DETACHED PTHREAD_CREATE_DETACHED
#define	PTHREAD_INHERIT_SCHED PTHREAD_INHERIT_SCHED
#define	PTHREAD_EXPLICIT_SCHED PTHREAD_EXPLICIT_SCHED
#define	PTHREAD_SCOPE_SYSTEM PTHREAD_SCOPE_SYSTEM
#define	PTHREAD_SCOPE_PROCESS PTHREAD_SCOPE_PROCESS
#define	PTHREAD_PROCESS_PRIVATE PTHREAD_PROCESS_PRIVATE
#define	PTHREAD_PROCESS_SHARED PTHREAD_PROCESS_SHARED
#define	PTHREAD_CANCEL_ENABLE PTHREAD_CANCEL_ENABLE
#define	PTHREAD_CANCEL_DISABLE PTHREAD_CANCEL_DISABLE
#define	PTHREAD_CANCEL_DEFERRED PTHREAD_CANCEL_DEFERRED
#define	PTHREAD_CANCEL_ASYNCHRONOUS PTHREAD_CANCEL_ASYNCHRONOUS
#define	PTHREAD_CANCELED ((void *) -1)
#define	PTHREAD_ONCE_INIT 0
#define	PTHREAD_BARRIER_SERIAL_THREAD -1
#define	__cleanup_fct_attribute

Typedefs
typedef int32_t	__clockid_t
typedef unsigned long int	pthread_t
typedef union pthread_attr_t	pthread_attr_t
typedef struct pthread_cond_t	pthread_cond_t
typedef unsigned int	pthread_key_t
typedef int	pthread_once_t

Enumerations
enum	{ PTHREAD_CREATE_JOINABLE , PTHREAD_CREATE_JOINABLE }
enum	{ PTHREAD_MUTEX_TIMED_NP , PTHREAD_MUTEX_RECURSIVE_NP , PTHREAD_MUTEX_ERRORCHECK_NP , PTHREAD_MUTEX_ADAPTIVE_NP , PTHREAD_MUTEX_NORMAL = PTHREAD_MUTEX_TIMED_NP , PTHREAD_MUTEX_RECURSIVE = PTHREAD_MUTEX_RECURSIVE_NP , PTHREAD_MUTEX_ERRORCHECK = PTHREAD_MUTEX_ERRORCHECK_NP , PTHREAD_MUTEX_DEFAULT = PTHREAD_MUTEX_NORMAL }
enum	{ PTHREAD_INHERIT_SCHED , PTHREAD_INHERIT_SCHED }
enum	{ PTHREAD_SCOPE_SYSTEM , PTHREAD_SCOPE_SYSTEM }
enum	{ PTHREAD_PROCESS_PRIVATE , PTHREAD_PROCESS_PRIVATE }
enum	{ PTHREAD_CANCEL_ENABLE , PTHREAD_CANCEL_ENABLE }
enum	{ PTHREAD_CANCEL_DEFERRED , PTHREAD_CANCEL_DEFERRED }

Functions
int	pthread_create (pthread_t __restrict __newthread, __const pthread_attr_t __restrict __attr, void (__start_routine)(void ), void __restrict __arg)
void	pthread_exit (void *__retval) __attribute__((__noreturn__))
int	pthread_join (pthread_t __th, void **__thread_return)
int	pthread_detach (pthread_t __th)
pthread_t	pthread_self (void) __attribute__((__const__))
int	pthread_equal (pthread_t __thread1, pthread_t __thread2)
void	pthread_cleanup_push (void(routine)(void ), void *arg)
	Push a cleanup handler onto the current thread's cleanup stack.
void	pthread_cleanup_pop (int execute)
	Pop a cleanup handler from the current thread's cleanup stack and optionally execute it.
int	pthread_attr_init (pthread_attr_t *__attr)
int	pthread_attr_destroy (pthread_attr_t *__attr)
int	pthread_attr_getdetachstate (__const pthread_attr_t __attr, int __detachstate)
int	pthread_attr_setdetachstate (pthread_attr_t *__attr, int __detachstate)
int	pthread_attr_getguardsize (__const pthread_attr_t __attr, size_t __guardsize)
int	pthread_attr_setguardsize (pthread_attr_t *__attr, size_t __guardsize)
int	pthread_attr_getschedparam (__const pthread_attr_t __restrict __attr, struct sched_param __restrict __param)
int	pthread_attr_setschedparam (pthread_attr_t __restrict __attr, __const struct sched_param __restrict __param)
int	pthread_attr_getschedpolicy (__const pthread_attr_t __restrict __attr, int __restrict __policy)
int	pthread_attr_setschedpolicy (pthread_attr_t *__attr, int __policy)
int	pthread_attr_getinheritsched (__const pthread_attr_t __restrict __attr, int __restrict __inherit)
int	pthread_attr_setinheritsched (pthread_attr_t *__attr, int __inherit)
int	pthread_attr_getscope (__const pthread_attr_t __restrict __attr, int __restrict __scope)
int	pthread_attr_setscope (pthread_attr_t *__attr, int __scope)
int	pthread_attr_getstackaddr (__const pthread_attr_t __restrict __attr, void *__restrict __stackaddr)
int	pthread_attr_setstackaddr (pthread_attr_t __attr, void __stackaddr)
int	pthread_attr_getstacksize (__const pthread_attr_t __restrict __attr, size_t __restrict __stacksize)
int	pthread_attr_setstacksize (pthread_attr_t *__attr, size_t __stacksize)
int	pthread_setschedparam (pthread_t __target_thread, int __policy, __const struct sched_param *__param)
int	pthread_getschedparam (pthread_t __target_thread, int __restrict __policy, struct sched_param __restrict __param)
int	pthread_setschedprio (pthread_t __target_thread, int __prio)
int	pthread_once (pthread_once_t __once_control, void(__init_routine)(void))
int	pthread_setcancelstate (int __state, int *__oldstate)
	Set the calling thread's cancellability state.
int	pthread_setcanceltype (int __type, int *__oldtype)
	Set the calling thread's cancellation type.
int	pthread_cancel (pthread_t __th)
	Send a cancellation request to thread th.
void	pthread_testcancel (void)
	Deliver a pending cancellation if cancelstate is PTHREAD_CANCEL_ENABLE.
int	pthread_mutex_init (pthread_mutex_t __mutex, __const pthread_mutexattr_t __mutexattr)
int	pthread_mutex_destroy (pthread_mutex_t *__mutex)
int	pthread_mutex_trylock (pthread_mutex_t *__mutex)
int	pthread_mutex_lock (pthread_mutex_t *__mutex)
int	pthread_mutex_unlock (pthread_mutex_t *__mutex)
int	pthread_mutex_getprioceiling (__const pthread_mutex_t __restrict __mutex, int __restrict __prioceiling)
int	pthread_mutex_setprioceiling (pthread_mutex_t __restrict __mutex, int __prioceiling, int __restrict __old_ceiling)
int	pthread_mutexattr_init (pthread_mutexattr_t *__attr)
int	pthread_mutexattr_destroy (pthread_mutexattr_t *__attr)
int	pthread_mutexattr_getpshared (__const pthread_mutexattr_t __restrict __attr, int __restrict __pshared)
int	pthread_mutexattr_setpshared (pthread_mutexattr_t *__attr, int __pshared)
int	pthread_mutexattr_gettype (__const pthread_mutexattr_t __restrict __attr, int __restrict __kind)
int	pthread_mutexattr_settype (pthread_mutexattr_t *__attr, int __kind)
int	pthread_mutexattr_getprotocol (__const pthread_mutexattr_t __restrict __attr, int __restrict __protocol)
int	pthread_mutexattr_setprotocol (pthread_mutexattr_t *__attr, int __protocol)
int	pthread_mutexattr_getprioceiling (__const pthread_mutexattr_t __restrict __attr, int __restrict __prioceiling)
int	pthread_mutexattr_setprioceiling (pthread_mutexattr_t *__attr, int __prioceiling)
int	pthread_rwlock_init (pthread_rwlock_t __restrict __rwlock, __const pthread_rwlockattr_t __restrict __attr)
int	pthread_rwlock_destroy (pthread_rwlock_t *__rwlock)
int	pthread_rwlock_rdlock (pthread_rwlock_t *__rwlock)
int	pthread_rwlock_tryrdlock (pthread_rwlock_t *__rwlock)
int	pthread_rwlock_wrlock (pthread_rwlock_t *__rwlock)
int	pthread_rwlock_trywrlock (pthread_rwlock_t *__rwlock)
int	pthread_rwlock_unlock (pthread_rwlock_t *__rwlock)
int	pthread_rwlockattr_init (pthread_rwlockattr_t *__attr)
int	pthread_rwlockattr_destroy (pthread_rwlockattr_t *__attr)
int	pthread_rwlockattr_getpshared (__const pthread_rwlockattr_t __restrict __attr, int __restrict __pshared)
int	pthread_rwlockattr_setpshared (pthread_rwlockattr_t *__attr, int __pshared)
int	pthread_rwlockattr_getkind_np (__const pthread_rwlockattr_t __restrict __attr, int __restrict __pref)
int	pthread_rwlockattr_setkind_np (pthread_rwlockattr_t *__attr, int __pref)
int	pthread_cond_init (pthread_cond_t __restrict __cond, __const pthread_condattr_t __restrict __cond_attr)
int	pthread_cond_destroy (pthread_cond_t *__cond)
int	pthread_cond_signal (pthread_cond_t *__cond)
int	pthread_cond_broadcast (pthread_cond_t *__cond)
int	pthread_cond_wait (pthread_cond_t __restrict __cond, pthread_mutex_t __restrict __mutex)
int	pthread_cond_timedwait (pthread_cond_t __restrict __cond, pthread_mutex_t __restrict __mutex, __const struct timespec *__restrict __abstime)
int	pthread_condattr_init (pthread_condattr_t *__attr)
int	pthread_condattr_destroy (pthread_condattr_t *__attr)
int	pthread_condattr_getpshared (__const pthread_condattr_t __restrict __attr, int __restrict __pshared)
int	pthread_condattr_setpshared (pthread_condattr_t *__attr, int __pshared)
int	pthread_spin_init (pthread_spinlock_t *__lock, int __pshared)
int	pthread_spin_destroy (pthread_spinlock_t *__lock)
int	pthread_spin_lock (pthread_spinlock_t *__lock)
int	pthread_spin_trylock (pthread_spinlock_t *__lock)
int	pthread_spin_unlock (pthread_spinlock_t *__lock)
int	pthread_barrier_init (pthread_barrier_t __restrict __barrier, __const pthread_barrierattr_t __restrict __attr, unsigned int __count)
int	pthread_barrier_destroy (pthread_barrier_t *__barrier)
int	pthread_barrier_wait (pthread_barrier_t *__barrier)
int	pthread_barrierattr_init (pthread_barrierattr_t *__attr)
int	pthread_barrierattr_destroy (pthread_barrierattr_t *__attr)
int	pthread_barrierattr_getpshared (__const pthread_barrierattr_t __restrict __attr, int __restrict __pshared)
int	pthread_barrierattr_setpshared (pthread_barrierattr_t *__attr, int __pshared)
int	pthread_key_create (pthread_key_t __key, void(__destr_function)(void *))
int	pthread_key_delete (pthread_key_t __key)
void *	pthread_getspecific (pthread_key_t __key)
int	pthread_setspecific (pthread_key_t __key, __const void *__pointer)
int	pthread_atfork (void(__prepare)(void), void(__parent)(void), void(*__child)(void))

Macro Definition Documentation

◆ __cleanup_fct_attribute

#define __cleanup_fct_attribute

◆ NULL

#define NULL 0

◆ PTHREAD_BARRIER_SERIAL_THREAD

#define PTHREAD_BARRIER_SERIAL_THREAD -1

◆ PTHREAD_CANCEL_ASYNCHRONOUS

#define PTHREAD_CANCEL_ASYNCHRONOUS PTHREAD_CANCEL_ASYNCHRONOUS

◆ PTHREAD_CANCEL_DEFERRED

#define PTHREAD_CANCEL_DEFERRED PTHREAD_CANCEL_DEFERRED

◆ PTHREAD_CANCEL_DISABLE

#define PTHREAD_CANCEL_DISABLE PTHREAD_CANCEL_DISABLE

◆ PTHREAD_CANCEL_ENABLE

#define PTHREAD_CANCEL_ENABLE PTHREAD_CANCEL_ENABLE

◆ PTHREAD_CANCELED

#define PTHREAD_CANCELED ((void *) -1)

◆ PTHREAD_COND_INITIALIZER

#define PTHREAD_COND_INITIALIZER { 0, 0, 0, }

◆ PTHREAD_CREATE_DETACHED

#define PTHREAD_CREATE_DETACHED PTHREAD_CREATE_DETACHED

◆ PTHREAD_CREATE_JOINABLE

#define PTHREAD_CREATE_JOINABLE PTHREAD_CREATE_JOINABLE

◆ PTHREAD_EXPLICIT_SCHED

#define PTHREAD_EXPLICIT_SCHED PTHREAD_EXPLICIT_SCHED

◆ PTHREAD_INHERIT_SCHED

#define PTHREAD_INHERIT_SCHED PTHREAD_INHERIT_SCHED

◆ PTHREAD_MUTEX_INITIALIZER

#define PTHREAD_MUTEX_INITIALIZER { 0, 0, 0, 0, 0, }

◆ PTHREAD_ONCE_INIT

#define PTHREAD_ONCE_INIT 0

◆ PTHREAD_PROCESS_PRIVATE

#define PTHREAD_PROCESS_PRIVATE PTHREAD_PROCESS_PRIVATE

◆ PTHREAD_PROCESS_SHARED

#define PTHREAD_PROCESS_SHARED PTHREAD_PROCESS_SHARED

◆ PTHREAD_RWLOCK_INITIALIZER

#define PTHREAD_RWLOCK_INITIALIZER { 0, }

◆ PTHREAD_SCOPE_PROCESS

#define PTHREAD_SCOPE_PROCESS PTHREAD_SCOPE_PROCESS

◆ PTHREAD_SCOPE_SYSTEM

#define PTHREAD_SCOPE_SYSTEM PTHREAD_SCOPE_SYSTEM

Typedef Documentation

◆ __clockid_t

typedef int32_t __clockid_t

◆ pthread_attr_t

typedef union pthread_attr_t pthread_attr_t

◆ pthread_cond_t

typedef struct pthread_cond_t pthread_cond_t

◆ pthread_key_t

typedef unsigned int pthread_key_t

◆ pthread_once_t

typedef int pthread_once_t

◆ pthread_t

typedef unsigned long int pthread_t

Enumeration Type Documentation

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_CREATE_JOINABLE
PTHREAD_CREATE_JOINABLE

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_CANCEL_ENABLE
PTHREAD_CANCEL_ENABLE

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_SCOPE_SYSTEM
PTHREAD_SCOPE_SYSTEM

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_INHERIT_SCHED
PTHREAD_INHERIT_SCHED

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_PROCESS_PRIVATE
PTHREAD_PROCESS_PRIVATE

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_CANCEL_DEFERRED
PTHREAD_CANCEL_DEFERRED

◆ anonymous enum

anonymous enum

Enumerator
PTHREAD_MUTEX_TIMED_NP
PTHREAD_MUTEX_RECURSIVE_NP
PTHREAD_MUTEX_ERRORCHECK_NP
PTHREAD_MUTEX_ADAPTIVE_NP
PTHREAD_MUTEX_NORMAL
PTHREAD_MUTEX_RECURSIVE
PTHREAD_MUTEX_ERRORCHECK
PTHREAD_MUTEX_DEFAULT

Function Documentation

◆ pthread_atfork()

int pthread_atfork	(	void(*	__prepare )(void),
		void(*	__parent )(void),
		void(*	__child )(void) )

extern

◆ pthread_attr_destroy()

int pthread_attr_destroy ( pthread_attr_t * __attr )

extern

◆ pthread_attr_getdetachstate()

int pthread_attr_getdetachstate	(	__const pthread_attr_t *	__attr,
		int *	__detachstate )

extern

◆ pthread_attr_getguardsize()

int pthread_attr_getguardsize	(	__const pthread_attr_t *	__attr,
		size_t *	__guardsize )

extern

◆ pthread_attr_getinheritsched()

int pthread_attr_getinheritsched	(	__const pthread_attr_t *__restrict	__attr,
		int *__restrict	__inherit )

extern

◆ pthread_attr_getschedparam()

int pthread_attr_getschedparam	(	__const pthread_attr_t *__restrict	__attr,
		struct sched_param *__restrict	__param )

extern

◆ pthread_attr_getschedpolicy()

int pthread_attr_getschedpolicy	(	__const pthread_attr_t *__restrict	__attr,
		int *__restrict	__policy )

extern

◆ pthread_attr_getscope()

int pthread_attr_getscope	(	__const pthread_attr_t *__restrict	__attr,
		int *__restrict	__scope )

extern

◆ pthread_attr_getstackaddr()

int pthread_attr_getstackaddr	(	__const pthread_attr_t *__restrict	__attr,
		void **__restrict	__stackaddr )

extern

◆ pthread_attr_getstacksize()

int pthread_attr_getstacksize	(	__const pthread_attr_t *__restrict	__attr,
		size_t *__restrict	__stacksize )

extern

◆ pthread_attr_init()

int pthread_attr_init ( pthread_attr_t * __attr )

extern

◆ pthread_attr_setdetachstate()

int pthread_attr_setdetachstate	(	pthread_attr_t *	__attr,
		int	__detachstate )

extern

◆ pthread_attr_setguardsize()

int pthread_attr_setguardsize	(	pthread_attr_t *	__attr,
		size_t	__guardsize )

extern

◆ pthread_attr_setinheritsched()

int pthread_attr_setinheritsched	(	pthread_attr_t *	__attr,
		int	__inherit )

extern

◆ pthread_attr_setschedparam()

int pthread_attr_setschedparam	(	pthread_attr_t *__restrict	__attr,
		__const struct sched_param *__restrict	__param )

extern

◆ pthread_attr_setschedpolicy()

int pthread_attr_setschedpolicy	(	pthread_attr_t *	__attr,
		int	__policy )

extern

◆ pthread_attr_setscope()

int pthread_attr_setscope	(	pthread_attr_t *	__attr,
		int	__scope )

extern

◆ pthread_attr_setstackaddr()

int pthread_attr_setstackaddr	(	pthread_attr_t *	__attr,
		void *	__stackaddr )

extern

◆ pthread_attr_setstacksize()

int pthread_attr_setstacksize	(	pthread_attr_t *	__attr,
		size_t	__stacksize )

extern

◆ pthread_barrier_destroy()

int pthread_barrier_destroy ( pthread_barrier_t * __barrier )

extern

◆ pthread_barrier_init()

int pthread_barrier_init	(	pthread_barrier_t *__restrict	__barrier,
		__const pthread_barrierattr_t *__restrict	__attr,
		unsigned int	__count )

extern

◆ pthread_barrier_wait()

int pthread_barrier_wait ( pthread_barrier_t * __barrier )

extern

◆ pthread_barrierattr_destroy()

int pthread_barrierattr_destroy ( pthread_barrierattr_t * __attr )

extern

◆ pthread_barrierattr_getpshared()

int pthread_barrierattr_getpshared	(	__const pthread_barrierattr_t *__restrict	__attr,
		int *__restrict	__pshared )

extern

◆ pthread_barrierattr_init()

int pthread_barrierattr_init ( pthread_barrierattr_t * __attr )

extern

◆ pthread_barrierattr_setpshared()

int pthread_barrierattr_setpshared	(	pthread_barrierattr_t *	__attr,
		int	__pshared )

extern

◆ pthread_cancel()

int pthread_cancel ( pthread_t __th )

extern

Send a cancellation request to thread th.

◆ pthread_cleanup_pop()

void pthread_cleanup_pop ( int execute )

Pop a cleanup handler from the current thread's cleanup stack and optionally execute it.

This function removes the most recently pushed cleanup handler. If execute is non-zero, it calls the cleanup function with the stored argument.

Parameters

execute If non-zero, execute the popped cleanup handler.

◆ pthread_cleanup_push()

void pthread_cleanup_push	(	void(*	function )(void *),
		void *	arg )

Push a cleanup handler onto the current thread's cleanup stack.

This function registers a cleanup handler function along with its argument to be called later if pthread_cleanup_pop is invoked with execute != 0.

The cleanup handlers are stored in a large symbolic array divided into chunks of size CLEANUP_STACK_CHUNK_SIZE per thread to avoid overlap between threads.

Parameters

function	Pointer to the cleanup function to be called.
arg	Argument to pass to the cleanup function.

◆ pthread_cond_broadcast()

int pthread_cond_broadcast ( pthread_cond_t * __cond )

extern

◆ pthread_cond_destroy()

int pthread_cond_destroy ( pthread_cond_t * __cond )

extern

◆ pthread_cond_init()

int pthread_cond_init	(	pthread_cond_t *__restrict	__cond,
		__const pthread_condattr_t *__restrict	__cond_attr )

extern

◆ pthread_cond_signal()

int pthread_cond_signal ( pthread_cond_t * __cond )

extern

◆ pthread_cond_timedwait()

int pthread_cond_timedwait	(	pthread_cond_t *__restrict	__cond,
		pthread_mutex_t *__restrict	__mutex,
		__const struct timespec *__restrict	__abstime )

extern

◆ pthread_cond_wait()

int pthread_cond_wait	(	pthread_cond_t *__restrict	__cond,
		pthread_mutex_t *__restrict	__mutex )

extern

◆ pthread_condattr_destroy()

int pthread_condattr_destroy ( pthread_condattr_t * __attr )

extern

◆ pthread_condattr_getpshared()

int pthread_condattr_getpshared	(	__const pthread_condattr_t *__restrict	__attr,
		int *__restrict	__pshared )

extern

◆ pthread_condattr_init()

int pthread_condattr_init ( pthread_condattr_t * __attr )

extern

◆ pthread_condattr_setpshared()

int pthread_condattr_setpshared	(	pthread_condattr_t *	__attr,
		int	__pshared )

extern

◆ pthread_create()

int pthread_create	(	pthread_t *__restrict	__newthread,
		__const pthread_attr_t *__restrict	__attr,
		void (	__start_routine )(void *),
		void *__restrict	__arg )

extern

◆ pthread_detach()

int pthread_detach ( pthread_t __th )

extern

◆ pthread_equal()

int pthread_equal	(	pthread_t	__thread1,
		pthread_t	__thread2 )

extern

◆ pthread_exit()

void pthread_exit ( void * __retval )

extern

◆ pthread_getschedparam()

int pthread_getschedparam	(	pthread_t	__target_thread,
		int *__restrict	__policy,
		struct sched_param *__restrict	__param )

extern

◆ pthread_getspecific()

void * pthread_getspecific ( pthread_key_t __key )

extern

◆ pthread_join()

int pthread_join	(	pthread_t	__th,
		void **	__thread_return )

extern

◆ pthread_key_create()

int pthread_key_create	(	pthread_key_t *	__key,
		void(*	__destr_function )(void *) )

extern

◆ pthread_key_delete()

int pthread_key_delete ( pthread_key_t __key )

extern

◆ pthread_mutex_destroy()

int pthread_mutex_destroy ( pthread_mutex_t * __mutex )

extern

◆ pthread_mutex_getprioceiling()

int pthread_mutex_getprioceiling	(	__const pthread_mutex_t *__restrict	__mutex,
		int *__restrict	__prioceiling )

extern

◆ pthread_mutex_init()

int pthread_mutex_init	(	pthread_mutex_t *	__mutex,
		__const pthread_mutexattr_t *	__mutexattr )

extern

◆ pthread_mutex_lock()

int pthread_mutex_lock ( pthread_mutex_t * __mutex )

extern

◆ pthread_mutex_setprioceiling()

int pthread_mutex_setprioceiling	(	pthread_mutex_t *__restrict	__mutex,
		int	__prioceiling,
		int *__restrict	__old_ceiling )

extern

◆ pthread_mutex_trylock()

int pthread_mutex_trylock ( pthread_mutex_t * __mutex )

extern

◆ pthread_mutex_unlock()

int pthread_mutex_unlock ( pthread_mutex_t * __mutex )

extern

◆ pthread_mutexattr_destroy()

int pthread_mutexattr_destroy ( pthread_mutexattr_t * __attr )

extern

◆ pthread_mutexattr_getprioceiling()

int pthread_mutexattr_getprioceiling	(	__const pthread_mutexattr_t *__restrict	__attr,
		int *__restrict	__prioceiling )

extern

◆ pthread_mutexattr_getprotocol()

int pthread_mutexattr_getprotocol	(	__const pthread_mutexattr_t *__restrict	__attr,
		int *__restrict	__protocol )

extern

◆ pthread_mutexattr_getpshared()

int pthread_mutexattr_getpshared	(	__const pthread_mutexattr_t *__restrict	__attr,
		int *__restrict	__pshared )

extern

◆ pthread_mutexattr_gettype()

int pthread_mutexattr_gettype	(	__const pthread_mutexattr_t *__restrict	__attr,
		int *__restrict	__kind )

extern

◆ pthread_mutexattr_init()

int pthread_mutexattr_init ( pthread_mutexattr_t * __attr )

extern

◆ pthread_mutexattr_setprioceiling()

int pthread_mutexattr_setprioceiling	(	pthread_mutexattr_t *	__attr,
		int	__prioceiling )

extern

◆ pthread_mutexattr_setprotocol()

int pthread_mutexattr_setprotocol	(	pthread_mutexattr_t *	__attr,
		int	__protocol )

extern

◆ pthread_mutexattr_setpshared()

int pthread_mutexattr_setpshared	(	pthread_mutexattr_t *	__attr,
		int	__pshared )

extern

◆ pthread_mutexattr_settype()

int pthread_mutexattr_settype	(	pthread_mutexattr_t *	__attr,
		int	__kind )

extern

◆ pthread_once()

int pthread_once	(	pthread_once_t *	__once_control,
		void(*	__init_routine )(void) )

extern

◆ pthread_rwlock_destroy()

int pthread_rwlock_destroy ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlock_init()

int pthread_rwlock_init	(	pthread_rwlock_t *__restrict	__rwlock,
		__const pthread_rwlockattr_t *__restrict	__attr )

extern

◆ pthread_rwlock_rdlock()

int pthread_rwlock_rdlock ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlock_tryrdlock()

int pthread_rwlock_tryrdlock ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlock_trywrlock()

int pthread_rwlock_trywrlock ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlock_unlock()

int pthread_rwlock_unlock ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlock_wrlock()

int pthread_rwlock_wrlock ( pthread_rwlock_t * __rwlock )

extern

◆ pthread_rwlockattr_destroy()

int pthread_rwlockattr_destroy ( pthread_rwlockattr_t * __attr )

extern

◆ pthread_rwlockattr_getkind_np()

int pthread_rwlockattr_getkind_np	(	__const pthread_rwlockattr_t *__restrict	__attr,
		int *__restrict	__pref )

extern

◆ pthread_rwlockattr_getpshared()

int pthread_rwlockattr_getpshared	(	__const pthread_rwlockattr_t *__restrict	__attr,
		int *__restrict	__pshared )

extern

◆ pthread_rwlockattr_init()

int pthread_rwlockattr_init ( pthread_rwlockattr_t * __attr )

extern

◆ pthread_rwlockattr_setkind_np()

int pthread_rwlockattr_setkind_np	(	pthread_rwlockattr_t *	__attr,
		int	__pref )

extern

◆ pthread_rwlockattr_setpshared()

int pthread_rwlockattr_setpshared	(	pthread_rwlockattr_t *	__attr,
		int	__pshared )

extern

◆ pthread_self()

pthread_t pthread_self ( void ) const

extern

◆ pthread_setcancelstate()

int pthread_setcancelstate	(	int	__state,
		int *	__oldstate )

extern

Set the calling thread's cancellability state.

◆ pthread_setcanceltype()

int pthread_setcanceltype	(	int	__type,
		int *	__oldtype )

extern

Set the calling thread's cancellation type.

◆ pthread_setschedparam()

int pthread_setschedparam	(	pthread_t	__target_thread,
		int	__policy,
		__const struct sched_param *	__param )

extern

◆ pthread_setschedprio()

int pthread_setschedprio	(	pthread_t	__target_thread,
		int	__prio )

extern

◆ pthread_setspecific()

int pthread_setspecific	(	pthread_key_t	__key,
		__const void *	__pointer )

extern

◆ pthread_spin_destroy()

int pthread_spin_destroy ( pthread_spinlock_t * __lock )

extern

◆ pthread_spin_init()

int pthread_spin_init	(	pthread_spinlock_t *	__lock,
		int	__pshared )

extern

◆ pthread_spin_lock()

int pthread_spin_lock ( pthread_spinlock_t * __lock )

extern

◆ pthread_spin_trylock()

int pthread_spin_trylock ( pthread_spinlock_t * __lock )

extern

◆ pthread_spin_unlock()

int pthread_spin_unlock ( pthread_spinlock_t * __lock )

extern

◆ pthread_testcancel()

void pthread_testcancel ( void )

extern

Deliver a pending cancellation if cancelstate is PTHREAD_CANCEL_ENABLE.

Classes

Macros

Typedefs

Enumerations

Functions

Macro Definition Documentation

◆ __cleanup_fct_attribute

◆ NULL

◆ PTHREAD_BARRIER_SERIAL_THREAD

◆ PTHREAD_CANCEL_ASYNCHRONOUS

◆ PTHREAD_CANCEL_DEFERRED

◆ PTHREAD_CANCEL_DISABLE

◆ PTHREAD_CANCEL_ENABLE

◆ PTHREAD_CANCELED

◆ PTHREAD_COND_INITIALIZER

◆ PTHREAD_CREATE_DETACHED

◆ PTHREAD_CREATE_JOINABLE

◆ PTHREAD_EXPLICIT_SCHED

◆ PTHREAD_INHERIT_SCHED

◆ PTHREAD_MUTEX_INITIALIZER

◆ PTHREAD_ONCE_INIT

◆ PTHREAD_PROCESS_PRIVATE

◆ PTHREAD_PROCESS_SHARED

◆ PTHREAD_RWLOCK_INITIALIZER

◆ PTHREAD_SCOPE_PROCESS

◆ PTHREAD_SCOPE_SYSTEM

Typedef Documentation

◆ __clockid_t

◆ pthread_attr_t

◆ pthread_cond_t

◆ pthread_key_t

◆ pthread_once_t

◆ pthread_t

Enumeration Type Documentation

◆ anonymous enum

◆ anonymous enum

◆ anonymous enum

◆ anonymous enum

◆ anonymous enum

◆ anonymous enum

◆ anonymous enum

Function Documentation

◆ pthread_atfork()

◆ pthread_attr_destroy()

◆ pthread_attr_getdetachstate()

◆ pthread_attr_getguardsize()

◆ pthread_attr_getinheritsched()

◆ pthread_attr_getschedparam()

◆ pthread_attr_getschedpolicy()

◆ pthread_attr_getscope()

◆ pthread_attr_getstackaddr()

◆ pthread_attr_getstacksize()

◆ pthread_attr_init()

◆ pthread_attr_setdetachstate()

◆ pthread_attr_setguardsize()

◆ pthread_attr_setinheritsched()

◆ pthread_attr_setschedparam()

◆ pthread_attr_setschedpolicy()

◆ pthread_attr_setscope()

◆ pthread_attr_setstackaddr()

◆ pthread_attr_setstacksize()

◆ pthread_barrier_destroy()

◆ pthread_barrier_init()

◆ pthread_barrier_wait()

◆ pthread_barrierattr_destroy()

◆ pthread_barrierattr_getpshared()

◆ pthread_barrierattr_init()

◆ pthread_barrierattr_setpshared()

◆ pthread_cancel()

◆ pthread_cleanup_pop()

◆ pthread_cleanup_push()

◆ pthread_cond_broadcast()

◆ pthread_cond_destroy()

◆ pthread_cond_init()

◆ pthread_cond_signal()

◆ pthread_cond_timedwait()

◆ pthread_cond_wait()

◆ pthread_condattr_destroy()

◆ pthread_condattr_getpshared()

◆ pthread_condattr_init()