在code review中,我會發現很多人喜歡在pthread_mutex_lock()和pthread_mutex_unlock(()之間調用 pthread_cond_signal或者pthread_cond_broadcast函數,從邏輯上來說,這種使用方法是完全正確的。但是在多線程 環境中,這種使用方法可能是低效的。posix1標準說,pthread_cond_signal與pthread_cond_broadcast無需考 慮調用線程是否是mutex的擁有者,也就是所,可以在lock與unlock以外的區域調用。如果我們對調用行為不關心,那么請在lock區域之外調用 吧。這里舉個例子:
我們假設系統中有線程1和線程2,他們都想獲取mutex后處理共享數據,再釋放mutex。請看這種序列:
1)線程1獲取mutex,在進行數據處理的時候,線程2也想獲取mutex,但是此時被線程1所占用,線程2進入休眠,等待mutex被釋放。
2)線程1做完數據處理后,調用pthread_cond_signal()喚醒等待隊列中某個線程,在本例中也就是線程2。線程1在調用 pthread_mutex_unlock()前,因為系統調度的原因,線程2獲取使用CPU的權利,那么它就想要開始處理數據,但是在開始處理之 前,mutex必須被獲取,很遺憾,線程1正在使用mutex,所以線程2被迫再次進入休眠。
3)然后就是線程1執行pthread_mutex_unlock()后,線程2方能被再次喚醒。
從這里看,使用的效率是比較低的,如果再多線程環境中,這種情況頻繁發生的話,是一件比較痛苦的事情。
所以覺得,如果程序不關心線程可預知的調度 行為,那么最好在鎖定區域以外調用他們吧:-)
如果讀者喜歡英文的話,可以參考:
http://www.opengroup.org/onlinepubs/007908799/xsh/pthread_cond_broadcast.html
這 里羅嗦幾句,對于
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
int pthread_cond_timedwait(pthread_cond_t *cond,
pthread_mutex_t *mutex, const struct timespec *abstime);
,一定要在mutex的鎖定區域內使用。
如果要正確的使用pthread_mutex_lock與pthread_mutex_unlock,請參考
pthread_cleanup_push 和pthread_cleanup_pop宏,它能夠在線程被cancel的時候正確的釋放mutex!