Using sequence lock to record multicore memory access order. - View it on GitHub