死锁和活锁最大的区别是【0】。
活锁/饥饿模型：polite(rounds)——两线程对称礼让（都发现对方也要就退回重来），谁也拿不全，交回完成数（对称下 0）；starved(schedule, threads)——交回从没被调度到的线程（被饿死的）；classify(progress, someone_done)——都不动→死锁、在动没人完成→活锁、有人完成但有线程总轮不到→饥饿。
polite(rounds)
starved(schedule, threads)
classify(progress, someone_done)
全部评论