동시성 컴퓨팅에서 라이브니스란, 시스템에서 동시에 실행되는 구성 요소("프로세스")가 임계 영역(여러 프로세스에 의해 동시에 실행될 수 없는 프로그램의 일부분)으로 "교대로 전환"해야 한다는 사실에도 불구하고 시스템이 진행되도록 하는 동시성 시스템 속성의 한 집합을 나타낸다. 라이브니스 보장은 운영 체제와 분산 시스템에 있어 중요한 속성이다. 라이브니스 속성은 실행 종료 이후 어떤 시점에 "좋은" 이벤트가 이론 상 일어날 수 있기 때문에 분산 …
A liveness property prescribes good things for every execution or, equivalently, describes something that must happen during an execution. The good thing need not be discrete —it might involve an infinite number of steps. Examples of a good thing used to define a liveness property include: • Termination of an execution that is started in a suitable state;