priority donate 三种实现方法.docxVIP

Priority-Donation 的三种方法作者：西安电子科技大学　王永刚　　QQ:357543420要考虑的情况：定义以下优先级 H2H1L在struct thread中加入Bool Donated; //是否接受过捐献Struct list LockList; //占有的锁Int OldPri; //原来的优先级在struct lock中加入Struct list_elem elem; //用于插入链表Int priority; //因为这个锁捐献的最高优先级Struct lock BlockReason;//多个不同优先级的线程申请同一个锁，在锁中只保存最高优先级 情况一：单一捐献 设X线程优等级L,申请”锁 A”，申请时，在 “锁A” 中保存 ”X线程” 的struct thread *指针到 ”锁 A” 的holder的变量中。也就是记录了占有锁A的线程; 锁没被任何线程占，则为NULL). 得到锁A, X线程处于 ready状态把A锁加入X线程的 LockList中; A-priority=x-priority;List_insert_ordered(x-LockList,A-elem);“线程Y”开始运行，优先级为H1，申请”锁A”发现 锁A 被 X线程 占有，且 H1L, 所以 捐献优先级：如果X没接受过捐献，保存X原来的优先级;否则把X的优先级改为H1If(H1A-priority) A-priority=H1;If(H1X-priority){If(!Donated) { Donated=true; X-OldPri=x-priority;}X-priority=H1;}保存 锁A 到X线程中List_remove(A-elem);List_insert_ordered(x-LockList,A-elem);X线程释放 锁A 在X的LockList找到锁A, List_remove(A-elem);If(!list_empty(X-LockList)) X-priority= list_entry(list_front(X-LockList)),struct lock,elem)-priority;Else X-priority=X-OldPri;情况二：多重捐献在上边的基础上“线程Z”开始运行，优先级为H2，申请”锁A”发现 锁A 被 X线程 占有， 捐献优先级：①如果X没接受过捐献，保存X原来的优先级;否则把X的优先级改为H1If(H1A-priority) A-priority=H1;If(H1X-priority){If(!Donated) { Donated=true; X-OldPri=x-priority;}X-priority=H1;}保存 锁A 到X线程中List_remove(A-elem);List_insert_ordered(x-LockList,A-elem);X线程释放 锁A 在X的LockList找到锁A, List_remove(A-elem);If(!list_empty(X-LockList)) X-priority= list_entry(list_front(X-LockList)),struct lock,elem)-priority;Else X-priority=X-OldPri;情况二的复杂情形：①设X线程优等级L,申请”锁 A”，申请时，在 “锁A” 中保存 ”X线程” 的struct thread *指针到 ”锁 A” 的holder的变量中。也就是记录了占有锁A的线程; 锁没被任何线程占，则为NULL). 得到锁A。 同样，X线程又申请到了锁B. X线程处于 ready状态② “线程Y”开始运行，优先级为H1，申请”锁A”“线程Z”开始运行，优先级为H2，申请”锁B” 照情况一处理X线程可能先释放锁A,也可能先释放锁B. 把LockList中的锁A remove掉把LockList中队首锁的priority给X线程如果队空，则把OldPri给X线程.情况三、递归 嵌套捐献X占有锁A; Y占有锁B,又申请锁A, 把自己的优先级捐给X后被阻塞; Z又申请锁B,把自己的优先级捐给Y,发现Y被阻塞，又把优先级捐给X, 然后被阻塞。X 占有sema AY占有 锁B,申请 sema AZ申请锁B,