一尘不染

.NET中的锁(监控)内部实现

c#

为了掌握某些技术,您必须知道它是如何在较低的抽象级别上制造的。对于多线程编程,最好了解同步原语。
问题是,如何在.NET中实现Lock(Monitor)?

我很感兴趣:
-它利用OS对象吗?
-是否需要用户模式或内核模式?
-等待锁的线程的开销是多少?
-在什么情况下线程排队等待锁可能会被违反?

更新:
“如果有多个线程争用该锁,则它们将在“就绪队列”中排队,并以先到先得的方式授予该锁。
注意:Windows和CLR行为的细微差别意味着,有时会违反队列的公平性。 “ [C#4.0简而言之,约瑟夫·阿尔巴哈里(Joseph
Albahari)]因此,这就是我在关于“违规队列”的最后一个问题中提出的问题。


阅读 329

收藏
2020-05-19

共1个答案

一尘不染

经过一些调查,我找到了问题的答案。总的来说,CodeInChaos和Henk Holterman是正确的,但是这里有一些细节。

首先,当线程开始与其他线程争用锁时,它会在尝试获取锁的同时进行自旋等待循环。所有这些操作都是在 用户模式下
执行的。然后,如果没有成功的OS内核对象Event创建,线程将切换到 内核模式 并等待来自this的信号Event

因此,对我的问题的回答是:
1.更好的情况下不,但更糟糕的是(Event如果需要,对象会延迟创建);
2.通常,它在用户模式下工作,但是如果线程争夺锁的时间太长,则可以将线程切换到内核模式(通过Win API非托管函数调用);
3.从用户模式切换到内核模式的开销(约1000个CPU周期);
4. Microsoft声称它是类似于FIFO的“诚实”算法,但不能保证这一点。(例如,如果“等待队列”中的线程将被挂起,则将在恢复时移至队列末尾。)

2020-05-19