デッドロック デッドロックに陥らないことはSafety。ややこしいが、deadlockからいつか開放されることはLiveness。 参考: https://ja.wikipedia.org/wiki/ライブネス