作业地址: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]信息不正确。