我花了一些时间试图了解互斥体如何以几种语言实现.有多个链接描述主题(*),但如果我正确理解,那么硬件提供的所有内容都是一些原子操作,可以帮助区分现在应该是谁.
在软件中,它总是用于繁忙的等待(尝试CAS或测试并设置,如果不成功,则等待一段时间),但是调度程序如何知道现在我应该从CPU中删除进程/线程,因为它所做的全部它在等待吗?操作系统中是否提供某种支持,例如Java同步用于表明“我被阻止,请改为运行其他线程”?我认为是这样,因为繁忙等待是使用lock()的一种替代方法; (因此它们不应相同)
*资源:
> http://en.wikipedia.org/wiki/Mutual_exclusion
> How are mutex and lock structures implemented?
解决方法:
在Linux JDK中,纯C代码使用pthread库,该库是标准C库的一部分.依次使用Linux内核futex功能(man futex).据我所知,这是使用内核调度程序实现的,它使调用线程进入睡眠状态,并在收到信号时将其唤醒.
调度程序本身依靠计时器中断(硬件)来工作-基本上,每次计时器中断到达时,调度程序都必须检查当前用户空间线程是否要/必须挂起,如果是,则必须选择其他线程.
这里很少有其他链接,可以提供更清晰和详细的说明:
> http://man7.org/linux/man-pages/man7/futex.7.html
> http://www.quora.com/How-different-is-a-futex-from-mutex-conceptually-and-also-implementation-wise
>罗伯特·洛夫·洛夫(Robert Love)的Linux Kernel Development本书(但奇怪的是,它没有提及futex)和另一本书(确实包含了futex的提及,但主要是引用了外部论文):Kerrisk的《 Linux编程接口》.