if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_init 0x%lx value %u\n",
+ "[%d] sem_init 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
value);
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_destroy 0x%lx value %u\n",
+ "[%d] sem_destroy 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p ? p->value : 0);
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_open 0x%lx name %s"
- " oflag %ld mode 0%lo value %u\n",
+ "[%d] sem_open 0x%lx name %s"
+ " oflag %ld mode 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore, name, oflag, mode, value);
}
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_close 0x%lx value %u\n",
+ "[%d] sem_close 0x%lx value %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p ? p->value : 0);
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_wait 0x%lx value %u -> %u\n",
+ "[%d] sem_wait 0x%lx value %u -> %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p ? p->value : 0,
if (s_trace_semaphore)
{
VG_(message)(Vg_UserMsg,
- "[%d] semaphore_post 0x%lx value %u -> %u\n",
+ "[%d] sem_post 0x%lx value %u -> %u\n",
DRD_(thread_get_running_tid)(),
semaphore,
p->value - 1, p->value);
---------------- sem_* ----------------
-[1] semaphore_init 0x........ value 4294967295
-[1] semaphore_init 0x........ value 0
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
Semaphore reinitialization: semaphore 0x........
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
FIXME: can't figure out how to verify wrap of sem_destroy
-[1] semaphore_wait 0x........ value 0 -> 4294967295
+[1] sem_wait 0x........ value 0 -> 4294967295
Invalid semaphore: semaphore 0x........
at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
semaphore 0x........ was first observed at:
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:228)
-[1] semaphore_post 0x........ value 4294967295 -> 0
+[1] sem_post 0x........ value 4294967295 -> 0
FIXME: can't figure out how to verify wrap of sem_post
-[1] semaphore_destroy 0x........ value 0
+[1] sem_destroy 0x........ value 0
------------ dealloc of mem holding locks ------------
---------------- sem_* ----------------
-[1] semaphore_init 0x........ value 4294967295
-[1] semaphore_init 0x........ value 0
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
Semaphore reinitialization: semaphore 0x........
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
FIXME: can't figure out how to verify wrap of sem_destroy
-[1] semaphore_wait 0x........ value 0 -> 4294967295
+[1] sem_wait 0x........ value 0 -> 4294967295
Invalid semaphore: semaphore 0x........
at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
semaphore 0x........ was first observed at:
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:228)
-[1] semaphore_post 0x........ value 4294967295 -> 0
+[1] sem_post 0x........ value 4294967295 -> 0
FIXME: can't figure out how to verify wrap of sem_post
-[1] semaphore_destroy 0x........ value 0
+[1] sem_destroy 0x........ value 0
------------ dealloc of mem holding locks ------------
---------------- sem_* ----------------
-[1] semaphore_init 0x........ value 4294967295
-[1] semaphore_init 0x........ value 0
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
Semaphore reinitialization: semaphore 0x........
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
FIXME: can't figure out how to verify wrap of sem_destroy
-[1] semaphore_wait 0x........ value 0 -> 4294967295
+[1] sem_wait 0x........ value 0 -> 4294967295
Invalid semaphore: semaphore 0x........
at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
semaphore 0x........ was first observed at:
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:228)
-[1] semaphore_post 0x........ value 4294967295 -> 0
+[1] sem_post 0x........ value 4294967295 -> 0
FIXME: can't figure out how to verify wrap of sem_post
-[1] semaphore_destroy 0x........ value 0
+[1] sem_destroy 0x........ value 0
------------ dealloc of mem holding locks ------------
---------------- sem_* ----------------
-[1] semaphore_init 0x........ value 4294967295
-[1] semaphore_init 0x........ value 0
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
Semaphore reinitialization: semaphore 0x........
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
FIXME: can't figure out how to verify wrap of sem_destroy
-[1] semaphore_wait 0x........ value 0 -> 4294967295
+[1] sem_wait 0x........ value 0 -> 4294967295
Invalid semaphore: semaphore 0x........
at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
semaphore 0x........ was first observed at:
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:228)
-[1] semaphore_post 0x........ value 4294967295 -> 0
+[1] sem_post 0x........ value 4294967295 -> 0
FIXME: can't figure out how to verify wrap of sem_post
-[1] semaphore_destroy 0x........ value 0
+[1] sem_destroy 0x........ value 0
------------ dealloc of mem holding locks ------------
---------------- sem_* ----------------
-[1] semaphore_init 0x........ value 4294967295
-[1] semaphore_init 0x........ value 0
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
Semaphore reinitialization: semaphore 0x........
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
FIXME: can't figure out how to verify wrap of sem_destroy
-[1] semaphore_wait 0x........ value 0 -> 4294967295
+[1] sem_wait 0x........ value 0 -> 4294967295
Invalid semaphore: semaphore 0x........
at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
semaphore 0x........ was first observed at:
at 0x........: sem_init* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:228)
-[1] semaphore_post 0x........ value 4294967295 -> 0
+[1] sem_post 0x........ value 4294967295 -> 0
FIXME: can't figure out how to verify wrap of sem_post
-[1] semaphore_destroy 0x........ value 0
+[1] sem_destroy 0x........ value 0
------------ dealloc of mem holding locks ------------