pthreads - pthread_cond_timedwait() EINVAL 的根本原因

Question

我在极少数情况下看到 pthread_cond_timedwait() 返回 EINVAL 并导致我们的系统发生致命崩溃。我知道这意味着传入的参数之一必须无效，但是 mutex 或 cond 变量如何变得无效？

有没有办法在调用 pthread_cond_timedwait() 之前检查这些参数以防止崩溃？

Answer 1

未明确说明什么构成无效，但以下是我观察到 pthread_cond_timedwait 返回 EINVAL 的一些原因:

• 条件和/或互斥体未正确初始化。检查初始化返回结果，并验证是否显式链接了正确的 pthread 库。不同版本的 glibc 链接时可能会出现偶发性问题，导致 init 调用返回成功但对象未正确初始化的情况难以调试。
• 任何未定义的行为都可能导致无效的内部状态，pthread 调用可能会也可能不会检测到该状态。未定义的行为可能由以下原因导致:
  • 多次初始化互斥锁或条件变量而不将其销毁。
  • 在互斥锁或条件变量被销毁之后、重新初始化之前使用它。
  • 条件和/或互斥锁是由应用程序代码手动重写的。
  • 当线程等待对象时，互斥体或条件变量被销毁。
• 不同的互斥体与相同的条件变量一起使用。
• abstime 参数的 tv_nsec 值小于 0 或大于 1,000,000,000。

如果不手动模仿 pthread 正在执行的验证调用，那么我不知道在调用 pthread_cond_timewait() 之前检查参数的方法。但是，返回 EINVAL 的 pthread_cond_timewait() 不应导致致命崩溃，因为这是特定情况。考虑检查可能无法正确处理返回结果的应用程序代码的其他区域。例如，只要返回不是 ETIMEDOUT，代码就假定成功。