美文网首页
互斥锁(mutex),自旋锁(spin_lock)是如何实现的

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

作者: JimmyPan | 来源:发表于2020-05-28 07:28 被阅读0次

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);

相关文章

  • 自旋锁 和 互斥锁

    自旋锁 和 互斥锁 Pthreads提供了多种锁机制: (1) Mutex(互斥量):pthread_mutex_...

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

    1.整数值的原子操作 这部分是CPU的任务自旋锁中和互斥锁中都有一个整数值atomic_flag,为0时表示解锁状...

  • C++锁

    锁的种类 互斥锁、条件锁、自旋锁、读写锁、递归锁。 互斥锁 头文件: 类型:pthread_mutex_t, 函数...

  • 互斥锁mutex:一个线程获得资源,其他线程睡眠。 自旋锁spinlock:自旋锁是一种特殊的互斥锁,当资源被枷锁...

  • iOS 多线程面试题(自旋锁与互斥锁)

    自旋锁与互斥锁 自旋锁: 是一种用于保护多线程共享资源的锁,与一般互斥锁(mutex)不同之处在于当自旋锁尝试获取...

  • iOS中的自旋锁与互斥锁

    一:自旋锁与互斥锁 自旋锁:是一种用于保护多线程共享资源的锁,与一般互斥锁(mutex)不同之处在于当自旋锁尝试获...

  • 互斥锁 自旋锁 递归锁 条件锁 读写锁 互斥锁:pthread_ mutex_t(NSLock基于此封装)每个对象...

  • mutex与spinlock的区别和应用场景

    这篇讲讲互斥锁(mutex)与自旋锁(spinlock)的差异,以及何种场景应该使用何种锁。mutex是最经常用到...

  • 线程锁

    1.常见的锁包括:互斥锁,自旋锁。 2.互斥锁是指锁的类型,自旋锁是指锁的实现方式。 3.互斥锁:当上...

  • 自旋锁(spin lock)与互斥量(mutex)的比较

    自旋锁(spin lock)与互斥量(mutex)的比较 自旋锁是一种非阻塞锁,也就是说,如果某线程需要获取自旋锁...

网友评论

      本文标题:互斥锁(mutex),自旋锁(spin_lock)是如何实现的

      本文链接:https://www.haomeiwen.com/subject/cmnnahtx.html