| <assertions> |
| <assertion id="1" tag="ref:XBD6:10174:10176 pt:THR"> |
| The pthread.h file exists and can be included. |
| </assertion> |
| <assertion id="2" tag="ref:XBD6:10179:10202"> |
| pthread.h header shall define the following symbols |
| |
| PTHREAD_BARRIER_SERIAL_THREAD BAR |
| PTHREAD_CANCEL_ASYNCHRONOUS |
| PTHREAD_CANCEL_ENABLE |
| PTHREAD_CANCEL_DEFERRED |
| PTHREAD_CANCEL_DISABLE |
| PTHREAD_CANCELED |
| PTHREAD_COND_INITIALIZER |
| PTHREAD_CREATE_DETACHED |
| PTHREAD_CREATE_JOINABLE |
| PTHREAD_EXPLICIT_SCHED |
| PTHREAD_INHERIT_SCHED |
| PTHREAD_MUTEX_DEFAULT XSI |
| PTHREAD_MUTEX_ERRORCHECK XSI |
| PTHREAD_MUTEX_INITIALIZER |
| PTHREAD_MUTEX_NORMAL XSI |
| PTHREAD_MUTEX_RECURSIVE XSI |
| PTHREAD_ONCE_INIT |
| PTHREAD_PRIO_INHERIT TPP|TPI |
| PTHREAD_PRIO_NONE TPP|TPI |
| PTHREAD_PRIO_PROTECT TPP|TPI |
| PTHREAD_PROCESS_SHARED |
| PTHREAD_PROCESS_PRIVATE |
| PTHREAD_SCOPE_PROCESS TPS |
| PTHREAD_SCOPE_SYSTEM TPS |
| </assertion> |
| <assertion id="3" tag="ref:XBD:10205:10217"> |
| Type 'pthread_attr_t' shall be defined as described in sys/types.h |
| Type 'pthread_barrier_t' shall be defined as described in sys/types.h |
| Type 'pthread_barrierattr_t' shall be defined as described in sys/types.h |
| Type 'pthread_cond_t' shall be defined as described in sys/types.h |
| Type 'pthread_condattr_t' shall be defined as described in sys/types.h |
| Type 'pthread_key_t' shall be defined as described in sys/types.h |
| Type 'pthread_mutex_t' shall be defined as described in sys/types.h |
| Type 'pthread_mutexattr_t' shall be defined as described in sys/types.h |
| Type 'pthread_once_t' shall be defined as described in sys/types.h |
| Type 'pthread_rwlock_t' shall be defined as described in sys/types.h |
| Type 'pthread_rwlockattr_t' shall be defined as described in sys/types.h |
| Type 'pthread_spinlock_t' shall be defined as described in sys/types.h |
| Type 'pthread_t' shall be defined as described in sys/types.h |
| </assertion> |
| <assertion id="4" tag="ref:XBD:10280:10280"> |
| This function is defined: |
| pthread_create(pthread_t *restrict, const pthread_attr_t *restrict, |
| void *(*)(void *), void *restrict); |
| </assertion> |
| <assertion id="5" tag="ref:XBD:10284:10284"> |
| This function is defined: |
| void pthread_exit(void *); |
| </assertion> |
| <assertion id="6" tag="ref:XBD:10338:10338"> |
| This function is defined: |
| pthread_t pthread_self(void); |
| </assertion> |
| <assertion id="7" tag="ref:XBD:10283:10283"> |
| This function is defined: |
| int pthread_equal(pthread_t, pthread_t); |
| </assertion> |
| <assertion id="8" tag="ref:XBD:10290:10290"> |
| This function is defined: |
| int pthread_join(pthread_t, void **); |
| </assertion> |
| <assertion id="9" tag="ref:XBD:10282:10282"> |
| This function is defined: |
| int pthread_detach(pthread_t); |
| </assertion> |
| <assertion id="10" tag="ref:XBD:10240:10240"> |
| This function is defined: |
| int pthread_attr_init(pthread_attr_t *); |
| </assertion> |
| <assertion id="11" tag="ref:XBD:10222:10222"> |
| This function is defined: |
| int pthread_attr_destroy(pthread_attr_t *); |
| </assertion> |
| <assertion id="12" tag="ref:XBD:10223:10223"> |
| This function is defined: |
| int pthread_attr_getdetachstate(const pthread_attr_t *, int *); |
| </assertion> |
| <assertion id="13" tag="ref:XBD:10241:10241"> |
| This function is defined: |
| int pthread_attr_setdetachstate(pthread_attr_t *, int); |
| </assertion> |
| <assertion id="14" tag="ref:XBD:10296:10297"> |
| This function is defined: |
| int pthread_mutex_init(pthread_mutex_t *restrict, const pthread_mutexattr_t |
| *restrict); |
| </assertion> |
| <assertion id="15" tag="ref:XBD:10293:10293"> |
| This function is defined: |
| int pthread_mutex_destroy(pthread_mutex_t *); |
| </assertion> |
| <assertion id="16" tag="ref:XBD:10298:10298"> |
| This function is defined: |
| int pthread_mutex_lock(pthread_mutex_t *); |
| </assertion> |
| <assertion id="17" tag="ref:XBD:10303:10303"> |
| This function is defined: |
| int pthread_mutex_trylock(pthread_mutex_t *); |
| </assertion> |
| <assertion id="18" tag="ref:XBD:10304:10304"> |
| This function is defined: |
| int pthread_mutex_unlock(pthread_mutex_t *); |
| </assertion> |
| <assertion id="19" tag="ref:XBD:10314:10314"> |
| This function is defined: |
| int pthread_mutexattr_init(pthread_mutexattr_t *); |
| </assertion> |
| <assertion id="20" tag="ref:XBD:10305:10305"> |
| This function is defined: |
| int pthread_mutexattr_destroy(pthread_mutexattr_t *); |
| </assertion> |
| </assertions> |