| Profilo di TianyiSuper Aquarius - E.E.FotoBlogElenchi | Guida |
|
02 novembre 关于Safety、Liveness和Fairness的一点认识 所谓的Safety属性,就是对于某些不好的事情,它们永远不会发生,可以用标准CTL的逻辑语言描述为AG
~(bad);所谓的Liveness属性,就是对于某些好的事情,它们总会发生,CTL的逻辑语言描述为AF
(good)。对于事物正确的客观认识过程就是基于正确区分事物的Safety、Liveness属性,并且利用这些属性去证明其正确与否。比如说,当我们睡觉的时候,我们在渴望Safety属性;当我们归纳的时候,我们就是利用了Liveness属性。
同时,我们生活在一个实时、并发的环境中,我们的理想去实现一种公平、公开、公正的社会,也即Fairness属性。于是,我们就有这么一个定义:所有合理、公平、公开、公正的环境必须至少满足Safety属性。联系Safety的定义,我们可以理解为Safety属性的至上原则,无论在fair还是在unfair的环境中。换句话说,为了Safety,我们可以完全不用去考虑Fairness。但从另一个角度来说,Fairness又是Liveness的核心概念,没有Fairness就绝对没有Liveness。所以说,一个人的成长过程或者一件事的发生过程中,或多或少由于种种原因,违背了了这些原则。于是,我们又有了另一种理论,那就是观察人、事、物违背原则的方法论。毕竟在这个实时、并发的环境中,观察一个人的Liveness属性是很难的,正所谓的盖棺定论吧。 从一个形式化的定义角度说,一个活着的人的一生可以简单看作为一个无穷状态序列的集合。根据Emerson的定义,Safety属性就是被观察的人、事、物中有限属性是封闭的。于是,Lamport就提出所谓的L-Safety属性或者其它L属性是一个时断时续性的属性。可以理解为,一个人需要这些属性的时候,就极力保证他们,对于别人的违反就变为敏感;当不需要的时候,就极力就规避或隐藏,对于别人的评价就变为敏感。 于是,我们就有了观察事物的另一个方法轮,也就是Strong Safety,也就是说在旧状态信息缺失或对部分不明状态的情况下,在断续区内,Safety属性保持封闭状态。同样,有一个叫做Absolutely Liveness方法,也就是说在新状态信息添加或对部分不明状态的情况下,在断续区内,Liveness属性保持封闭状态,即意料中的。 这样的话,评价一个事物的Stable属性,就是指即使在前途未卜的情况下,后续也能保持封闭态,也就是说发生在意料中。一个事物的Fairness属性与其前途是无关。 Commenti (7)Per aggiungere un commento, accedi con il tuo Windows Live ID (se utilizzi Hotmail, Messenger o Xbox LIVE possiedi già un Windows Live ID). Accedi Non hai ancora un Windows Live ID? Registrati
RiferimentiL'URL di riferimento per questo intervento è: http://superee.spaces.live.com/blog/cns!79BAB3E604CBB60A!603.trak Blog che fanno riferimento a questo intervento
|
|
|