C#でfile_put_contentsしたかった

AzureのAppService上でファイルを追記したいだけの人生だった。

	using System.IO;

	/**
	* file_put_contents(FILE_APPEND)
	* @param string ファイル名
	* @param string 書き込み内容
	*/
	public static void file_put_contents(string FileName, string SaveText){
		// 実際はフォーマットとか追加があるけど本質的な違いは無いので略
		File.AppendAllText(FileName, SaveText);
	}

という素晴らしく手抜きな関数を使っていたところ、リクエストが重なったときに競合であっさり死亡。

	// わりと頻繁に発生
	System.IO.IOException: The process cannot access the file 'hoge.txt' because it is being used by another process.

PHP脳はマルチスレッドに弱いのだ。

で、これをどうにかしたいと思ったのだが、キューに投げておけば後で勝手に書き込んでくれる、みたいな機能はどうやら用意されていないみたいだ。
ちなみにAppendAllTextのサンプルは、そもそもcatchすらしてないものが大半だった。

しかたないのでTextWriter.Synchronized()を使うことにする。

	public static void file_put_contents(string FileName, string SaveText){
		using(StreamWriter writer = new StreamWriter(FileName, true)){
			// まだ何も書いてない
		}
	}

	// 希に発生
	System.IO.IOException: The process cannot access the file 'hoge.txt' because it is being used by another process.

どうやらファイルをStreamWriterで開くだけで死ぬらしい。
Synchronizedとかする以前の問題だった。
ドキュメントには「ファイル名、ディレクトリ名が正しくないときに出る」としか書いてないのだが、どう見てもロック失敗である。

えっこれどうすんの？
newしただけでExceptionとか聞いてないよ。
WriteをcatchするとかSynchronizedするとかのソリューションはよく見かけるけど、実は解決になっていないということがわかった。

その後もなんか色々調べたりしたんだけどそのあたりは省略して、最終的にできあがったのがこんな。

	public static void file_put_contents(string FileName, string SaveText){
		using(FileStream fs = new FileStream(FileName, FileMode.Append, FileAccess.Write, FileShare.ReadWrite)){
			using(StreamWriter sw = new StreamWriter(fs)){
				using(TextWriter tw = TextWriter.Synchronized(sw)){
					tw.Write(SaveText);
					tw.Flush();
				}
			}
		}
	}

例外は発生せず、動作も安定しているように見えるのだが、本当にこれで合ってるのか？？？