/* TODO: perform release/acquire synchronization here; include
* reads_from as ModelAction member? */
Thread *th = get_thread(curr->get_tid());
/* TODO: perform release/acquire synchronization here; include
* reads_from as ModelAction member? */
Thread *th = get_thread(curr->get_tid());