linux环境下线程的编写,Linux 的多线程编程的高效开发经验

最新推荐文章于 2024-06-28 18:00:07 发布

宇一美

最新推荐文章于 2024-06-28 18:00:07 发布

阅读量122

点赞数

文章标签： linux环境下线程的编写

注意 Linux 平台上触发条件变量的自动复位问题

条件变量的置位和复位有两种常用模型：第一种模型是当条件变量置位(signaled)以后，如果当前没有线程在等待，其状态会保持为置位(signaled)，直到有等待的线程进入被触发，其状态才会变为复位(unsignaled)，这种模型的采用以 Windows 平台上的 Auto-set Event 为代表。其状态变化如图 1 所示：

图 1. Windows 的条件变量状态变化流程

第二种模型则是 Linux 平台的 Pthread 所采用的模型，当条件变量置位(signaled)以后，即使当前没有任何线程在等待，其状态也会恢复为复位(unsignaled)状态。其状态变化如图 2 所示：

图 2. Linux 的条件变量状态变化流程

具体来说，Linux 平台上 Pthread 下的条件变量状态变化模型是这样工作的：调用 pthread_cond_signal() 释放被条件阻塞的线程时，无论存不存在被阻塞的线程，条件都将被重新复位，下一个被条件阻塞的线程将不受影响。而对于 Windows，当调用 SetEvent 触发 Auto-reset 的 Event 条件时，如果没有被条件阻塞的线程，那么条件将维持在触发状态，直到有新的线程被条件阻塞并被释放为止。

这种差异性对于那些熟悉 Windows 平台上的条件变量状态模型而要开发 Linux 平台上多线程的程序员来说可能会造成意想不到的尴尬结果。试想要实现一个旅客坐出租车的程序：旅客在路边等出租车，调用条件等待。出租车来了，将触发条件，旅客停止等待并上车。一个出租车只能搭载一波乘客，于是我们使用单一触发的条件变量。这个实现逻辑在第一个模型下即使出租车先到，也不会有什么问题，其过程如图 3 所示：

图 3. 采用 Windows 条件变量模型的出租车实例流程

然而如果按照这个思路来在 Linux 上来实现，代码看起来可能是清单 3 这样。

清单 3. Linux 出租车案例代码实例

……

// 提示出租车到达的条件变量

pthread_cond_t taxiCond;

// 同步锁

pthread_mutex_t taxiMutex;

// 旅客到达等待出租车

void * traveler_arrive(void * name) {

cout<< ” Traveler: ” <

pthread_mutex_lock(&taxiMutex);

pthread_cond_wait (&taxiCond, &taxtMutex);

pthread_mutex_unlock (&taxtMutex);

cout<< ” Traveler: ” << (char *)name << ” now got a taxi! ” <

pthread_exit( (void *)0 );

}

// 出租车到达

void * taxi_arrive(void *name) {

cout<< ” Taxi ” <

pthread_cond_signal(&taxtCond);

pthread_exit( (void *)0 );

}

void main() {

// 初始化

taxtCond= PTHREAD_COND_INITIALIZER;

taxtMutex= PTHREAD_MUTEX_INITIALIZER;

pthread_t thread;

pthread_attr_t threadAttr;

pthread_attr_init(&threadAttr);

pthread_create(&thread, & threadAttr, taxt_arrive, (void *)( ” Jack ” ));

sleep(1);

pthread_create(&thread, &threadAttr, traveler_arrive, (void *)( ” Susan ” ));

sleep(1);

pthread_create(&thread, &threadAttr, taxi_arrive, (void *)( ” Mike ” ));

sleep(1);

return 0;

}

好的，运行一下，看看结果如清单 4 。

清单 4. 程序结果输出

Taxi Jack arrives.

Traveler Susan needs a taxi now!

Taxi Mike arrives.

Traveler Susan now got a taxi.

其过程如图 4 所示：

图 4. 采用 Linux 条件变量模型的出租车实例流程

通过对比结果，你会发现同样的逻辑，在 Linux 平台上运行的结果却完全是两样。对于在 Windows 平台上的模型一， Jack 开着出租车到了站台，触发条件变量。如果没顾客，条件变量将维持触发状态，也就是说 Jack 停下车在那里等着。直到 Susan 小姐来了站台，执行等待条件来找出租车。 Susan 搭上 Jack 的出租车离开，同时条件变量被自动复位。

但是到了 Linux 平台，问题就来了，Jack 到了站台一看没人，触发的条件变量被直接复位，于是 Jack 排在等待队列里面。来迟一秒的 Susan 小姐到了站台却看不到在那里等待的 Jack，只能等待，直到 Mike 开车赶到，重新触发条件变量，Susan 才上了 Mike 的车。这对于在排队系统前面的 Jack 是不公平的，而问题症结是在于 Linux 平台上条件变量触发的自动复位引起的一个 Bug 。

条件变量在 Linux 平台上的这种模型很难说好坏。但是在实际开发中，我们可以对代码稍加改进就可以避免这种差异的发生。由于这种差异只发生在触发没有被线程等待在条件变量的时刻，因此我们只需要掌握好触发的时机即可。最简单的做法是增加一个计数器记录等待线程的个数，在决定触发条件变量前检查下该变量即可。改进后 Linux 函数如清单 5 所示。

清单 5. Linux 出租车案例代码实例

……

// 提示出租车到达的条件变量

pthread_cond_t taxiCond;

// 同步锁

pthread_mutex_t taxiMutex;

// 旅客人数，初始为 0

int travelerCount=0;

// 旅客到达等待出租车

void * traveler_arrive(void * name) {

cout<< ” Traveler: ” <

pthread_mutex_lock(&taxiMutex);