async 和 await 会产生获取和释放语义吗？

Question

关于从async 方法返回是否总是产生释放语义以及await 是否总是产生获取语义，我找不到明确的答案。我认为是的，否则任何async/await 代码都会是雷区？

下面是一个例子：返回值是否都保证为100*2 和12345*2，没有任何明确的锁或障碍？

private static async Task<(int, int)> AMethod()
{
    // Runs on the original thread:
    var x = 100;
    var y = 12345;

    var task = Task.Run(() =>
    {
        // Can run on another thread:
        x *= 2;
        y *= 2;

        // Implicit return here, marking the task completed.
        // Release semantics or not?
    });

    await task; // Acquire semantics or not?

    // Runs on the original thread:
    return (x, y);
}

编辑：当然，Task.Run 还需要在开始运行任务代码时生成发布和获取。忘记了原始问题中的那些。

Answer 1

是的，返回的值都保证为100*2 和12345*2，没有任何显式的锁或屏障。

在这种情况下产生内存屏障的是Task.Run，而不是await。

引用wonderful Albahari Threading in C#：

以下隐式生成完整的栅栏：

• C# 的锁定语句 (Monitor.Enter/Monitor.Exit)
• Interlocked 类的所有方法（我们很快就会介绍）
• 使用线程池的异步回调——包括异步委托、APM 回调和任务延续
• 设置和等待信号结构
• 任何依赖信号的事情，例如开始或等待任务

由于最后一点，以下是线程安全的：

int x = 0;
Task t = Task.Factory.StartNew (() => x++);
t.Wait();
Console.WriteLine (x);    // 1

Task.Run 包装 ThreadPool.UnsafeQueueUserWorkItem，属于“使用线程池的异步回调”。

请参阅Memory barrier generators，了解更全面的造成内存障碍的事物列表。