DF-5693 / run.log
=== 1. control: stock libprop userland once (pthread_once) === SURVIVED: both singletons typed, values correct, identity held (8 threads) --- control run1 exit=0 SURVIVED: both singletons typed, values correct, identity held (8 threads) --- control run2 exit=0 SURVIVED: both singletons typed, values correct, identity held (8 threads) --- control run3 exit=0 SURVIVED: both singletons typed, values correct, identity held (8 threads) --- control run4 exit=0 SURVIVED: both singletons typed, values correct, identity held (8 threads) --- control run5 exit=0 === 2. kernel-macro semantics, state A (PROP_WIDEN_MS=50) === VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. --- ksem-A run1 exit=134 Abort trap (core dumped) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. --- ksem-A run2 exit=134 Abort trap (core dumped) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Abort trap (core dumped) --- ksem-A run3 exit=134 VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. --- ksem-A run4 exit=134 Abort trap VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored) Segmentation fault (core dumped) --- ksem-A run5 exit=139 === 3. kernel-macro semantics, state B (PROP_WIDEN2_MS=50) === VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993. Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. --- ksem-B run1 exit=134 Abort trap (core dumped) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. --- ksem-B run2 exit=134 Abort trap (core dumped) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. Abort trap (core dumped) --- ksem-B run3 exit=134 VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) --- ksem-B run4 exit=139 Segmentation fault (core dumped) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale) Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085. --- ksem-B run5 exit=134 === 4. kernel-macro semantics, release flavor (PROP_WIDEN_MS=50) === Abort trap (core dumped) Segmentation fault (core dumped) --- ksem-rel run1 exit=139 --- ksem-rel run2 exit=139 Segmentation fault (core dumped) --- ksem-rel run3 exit=139 Segmentation fault Segmentation fault --- ksem-rel run4 exit=139 --- ksem-rel run5 exit=139 === 5. fix emulation: once completed before concurrent use (SYSINIT) === Segmentation fault warmup: lazy init completed single-threaded SURVIVED: both singletons typed, values correct, identity held (8 threads) --- fix run1 exit=0 warmup: lazy init completed single-threaded SURVIVED: both singletons typed, values correct, identity held (8 threads) --- fix run2 exit=0 warmup: lazy init completed single-threaded SURVIVED: both singletons typed, values correct, identity held (8 threads) --- fix run3 exit=0 warmup: lazy init completed single-threaded SURVIVED: both singletons typed, values correct, identity held (8 threads) --- fix run4 exit=0 warmup: lazy init completed single-threaded SURVIVED: both singletons typed, values correct, identity held (8 threads) --- fix run5 exit=0 === 6. realistic window (no widening): 300 fresh processes === Abort trap Abort trap (core dumped) Abort trap (core dumped) realistic-window tally: survived=296 violations=1 signals=3 (of 300)