c# – 信号量是否会阻止指令重新排序？

我在C#中寻找一个等待锁定语句的等价物.有些人建议以下列方式使用二进制SemaphoreSlim：

await semaphore.WaitAsync().ConfigureAwait(false);
try
{
    //inner instructions
}
finally
{
    semaphore.Release();
}

我知道它有一些问题(例如它不是可重入的),但我最关心的是指令重新排序.

在普通的旧锁定语句中,我们保证锁定的内部指令不会移动到锁定语句之外(之前或之后).这个信号量解决方案是否同样适用？据我所知,documentation没有提到这个问题.

解决方法

SemaphoreSlim以及几乎所有其他同步构造都是在内部使用Monitor(或构建在Monitor之上的其他类型)构建的,这正是锁实现的方式,为您提供相同的保证.