词条 | Safety property |
释义 |
In distributed computing, safety properties informally require that "something bad will never happen" in a distributed system or distributed algorithm.[1][2] Unlike liveness properties, safety properties can be violated by a finite execution of a distributed system. In a database system, a promise to never return data with null fields is an example of a safety guarantee. All properties can be expressed as the intersection of safety and liveness properties.[3] References1. ^{{cite book|last=Rodrigues|first=Christian Cachin; Rachid Guerraoui; Luís|title=Introduction to reliable and secure distributed programming|year=2010|publisher=Springer Berlin|location=Berlin|isbn=978-3-642-15259-7|pages=22–24|edition=2.}} {{Compu-stub}}2. ^{{Cite journal | last1 = Lamport | first1 = L. | doi = 10.1109/TSE.1977.229904 | title = Proving the Correctness of Multiprocess Programs | journal = IEEE Transactions on Software Engineering | issue = 2 | pages = 125–143 | year = 1977 | pmid = | pmc = | citeseerx = 10.1.1.137.9454 }} 3. ^{{Cite journal | last1 = Alpern | first1 = B. | last2 = Schneider | first2 = F. B. | doi = 10.1007/BF01782772 | title = Recognizing safety and liveness | journal = Distributed Computing | volume = 2 | issue = 3 | pages = 117 | year = 1987 | pmid = | pmc = | citeseerx = 10.1.1.20.5470 }} 1 : Distributed computing |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。