検索結果
ナビゲーションに移動
検索に移動
- [[Category:排他制御]] …6キロバイト (179 語) - 2023年7月19日 (水) 09:55
- たとえば、[[排他制御]]を実装する方法として、[[不可分操作]]としてふたつの値を交換する命令を利用する方法がある。 …9キロバイト (356 語) - 2020年7月5日 (日) 23:44
- …行された場合、または命令1Aが1Bと3Bの間に実行された場合、このプログラムは間違ったデータを生成する。これを[[競合状態]]と呼ぶ。プログラマは[[排他制御|相互排他]]のために[[ロック (情報工学)|ロック]]を使わなければならない。ロックとはプログラミング言語の構成要素であり、あるスレッドが変数の制御 * [[排他制御]] …61キロバイト (1,644 語) - 2025年3月3日 (月) 03:24
- プヌーリは、コンピュータープログラムの指定と推論における時相論理の使用を研究し、1977年に[[線形時相論理]]を導入した。 線形時相論理は、[[排他制御]]や[[デッドロック]]の解決などの特性を簡単に表現する、並行プログラムの分析のための重要なツールとなった。 <ref name="temporal- …55キロバイト (4,344 語) - 2022年10月27日 (木) 15:29