请问redis解决超卖的三种方式是啥呀