0または0xffが格納されたあるアドレスに対して、
A: 複数のスレッドが非同期に0xffの書き込みをし、
B: 一つのスレッドが繰り返し読み出して非0の判定をし、0の書き込みをした場合、
プログラムの実行上、どのようなリスクがあるでしょうか。
//global_flagの読み出し、書き込みは、funcA, funcBでしか行わない
char global_flag = 0;
void funcA(void)
{
if(use_cache()) {
global_flag = 0xff;
}
}
//呼ばれる頻度はfuncAの100分の1以下。
//
void funcB(void)
{
if(global_flag != 0) {
//この間にfuncAがglobal_flagに0xffを代入しても、
//もう既にfree_cache()を呼ぶことが確定しているので問題はない
global_flag = 0;
//以下を実行中にfuncAがglobal_flagに0xffを代入しても、
//次回のfuncB実行時にfree_cache()が呼ばれるので問題はない
free_cache();
}
}
No.3ベストアンサー
- 回答日時:
少なくとも、コンパイラに思わぬ最適化をされないよう、
global_flagはvolatile宣言すべきと思います。
(参考)
http://proger.blog10.fc2.com/blog-entry-20.html
あとは、global_flagの意味が「free_cache()実行後に、
use_cache()が一度以上成功した可能性がある」という意味だと仮定し、
use_cache()の内部処理とfree_cache()の内部処理がお互いに排他制御して
同時実行されないようになっていると仮定するなら、これで問題ないと思います。
(ここで排他制御することを前提にしないと、free_cache()実行中にuse_cacheが
呼ばれた場合の話がたぶんうまくいかなくなります。)
ただ、もしそうであればglobal_flagは、
排他制御されたuse_cache()、free_cache()の中で
操作すべきもののように思います。
丁寧なアドバイスありがとうございます。
実は、特定用途に特化したDBをフルスクラッチで書いていまして、
・funcAを含むスレッドは、メモリ上のキャッシュを走査してデータを抽出するワーカースレッド群、
・funcBを含むスレッドは、ディスクやクラスタ上の他マシンから必要とされるデータを読み込むI/Oスレッドです。
ですから、実際のglobal_flagにあたるモノは、キャッシュの処理単位ごとの
フラグを並べた共有メモリ上のメモリブロックになります。
ワーカースレッドは、未処理データ群の中で、I/Oスレッドのキャッシュ
読み込み完了フラグが立っているものを探し、完了しているものを走査開始し、
【走査】完了後、該当キャッシュの利用完了フラグを立てる、という動作をします。
【】内がuse_cache()に当たります。
I/Oスレッドは、キャッシュにデータを読み込み完了してから、そのキャッシュ
の読み込み完了フラグを立てます。そして、キャッシュの利用完了フラグを
見つけたら、【各ワーカースレッド毎に存在する未処理データ群をスキャンして、
該当キャッシュが含まれていなければ、キャッシュを廃棄します】。
【】内がfree_cache()に当たります。
ここでの「利用完了フラグ」が、コード片で示した「global_flag」です。そして、
「未処理データ群」「キャッシュの読み込み完了フラグ」も同じようなフラグで
実装しようと考えています。
このような仕組みですので、free_cacheとuse_cacheは、ロックやアトミック命令
などの排他制御なしに同一キャッシュを取り扱わない仕組みになっています。
(use_cache同士は同時実行されますが、キャッシュに対しては読み込みしか
しませんので競合は起きないはずです)
独立性の高いスレッドが多数回る仕組みなので、極力バスをロックせず、同時
処理できる検索タスクを増やしたいという動機があり、完全にアトミック命令を
排除出来ないか、ということを検討しています。
volatileの件は、基本を確認させていただき、ありがとうございます。
もし、別のリスクについて思い当たる件がございましたら、アドバイスいただけ
れば幸いです。
No.4
- 回答日時:
No1です私の回答は電気的(ハードウェア)に同時アクセスは起こらないと言うことです。
ソフトウェア的にはソフトしだいで対策が必要なケースも当然あります。No.2
- 回答日時:
・global_flag は何のためにあるのですか?
・use_cache, free_cache はどのような処理をするのでしょうか? 処理に際して何か資源を使うのでしょうか?
・最も重要な問題なのですが, そもそもこのコード片で何をしたいのかが分かりません.
大分単純化した例ですので、このままでは意味を成さないと思います。
今回の質問の意図は、
同一アドレスにCAS命令などのようなアトミック命令を使わずに、
ON/OFFだけの単純なメッセージを送受信した場合に問題が生じるかどうか、
という点です。
自分で考えただけでも、移植性・メモリモデルによる挙動の違い・キャッシュの仕組みによるパフォーマンスの違い、など色々考えられますので、
自分の気付いていない観点がないかどうか、先入観なしにお答えいただければ、と考えて、このような単純化した例で質問させていただきました。
No.1
- 回答日時:
複数のスレッドであっても実際のメモリアクセスが同時に行われることはありません。
複数のスレッドで動作させても見かけ上独立して同時進行しているように見えますがOSのタイムシェアリング機能でスレッド高速で切り替えながら動作しているに過ぎませんまた、CPUコアが複数存在する場合はメモリコントローラが各コアからのアクセスを調停しますので問題はおこりません。
もしその通りだとすると、CAS命令のようなものは必要ないことになってしまいます。
マルチコアの場合には、競合の影響を考える必要があるのではないでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
関連するカテゴリからQ&Aを探す
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
スレッドの監視方法について
-
C++でマルチスレッド処理をさせ...
-
別スレッドからメインダイアロ...
-
msec単位のWait Timerが作れない!
-
スレッド内でのマルチスレッド...
-
_beginthreadexで生成したスレ...
-
VB2005 シリアル通信のClose処理
-
スレッドの終了の仕方
-
boost::threadでのjoinについて
-
メインスレッドのPostMessageと...
-
別スレッドからのフォームのテ...
-
スレッドがサスペンドされてい...
-
VBAで行をコピーして別のシート...
-
C# スレッドから親ウィンドウへ...
-
Macターミナルで実行中のプログ...
-
バックグラウンドのプロセスの...
-
大容量のメモリ確保をスワップ...
-
緯度、経度の 10進法と 60進法...
-
プログラム実行中に強制終了
-
エクセルが勝手に立ち上がる
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
WaitForSingleObjectの使い方に...
-
VC++スレッドの正しい終了のさ...
-
Windows上で、シグナル(SIGTERM...
-
スレッドの安全な終了のさせ方
-
スレッドの監視方法について
-
スレッドにて同一メモリの書き...
-
別スレッドのデータを受信できない
-
スレッドの終了はどうやるんで...
-
同一スレッドで、ロックをかけ...
-
スレッドの終了の仕方
-
別スレッドからメインダイアロ...
-
_beginthreadexで生成したスレ...
-
待機関数(WaitForMultipleObjec...
-
VB2005 シリアル通信のClose処理
-
マルチスレッドについて
-
Linuxでスレッド優先度って変え...
-
msec単位のWait Timerが作れない!
-
自作クラスのイベントを外部ハ...
-
スレッド一覧の取得
-
C# スレッドから親ウィンドウへ...
おすすめ情報