想问一下,你中间说redis的cas是check-and-set,我们常说的java的cas是compare and swap啊,这两者有什么不同嘛?