MIT_6.828_2018_Homework:xv6 locking

Felcia ·
更新时间:2024-11-14
· 690 次阅读

作业地址:xv6 locking

此次作业让我们对xv6里面应用的锁有更进一步的了解。

Don’t do this

连续两次、在同一函数内进行acquire(),会出现panic,因为在 函数acquire()中:

if(holding(lk)) panic("acquire"); Interrupts in ide.c

在启动内核之后,会出现以下信息:

lapicid 1: panic: acquire 80104431 80102093 801059ed 801056dc 801021e7 80102aea 80102b8e 80103730 801056df 0

对应的函数为:

80104431:panic() 80102093:aquire() 801059ed:lapiceoi() 801056dc:trap() 801021e7:idestart() 80102aea:bwrite() 80102b8e:write_head() 80103730:initlog() 801056df:trapret()

出现panic的原因大概就是,在iderw()函数里面获取了锁之后,因为中断,转去执行中断处理函数,但是中断处理函数的相关函数也需要锁,所以发生了错误。

Interrupts in file.c

添加之后不会发生错误。可能是因为中断处理函数里面不涉及file_table_lock 这个锁吧。

xv6 lock implementation

若不这样执行,在执行完lk->locked置零后,可能另一进程将获取锁,并将lk->pcs[0]置为该进程相关的信息,然后当前进程再执行清空lk->pcs[0]的动作,发生了冲突,导致lk->pcs[0]信息不正确。


作者:Salvete



locking xv mit

需要 登录 后方可回复, 如果你还没有账号请 注册新账号
相关文章