当前位置: 移动技术网 > IT编程>开发语言>.net > 无锁版以时间为GUID的方法

无锁版以时间为GUID的方法

2018年09月10日  | 移动技术网IT编程  | 我要评论

antrim esc3,引用恋老,抓娱网

  之前的博客 将时间作为guid的方法 中,我使用了锁。我在实际的使用中,错将锁的释放放在了if语句中,这纯粹是我的失误,导致了很严重的错误。因此我在想是否有无锁的将时间作为guid的方式,答案是使用interlocked中的 compareexchange方法,该方法是原子操作。说是无锁操作,其实就是让clr来保证操作的原子性,而不用自己写锁。没有锁,也就没有死锁的风险了(当然clr也可能犯错,但是clr犯错要比我犯错的概率低太多)。

  我在 将时间作为guid的方法 中介绍了,datetime.now提供不了ms级的时间,虽然时间的最小单位是ms,但是该时间的误差至少在100ms以上,因此当多线程同时调用datetime.now.tostring("yyyymmddhhmmssfff")的时候,如果在100ms内同时并发,就会出现同样的结果,而guid是不能相同的,因此需要对该方法进行简单的改造,从而保证同一进程内,多线程访问时,时间guid的唯一性。有了之前死锁的教训,我决定不适用锁来实现。该方法的实现方式是一种乐观并发的模式,《clr via c#》中多线程部分有介绍。我的想法是,既然datetime.now有误差,我可以在后面添加一个数字,这个数字每次会+1,这样无论多少个线程访问,都不会重复。代码如下:

static int c = 0;
public static string gettimeutils()
{
    //这样做无法保证f的唯一性,因为其他线程在调用该方法时,有可能读取了相同的c,
    //从而f++得到相同结果//return datetime.now.tostring("yyyymmddhhmmssfff") + c++;
    int f,z;
    do
    {
        f = c;
        z = f+1;
        if (z >= 9999) z = 0;
    }
    while (interlocked.compareexchange(ref c, z, f) != f);
    return datetime.now.tostring("yyyymmddhhmmssfff") + f;
}

   先解释下interlocked.compareexchange方法,该方法是原子操作,意思是如果c==f,则c=z,然后返回c原来的值。将其放进while循环中,是为了保证f读取的c是最新的值。如果f读到的值不是最新的值,就表明这期间有其他线程对c++,这时就重新计算。这其实相当于一次“原子操作”,只不过,这个原子操作不是利用锁来获得的,而是利用线程执行间歇来恰巧获得的。这有点像自旋锁的意思,都有一个while循环。如果在执行期间有其他线程也对c++,那么重新来,直到找到了只有一个线程执行的间歇。这样解释下来,这个方法还真是很“乐观”。如果方法的执行时间较长,并发数较高,这样的间歇是非常不好找的,也就不适用这种无锁模式。该方法适合需要同步的代码量较小,执行时间非常短的情况。

  总结一下,该方法的想法是将f=c++原子化,办法是找到多线程的间歇。

  下面我们来验证一下该方法是否能够保证唯一性:

class program
{
    static void main(string[] args){
        for (int i = 0; i < 20; i++){
            concurrentbag<string> list = new concurrentbag<string>();
            taskextension.parallelrun(9000, true, () => list.add(test.gettimeutils()))
                .then(() => console.writeline($"是否有重复?{list.count() != list.distinct().count()}"));
        }           
        console.read();
    }
}
public static class taskextension
{
    public static task[] parallelrun(int runcount, bool start, action action){
        var tasks = new task[runcount];
        for (int i = 0; i < runcount; i++){
            tasks[i] = new task(action);
            if (start) tasks[i].start();
        }
        return tasks;
    }
    public static async task then(this task[] t, action action){
        await task.whenall(t);
        action();
    }
}

  可以看到,是否有重复,结果为false,证明不会产生重复。

  我也对该方法和带锁的方法进行了对比,发现该方法和有锁版在性能上基本没有优势。我使用的是lock,该锁的后台实现是monitor,是一个混合锁,在较短时间的时候,会先自旋,因此性能较好。但是一旦使用锁,就有被死锁的风险,而无锁版是不用担心这个问题的。也推荐大家去看看interlocked中的方法,里面提供了一些简单的原子操作。

  以上为实现以时间作为guid的方法和测试代码,欢迎有疑问的小伙伴在评论区和我讨论。

如对本文有疑问,请在下面进行留言讨论,广大热心网友会与你互动!! 点击进行留言回复

相关文章:

验证码:
移动技术网