MIT_6.828_2018_Homework:xv6 locking

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