超卖问题不是redis+lua脚本解决吗