Szymański’s algorithm とは

SzymanskiのMutual Exclusion Algorithmは、コンピュータ科学者Dr. Boleslaw Szymanskiによって考案された相互排除アルゴリズムであり、線形待ちを含む多くの有利な特性を有し、一定の通信ビット数のアルゴリズムがあるかどうかLeslie Lamportによって公表された未解決の問題を解決した(Lamportの解はn個の階乗的なコミュニケーション変数とSzymanskiの5を使った)合理的な公平性と失敗耐性の要件をすべて満たすプロセスごとに計算されます。