多线程程序中常见的疏忽性问题

以下列表指出了在多线程程序中可能导致错误的一些经常被疏忽的问题。

• 将指针作为新线程的参数传递给调用方栈。

• 在没有同步机制保护的情况下访问全局内存的共享可更改状态。

• 两个线程尝试轮流获取对同一对全局资源的权限时导致死锁。 其中一个线程控制第一种资源，另一个线程控制第二种资源。其中一个线程放弃之前，任何一个线程都无法继续操作。

• 尝试重新获取已持有的锁（递归死锁）。

• 在同步保护中创建隐藏的间隔。 如果受保护的代码段包含的函数释放了同步机制，而又在返回调用方之前重新获取了该同步机制，则将在保护中出现此间隔。结果具有误导性。对于调用方，表面上看全局数据已受到保护，而实际上未受到保护。

• 将 UNIX 信号与线程混合时，使用 sigwait(2) 模型来处理异步信号。

• 调用 setjmp(3C) 和 longjmp(3C)，然后长时间跳跃，而不释放互斥锁。

• 从对 *_cond_wait() 或 *_cond_timedwait() 的调用中返回后无法重新评估条件。

• 忘记已创建缺省线程 PTHREAD_CREATE_JOINABLE 并且必须使用 pthread_join(3C) 来进行回收。请注意，pthread_exit(3C) 不会释放其存储空间。

• 执行深入嵌套、递归调用以及使用大型自动数组可能会导致问题，因为多线程程序与单线程程序相比对栈大小的限制更多。

• 指定不适当的栈大小，或使用非缺省栈。

多线程程序（特别是那些包含错误的程序）经常在两次连续运行中的行为方式不同，即使输入相同也是如此。此行为是由线程调度顺序的差异所导致的。

一般情况下，多线程错误是统计得出的，不具有确定性。通常，与基于断点的调试相比，跟踪是用于查找执行顺序问题的一种更有效的方法。