Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model | Publicación