Analyzing the memory ordering models of the Apple M1