线程同步有三种常用的机制: 互斥量(mutex), 读写锁(rwlock)和条件变量(cond).
互斥量
互斥量从本质上说就是一把锁, 提供对共享资源的保护访问.
1. 初始化:
在Linux下, 线程的互斥量数据类型是pthread_mutex_t. 在使用前, 要对它进行初始化:
对于静态分配的互斥量, 可以把它设置为PTHREAD_MUTEX_INITIALIZER, 或者调用pthread_mutex_init.
对于动态分配的互斥量, 在申请内存(malloc)之后, 通过pthread_mutex_init进行初始化, 并且在释放内存(free)前需要调用pthread_mutex_destroy.
原型:
int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restric attr);
int pthread_mutex_destroy(pthread_mutex_t *mutex);
头文件:
返回值: 成功则返回0, 出错则返回错误编号.
说明: 如果使用默认的属性初始化互斥量, 只需把attr设为NULL. 其他值在以后讲解.
2. 互斥操作:
对共享资源的访问, 要对互斥量进行加锁, 如果互斥量已经上了锁, 调用线程会阻塞, 直到互斥量被解锁. 在完成了对共享资源的访问后, 要对互斥量进行解锁.
首先说一下加锁函数:
头文件:
原型:
int pthread_mutex_lock(pthread_mutex_t *mutex);
int pthread_mutex_trylock(pthread_mutex_t *mutex);
返回值: 成功则返回0, 出错则返回错误编号.
说 明: 具体说一下trylock函数, 这个函数是非阻塞调用模式, 也就是说, 如果互斥量没被锁住, trylock函数将把互斥量加锁, 并获得对共享资源的访问权限; 如果互斥量被锁住了, trylock函数将不会阻塞等待而直接返回EBUSY, 表示共享资源处于忙状态.
再说一下解所函数:
头文件:
原型: int pthread_mutex_unlock(pthread_mutex_t *mutex);
返回值: 成功则返回0, 出错则返回错误编号.
3. 死锁:
死锁主要发生在有多个依赖锁存在时, 会在一个线程试图以与另一个线程相反顺序锁住互斥量时发生. 如何避免死锁是使用互斥量应该格外注意的东西.
总体来讲, 有几个不成文的基本原则:
对共享资源操作前一定要获得锁.
完成操作以后一定要释放锁.
尽量短时间地占用锁.
如果有多锁, 如获得顺序是ABC连环扣, 释放顺序也应该是ABC.
线程错误返回时应该释放它所获得的锁.
在线程同步系列的第一篇文章里已经说过, 读写锁是因为有3种状态, 所以可以有更高的并行性.
1. 特性:
一次只有一个线程可以占有写模式的读写锁, 但是可以有多个线程同时占有读模式的读写锁. 正是因为这个特性,
当读写锁是写加锁状态时, 在这个锁被解锁之前, 所有试图对这个锁加锁的线程都会被阻塞.
当读写锁在读加锁状态时, 所有试图以读模式对它进行加锁的线程都可以得到访问权, 但是如果线程希望以写模式对此锁进行加锁, 它必须阻塞直到所有的线程释放锁.
通常, 当读写锁处于读模式锁住状态时, 如果有另外线程试图以写模式加锁, 读写锁通常会阻塞随后的读模式锁请求, 这样可以避免读模式锁长期占用, 而等待的写模式锁请求长期阻塞.
2. 适用性:
读写锁适合于对数据结构的读次数比写次数多得多的情况. 因为, 读模式锁定时可以共享, 以写模式锁住时意味着独占, 所以读写锁又叫共享-独占锁.
3. 初始化和销毁:
int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr);
int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
同互斥量以上, 在释放读写锁占用的内存之前, 需要先通过pthread_rwlock_destroy对读写锁进行清理工作, 释放由init分配的资源.
4. 读和写:
int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
这3个函数分别实现获取读锁, 获取写锁和释放锁的操作. 获取锁的两个函数是阻塞操作, 同样, 非阻塞的函数为:
#include
int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_trywrlock(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
非阻塞的获取锁操作, 如果可以获取则返回0, 否则返回错误的EBUSY.
- ifndef __TCRWLOCK_H__
- #define __TCRWLOCK_H__
- #if !defined(AFX_MUTEX_H__5B26703E_B4A3_4247_B78C_0A5FD39BD73A__INCLUDED_)
- #define AFX_MUTEX_H__5B26703E_B4A3_4247_B78C_0A5FD39BD73A__INCLUDED_
- #include
- #ifdef __WIN32__
- typedef struct _RWLock
- {
- HANDLE hMutex;
- HANDLE hDataLock;
- int nReaderCount;
- } RWLock;
- #endif
- class TCRWLock
- {
- public:
- TCRWLock();
- ~TCRWLock();
- bool ReadLock(void); //请求读操作锁,请求不成功则阻塞
- bool ReleaseReadLock(void); //释放读操作锁
- bool WriteLock(void); //请求写操作锁,请求不成功则阻塞
- bool ReleaseWriteLock(void); //释放写操作锁
- private:
- #ifdef __WIN32__
- bool MyWaitForSingleObject(HANDLE hObject);
- #else
- bool MyWaitForSingleObject(void * hObject);
- #endif
- bool InitRWLock();
- bool DestroyRWLock();
- private:
- #ifdef __WIN32__
- RWLock m_RWLock; //读写锁
- #else
- pthread_rwlock_t m_RWLock;
- #endif
- };
- typedef class TCMutex CMyMutex;
- typedef class TCRWLock CRWLock;
- #endif // !defined(AFX_MUTEX_H__5B26703E_B4A3_4247_B78C_0A5FD39BD73A__INCLUDED_)
- //读写锁
- //完成读写锁初始化
- TCRWLock::TCRWLock()
- {
- if( !InitRWLock() )
- {
- throw TCException("Init RwLock Error!");
- }
- }
- TCRWLock::~TCRWLock()
- {
- DestroyRWLock();
- }
- #ifdef __WIN32__
- bool TCRWLock::MyWaitForSingleObject(HANDLE hObject)
- #else
- bool TCRWLock::MyWaitForSingleObject(void * hObject)
- #endif
- {
- #ifdef __WIN32__
- DWORD result;
- result = WaitForSingleObject(hObject, INFINITE);
- return (result == WAIT_OBJECT_0);
- #else
- return true;
- #endif
- }
- bool TCRWLock::InitRWLock()
- {
- #ifdef __WIN32__
- m_RWLock.nReaderCount = 0;
- m_RWLock.hDataLock = CreateSemaphore(NULL, 1, 1, NULL);
- if (m_RWLock.hDataLock == NULL)
- {
- return false;
- }
- m_RWLock.hMutex = CreateMutex(NULL, FALSE, NULL);
- if (m_RWLock.hMutex == NULL)
- {
- CloseHandle(m_RWLock.hDataLock);
- return false;
- }
- return true;
- #else
-
- if( pthread_rwlock_init(&m_RWLock, NULL) != 0 )
- {
- throw TCException("TCRWLock::InitRWLock() exception!");
- }
- return true;
- #endif
- }
- bool TCRWLock::DestroyRWLock()
- {
- #ifdef __WIN32__
- DWORD result = WaitForSingleObject(m_RWLock.hDataLock, INFINITE);
- if (result != WAIT_OBJECT_0)
- {
- return false;
- }
- CloseHandle(m_RWLock.hMutex);
- CloseHandle(m_RWLock.hDataLock);
- return true;
- #else
- pthread_rwlock_destroy(&m_RWLock);
- return true;
- #endif
- }
- bool TCRWLock::ReadLock()
- {
- #ifdef __WIN32__
- bool result = TRUE;
- if (MyWaitForSingleObject(m_RWLock.hMutex) == FALSE)
- {
- return FALSE;
- }
- ++ m_RWLock.nReaderCount;
- if(m_RWLock.nReaderCount == 1)
- {
- result = MyWaitForSingleObject(m_RWLock.hDataLock);
- }
- ReleaseMutex(m_RWLock.hMutex);
- return result;
- #else
- if (pthread_rwlock_rdlock(&m_RWLock) != 0)
- {
- throw TCException("RLock() exception!");
- }
- return true;
- #endif
- }
- bool TCRWLock::ReleaseReadLock()
- {
- #ifdef __WIN32__
- LONG lPrevCount;
- int result = TRUE;
- if (MyWaitForSingleObject(m_RWLock.hMutex) == FALSE)
- {
- return false;
- }
- --m_RWLock.nReaderCount;
- if (m_RWLock.nReaderCount == 0)
- {
- result = ReleaseSemaphore(m_RWLock.hDataLock, 1, &lPrevCount);
- }
- ReleaseMutex(m_RWLock.hMutex);
- return result;
- #else
- if (pthread_rwlock_unlock(&m_RWLock) != 0)
- {
- throw TCException("TCRWLock::ReleaseReadLock() exception!");
- }
- return true;
- #endif
- }
- bool TCRWLock::WriteLock()
- {
- #ifdef __WIN32__
- return MyWaitForSingleObject(m_RWLock.hDataLock);
- #else
- if (pthread_rwlock_wrlock(&m_RWLock) != 0)
- {
- throw TCException("TCRWLock::WLock() exception!");
- }
- return true;
- #endif
- }
- bool TCRWLock::ReleaseWriteLock()
- {
- #ifdef __WIN32__
- int result = TRUE;
- LONG lPrevCount;
- result = ReleaseSemaphore(m_RWLock.hDataLock, 1, &lPrevCount);
- if (lPrevCount != 0)
- {
- return false;
- }
- return result;
- #else
- if (pthread_rwlock_unlock(&m_RWLock) != 0)
- {
- throw TCException("TCRWLock::ReleaseWriteLock() exception!");
- }
- return true;
- #endif
- }
条件变量
条件变量分为两部分: 条件和变量. 条件本身是由互斥量保护的. 线程在改变条件状态前先要锁住互斥量.
1. 初始化:
条件变量采用的数据类型是pthread_cond_t, 在使用之前必须要进行初始化, 这包括两种方式:
静态: 可以把常量PTHREAD_COND_INITIALIZER给静态分配的条件变量.
动态: pthread_cond_init函数, 是释放动态条件变量的内存空间之前, 要用pthread_cond_destroy对其进行清理.
#include
int pthread_cond_init(pthread_cond_t *restrict cond, pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.
当pthread_cond_init的attr参数为NULL时, 会创建一个默认属性的条件变量; 非默认情况以后讨论.
2. 等待条件:
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restric mutex);
int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict timeout);
成功则返回0, 出错则返回错误编号.
这两个函数分别是阻塞等待和超时等待.
等待条件函数等待条件变为真, 传递给pthread_cond_wait的互斥量对条件进行保护, 调用者把锁住的互斥量传递给函数. 函数把调用线程放到等待条件的线程列表上, 然后对互斥量解锁, 这两个操作是原子的. 这样便关闭了条件检查和线程进入休眠状态等待条件改变这两个操作之间的时间通道, 这样线程就不会错过条件的任何变化.
当pthread_cond_wait返回时, 互斥量再次被锁住.
3. 通知条件:
int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.
这两个函数用于通知线程条件已经满足. 调用这两个函数, 也称向线程或条件发送信号. 必须注意, 一定要在改变条件状态以后再给线程发送信号.
- ///
- /// @file Lock.h
- /// @brief
- /// @author guozhiming
- /// @date 2007-04-11
- ///
- #ifndef __LOCK__
- #define __LOCK__
- #include "def.h"
- /// @brief 锁的基本操作 1:读操作的时候读锁可以并发 2:写操作的时候,独占操作
- class G_Lock
- {
- public:
-
- /// @brief 构造函数初始化互斥锁 , 条件变量
- G_Lock();
- /// @brief 析构函数释放互斥锁,和条件变量
- ~G_Lock();
- /// @brief 读锁 readCounter++ , 锁住readCounter
- void rLock();
- /// @brief 解锁 readCounter-- , 如果readCounter = 0 , pthread_cond_signal通知
- void unrLock();
- /// @brief 写锁 如果readCounter不为0一直 pthread_cond_wait等待下去
- void wLock();
- /// @brief 解锁
- void unwLock();
-
- private:
- pthread_mutex_t r_Mutex; ///读锁 ,锁住readCounter
- pthread_mutex_t w_Mutex; ///锁住同步资源
-
- unsigned long readCounter; ///条件变量如果为0通知(pthread_cond_signal)
- pthread_cond_t condReadCounter;
- };
- #endif
-
- ///
- /// @file Lock.cpp
- /// @brief
- /// @author guozhiming
- /// @date 2007-04-11
- ///
- #include "Lock.h"
- G_Lock::G_Lock()
- {
- pthread_mutex_init(&r_Mutex , NULL);
- pthread_mutex_init(&w_Mutex , NULL);
- pthread_cond_init(&condReadCounter , NULL);
- readCounter = 0;
- }
- G_Lock::~G_Lock()
- {
- pthread_mutex_destroy(&r_Mutex);
- pthread_mutex_destroy(&w_Mutex);
- pthread_cond_destroy(&condReadCounter);
- }
- void G_Lock::rLock()
- {
- pthread_mutex_lock(&w_Mutex); //防止于写操作冲突
- pthread_mutex_lock(&r_Mutex); //防止readCounter 冲突
- readCounter++;
- pthread_mutex_unlock(&w_Mutex); ///写解锁
- pthread_mutex_unlock(&r_Mutex); ///读解锁
- }
- void G_Lock::unrLock()
- {
- pthread_mutex_lock(&r_Mutex); ///读加锁
- readCounter--;
- if(0 == readCounter)
- {
- pthread_cond_signal(&condReadCounter); //如果readCounter为0 , 表示已经没有读了,可以写
- }
- pthread_mutex_unlock(&r_Mutex); ///读解锁
- }
- void G_Lock::wLock()
- {
- pthread_mutex_lock(&w_Mutex); ///写加锁
- pthread_mutex_lock(&r_Mutex); ///读加锁
- if(0 == readCounter) ///防止readCounter = 0而且没有调用过rLock()和unrLock()
- {
- pthread_mutex_unlock(&r_Mutex); ///读解锁
- return ;
- }
- pthread_cond_wait(&condReadCounter , &r_Mutex); //等待readCounter = 0 , 等待期间r_Mutex被解锁,有信号再加锁
- pthread_mutex_unlock(&r_Mutex); ///读解锁
- }
- void G_Lock::unwLock()
- {
- pthread_mutex_unlock(&w_Mutex); //写解锁
- }