Ожидание и целостность данных в параллельных сценариях ⇐ C#

[Anonymous]

Наконец-то я узнал базовый механизм, который C# использует для реализации конструкции async/await (с использованием продолжений). Однако это заставило меня усомниться в целостности данных. Представьте себе следующее:

Код: Выделить всё

    class ThingDoer
{
public int ThingsDone { get; private set; }

public async void DoThing()
{
await DoThingAsync();
thingsDone++;
}

private Task DoThingAsync()
{
...
}
}

Насколько я понимаю, это в основном превращает часть после ожидания в продолжение, которое запускается после завершения задачи.
Это подводит меня к моему вопросу: в каком потоке выполняется продолжение? Какой поток увеличивает переменную ThingsDone?
Насколько я понимаю, у нас есть следующие потоки: A и B:
A: Dothing() -> Создать поток B с помощью DoThingAsync
B: DoThingsAsync()
Когда DoThingsAsync завершен, какой поток называется ThingsDone++ беги дальше. Выполняется ли продолжение на B или A прерывается для его запуска?
Причина, по которой это важно, заключается в том, что "DoThings" может выполняться в цикле, например, без ожидания (затем, например, с использованием WaitAll в конце).
Если продолжение выполняется в отдельном потоке от исходного вызова (продолжение на B, в то время как вызов находится на A), это означает, что любые манипуляции с данными класса внутри продолжения должны быть синхронизировано.
Итак, это должно выглядеть примерно так:

Код: Выделить всё

class ThingDoer
{
public int ThingsDone { get; private set; }

object lock_ = new object();

public async Task DoThing()
{
await DoThingAsync();

lock (lock_)
{
ThingsDone++;
}
}

private Task DoThingAsync()
{
...
}
}

Я правильно понял? Есть ли какая-то «магия» в C# async/await, которая делает манипулирование данными после await безопасным, или нам нужно с этим справиться? Я не помню, чтобы кто-то говорил об этом, поэтому подозреваю, что упустил что-то важное.

Подробнее здесь: https://stackoverflow.com/questions/798 ... -scenarios