最近群里聊起秒杀和限流，我自己没有做过类似应用，但是工作中遇到过更大的数据和并发。
于是提出了一个简单的模型：
var count = rds.inc(key);
if(count > 1000) throw "已抢光！"
借助Redis单线程模型，它的inc是安全的，确保每次加一，然后返回加一后的结果。如果原来是234，加一了就是235，返回的一定是235，在此中间，不会有别的请求来打断从而导致返回236或者其它。
其实我们可以理解为inc的业务就是占坑排队，每人占一个坑，拿到排队小票后看看是不是超额了，再从业务层面输出秒杀结果，甚至做一些更加复杂的业务。
六条提到限流，可能基于某种考虑，希望把key对应的count给限制在1000附近，可以接受1%偏差。
于是有了改进模型：
var count = rds.inc(key);
if(count > 1000)｛
rds.dec(key);
throw "超出限额！"
｝
就加了一句，超出限额后，把小票给减回去^_^
采用Redis有一个好处，比如支持很多应用服务器一起抢……
当然，对于很大量的秒杀，这个模型也不一定合理，比如要枪10万部手机，然后来了300万用户，瞬间挤上来。
这里有个变通方法可以试一下，那就是准备10个Redis实例，每个放1万。用户请求过来的时候，可以随机数或者散列取模，找对应实例来进行抢购。
同理可以直接更多用户的场景。总的来说，在数据较大的时候，随机和散列就具有一定统计学意义，相对来说是比较均衡的。
上面是大量秒杀的简单场景，那么小数据场景呢？比如就只有几万并发的场景。
小数据场景，单应用实例，可以考虑把Redis都给省了。
初级模型：
Interlocked.Increase(ref count);
if(count >= 1000) throw "抢光啦！"
中级模型：
private volatile Int32 count;
var old = 0;
do {
old = count;
if(old >= 1000) throw "抢光啦！"
}while(Interlocked.CompareExchange(ref count, old + 1, old) != old);
这个CAS原子操作可是好东西，在x86指令集下有专门指令CMPXCHG来处理，在处理器级别确保比较和交换数据的原子性。大多数系统想要迈过10万tps的门槛向100万tps靠齐，就必须得实现无锁操作lock-free，其中CAS是最为简单易懂，尽管有时候有ABA问题，但我们可以找到许多解决办法。
在实际使用场景中，可能有更复杂的需求，那就另当别论，这里只能班门弄斧几个简单易用的模型。
