C# と VB.NET の質問掲示板

プロパティにアクセスするということは C/C++ でいうところのメンバ関数を呼ぶということなので
プロパティ自体を volatile にすることに意味は無いっす。

プロパティの中で使っているメンバ変数を volatile にするのは意味があると思う。

private volatile bool internal_hoge;
public bool Hoge
{
    get { return internal_hoge; }
    set { internal_hoge=value; }
}
# 排他してないし限りなく意味がないけど

volatile は万能ではないので「あらゆる状況」に対応できるものではないということは頭において欲しい。

■No81132 (?p???I さん) に返信
具体的に何をしたいのかわかりませんが、こんな感じではだめなのでしょうか！？

private object hoge_lock = new object();
private volatile bool hoge_value = false;

public bool Hoge
{
    get { return hoge_value; }
    set
    {
        lock (hoge_lock)
        {
            return hoge_value;
        }
    }
}

■No81138 (パラオ さん) に返信
> ・volatileは「コンパイル時に最適化で消さないでね。」という指示のしるし。
> ・フィールドは「コンパイル時に最適化で消される」可能性がある。だからvolatileを付与しうる。
> ・メソッドは「コンパイル時に最適化で消される」可能性はない。だからvolatileを付与できない。
> ・プロパティはメソッド（getter + setter）である。だからvolatileにしようがないし，する必要もない。
> 
> という理解なのかな，と思いました。

Visual Studio をインストールしたディレクトリ\VC#\Specifications\1041
に、CSharp Language Specification.docx という仕様書があります。
私はVS12 のを参照しますが、10.5.3章から引用します。

> 非 volatile フィールドの場合は、命令を並べ替える最適化手法を使うと、lock-statement (8.12 を参照) によって
> 提供されるような同期化を行わずにフィールドにアクセスするマルチスレッド プログラムで、予期しない結果が生じ
> ることがあります。これらの最適化を実行できるのは、コンパイラ、実行時システム、またはハードウェアです。
> volatile フィールドの場合、並べ替えによる最適化は次のように制限されます。
略
> 
> using System;
> using System.Threading;
> class Test
> {
> 	public static int result;   
> 	public static volatile bool finished;
> 	static void Thread2() {
> 		result = 143;    
> 		finished = true; 
> 	}
> 	static void Main() {
> 		finished = false;
> 		// Run Thread2() in a new thread
> 		new Thread(new ThreadStart(Thread2)).Start();
> 		// Wait for Thread2 to signal that it has a result by setting
> 		// finished to true.
> 		for (;;) {
> 			if (finished) {
> 				Console.WriteLine("result = {0}", result);
> 				return;
> 			}
> 		}
> 	}
> }

この例では、Thread2 メソッドの順番が問題になります。
result への代入が先に実行されると、"result = 143" という結果になります。
result への代入が後になると、"result = 0" になります。
result も finished も、Thread2 メソッドの中では代入でしか使われていないので、
このメソッドしか見なければ、実行の順番はどうでもよい、はずです。

「最適化で消される」のは、ローカル変数で、参照されない場合、ですね。
ほかのものと混ざったようです。失礼しました。

■No81134 (PANG2 さん) に返信
> そもそも
> 
> public bool Hoge { get; set; }
> 
> で、何が問題なのでしょうか？


私なりに考えると問題は、

・setterの二重侵入で終了処理が複数走る可能性がある
・Hogeをtrueからfalseに変える機能は不要

ということで


private object hoge_lock = new object();
private volatile bool hoge_value = false;

public bool Hoge
{
	get { return hoge_value; }
	
	// false→false : 何もしない
	// false→true  : 終了処理（二重侵入をロック）
	// true→true   : なにもしない
	// true→false  : 例外
	set
	{
		lock (hoge_lock) {
			if (value == hoge_value) {
				return;
			} else if (value) {
				hoge_value = true;
				//終了処理
			} else {
				throw new Exception("already finished");
			}
		}
	}
}