实现抽奖思路: PHP7加Redis怎么实现抽奖 每次概率不一样