問題タブ [starvation]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
pthreads - pthreadミューテックスは飢餓の自由を保証しますか?
バックグラウンド
ロック取得の順序がロック試行のリアルタイムの順序と同じでなければならない未解決のケースに遭遇することがよくあります。これらのケースは通常、ロックのようなセマフォに関するものです。
仮説
「The Art of Multiprocessor Programming」で読んだことによると、デッドロックの自由と先着順の保証は、ロックの飢餓をなくすのに十分です。適切にロックを解除することを覚えておく必要があるため、デッドロックの自由はユーザーにあるようです. pthreads のマニュアル ページで提供されている可能性のあるミューテックスのタイプを調べましたが、ロックの取得に関する順序については言及されていないようです。
質問
pthreadミューテックスは飢餓の自由を保証しますか? 実装はありますか (私は主に Linux ファミリーと macOS に関心があります)。セマフォはミューテックスと同じプロパティが保証されていますか?