您当前的位置: 首页 >  c++

我什么都布吉岛

暂无认证

  • 2浏览

    0关注

    292博文

    0收益

  • 0浏览

    0点赞

    0打赏

    0留言

私信
关注
热门博文

C++11线程库 (五) 互斥锁管理工具

我什么都布吉岛 发布时间:2021-02-28 22:17:03 ,浏览量:2

一、为什么要用“智能”锁?

用户使用互斥锁时容易出现如下错误:

  • 忘记unlock,导致其他线程阻塞
  • 多次unlock,导致出现未定义情况

C++互斥锁管理工具能够避免这种情况出现,其实现机理和智能指针一样是RAII。管理套件如下框图所示:

#mermaid-svg-Cy9RNKoySfoMzUwf .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .label text{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .node rect,#mermaid-svg-Cy9RNKoySfoMzUwf .node circle,#mermaid-svg-Cy9RNKoySfoMzUwf .node ellipse,#mermaid-svg-Cy9RNKoySfoMzUwf .node polygon,#mermaid-svg-Cy9RNKoySfoMzUwf .node path{fill:#ECECFF;stroke:#9370db;stroke-width:1px}#mermaid-svg-Cy9RNKoySfoMzUwf .node .label{text-align:center;fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .node.clickable{cursor:pointer}#mermaid-svg-Cy9RNKoySfoMzUwf .arrowheadPath{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .edgePath .path{stroke:#333;stroke-width:1.5px}#mermaid-svg-Cy9RNKoySfoMzUwf .flowchart-link{stroke:#333;fill:none}#mermaid-svg-Cy9RNKoySfoMzUwf .edgeLabel{background-color:#e8e8e8;text-align:center}#mermaid-svg-Cy9RNKoySfoMzUwf .edgeLabel rect{opacity:0.9}#mermaid-svg-Cy9RNKoySfoMzUwf .edgeLabel span{color:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .cluster rect{fill:#ffffde;stroke:#aa3;stroke-width:1px}#mermaid-svg-Cy9RNKoySfoMzUwf .cluster text{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);font-size:12px;background:#ffffde;border:1px solid #aa3;border-radius:2px;pointer-events:none;z-index:100}#mermaid-svg-Cy9RNKoySfoMzUwf .actor{stroke:#ccf;fill:#ECECFF}#mermaid-svg-Cy9RNKoySfoMzUwf text.actor>tspan{fill:#000;stroke:none}#mermaid-svg-Cy9RNKoySfoMzUwf .actor-line{stroke:grey}#mermaid-svg-Cy9RNKoySfoMzUwf .messageLine0{stroke-width:1.5;stroke-dasharray:none;stroke:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .messageLine1{stroke-width:1.5;stroke-dasharray:2, 2;stroke:#333}#mermaid-svg-Cy9RNKoySfoMzUwf #arrowhead path{fill:#333;stroke:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .sequenceNumber{fill:#fff}#mermaid-svg-Cy9RNKoySfoMzUwf #sequencenumber{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf #crosshead path{fill:#333;stroke:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .messageText{fill:#333;stroke:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .labelBox{stroke:#ccf;fill:#ECECFF}#mermaid-svg-Cy9RNKoySfoMzUwf .labelText,#mermaid-svg-Cy9RNKoySfoMzUwf .labelText>tspan{fill:#000;stroke:none}#mermaid-svg-Cy9RNKoySfoMzUwf .loopText,#mermaid-svg-Cy9RNKoySfoMzUwf .loopText>tspan{fill:#000;stroke:none}#mermaid-svg-Cy9RNKoySfoMzUwf .loopLine{stroke-width:2px;stroke-dasharray:2, 2;stroke:#ccf;fill:#ccf}#mermaid-svg-Cy9RNKoySfoMzUwf .note{stroke:#aa3;fill:#fff5ad}#mermaid-svg-Cy9RNKoySfoMzUwf .noteText,#mermaid-svg-Cy9RNKoySfoMzUwf .noteText>tspan{fill:#000;stroke:none}#mermaid-svg-Cy9RNKoySfoMzUwf .activation0{fill:#f4f4f4;stroke:#666}#mermaid-svg-Cy9RNKoySfoMzUwf .activation1{fill:#f4f4f4;stroke:#666}#mermaid-svg-Cy9RNKoySfoMzUwf .activation2{fill:#f4f4f4;stroke:#666}#mermaid-svg-Cy9RNKoySfoMzUwf .mermaid-main-font{font-family:"trebuchet ms", verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .section{stroke:none;opacity:0.2}#mermaid-svg-Cy9RNKoySfoMzUwf .section0{fill:rgba(102,102,255,0.49)}#mermaid-svg-Cy9RNKoySfoMzUwf .section2{fill:#fff400}#mermaid-svg-Cy9RNKoySfoMzUwf .section1,#mermaid-svg-Cy9RNKoySfoMzUwf .section3{fill:#fff;opacity:0.2}#mermaid-svg-Cy9RNKoySfoMzUwf .sectionTitle0{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .sectionTitle1{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .sectionTitle2{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .sectionTitle3{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .sectionTitle{text-anchor:start;font-size:11px;text-height:14px;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .grid .tick{stroke:#d3d3d3;opacity:0.8;shape-rendering:crispEdges}#mermaid-svg-Cy9RNKoySfoMzUwf .grid .tick text{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .grid path{stroke-width:0}#mermaid-svg-Cy9RNKoySfoMzUwf .today{fill:none;stroke:red;stroke-width:2px}#mermaid-svg-Cy9RNKoySfoMzUwf .task{stroke-width:2}#mermaid-svg-Cy9RNKoySfoMzUwf .taskText{text-anchor:middle;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .taskText:not([font-size]){font-size:11px}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutsideRight{fill:#000;text-anchor:start;font-size:11px;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutsideLeft{fill:#000;text-anchor:end;font-size:11px}#mermaid-svg-Cy9RNKoySfoMzUwf .task.clickable{cursor:pointer}#mermaid-svg-Cy9RNKoySfoMzUwf .taskText.clickable{cursor:pointer;fill:#003163 !important;font-weight:bold}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutsideLeft.clickable{cursor:pointer;fill:#003163 !important;font-weight:bold}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutsideRight.clickable{cursor:pointer;fill:#003163 !important;font-weight:bold}#mermaid-svg-Cy9RNKoySfoMzUwf .taskText0,#mermaid-svg-Cy9RNKoySfoMzUwf .taskText1,#mermaid-svg-Cy9RNKoySfoMzUwf .taskText2,#mermaid-svg-Cy9RNKoySfoMzUwf .taskText3{fill:#fff}#mermaid-svg-Cy9RNKoySfoMzUwf .task0,#mermaid-svg-Cy9RNKoySfoMzUwf .task1,#mermaid-svg-Cy9RNKoySfoMzUwf .task2,#mermaid-svg-Cy9RNKoySfoMzUwf .task3{fill:#8a90dd;stroke:#534fbc}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutside0,#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutside2{fill:#000}#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutside1,#mermaid-svg-Cy9RNKoySfoMzUwf .taskTextOutside3{fill:#000}#mermaid-svg-Cy9RNKoySfoMzUwf .active0,#mermaid-svg-Cy9RNKoySfoMzUwf .active1,#mermaid-svg-Cy9RNKoySfoMzUwf .active2,#mermaid-svg-Cy9RNKoySfoMzUwf .active3{fill:#bfc7ff;stroke:#534fbc}#mermaid-svg-Cy9RNKoySfoMzUwf .activeText0,#mermaid-svg-Cy9RNKoySfoMzUwf .activeText1,#mermaid-svg-Cy9RNKoySfoMzUwf .activeText2,#mermaid-svg-Cy9RNKoySfoMzUwf .activeText3{fill:#000 !important}#mermaid-svg-Cy9RNKoySfoMzUwf .done0,#mermaid-svg-Cy9RNKoySfoMzUwf .done1,#mermaid-svg-Cy9RNKoySfoMzUwf .done2,#mermaid-svg-Cy9RNKoySfoMzUwf .done3{stroke:grey;fill:#d3d3d3;stroke-width:2}#mermaid-svg-Cy9RNKoySfoMzUwf .doneText0,#mermaid-svg-Cy9RNKoySfoMzUwf .doneText1,#mermaid-svg-Cy9RNKoySfoMzUwf .doneText2,#mermaid-svg-Cy9RNKoySfoMzUwf .doneText3{fill:#000 !important}#mermaid-svg-Cy9RNKoySfoMzUwf .crit0,#mermaid-svg-Cy9RNKoySfoMzUwf .crit1,#mermaid-svg-Cy9RNKoySfoMzUwf .crit2,#mermaid-svg-Cy9RNKoySfoMzUwf .crit3{stroke:#f88;fill:red;stroke-width:2}#mermaid-svg-Cy9RNKoySfoMzUwf .activeCrit0,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCrit1,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCrit2,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCrit3{stroke:#f88;fill:#bfc7ff;stroke-width:2}#mermaid-svg-Cy9RNKoySfoMzUwf .doneCrit0,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCrit1,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCrit2,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCrit3{stroke:#f88;fill:#d3d3d3;stroke-width:2;cursor:pointer;shape-rendering:crispEdges}#mermaid-svg-Cy9RNKoySfoMzUwf .milestone{transform:rotate(45deg) scale(0.8, 0.8)}#mermaid-svg-Cy9RNKoySfoMzUwf .milestoneText{font-style:italic}#mermaid-svg-Cy9RNKoySfoMzUwf .doneCritText0,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCritText1,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCritText2,#mermaid-svg-Cy9RNKoySfoMzUwf .doneCritText3{fill:#000 !important}#mermaid-svg-Cy9RNKoySfoMzUwf .activeCritText0,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCritText1,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCritText2,#mermaid-svg-Cy9RNKoySfoMzUwf .activeCritText3{fill:#000 !important}#mermaid-svg-Cy9RNKoySfoMzUwf .titleText{text-anchor:middle;font-size:18px;fill:#000;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf g.classGroup text{fill:#9370db;stroke:none;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);font-size:10px}#mermaid-svg-Cy9RNKoySfoMzUwf g.classGroup text .title{font-weight:bolder}#mermaid-svg-Cy9RNKoySfoMzUwf g.clickable{cursor:pointer}#mermaid-svg-Cy9RNKoySfoMzUwf g.classGroup rect{fill:#ECECFF;stroke:#9370db}#mermaid-svg-Cy9RNKoySfoMzUwf g.classGroup line{stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf .classLabel .box{stroke:none;stroke-width:0;fill:#ECECFF;opacity:0.5}#mermaid-svg-Cy9RNKoySfoMzUwf .classLabel .label{fill:#9370db;font-size:10px}#mermaid-svg-Cy9RNKoySfoMzUwf .relation{stroke:#9370db;stroke-width:1;fill:none}#mermaid-svg-Cy9RNKoySfoMzUwf .dashed-line{stroke-dasharray:3}#mermaid-svg-Cy9RNKoySfoMzUwf #compositionStart{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #compositionEnd{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #aggregationStart{fill:#ECECFF;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #aggregationEnd{fill:#ECECFF;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #dependencyStart{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #dependencyEnd{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #extensionStart{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf #extensionEnd{fill:#9370db;stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf .commit-id,#mermaid-svg-Cy9RNKoySfoMzUwf .commit-msg,#mermaid-svg-Cy9RNKoySfoMzUwf .branch-label{fill:lightgrey;color:lightgrey;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .pieTitleText{text-anchor:middle;font-size:25px;fill:#000;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .slice{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf g.stateGroup text{fill:#9370db;stroke:none;font-size:10px;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf g.stateGroup text{fill:#9370db;fill:#333;stroke:none;font-size:10px}#mermaid-svg-Cy9RNKoySfoMzUwf g.statediagram-cluster .cluster-label text{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf g.stateGroup .state-title{font-weight:bolder;fill:#000}#mermaid-svg-Cy9RNKoySfoMzUwf g.stateGroup rect{fill:#ECECFF;stroke:#9370db}#mermaid-svg-Cy9RNKoySfoMzUwf g.stateGroup line{stroke:#9370db;stroke-width:1}#mermaid-svg-Cy9RNKoySfoMzUwf .transition{stroke:#9370db;stroke-width:1;fill:none}#mermaid-svg-Cy9RNKoySfoMzUwf .stateGroup .composit{fill:white;border-bottom:1px}#mermaid-svg-Cy9RNKoySfoMzUwf .stateGroup .alt-composit{fill:#e0e0e0;border-bottom:1px}#mermaid-svg-Cy9RNKoySfoMzUwf .state-note{stroke:#aa3;fill:#fff5ad}#mermaid-svg-Cy9RNKoySfoMzUwf .state-note text{fill:black;stroke:none;font-size:10px}#mermaid-svg-Cy9RNKoySfoMzUwf .stateLabel .box{stroke:none;stroke-width:0;fill:#ECECFF;opacity:0.7}#mermaid-svg-Cy9RNKoySfoMzUwf .edgeLabel text{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .stateLabel text{fill:#000;font-size:10px;font-weight:bold;font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family)}#mermaid-svg-Cy9RNKoySfoMzUwf .node circle.state-start{fill:black;stroke:black}#mermaid-svg-Cy9RNKoySfoMzUwf .node circle.state-end{fill:black;stroke:white;stroke-width:1.5}#mermaid-svg-Cy9RNKoySfoMzUwf #statediagram-barbEnd{fill:#9370db}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-cluster rect{fill:#ECECFF;stroke:#9370db;stroke-width:1px}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-cluster rect.outer{rx:5px;ry:5px}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-state .divider{stroke:#9370db}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-state .title-state{rx:5px;ry:5px}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-cluster.statediagram-cluster .inner{fill:white}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-cluster.statediagram-cluster-alt .inner{fill:#e0e0e0}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-cluster .inner{rx:0;ry:0}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-state rect.basic{rx:5px;ry:5px}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-state rect.divider{stroke-dasharray:10,10;fill:#efefef}#mermaid-svg-Cy9RNKoySfoMzUwf .note-edge{stroke-dasharray:5}#mermaid-svg-Cy9RNKoySfoMzUwf .statediagram-note rect{fill:#fff5ad;stroke:#aa3;stroke-width:1px;rx:0;ry:0}:root{--mermaid-font-family: '"trebuchet ms", verdana, arial';--mermaid-font-family: "Comic Sans MS", "Comic Sans", cursive}#mermaid-svg-Cy9RNKoySfoMzUwf .error-icon{fill:#522}#mermaid-svg-Cy9RNKoySfoMzUwf .error-text{fill:#522;stroke:#522}#mermaid-svg-Cy9RNKoySfoMzUwf .edge-thickness-normal{stroke-width:2px}#mermaid-svg-Cy9RNKoySfoMzUwf .edge-thickness-thick{stroke-width:3.5px}#mermaid-svg-Cy9RNKoySfoMzUwf .edge-pattern-solid{stroke-dasharray:0}#mermaid-svg-Cy9RNKoySfoMzUwf .edge-pattern-dashed{stroke-dasharray:3}#mermaid-svg-Cy9RNKoySfoMzUwf .edge-pattern-dotted{stroke-dasharray:2}#mermaid-svg-Cy9RNKoySfoMzUwf .marker{fill:#333}#mermaid-svg-Cy9RNKoySfoMzUwf .marker.cross{stroke:#333} :root { --mermaid-font-family: "trebuchet ms", verdana, arial;} #mermaid-svg-Cy9RNKoySfoMzUwf { color: rgba(0, 0, 0, 0.75); font: ; }
管理套件
管理类
lock_guard
unique_lock
scoped_lock
shared_lock
锁定策略类型结构体
defer_lock_t
try_to_lock_t
adopt_lock_t
锁定策略常量
defer_lcok
try_to_lock
adpot_lock

