补全:多条序有风险吗
补全 risk:多条获取序里只要有一条不合全局序,就有循环等待风险。
锁顺序模型:给锁定个全局序 order(如 [L1,L2,L3],越靠前越先拿)。in_order(seq, order) 判一条获取序是否合全局序;risk(seqs, order) 判多条序里有没有逆序(有就可能循环等待);fixed(seq, order) 把一条获取序重排成全局序。
补全 risk:多条获取序里只要有一条不合全局序,就有循环等待风险。
锁顺序模型:给锁定个全局序 order(如 [L1,L2,L3],越靠前越先拿)。in_order(seq, order) 判一条获取序是否合全局序;risk(seqs, order) 判多条序里有没有逆序(有就可能循环等待);fixed(seq, order) 把一条获取序重排成全局序。
全部评论