編集可能

C言語におけるvolatileとかの話

なんか面白げなので、とりあえずとぅぎゃった。必要なtweetが抜け落ちている感があるので、まあその辺は誰か埋めてください。というか、既に誰かとぅぎゃってるような気が…。
プログラミング c volatile
8
立木のポーズ界のカリスマ @kumagi
@melponn @aoi_nagatsuki 渡した後で書き換えそうに見えなかったら最適化で勝手にループの外に追い出されたりしちゃうのでその回避の為にもvolatileは無意味じゃないです。順序に関してはCでは何も守ってくれないのでそこはvolatile関係無い感じですね。
std::めるぽん @melponn
@aoi_nagatsuki それって、xがexportしてる変数、fがxを使うimportしてきた関数だとして、while(x==0){f();} みたいな場合にxにvolatileが必要ってことですか?
あおいたん@出勤自粛中 @aoi_nagatsuki
@melponn いえす。書き換わらないならwhileで判定しなくて良いじゃん的にif(x==0){while(true)...}にされたら困るっつー
中村 実 @nminoru_jp
@kumagi Cにも実行モデルはありますよ。volatileのオブジェクトのアクセスは副作用完了点を跨いで逆転することはないので、Cのソースコード上で文として切れているならvolatileアクセスが逆転したアセンブラ命令列に落ちることはないのでは。メモリモデルはまた別の話ですが
std::めるぽん @melponn
@aoi_nagatsuki それってほんとにvolatile必要なんです?exportしてるのにwhile(true)にするとか狂気の沙汰だと思うんですけど…。
std::めるぽん @melponn
@aoi_nagatsuki コンパイラとしての動作も知っておきたいですけど、それよりも仕様としてどうなのか知りたいですね…。
std::めるぽん @melponn
@andochin @aoi_nagatsuki 多分、スレッド間でvolatile有効に活用するのは無理というのは共通認識だと思うので、自分が挙げてる例はシングルスレッドを想定してます。
立木のポーズ界のカリスマ @kumagi
@melponn @andochin @aoi_nagatsuki シングルスレッドならexportしてようがxに他から干渉されることはなくてwhile(true)にされるのは問題ないと思います。で、シングルスレッドでvolatileを有効活用するのってメモリマップドIOとか…。
std::めるぽん @melponn
やっぱりよく分からないので、volatile勉強会をやりましょう…!
立木のポーズ界のカリスマ @kumagi
@nminoru_jp 副作用完了点という言葉をまず知らなかったです。asm volatileも"memory"って付けないとメモリへのアクセスが無いものと見做されて順序を破壊されると思いますが、volatile付きの変数へのアクセスはmemoryって付けたのと似てますか。
中村 実 @nminoru_jp
@takehiro_t void func(void){int a; a=x ; x=a;} の代入を最適化で消すのは規格違反なんですけどね。ワカリヅライ。
立木のポーズ界のカリスマ @kumagi
「みんな大好きvolatile」をトゥギャりました。 http://t.co/pH8HTjvi
中村 実 @nminoru_jp
@kumagi volatile付きの変数へのアクセスはメモリアクセスが生じます。これが原則。ただし前回の副作用完了点と次の副作用完了点の間に最適化できるものはvolatileによるメモリアクセスも含めて削除できます。副作用完了点って、大雑把に言って文の終わりの";"です。
std::めるぽん @melponn
volatileに対する正しい認識を得るにはやっぱり仕様書を読み解くしか無いのか…
立木のポーズ界のカリスマ @kumagi
@nminoru_jp 最適化出来るものであっても明示的に禁止するのがvolatileだと思ってたのですが、最適化出来る場合に削除されちゃうのですか…。それと僕の理解だとその仕様ならC++11でわざわざメモリ順序まで言語仕様で規定してやる必要が無いのではないでしょうか?
中村 実 @nminoru_jp
@kumagi C言語の実行モデルはシグナルに対する安全性を保障するためのもので、マルチスレッドのことはほとんど考えてないので。
立木のポーズ界のカリスマ @kumagi
@nminoru_jp volatileを付ければセミコロンを跨いだリオーダが行われない、まであれば、とりあえずアセンブラに落とすまででのvolatileの役割はひと通り大丈夫かと思いましたがそこにメモリバリアを足すのがC++11、という位置付けですか。
立木のポーズ界のカリスマ @kumagi
@nminoru_jp ありがとうございます、一層腑に落ちました。
中村 実 @nminoru_jp
「 まりあ†ほりっく 9」を購入。もしかしてかなこさんが表紙の巻はナッシングなの? http://t.co/zwRS34tC
拡大

コメント

中村 実 @nminoru_jp 2012年2月25日
「まりあ†ほりっく」いいよね。 かなこさんの頭はvolatile \(^o^)/
Kota Mizushima (on a diet) @kmizu 2012年2月25日
ご本人からコメントが来てウマー。正直、 http://t.co/pH8HTjvi の方がちゃんとまとまっているというか、自分の方は抜け落ちてるのが多過ぎてまとめになってないですが、ネタの1点で勝てた…?
ログインして広告を非表示にする
ログインして広告を非表示にする