高级操作系统——XV6中断机制

本文详细解析了XV6操作系统的spinlock.c源码,重点介绍了acquire和release函数,阐述了如何通过xchg指令实现锁的获取与释放,并讨论了在中断关闭的情况下进行这些操作的原因,以避免死锁。同时,介绍了用锁实现信号量的方法,包括sem_P和sem_V函数的工作原理。
摘要由CSDN通过智能技术生成

spinlock.c源码分析

初始化lock
void
initlock(struct spinlock *lk, char *name)
{
lk->name = name;
lk->locked = 0;
lk->cpu = 0;
}

acquire获得锁,首先利用pushcli进行关中断,之后通过holding(lk)判断此锁已经被当前CPU获得,如果已经获得返回true,则会panic。如果没有获得或者被其他cpu获得,返回false,进入while(xchg(&lk->locked, 1) != 0)通过汇编指令原子的进行交换。如果锁没有被获得,则&lk->locked为0,此时xchg为0为0,成功获得锁,更改lk->cpu并且获得寄存器的值。如果锁被其他cpu获得&lk->locked为1,此时xchg为1,会进入轮询访问

void
acquire(struct spinlock *lk)
{
pushcli(); // disable interrupts to avoid deadlock.
if(holding(lk))
panic(“acquire”);

while(xchg(&lk->locked, 1) != 0)
lk->cpu = cpu;
getcallerpcs(&lk, lk->pcs);
}

只有获得锁的cpu才能够释放锁,如果不是此cpu调用指令,通过!holding(lk)产生panic。如果是,则 lk->pc

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值