补全:数完成了几个
补全 polite:两线程对称礼让、都退回重来,交回完成数(对称下 0)。
活锁/饥饿模型:polite(rounds)——两线程对称礼让(都发现对方也要就退回重来),谁也拿不全,交回完成数(对称下 0);starved(schedule, threads)——交回从没被调度到的线程(被饿死的);classify(progress, someone_done)——都不动→死锁、在动没人完成→活锁、有人完成但有线程总轮不到→饥饿。
补全 polite:两线程对称礼让、都退回重来,交回完成数(对称下 0)。
活锁/饥饿模型:polite(rounds)——两线程对称礼让(都发现对方也要就退回重来),谁也拿不全,交回完成数(对称下 0);starved(schedule, threads)——交回从没被调度到的线程(被饿死的);classify(progress, someone_done)——都不动→死锁、在动没人完成→活锁、有人完成但有线程总轮不到→饥饿。
全部评论