x86-TSO メモリモデル上でのスピンロックの安全性検査 - Qiita

テクノロジーカテゴリーの変更を依頼記事元:

qiita.com

9 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

x86-TSO メモリモデル上でのスピンロックの安全性検査 - Qiita

複数のスレッドを実行しているとき，あるスレッドのメモリに対する書き込みが別のスレッドからどんなふ... 複数のスレッドを実行しているとき，あるスレッドのメモリに対する書き込みが別のスレッドからどんなふうに観測される可能性があるかを定めたものをメモリモデルというそうです．プログラミング言語の仕様として定められていたり，CPU の仕様としてマニュアルに解説があったりするものだそうです．マルチスレッドプログラミングを行うときにはこれを前提にするわけですが，困ったことに x86 のマニュアルにある自然言語での説明が曖昧だったり，時に実プロセッサの挙動と合わなかったりといろいろ問題があるそうです．これに対処するために，過去の複数版のマニュアルを読み解き，実プロセッサを調査してメモリモデルを形式的に作ったという論文があります． x86-TSO: A Rigorous and Usa ble Programmer’s Model for x86 Multiprocessors （論文PDFへのリンク）

ブックマークしたユーザー

xef2018/07/18
zu22018/07/18
kenzy_n2018/07/18
yasuhiro12122018/07/18
masterq2018/07/18
masami2562018/07/18

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx