安全性的含义是“永远不发生糟糕的事情”,而活跃性则关注“某件正确的事情最终会发生”

线程活跃性(Liveness)

线程活性性主要讨论线程死锁、活锁、饥饿等问题

死锁

示例:十字路口的交通堵塞、四个人四只筷子吃饭的示例

活锁

活锁就是主动将资源释放给其它线程使用,出现资源不断在两个线程中跳动,而没有一个线程可以同时拿到所有资源而正常执行

饥饿

饥饿是指某一个或多个线程因为种种原因无法获得所需要的资源,导致一直无法执行,示例(母鸟喂雏鸟)

results matching ""

    No results matching ""