Fairness
Starvation-freedomでは、Lock獲得までの時間は保証されていない
理想的にはfirst-come-first-servedであるべき
先着順、ということ。スレッドAがスレッドBより先にロックを呼び出した場合、Aが先にクリティカルセクションに入るべき、ということ
Starvation-freedomよりも強い性質。
Deadlock-freedomかつfirst-come-first-servedなら、Starvation-freedomでもある
lock習得処理をdoorway sectionとwating sectionにわけ、$ \text{if } D_{A}^{j} \rightarrow D_B^k \text{ then } CS_A^j \rightarrow CS_B^j なとき、first-come-first-servedという
doorway: フラグを立てるなど、他スレッドの実行状態に関係なく進行できるぶぶん.
有限の決まったステップ数で終わる(ループのないコードの部分など。ループがあってもこれを提供するものもあるらしい?kekeho.icon)
bounded wait-free特性を持つ。
wating: 他スレッドの状態によって待機が必要な部分
unboundedなステップ数がかかる