プロセスの協調作動

ウィキペディア小見出し辞書

プロセスの協調作動

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/16 14:38 UTC 版)

「カーネル」の記事における「プロセスの協調作動」の解説

エドガー・ダイクストラは論理的観点から、バイナリセマフォにおける不可分なロックとアンロック操作だけで、プロセス間の任意の協調作動を実現できることを証明した。しかしそのような方式は一般に安全性や効率性が欠如しており、メッセージパッシング方式の方が柔軟性が高い。他の方式もいくつかあり、現代のカーネルでは共有メモリやRPCなどのシステムをサポートしていることが多い。