「強いメモリモデル」と「弱いメモリモデル」 - yamasaのネタ帳
Apple M1についての面白い記事を見かけて、久しぶりにメモリモデル屋(?)の血が騒いだのでブログを書く。 note.com 強いメモリモデル 現代のCPUアーキテクチャでは、x86(64bit, 32bitどちらも)が「強いメモリモデル」を採用しており、それ以外のメジャーなCPUが「弱いメモリモデル」を採用している。この「強いメモリモデル」「弱いメモリモデル」について、まずおさらいしておこう。 以下のように、2つの変数a, bに対して異なるCPUコアが同時にアクセスしたとする。 int a = 0; int b = 0; CPU1: a = 1; b = 1; CPU2: int r1 = b; int r2 = a; (上記はC言語に似た疑似コードを用いているが、実際は機械語命令になっていると考えてほしい。つまり、CPU1は変数a, bの示すメモリアドレスに対するストア命令を実行して
x86_64 Linuxでの仮想アドレス/物理アドレス - 睡分不足
Linux Device Driver Chapter 15では Linuxで利用されるアドレスを以下の5種類に分類しています． User virtual address Physical address Bus address Kernel logical address Kenerl virtual address User virtual addressはその名の通りユーザプロセスが利用する仮想アドレス， Physical addressは物理アドレス，Bus addressはデバイスが使用するアドレス （アーキテクチャ依存で，Physical addressと同じことも多い）です．残りの Kernel logical addressとKenel virtual addressの違いを理解するためには， Linuxでのメモリマップ（仮想ドレスの使い方）を知る必要があります．これはアー
What Every Programmer Should Know About Memory
What Every Programmer Should Know About Memory Ulrich Drepper Red Hat, Inc. drepper@redhat.com November 21, 2007 Abstract As CPU cores become both faster and more numerous, the limiting factor for most programs is now, and will be for some time, memory access. Hardware designers have come up with ever more sophisticated memory handling and acceleration techniques–such as CPU caches–but these canno
» GPUのECCは性能の代償として価値があるのか？
Nicole Hemsoth この記事に関するフォローアップのポッドキャストをお聞きください。 ゲームやグラフィックスの仲間とハイパフォーマンス・コンピューティング用のGPUを区別するいくつかの要素の一つは、ECCの追加であり、無効な結果やシステムの問題につながるメモリ内の重要なビット飛びを対象としている。 ECCは、多くの場合シミュレーション結果の実現性を確認するために必要な構成要素とみなされているが、パフォーマンスの代償がついてくる。 サンディエゴスーパーコンピュータセンターとロスアラモス国立研究所の研究者のチームによると、ECCがあるため、誤り訂正符号により消費されるメモリ量のために、10％の使用可能なシステムのサイズを減少させている。彼らはさらに、ECCを使うと「シミュレーション速度を低減するため、結果的に大規模ファイルシステムにおけるディスク障害のような他のエラーソースや、電源異
メモリのビット反転エラーとセキュリティの話｜Rui Ueyama
ハードウェアのエラーでメモリの内容が化けてしまうことが稀にある。大抵のDRAMエラーはせいぜいプログラムがクラッシュする結果になるだけだが、データ破壊になることもありえるし、悪意のある使い方をすればセキュリティ破りに使うこともできてしまう。ここではメモリエラーとセキュリティの話をしようと思う。 メモリのエラー率は意外なほど高い。データセンターで大規模なマシン群を対象に実際に観測したところ、1年間に1回以上のエラーが発生したDIMMモジュールは全体の8%にのぼったそうだ。DIMM 1枚に数百億個のメモリセルが実装されているといっても、このエラー率はちょっとびっくりするくらい大きな数字ではないだろうか？ サーバでは普通はエラー訂正付きのDIMMを使うので1ビットのエラーは問題にならないが、エラー訂正のないコンシューマ機器ではこれは実際的な問題になりえる。 メモリエラーを利用したセキュリティ破り
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
DDR4メモリの“本当の性能”をあらゆる角度から徹底的に検証してみた クロックやレイテンシ、チャネル数の違いや消費電力など、小ネタも併せて紹介 text by 坂本はじめ
