谁管理互斥和朋友？

Question

互斥体，信号量，事件等是否被认为是操作系统内核的一部分，或者它们是通常随操作系统提供的单独的用户级库吗？

调用信号量的操作是否涉及系统调用（中断/陷阱/ ring-0）？

理论上，我可以编写一个用户级同步/锁定库（不是线程管理，只是同步/锁定！），它不会在幕后调用OS函数吗？

如果我要编写一个多线程的操作系统内核，我是否需要包含诸如create/release/grab semaphore之类的东西，还是只能运行为我的操作系统编译的现有库？

---

正如你所看到的，我对这个问题有点困惑。这些都是不同格式的基本相同的问题。

我对OS理论的答案感兴趣，以及“这是如何在Linux/Windows /一些其他* nix”的答案。

Answer 1

这个问题太宽泛，取决于操作系统。你应该看看下面的问题：Mutex access and system call,who wakes up a process which is blocked because it executed wait on a semaphore unsuccessfully?

基本上，一个尝试使用比较和交换来避免系统调用，并回退到系统调用使线程睡着。