Ordering, Visibility, Atomicity, HB, ME for synchronized