我很好奇,如何在Unix内部实现与线程之间的同步相关的功能。例如,当我调用pthread_mutex_lock
时会发生什么?是否有使用中的指针?引用源代码确实会有所帮助。
最佳答案
它既复杂又因Unix与Unix的不同而不同。
例如,在Linux中,使用了称为Futex(快速用户空间互斥锁的简称)的系统。
在此系统中,对用户空间中的互斥变量执行原子增量和测试操作。
如果操作结果表明锁上没有争用,则对pthread_mutex_lock的调用将返回,而无需将上下文切换到内核中,因此采用互斥量的操作可能会非常快。
仅当检测到竞争时,系统调用(称为futex)和上下文切换到内核中才会发生,这会使调用进程进休眠眠状态,直到释放互斥锁为止。
还有很多更多的细节,尤其是对于可靠和/或优先继承的互斥体,但这是其本质。
有关更多详细信息,请参见:http://linux.die.net/man/2/futex和http://en.wikipedia.org/wiki/Futex