在线程池中复用C＃5.0的异步 - 线程安全吗？

Question

这看起来有点疯狂，但这是我正在考虑作为更大图书馆的一部分的方法，如果我可以合理地确定它不会导致奇怪的行为。

方法：

使用调度到线程池的SynchronizationContext运行异步用户代码。用户代码看起来像：

async void DoSomething()
{
    int someState = 2;
    await DoSomethingAsync();
    someState = 4;
    await DoSomethingElseAsync();
    // someState guaranteed to be 4?
}

我不确定访问someState是否是线程安全的。虽然代码将在一个“线程”中运行，使得操作实际上是完全有序的，但它仍然可以分布在引擎盖下的多个线程中。如果我的理解是正确的，那么在x86上排序应该是安全的，并且因为变量不是共享的，所以我不需要担心编译器优化等等。

更重要的是，我担心这是否会在ECMA或CLR内存模型下保证线程安全。

我很确定在执行排队的工作之前我需要插入一个内存屏障，但我对这里的推理并不完全有信心（或者这种方法可能由于完全不同的原因而不可行）。

Answer 1

async / await FAQ：

的评论部分对此进行了解答

  

当任务排队时以及任务执行的开始/结束时，TPL包含适当的障碍，以便适当地使值可见。

因此不需要明确的障碍。