这可能看起来有点疯狂,但这是我正在考虑作为更大库的一部分的一种方法,如果我可以合理地确定它不会导致奇怪的行为。
该方法:
SynchronizationContext
使用调度到线程池的 async 用户代码运行。用户代码如下所示:
async void DoSomething()
{
int someState = 2;
await DoSomethingAsync();
someState = 4;
await DoSomethingElseAsync();
// someState guaranteed to be 4?
}
我不确定访问someState
是否是线程安全的。虽然代码将在一个“线程”中运行,这样操作实际上是完全有序的,但它仍然可以在引擎盖下的多个线程中拆分。如果我的理解是正确的,那么在 x86 上排序应该是安全的,并且由于变量不是共享的,我不需要担心编译器优化等等。
更重要的是,我担心这是否会在 ECMA 或 CLR 内存模型下保证线程安全。
我相当确定在执行排队的工作之前我需要插入一个内存屏障,但我对我的推理并不完全有信心(或者这种方法可能由于完全不同的原因而行不通)。