c - 系统调用应该在上下文切换之前完成吗

Question

是否保证系统调用会在上下文切换或抢占之前完成？我们是否应该期望系统调用指令是不可中断的。还是取决于系统调用类型或操作系统实现？

Answer 1

Is it guaranteed that system calls will be completed before context switch or preemption

不，许多系统调用实际上会导致上下文切换发生，即使在单线程应用程序中也是如此。我们不要忘记，当今大多数现代系统上还运行着其他进程，外加硬件中断和大量异步事件。

Or is it depend on system call type or operating system implementations ?

是的，非常重要。

if those system calls thread safe what guarantees or not?

阅读您的系统文档。

大多数 C 编译器工具链包括单线程和多线程库。即使是单线程库也是上下文切换安全的，但不一定可以从同一进程重新进入。上下文切换就是将当前线程的整个上下文切换为新线程。只要这些线程不接触任何共享资源(上下文重叠)，就没有其他需要关心的事情。但是，当您编写多线程应用程序时，您必须对您拥有的线程之间共享的资源负责。在大多数情况下，良好的设计会避免共享资源，但也可能存在不可避免的关键路径。

大多数现代操作系统都有许多内部共享资源，它们使用各种技术来同步对这些资源的访问。锁、信号量、临界区、原子操作(无锁算法)都是多线程环境中的常见做法。应用程序编写者永远不需要担心操作系统如何在内部管理对共享资源的访问，因此您可以调用 open、read 和 write从您的应用程序中，无需担心，前提是您没有在进程中的线程之间共享任何句柄。

编写多线程应用程序时，应使用编译器工具链提供的线程安全库。线程安全库使用与操作系统相同的所有技术来保护内部共享资源，但它们无法保护您免受您自己的伤害!如果您在线程之间共享资源，例如全局变量、句柄、缓冲区，甚至是对某些硬件寄存器的访问，则必须安排同步这些访问。

操作系统编写者负责保护他们自己的内部共享资源并记录所有线程安全问题。

库编写者负责保护他们自己的内部共享资源并记录所有线程安全问题。

应用程序编写者负责保护他们自己的共享资源并记录所有进程并发问题(进程间资源共享)。