512cd1357a
The `nonnull' attribute specifies that some function parameters should be non-null pointers. This is very useful as it helps the compiler generate warnings on suspicious code and can also enable some small optimizations. In clang this is also useful for the static analyzer. While we could go on defining this all over the tree, it only makes sense to annotate a subset of critical functions. Hinted by: Android's bionic libc Differential Revision: https://reviews.freebsd.org/D2101
338 lines
13 KiB
C
338 lines
13 KiB
C
/*
|
|
* Copyright (c) 1993, 1994 by Chris Provenzano, proven@mit.edu
|
|
* Copyright (c) 1995-1998 by John Birrell <jb@cimlogic.com.au>
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
* must display the following acknowledgement:
|
|
* This product includes software developed by Chris Provenzano.
|
|
* 4. The name of Chris Provenzano may not be used to endorse or promote
|
|
* products derived from this software without specific prior written
|
|
* permission.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY CHRIS PROVENZANO ``AS IS'' AND
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL CHRIS PROVENZANO BE LIABLE FOR ANY
|
|
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* SUCH DAMAGE.
|
|
*
|
|
* $FreeBSD$
|
|
*/
|
|
#ifndef _PTHREAD_H_
|
|
#define _PTHREAD_H_
|
|
|
|
/*
|
|
* Header files.
|
|
*/
|
|
#include <sys/cdefs.h>
|
|
#include <sys/_pthreadtypes.h>
|
|
#include <machine/_limits.h>
|
|
#include <machine/_types.h>
|
|
#include <sys/_sigset.h>
|
|
#include <sched.h>
|
|
#include <time.h>
|
|
|
|
/*
|
|
* Run-time invariant values:
|
|
*/
|
|
#define PTHREAD_DESTRUCTOR_ITERATIONS 4
|
|
#define PTHREAD_KEYS_MAX 256
|
|
#define PTHREAD_STACK_MIN __MINSIGSTKSZ
|
|
#define PTHREAD_THREADS_MAX __ULONG_MAX
|
|
#define PTHREAD_BARRIER_SERIAL_THREAD -1
|
|
|
|
/*
|
|
* Flags for threads and thread attributes.
|
|
*/
|
|
#define PTHREAD_DETACHED 0x1
|
|
#define PTHREAD_SCOPE_SYSTEM 0x2
|
|
#define PTHREAD_INHERIT_SCHED 0x4
|
|
#define PTHREAD_NOFLOAT 0x8
|
|
|
|
#define PTHREAD_CREATE_DETACHED PTHREAD_DETACHED
|
|
#define PTHREAD_CREATE_JOINABLE 0
|
|
#define PTHREAD_SCOPE_PROCESS 0
|
|
#define PTHREAD_EXPLICIT_SCHED 0
|
|
|
|
/*
|
|
* Flags for read/write lock attributes
|
|
*/
|
|
#define PTHREAD_PROCESS_PRIVATE 0
|
|
#define PTHREAD_PROCESS_SHARED 1
|
|
|
|
/*
|
|
* Flags for cancelling threads
|
|
*/
|
|
#define PTHREAD_CANCEL_ENABLE 0
|
|
#define PTHREAD_CANCEL_DISABLE 1
|
|
#define PTHREAD_CANCEL_DEFERRED 0
|
|
#define PTHREAD_CANCEL_ASYNCHRONOUS 2
|
|
#define PTHREAD_CANCELED ((void *) 1)
|
|
|
|
/*
|
|
* Flags for once initialization.
|
|
*/
|
|
#define PTHREAD_NEEDS_INIT 0
|
|
#define PTHREAD_DONE_INIT 1
|
|
|
|
/*
|
|
* Static once initialization values.
|
|
*/
|
|
#define PTHREAD_ONCE_INIT { PTHREAD_NEEDS_INIT, NULL }
|
|
|
|
/*
|
|
* Static initialization values.
|
|
*/
|
|
#define PTHREAD_MUTEX_INITIALIZER NULL
|
|
#define PTHREAD_ADAPTIVE_MUTEX_INITIALIZER_NP ((pthread_mutex_t)1)
|
|
#define PTHREAD_COND_INITIALIZER NULL
|
|
#define PTHREAD_RWLOCK_INITIALIZER NULL
|
|
|
|
/*
|
|
* Default attribute arguments (draft 4, deprecated).
|
|
*/
|
|
#ifndef PTHREAD_KERNEL
|
|
#define pthread_condattr_default NULL
|
|
#define pthread_mutexattr_default NULL
|
|
#define pthread_attr_default NULL
|
|
#endif
|
|
|
|
#define PTHREAD_PRIO_NONE 0
|
|
#define PTHREAD_PRIO_INHERIT 1
|
|
#define PTHREAD_PRIO_PROTECT 2
|
|
|
|
/*
|
|
* Mutex types (Single UNIX Specification, Version 2, 1997).
|
|
*
|
|
* Note that a mutex attribute with one of the following types:
|
|
*
|
|
* PTHREAD_MUTEX_NORMAL
|
|
* PTHREAD_MUTEX_RECURSIVE
|
|
*
|
|
* will deviate from POSIX specified semantics.
|
|
*/
|
|
enum pthread_mutextype {
|
|
PTHREAD_MUTEX_ERRORCHECK = 1, /* Default POSIX mutex */
|
|
PTHREAD_MUTEX_RECURSIVE = 2, /* Recursive mutex */
|
|
PTHREAD_MUTEX_NORMAL = 3, /* No error checking */
|
|
PTHREAD_MUTEX_ADAPTIVE_NP = 4, /* Adaptive mutex, spins briefly before blocking on lock */
|
|
PTHREAD_MUTEX_TYPE_MAX
|
|
};
|
|
|
|
#define PTHREAD_MUTEX_DEFAULT PTHREAD_MUTEX_ERRORCHECK
|
|
|
|
struct _pthread_cleanup_info {
|
|
__uintptr_t pthread_cleanup_pad[8];
|
|
};
|
|
|
|
/*
|
|
* Thread function prototype definitions:
|
|
*/
|
|
__BEGIN_DECLS
|
|
int pthread_atfork(void (*)(void), void (*)(void), void (*)(void));
|
|
int pthread_attr_destroy(pthread_attr_t *) __nonnull(1);
|
|
int pthread_attr_getstack(const pthread_attr_t * __restrict,
|
|
void ** __restrict, size_t * __restrict)
|
|
__nonnull(1, 2, 3);
|
|
int pthread_attr_getstacksize(const pthread_attr_t *, size_t *)
|
|
__nonnull(1, 2);
|
|
int pthread_attr_getguardsize(const pthread_attr_t *, size_t *);
|
|
int pthread_attr_getstackaddr(const pthread_attr_t *, void **);
|
|
int pthread_attr_getdetachstate(const pthread_attr_t *, int *)
|
|
__nonnull(1, 2);
|
|
int pthread_attr_init(pthread_attr_t *) __nonnull(1);
|
|
int pthread_attr_setstacksize(pthread_attr_t *, size_t) __nonnull(1);
|
|
int pthread_attr_setguardsize(pthread_attr_t *, size_t) __nonnull(1);
|
|
int pthread_attr_setstack(pthread_attr_t *, void *, size_t)
|
|
__nonnull(1);
|
|
int pthread_attr_setstackaddr(pthread_attr_t *, void *);
|
|
int pthread_attr_setdetachstate(pthread_attr_t *, int) __nonnull(1);
|
|
int pthread_barrier_destroy(pthread_barrier_t *);
|
|
int pthread_barrier_init(pthread_barrier_t *,
|
|
const pthread_barrierattr_t *, unsigned);
|
|
int pthread_barrier_wait(pthread_barrier_t *);
|
|
int pthread_barrierattr_destroy(pthread_barrierattr_t *);
|
|
int pthread_barrierattr_getpshared(const pthread_barrierattr_t *,
|
|
int *);
|
|
int pthread_barrierattr_init(pthread_barrierattr_t *) __nonnull(1);
|
|
int pthread_barrierattr_setpshared(pthread_barrierattr_t *, int);
|
|
|
|
#define pthread_cleanup_push(cleanup_routine, cleanup_arg) \
|
|
{ \
|
|
struct _pthread_cleanup_info __cleanup_info__; \
|
|
__pthread_cleanup_push_imp(cleanup_routine, cleanup_arg,\
|
|
&__cleanup_info__); \
|
|
{
|
|
|
|
#define pthread_cleanup_pop(execute) \
|
|
(void)0; \
|
|
} \
|
|
__pthread_cleanup_pop_imp(execute); \
|
|
}
|
|
|
|
int pthread_condattr_destroy(pthread_condattr_t *) __nonnull(1);
|
|
int pthread_condattr_getclock(const pthread_condattr_t *,
|
|
clockid_t *) __nonnull(1, 2);
|
|
int pthread_condattr_getpshared(const pthread_condattr_t *, int *)
|
|
__nonnull(1, 2);
|
|
int pthread_condattr_init(pthread_condattr_t *) __nonnull(1);
|
|
int pthread_condattr_setclock(pthread_condattr_t *, clockid_t)
|
|
__nonnull(1);
|
|
int pthread_condattr_setpshared(pthread_condattr_t *, int)
|
|
__nonnull(1);
|
|
int pthread_cond_broadcast(pthread_cond_t *)
|
|
__nonnull(1);
|
|
int pthread_cond_destroy(pthread_cond_t *)
|
|
__nonnull(1);
|
|
int pthread_cond_init(pthread_cond_t *,
|
|
const pthread_condattr_t *) __nonnull(1);
|
|
int pthread_cond_signal(pthread_cond_t *) __nonnull(1);
|
|
int pthread_cond_timedwait(pthread_cond_t *,
|
|
pthread_mutex_t *__mutex, const struct timespec *)
|
|
__nonnull(1, 2, 3) __requires_exclusive(*__mutex);
|
|
int pthread_cond_wait(pthread_cond_t *, pthread_mutex_t *__mutex)
|
|
__nonnull(1, 2) __requires_exclusive(*__mutex);
|
|
int pthread_create(pthread_t *, const pthread_attr_t *,
|
|
void *(*) (void *), void *) __nonnull(1, 3);
|
|
int pthread_detach(pthread_t);
|
|
int pthread_equal(pthread_t, pthread_t);
|
|
void pthread_exit(void *) __dead2;
|
|
void *pthread_getspecific(pthread_key_t);
|
|
int pthread_getcpuclockid(pthread_t, clockid_t *) __nonnull(2);
|
|
int pthread_join(pthread_t, void **);
|
|
int pthread_key_create(pthread_key_t *,
|
|
void (*) (void *)) __nonnull(1);
|
|
int pthread_key_delete(pthread_key_t);
|
|
int pthread_mutexattr_init(pthread_mutexattr_t *) __nonnull(1);
|
|
int pthread_mutexattr_destroy(pthread_mutexattr_t *) __nonnull(1);
|
|
int pthread_mutexattr_getpshared(const pthread_mutexattr_t *,
|
|
int *) __nonnull(1, 2);
|
|
int pthread_mutexattr_gettype(pthread_mutexattr_t *, int *)
|
|
__nonnull(1, 2);
|
|
int pthread_mutexattr_settype(pthread_mutexattr_t *, int)
|
|
__nonnull(1);
|
|
int pthread_mutexattr_setpshared(pthread_mutexattr_t *, int)
|
|
__nonnull(1);
|
|
int pthread_mutex_destroy(pthread_mutex_t *__mutex)
|
|
__nonnull(1) __requires_unlocked(*__mutex);
|
|
int pthread_mutex_init(pthread_mutex_t *__mutex,
|
|
const pthread_mutexattr_t *)
|
|
__nonnull(1) __requires_unlocked(*__mutex);
|
|
int pthread_mutex_lock(pthread_mutex_t *__mutex)
|
|
__nonnull(1) __locks_exclusive(*__mutex);
|
|
int pthread_mutex_trylock(pthread_mutex_t *__mutex)
|
|
__nonnull(1) __trylocks_exclusive(0, *__mutex);
|
|
int pthread_mutex_timedlock(pthread_mutex_t *__mutex,
|
|
const struct timespec *)
|
|
__nonnull(1, 2) __trylocks_exclusive(0, *__mutex);
|
|
int pthread_mutex_unlock(pthread_mutex_t *__mutex)
|
|
__nonnull(1) __unlocks(*__mutex);
|
|
int pthread_once(pthread_once_t *, void (*) (void)) __nonnull(1, 2);
|
|
int pthread_rwlock_destroy(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __requires_unlocked(*__rwlock);
|
|
int pthread_rwlock_init(pthread_rwlock_t *__rwlock,
|
|
const pthread_rwlockattr_t *)
|
|
__nonnull(1) __requires_unlocked(*__rwlock);
|
|
int pthread_rwlock_rdlock(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __locks_shared(*__rwlock);
|
|
int pthread_rwlock_timedrdlock(pthread_rwlock_t *__rwlock,
|
|
const struct timespec *)
|
|
__nonnull(1, 2) __trylocks_shared(0, *__rwlock);
|
|
int pthread_rwlock_timedwrlock(pthread_rwlock_t *__rwlock,
|
|
const struct timespec *)
|
|
__nonnull(1, 2) __trylocks_exclusive(0, *__rwlock);
|
|
int pthread_rwlock_tryrdlock(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __trylocks_shared(0, *__rwlock);
|
|
int pthread_rwlock_trywrlock(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __trylocks_exclusive(0, *__rwlock);
|
|
int pthread_rwlock_unlock(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __unlocks(*__rwlock);
|
|
int pthread_rwlock_wrlock(pthread_rwlock_t *__rwlock)
|
|
__nonnull(1) __locks_exclusive(*__rwlock);
|
|
int pthread_rwlockattr_destroy(pthread_rwlockattr_t *)
|
|
__nonnull(1);
|
|
int pthread_rwlockattr_getkind_np(const pthread_rwlockattr_t *,
|
|
int *);
|
|
int pthread_rwlockattr_getpshared(const pthread_rwlockattr_t *,
|
|
int *) __nonnull(1, 2);
|
|
int pthread_rwlockattr_init(pthread_rwlockattr_t *)
|
|
__nonnull(1);
|
|
int pthread_rwlockattr_setkind_np(pthread_rwlockattr_t *, int);
|
|
int pthread_rwlockattr_setpshared(pthread_rwlockattr_t *, int)
|
|
__nonnull(1);
|
|
pthread_t pthread_self(void);
|
|
int pthread_setspecific(pthread_key_t, const void *);
|
|
|
|
int pthread_spin_init(pthread_spinlock_t *__spin, int)
|
|
__requires_unlocked(*__spin);
|
|
int pthread_spin_destroy(pthread_spinlock_t *__spin)
|
|
__requires_unlocked(*__spin);
|
|
int pthread_spin_lock(pthread_spinlock_t *__spin)
|
|
__locks_exclusive(*__spin);
|
|
int pthread_spin_trylock(pthread_spinlock_t *__spin)
|
|
__trylocks_exclusive(0, *__spin);
|
|
int pthread_spin_unlock(pthread_spinlock_t *__spin)
|
|
__unlocks(*__spin);
|
|
int pthread_cancel(pthread_t);
|
|
int pthread_setcancelstate(int, int *);
|
|
int pthread_setcanceltype(int, int *);
|
|
void pthread_testcancel(void);
|
|
|
|
#if __BSD_VISIBLE
|
|
int pthread_getprio(pthread_t);
|
|
int pthread_setprio(pthread_t, int);
|
|
void pthread_yield(void);
|
|
#endif
|
|
|
|
int pthread_mutexattr_getprioceiling(pthread_mutexattr_t *,
|
|
int *);
|
|
int pthread_mutexattr_setprioceiling(pthread_mutexattr_t *,
|
|
int);
|
|
int pthread_mutex_getprioceiling(pthread_mutex_t *, int *);
|
|
int pthread_mutex_setprioceiling(pthread_mutex_t *, int, int *);
|
|
|
|
int pthread_mutexattr_getprotocol(pthread_mutexattr_t *, int *);
|
|
int pthread_mutexattr_setprotocol(pthread_mutexattr_t *, int);
|
|
|
|
int pthread_attr_getinheritsched(const pthread_attr_t *, int *);
|
|
int pthread_attr_getschedparam(const pthread_attr_t *,
|
|
struct sched_param *) __nonnull(1, 2);
|
|
int pthread_attr_getschedpolicy(const pthread_attr_t *, int *)
|
|
__nonnull(1, 2);
|
|
int pthread_attr_getscope(const pthread_attr_t *, int *)
|
|
__nonnull(1, 2);
|
|
int pthread_attr_setinheritsched(pthread_attr_t *, int);
|
|
int pthread_attr_setschedparam(pthread_attr_t *,
|
|
const struct sched_param *) __nonnull(1, 2);
|
|
int pthread_attr_setschedpolicy(pthread_attr_t *, int) __nonnull(1);
|
|
int pthread_attr_setscope(pthread_attr_t *, int) __nonnull(1);
|
|
int pthread_getschedparam(pthread_t pthread, int *,
|
|
struct sched_param *) __nonnull(2, 3);
|
|
int pthread_setschedparam(pthread_t, int,
|
|
const struct sched_param *) __nonnull(3);
|
|
#if __XSI_VISIBLE
|
|
int pthread_getconcurrency(void);
|
|
int pthread_setconcurrency(int);
|
|
#endif
|
|
|
|
void __pthread_cleanup_push_imp(void (*)(void *), void *,
|
|
struct _pthread_cleanup_info *);
|
|
void __pthread_cleanup_pop_imp(int);
|
|
__END_DECLS
|
|
|
|
#endif
|