1 Star 0 Fork 210

brezezee / CppGuide

forked from balloonwj / CppGuide 
加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
该仓库未声明开源许可证文件(LICENSE),使用请关注具体项目描述及其代码上游依赖。
克隆/下载
07cas属性.md 2.20 KB
一键复制 编辑 原始数据 按行查看 历史
zhangyuanlong 提交于 2020-10-08 15:33 . add articles

Memcached源码阅读七 cas属性

cas即compare and set或者compare and swap,是实现乐观锁的一种技术,乐观锁是相对悲观锁来说的,所谓悲观锁是在数据处理过程中,完全锁定,这种能完全保证数据的一致性,但在多线程情况下,并发性能差,通常是使用各种锁技术实现;而乐观锁是通过版本号机制来实现数据一致性,过程中会使用CPU提供的原子操作指令,乐观锁能提高系统的并发性能,Memcached使用cas是保证数据的一致性,不是严格为了实现锁。

Memcached是多客户端应用,在多个客户端修改同一个数据时,会出现相互覆盖的情况,在这种情况下,使用cas版本号验证,可以有效的保证数据的一致性,Memcached默认是打开cas属性的,每次存储数据时,都会生成其cas值并和item一起存储,后续的get操作会返回系统生成的cas值,在执行set等操作时,需要将cas值传入,下面我们看看Memcached内部是如何实现cas的,关于如何使用Mecached的CAS协议,请参考文章:Memcached的CAS协议(链接:http://langyu.iteye.com/blog/680052)。

//为新的item生成cas值
uint64_t get_cas_id(void)
{
    static uint64_t cas_id = 0;
    return ++cas_id;
}

//这段代码是store_item的代码片段,这里是执行cas存储时执行的判断逻辑,
else if (ITEM_get_cas(it) == ITEM_get_cas(old_it))//cas值一致
{
    pthread_mutex_lock(&c->thread->stats.mutex);
    c->thread->stats.slab_stats[old_it->slabs_clsid].cas_hits++;
    pthread_mutex_unlock(&c->thread->stats.mutex);

    item_replace(old_it, it, hv);//执行存储逻辑
    stored = STORED;
}
//cas值不一致,不进行实际的存储
else 
{
    pthread_mutex_lock(&c->thread->stats.mutex);
    c->thread->stats.slab_stats[old_it->slabs_clsid].cas_badval++; 
    //更新统计信息
    pthread_mutex_unlock(&c->thread->stats.mutex);

    if (settings.verbose > 1)
    {
        //打印错误日志
        fprintf(stderr, "CAS:  failure: expected %llu, got %llu\n",
                (unsigned long long) ITEM_get_cas(old_it),
                (unsigned long long) ITEM_get_cas(it));
    }
    stored = EXISTS;
}
C++
1
https://gitee.com/brezezee/CppGuide.git
git@gitee.com:brezezee/CppGuide.git
brezezee
CppGuide
CppGuide
master

搜索帮助