• いろいろな意味合いがある
  • Multiprocessor Programmingにおける意味合い
    • SafetyにおけるNon-blocking: 保留中の全てのメソッド呼び出しについて、Correctnessを満たす応答が存在する
    • LivenessにおけるNon-blocking: 1つまたは複数のスレッドの遅延が、他のスレッドの進行を妨げないことを意味する

使われるアルゴリズム