Sequential consistency is always "correct" in that you can substitute it for the others and your program will be correct -- but it's generally not warranted in

Sequential consistency is always "correct" in that you can substitute it for the others and your program will be correct -- but it's generally not warranted in my experience, to the point that I find liberal use of it to be a code smell, indicative that someone may have just sprinkled them around and "hoped for the best" rather than analyzing ordering requirements of their algorithm.