实现没有溢出问题的流水号

《多处理器编程的艺术》一书2.7节。在先到先服务的Baker Lock算法中，每个线程先领取一个代表到达顺序的编号，然后按编号服务。用递增的整数做编号时，会遇到整数溢出问题。为此，2.7节介绍了一种复杂的没有溢出问题的编号系统Unbounded timestamping sysem。

在通知系统中，为保证消息处理顺序，都需要使用一个编号表示消息到达的顺序。用系统时钟是一个不错的办法，但系统时钟也有溢出的时候，另外时钟也可能被人为修改。

 

下面介绍很简单的解决办法，前提是最大编号和最小编号的差值不可能大于2的31次方，在通知系统中这点很容易保证。

修改比较两无符号整数的大小的算法，先用Test指令比较两个整数，然后根据ZF、CF、SF的值判断比较结果

（1）ZF=1 两数相等

（2）CF=0且SF=0 大于

（3）CF=0且SF=1 小于

（4）CF=1且SF＝0 小于

（5）CF＝1且SF＝1 大于