互斥锁(mutex),自旋锁(spin_lock)是如何实现的

1.整数值的原子操作

这部分是CPU的任务
自旋锁中和互斥锁中都有一个整数值atomic_flag,为0时表示解锁状态,为1时表示加锁状态
对atomic_flag的修改必须时原子操作,对此,CPU提供了compare_and_set和test_and_set来实现对该值的原子操作。

这两个的操作的简单区别
test-and-set :
修改内存位置的内容,并返回其旧值。
compare-and-swap:
以原子方式将存储位置的内容与给定值进行比较,并且只有它们相同时,才将该存储位置的内容修改为给定的新值。返回旧值用于判断是否交换成功

两种操作均可以实现,以下是
用户态test_and_set自旋锁的c++实现:



#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
#include <mutex>

std::atomic_flag lock ;
void f(int n)
{
    for (int cnt = 0; cnt < 100; ++cnt) {
        
        while (std::atomic_flag_test_and_set(&lock));  //设置lock为1
        std::cout << "Output from thread " << n << '\n';
        lock.clear(); //设置lock为0
    }
}

int main()
{
    std::vector<std::thread> v;
    for (int n = 0; n < 10; ++n) {
        v.emplace_back(f, n);
    }
    for (auto& t : v) {
        t.join();
    }
}

这里自旋锁用了test-and-set 操作,test_and_set对flag进行设置为1。无锁时,返回旧值0,循环中断,继续执行代码。而有锁时,继续设置lock为1,但返回旧值1,继续无限循环。

互斥锁在test-and-set返回1时,与自旋锁的操作有了区别
自旋锁:返回旧值1,继续无限循环。
互斥锁:返回旧值1,将线程睡眠进行等待。
与上面进行对比互斥锁为代码如下:

void f(int n)
{
    for (int cnt = 0; cnt < 100; ++cnt) {
        
        if(compare_and_swap (&value,0 , 1 )  == 1);{ // 
             没有获取到锁
             睡眠();
      }

        临界区操作


       if(compare_and_swap (&value, 1 , 0 )  == 1 );{ // 
               唤醒()
        }

    }
}

2.互斥锁中的等待部分

cpu并不能感知到上层线程或者进程的存在。所以“等待”功能需要交给操作系统去实现
之前“整数值的原子操作”部分全部在用户态进行,以减少用户态和内核态切换的开销。
在linux操作系统中,使用futex进行睡眠操作

// 在uaddr指向的这个锁变量上挂起等待(仅当*uaddr==val时)
int futex_wait(int *uaddr, int val);
// 唤醒n个在uaddr指向的锁变量上挂起等待的进程
int futex_wake(int *uaddr, int n);

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,240评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,328评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,182评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,121评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,135评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,093评论 1 295
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,013评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,854评论 0 273
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,295评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,513评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,678评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,398评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,989评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,636评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,801评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,657评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,558评论 2 352