异步和等待是否产生获取和释放语义?

我找不到明确的答案 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 还需要生成一个版本,并且在开始运行任务代码时需要获取。忘了原来的问题。