RISC-V 32架构实践专题十一(从零开始写操作系统-自旋锁的实现)

        我们要实现自旋锁,首先就要弄清楚自旋锁是什么?

        由于在多处理器环境中某些资源的有限性(这些共享资源被称为临界区),有时需要互斥访问(mutual exclusion),这时候就需要引入锁的概念,只有获取了锁的线程才能够对资源进行访问,由于多线程的核心是CPU的时间分片,所以同一时刻只能有一个线程获取到锁。那么就面临一个问题,那么没有获取到锁的线程应该怎么办?

        通常有两种处理方式:

  • 一种是没有获取到锁的线程就一直循环等待判断该资源是否已经释放锁,这种锁叫做自旋锁,它不用将线程阻塞起来(NON-BLOCKING);
  • 另一种处理方式就是把自己阻塞起来,等待重新调度请求,这种叫做互斥锁(互斥信号量)

一、自旋锁

        当一个线程尝试去获取某一把锁的时候,如果这个锁此时已经被别人获取(占用),那么此线程就无法获取到这把锁,该线程将会等待,间隔一段时间后会再次尝试获取。这种采用循环加锁 -> 等待的机制被称为自旋锁(spinlock)。

        此时线程不需要释放CPU资源,而是在线程中进行循环等待(while(1)中循环判断锁状态)。这样做的好处是不用进行线程的切换,减少CPU进行上下文保护切换的损耗,适用于临界区访问代码能够很快执行完毕的情况;但是如果访问临界区需要很长时间,上下文的切换损耗远小于循环等待的损耗,则不适用于自旋锁。

        同时还需要注意的是,在单核环境下与多核环境下,自旋锁的区别。因为自旋锁的设计初衷就是为了忙等待的场景,用于多核环境;其自旋锁在操作系统中的实现一般都是不能持锁进行线程调度(也就是关闭了线程调度);所以在单核环境下,自旋锁可以说是无效的(因为即使单核下,能够进行持锁切换,当切换到忙等待获取锁的线程时,也仅是浪费CPU的时间片)。

二、自旋锁的实现

#include "spinlock.h"

void spin_init(spinlock_t *spinlock)
{
    // 初始化自旋锁,将锁定状态初始为未锁定状态
    spinlock->locked = 0;
}

void spin_lock(spinlock_t *spinlock)
{
    // 利用gcc编译器中的c库函数,原子的实现将变量中写1,并返回变量中原来的值
    while(__sync_lock_test_and_set(&spinlock->locked, 1) != 0);
}

void spin_unlock(spinlock_t *spinlock)
{
     // 利用gcc编译器中的c库函数,原子的将变量值写0
    __sync_lock_test_and_set(&spinlock->locked, 0);
}

__sync_lock_test_and_set :

        gcc编译器中的c库函数,用于原子的操作一个变量,将一个立即数写入变量中,并将变量中原来的数据进行返回,这整个过程是原子的,这需要CPU硬件架构的支持。

        并且也只有原子的进行这些操作,自旋锁的加锁过程才是安全有效的。

        这里实现自旋锁并未完成线程调度的关闭,想要将线程调度关闭,最简单的方法就是直接关闭中断,此时定时器将不会进行中断触发,也就不存在线程的调度了。

三、其他同步机制

        其他的同步机制还有信号量、互斥量和完成量等;其实它们的原理差不多,只是这些同步机制会引起自身线程的休眠,进行上下文切换。

四、完成

        这里基本就完成了一个简单的rtos系统,系统虽然较为简陋,但是五脏俱全;因为现在市面上的rtos非常成熟,在完成一个简单的rtos后,对于上手市面上成熟的rtos也有很大的帮助。接下来将进行riscv 64位芯片的分析,同时也将在其上面运行一个类Unix。

  • 5
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值