Liveness beschreibt die Fähigkeit eines Systems, ihren Ablauf fortzusetzen, also dass Threads nicht unendlich blockiert sind