| Cycle | Objects | Source locations | Source events |
| PosWR Fri | find_mutex::1::root | store.c:85 store.c:90 | W:find_mutex::1::root (store.c:90 function find_mutex thread 0) R:find_mutex::1::root (store.c:85 function find_mutex thread 0) |
| PosWR Fri | find_thread::1::root | store.c:34 store.c:29 | W:find_thread::1::root (store.c:34 function find_thread thread 0) R:find_thread::1::root (store.c:29 function find_thread thread 0) |
| Fri Rfi | create_thread::1::num | store.c:17 | R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0) |
| PosWR Fri | find_mutex::1::root | store.c:85 store.c:90 | W:find_mutex::1::root (store.c:90 function find_mutex thread 0) R:find_mutex::1::root (store.c:85 function find_mutex thread 0) |
| PosWR Fri | find_thread::1::root | store.c:34 store.c:29 | W:find_thread::1::root (store.c:34 function find_thread thread 0) R:find_thread::1::root (store.c:29 function find_thread thread 0) |
| Fri Rfi | create_thread::1::num | store.c:17 | R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0) |