Liveness

Em programação concorrente, o Liveness se refere a um conjunto de propriedades de sistemas concorrentes, que requerem que um sistema progrida, apesar do fato de que seus componentes em execução simultânea (chamados "processos") podem ter que "revezar" em seções críticas, ou partes do programa que não pode ser executado simultaneamente por vários outros processos. A garantias do Liveness são propriedades importantes em sistemas operacionais e em sistemas distribuídos.^[1]^[2]

Referências

↑ Lamport, L. (1977). «Proving the Correctness of Multiprocess Programs». IEEE Transactions on Software Engineering (2): 125–143. CiteSeerX 10.1.1.137.9454. doi:10.1109/TSE.1977.229904
↑ Luís Rodrigues, Christian Cachin; Rachid Guerraoui (2010). Introduction to reliable and secure distributed programming 2. ed. Berlin: Springer Berlin. pp. 22–24. ISBN 978-3-642-15259-7

Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Editor: considere marcar com um esboço mais específico.

[1] Lamport, L. (1977). «Proving the Correctness of Multiprocess Programs». IEEE Transactions on Software Engineering (2): 125–143. CiteSeerX 10.1.1.137.9454. doi:10.1109/TSE.1977.229904

[2] Luís Rodrigues, Christian Cachin; Rachid Guerraoui (2010). Introduction to reliable and secure distributed programming 2. ed. Berlin: Springer Berlin. pp. 22–24. ISBN 978-3-642-15259-7

[1]

[2]