1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
"Test Case","Test","Template","Implemented"
"pthread_mutex_init: only case","psxtmmutex01","psxtmtest_init_destroy","Yes"
"pthread_mutex_destroy: only case","psxtmmutex01","psxtmtest_init_destroy","Yes"
"pthread_mutex_lock: not available: block","psxtmmutex02","psxtmtest_blocking","Yes"
"pthread_mutex_lock: available","psxtmmutex03","psxtmtest_single","Yes"
"pthread_mutex_trylock: available","psxtmmutex03","psxtmtest_single","Yes"
"pthread_mutex_trylock: not available","psxtmmutex03","psxtmtest_single","Yes"
"pthread_mutex_unlock: no threads waiting","psxtmmutex03","psxtmtest_single","Yes"
"pthread_mutex_unlock: thread waiting: no preempt","psxtmmutex05","psxtmtest_unblocking_nopreempt","Yes"
"pthread_mutex_unlock: thread waiting: preempt","psxtmmutex06","psxtmtest_unblocking_preempt","Yes"
"pthread_mutex_timedlock: available","psxtmmutex03","psxtmtest_single","Yes"
"pthread_mutex_timedlock: not available: block","psxtmmutex04","psxtmtest_blocking","Yes"
"pthread_mutex_setprioceiling","psxtmmutex07","psxtmtest_single","Yes"
"pthread_mutex_getprioceiling","psxtmmutex07","psxtmtest_single","Yes"
"pthread_cond_init: only case","psxtmcond01","psxtmtest_init_destroy","Yes"
"pthread_cond_destroy: only case","psxtmcond01","psxtmtest_init_destroy","Yes"
"pthread_cond_signal: no threads waiting","psxtmcond02","psxtmtest_single","Yes"
"pthread_cond_signal: thread waiting: no preempt","psxtmcond03","psxtmtest_unblocking_nopreempt","Yes"
"pthread_cond_signal: thread waiting: preempt","psxtmcond04","psxtmtest_unblocking_preempt","Yes"
"pthread_cond_broadcast: no threads waiting","psxtmcond05","psxtmtest_single","Yes"
"pthread_cond_broadcast: threads waiting: no preempt","psxtmcond06","psxtmtest_unblocking_nopreempt","Yes"
"pthread_cond_broadcast: threads waiting: preempt","psxtmcond07","psxtmtest_unblocking_preempt","Yes"
"pthread_cond_wait: blocks","psxtmcond08","psxtmtest_blocking","Yes"
"pthread_cond_timedwait: blocks,"psxtmcond09","psxtmtest_blocking","yes"
"pthread_cond_timedwait: time in past error","psxtmcond10","psxtmtest_blocking","Yes"
"pthread_create: no preempt","psxtmthread01","psxtmtest_single","Yes"
"pthread_create: preempt","psxtmthread02","psxtmtest_single","Yes"
"pthread_join"
"pthread_detach"
"pthread_exit"
"pthread_exit: only case","psxtmthread03","psxtmtest_single","Yes"
"pthread_getschedparam: only case","psxtmthread04","psxtmtest_single w/multiple timings","Yes"
"pthread_setschedparam: no thread switch","psxtmthread04","psxtmtest_single w/multiple timings","Yes"
"pthread_setschedparam: lower own priority: preempt","psxtmthread05","psxtmtest_single","Yes"
"pthread_setschedparam: raise other priority: preempt","psxtmthread06","psxtmtest_single","Yes"
"pthread_once: first time","psxtmonce01","psxtmtest_single","No"
"pthread_once: second time","psxtmonce02","psxtmtest_single","No"
"pthread_key_create: only case","psxtmkey01","psxtmtest_single","Yes"
"pthread_setspecific: only case","psxtmkey02","psxtmtest_single","Yes"
"pthread_getspecific: only case","psxtmkey02","psxtmtest_single","Yes"
"pthread_key_delete: only case","psxtmkey01","psxtmtest_single","Yes"
"pthread_cancel"
"pthread_setcancelstate"
"pthread_setcanceltype"
"pthread_testcancel"
"pthread_cleanup_push"
"pthread_cleanup_pop"
"pthread_getcpuclockid"
"pthread_barrier_init: only case","psxtmbarrier01","psxtmtest_init_destroy","Yes"
: only case"pthread_barrier_destroy","psxtmbarrier01","psxtmtest_init_destroy","Yes"
"pthread_barrier_wait: blocking","psxtmbarrier02","psxtmtest_blocking","Yes"
"pthread_barrier_wait: releasing: no preempt","psxtmbarrier03","psxtmtest_unblocking_nopreempt","Yes"
"pthread_barrier_wait: releasing: preempt","psxtmbarrier04","psxtmtest_unblocking_preempt","Yes"
"pthread_spin_init: only case","psxspin01","psxtmtest_init_destroy","Yes"
"pthread_spin_destroy: only case","psxspin01","psxtmtest_init_destroy","Yes"
"pthread_spin_lock: available","psxspin02","psxtmtest_single w/multiple timings","Yes"
"pthread_spin_trylock: available","psxspin02","psxtmtest_single w/multiple timings","Yes"
"pthread_spin_trylock: not available","psxspin02","psxtmtest_single w/multiple timings","Yes"
"pthread_spin_unlock: only case","psxspin02","psxtmtest_single w/multiple timings","Yes"
"pthread_rwlock_init: only case","psxtmrwlock01","psxtmtest_init_destroy","Yes"
"pthread_rwlock_destroy: only case","psxtmrwlock01","psxtmtest_init_destroy","Yes"
"pthread_rwlock_rdlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_rdlock: not available: blocks","psxtmrwlock02","psxtmtest_blocking","Yes"
"pthread_rwlock_tryrdlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_tryrdlock: not available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_timedrdlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_timedrdlock: not available: blocks","psxtmrwlock03","psxtmtest_blocking","Yes"
"pthread_rwlock_unlock: no threads waiting","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_unlock: thread waiting: no preempt","psxtmrwlock06",,"Yes"
"pthread_rwlock_unlock: thread waiting: preempt","psxtmrwlock07",,"Yes"
"pthread_rwlock_wrlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_wrlock: not available: blocks","psxtmwrlock04","psxtmtest_blocking","Yes"
"pthread_rwlock_trywrlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_trywrlock: not available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_timedwrlock: available","psxtmrwlock01","psxtmtest_single","Yes"
"pthread_rwlock_timedwrlock: not available: blocks","psxtmrwlock05","psxtmtest_blocking","Yes"
"mq_open: first open","psxtmmq01","psxtmtest_init_destroy","Yes"
"mq_close: close of first","psxtmmq01","psxtmtest_init_destroy","Yes"
"mq_open: second open","psxtmmq01","psxtmtest_init_destroy","Yes"
"mq_close: close of second","psxtmmq01","psxtmtest_init_destroy","Yes"
"mq_unlink: only case","psxtmmq01","psxtmtest_init_destroy","Yes"
"mq_receive: available",,"psxtmtest_single","Yes"
"mq_receive: not available: block",,"psxtmtest_blocking","No"
"mq_timedreceive: available",,"psxtmtest_single","Yes"
"mq_timedreceive: not available: blocks",,"psxtmtest_single","No"
"mq_send: no threads waiting",,"psxtmtest_single","Yes"
"mq_send: thread waiting: no preempt",,"psxtmtest_unblocking_nopreempt","No"
"mq_send: thread waiting: preempt",,"psxtmtest_unblocking_preempt","No"
"mq_timedsend: no threads waiting",,"psxtmtest_single","Yes"
"mq_timedsend: thread waiting: no preempt",,"psxtmtest_unblocking_nopreempt","No"
"mq_timedsend: thread waiting: preemption",,"psxtmtest_unblocking_preempt","No"
"mq_notify: only case",,"psxtmtest_single","Yes"
"sem_init: only case","psxtmsem01","psxtmtest_single","Yes"
"sem_destroy: only case","psxtmsem01","psxtmtest_single","Yes"
"sem_open: first open named","psxtmsem01","psxtmtest_single","Yes"
"sem_open: second open named","psxtmsem01","psxtmtest_single","Yes"
"sem_close: named first/nested close","psxtmsem01","psxtmtest_single","Yes"
"sem_unlink: does not delete","psxtmsem01","psxtmtest_single","Yes"
"sem_close: named second close: removes","psxtmsem01","psxtmtest_single","Yes"
"sem_unlink: deletes","psxtmsem01","psxtmtest_single","Yes"
"sem_wait: available","psxtmsem02","psxtmtest_single","Yes"
"sem_wait: not available: block","psxtmsem03","psxtmtest_blocking","Yes"
"sem_trywait: available","psxtmsem02","psxtmtest_single","Yes"
"sem_trywait: not available","psxtmsem02","psxtmtest_single","Yes"
"sem_post: no threads waiting","psxtmsem02","psxtmtest_single","Yes"
"sem_post: thread waiting: no preempt","psxsemtm04","psxtmtest_unblocking_nopreempt","Yes"
"sem_post: thread waiting: preempt","psxtmsem05","psxtmtest_unblocking_preempt","Yes"
"sem_getvalue","psxtmsem02","psxtmtest_single","Yes"
"sleep: yield","psxtmsleep01","psxtmtest_single","Yes"
"sleep: blocking","psxtmsleep02","psxtmtest_blocking","Yes"
"nanosleep: yield","psxtmnanosleep01","psxtmtest_single","Yes"
"nanosleep: blocking","psxtmnanosleep02","psxtmtest_blocking","Yes"
|