本文只对C++11支持的lock_guard和unique_lock进行介绍,构造函数第二个参数是一个锁定策略结构体,我们不需要自己实例化这个结构体,再传入构造函数,只需要在命名空间中找到这个结构体实例,如std::defer_lock

struct defer_lock_t { explicit defer_lock_t() = default; };//defer是推迟的意思
struct try_to_lock_t { explicit try_to_lock_t() = default; };
struct adopt_lock_t { explicit adopt_lock_t() = default; };
二、类模板 lock_guard

lock_guard构造函数如下:

explicit lock_guard( mutex_type& m );
lock_guard( mutex_type& m, std::adopt_lock_t t );
lock_guard( const lock_guard& ) = delete;

lock_guard使用的是RAII技术,一旦互斥锁正确地交由lock_guard管理,我们就无需担心锁的释放问题。那么应该怎么交给lock_guard管理?选择正确的构造函数,而不要欺骗编译器。

  • 互斥锁未此线程上锁,调用只接受单参数的构造函数,传递一个互斥锁;
  • 互斥锁已在此线程上锁,调用接受两个参数的构造函数,传递互斥锁和std::adopt_lock。

两种构造函数对互斥锁的处理不同:

  • 对于单参数构造函数,将会调用m.lock()对互斥锁锁定。假如互斥锁已经被锁定或者不是互斥锁类型,结果未定义;
  • 对于双参数构造函数,将会假定m已经调用了lock,便不会进行m.lock()操作。假如你欺骗了它,也就是m并没有在构造前加锁,结果未定义。

一个例子:

int k=0;
int main()
{
   std::thread th1([](){
        for(int i=0;i            
关注
打赏
1658157489
查看更多评论
0.0378s