Trade-offs in overhead vs effectiveness of causality inconsistency tracking for preemptive rollback in optimistic simulation | IEEE Conference Publication | IEEE Xplore