對BOOST 中同步互斥的一些理解

對BOOST 中同步互斥的一些理解

首先，BOOST中有4種有關互斥量得概念。
1.LOCKABLE :僅支持排它型全部權
2.TIMEDLOCKABLE：支持帶超時的排它型全部權
3.SHAREDLOCKABLE： 支持帶超時的排他型全部權和共享型全部權（讀寫鎖）
4.UPGRADELOCKABLE： 

支持帶超時的排他型全部權和共享型全部權，以及共享型全部權升級爲排他型全部權（升級過程阻塞）(也支持降級)

能夠看到2強化自1,3強化自2.4強化自3，支持某一律念則必定支持其強化自的概念。

boost::mutex 實現了LOCKABLE概念 （boost::recursive_mutex 是其遞歸鎖的版本）
boost::timed_mutex 實現了TIMEDLOCKABLE概念 

（boost::recursive_timed_mutex 是其遞歸鎖的版本）
boost::shared_mutex實現了SHAREDLOCKABLE概念
boost::shared_mutex一樣實現了UPGRADELOCKABLE概念

出於提供RAII操做風格和安全等其餘一些緣由BOOST不但願用戶直接調用各類MUTEX類型中的相關接口，而是經過它提供的一些LOCK_TYPE來幫助咱們調用。

主要的LOCK_TYPE包括：

boost::unique_lock<LOCKABLE> 針對支持LOCKABLE概念的類型（上述4中MUTEX類型都支持LOCKABLE概念）。以RAII的方式調用該類的lock() 

（調用成功後排它的獨佔該互斥量）和 unlock() 方法。

boost::shared_lock<SHAREDLOCKABLE>針對支持SHAREDLOCKABLE概念的類型，boost::shared_mutex實現了該概念，注意，支持SHAREDLOCKABLE概念的類既支持排他的獨佔（寫鎖，經過調用lock unlock系列函數），也支持共享的方式佔用（讀鎖，經過調用lock_shared系列），

shared_lock默認調用

lock_shared系列。

最主要最經常使用的就是上面這兩個LOCK類型，分別表明獨佔方式和共享方式，其餘的就不一一分析了。

下面是個從 http://hi.baidu.com/jrckkyy/blog/item/d7ccb508dfba2e3ce8248817.html 此處找到的例子

typedef  boost::shared_mutex rwmutex; 
typedef  boost::shared_lock<rwmutex> readLock; 
typedef  boost::uniq_lock<rwmutex> writeLock;  rwmutex  _rwmutex;  void readOnly()  {  ...  { // 臨界區  readLock rdlock (_rwmutex);  ...  do something  ...  }  ...  }  void writeOnly()  {  ...  { // 臨界區  writeLock wlock( _rwmutex);  ...  do something  ...  }  ...  }