qt 5编程入门(第2版)_《C++并发编程实战第2版》第六章:设计基于锁的并发数据结构(1/3)...

本章主要内容

  • 设计并发数据结构的含义
  • 设计指南
  • 并发数据结构的示例实现

在上一章中我们了解了底层原子操作和内存模型。本章我们先把底层的细节放一放(尽管在第7章我们将需要它们),探讨一下数据结构。

为编程问题选择数据结构可能是整个解决方案的关键部分,并行程序也不例外。如果一个数据结构需要被多个线程访问,要么它完全不可变,因此数据永远不会变化,并且没有必要同步,要么程序必须设计成确保变动在线程间被正确的同步。一种选择是使用独立的互斥锁以及外部加锁来保护数据,比如使用我们在第3和第4章讨论的技术,另一种选择是设计自身支持并发访问的数据结构。

当设计并发数据结构时,可以使用前面章节提及的应用于多线程程序的基础构件块,比如:互斥锁和条件变量。实际上,你已经看过了几个示例,这些示例展示了如何组合这些构建块来编写对多线程并发访问安全的数据结构。

在本章中,我们将从为并发设计数据结构的一些通用指南开始。然后,我们将使用锁和条件变量的基本构建块,并在转向更复杂的数据结构之前重新讨论这些基本数据结构的设计。在第7章中,我们将看到如何回归基础,并使用第5章中描述的原子操作来构建无锁的数据结构。

好了!言归正传,让我们来看一下设计并发数据结构都需要什么。

6.1 并发设计的含义

从基本层面上讲,为并发设计数据结构意味着,多个线程可以并发的访问这个数据结构,不管线程执行的是相同还是不同的操作,并且每一个线程都能看到数据结构的前后一致的视图。没有数据丢失或者损坏,所有的不变量都被支持,且没有有问题的竞争条件。这样的数据结构,称之为线程安全(thread-safe)的数据结构。通常情况下,一个数据结构只对特殊类型的并发访问是安全的。也许有可能让多个线程并发地对数据结构执行一种类型的操作,而另一种操作则需要由单个线程独占访问。或者,如果多个线程正在执行不同的操作,那它们并发访问数据结构可能是安全的,但多个线程执行相同的操作就会有问题。

然而,真正为并发而设计远不止这些:真正的设计意味着要为线程提供并发访问数据结构的机会。从本质上讲,互斥锁提供了互斥:一次只能有一个线程获得互斥锁。互斥锁保护数据结构是通过显式地阻止对它所保护数据的真正并发访问来实现的。

这称为串行化(serialzation):线程轮流访问被互斥锁保护的数据。它们必须串行而非并发的访问它。因此,必须仔细考虑数据结构的设计,使得能够真正的并发访问。虽然有些数据结构比其他数据结构具有更大的并发范围,但在所有情况下,其思想都是相同的:受保护的区域越小,串行化的操作就越少,并发的潜力也就越大。

在进行数据结构的设计之前,让我们快速的浏览一下并发设计的指南。

6.1.1 设计并发数据结构的指南

之前提过,当设计并访问的数据结构时,需要考虑两个方面:确保访问安全以及允许真正的并发访问。在第3章中,已经介绍了如何使数据结构是线程安全的基础知识:

  • 确保没有线程能够看到数据结构的不变量被另一个线程破坏的状态。
  • 通过提供完整操作的函数,而非一个个操作步骤的函数来小心避免接口固有的竞争条件。
  • 注意数据结构在有异常时的行为,从而确保不变量不会被破坏。
  • 通过限制锁的范围以及避免嵌套锁,将死锁的概率降到最低。

在思考这些细节之前,想想要对数据结构的用户施加什么约束也是很重要的;如果线程通过一个特定的函数对数据结构进行访问,其他线程能安全调用哪些函数?

这是一个需要考虑的关键问题,通常,构造函数和析构函数需要互斥地访问数据结构,但是需要由用户确保它们不会在构造函数完成之前或者析构函数开始以后被访问。如果数据结构支持赋值操作,swap()或拷贝构造,作为数据结构的设计者,你需要决定这些操作与其他操作并发调用是否安全,或者它们是否要求用户确保独占访问,尽管大多数用于操作数据结构的函数可以从多个线程并发地调用而没有任何问题。

第二个需要考虑的方面是允许真正的并发访问。在这个方面我没法提供太多的指南。相反,作为一个数据结构的设计者,需要问自己以下问题:

  • 是否可以限制锁的作用范围,以允许操作的某些部分在锁外执行?
  • 数据结构不同部分能否被不同的互斥锁保护?
  • 所有的操作需要同一级别的保护吗?
  • 是否可以对数据结构进行简单的修改,以增加并发访问的机会,并且不影响操作语义?

所有这些问题都基于一个思想:如何最小化必须的串行操作,并且使得真实的并发最大化?就数据结构而言,允许多线程并发的只读访问,而修改线程必须互斥访问的情况很普遍。这是通过使用像std::shared_mutex这样的结构来支持的。类似地,你很快就会看到,在串行线程尝试执行相同操作的同时,数据结构支持执行不同操作的线程并发地访问也很普遍。

最简单的线程安全数据结构,通常使用互斥锁来保护数据。尽管这样做存在一些问题,但就像你在第3章中看到的,确保一次只有一个线程访问数据结构相对比较简单。为了让你更容易设计线程安全的数据结构,我们将在本章继续研究这种基于锁的数据结构,并将无锁并发数据结构的设计留到第7章讨论。

6.2 基于锁的并发数据结构

设计基于锁的并发数据结构,都是为了确保在访问数据时锁住正确的互斥锁,并且持有锁的时间最短。对于只有一个互斥锁的数据结构来说,这很困难。你需要确保数据不能在互斥锁的保护之外被访问,并且接口中没有固有的竞争条件,就如第3章中看到的那样。如果使用不同的互斥锁来保护数据结构中不同的部分,问题会进一步恶化,如果操作需要锁住多个互斥锁时,现在也可能产生死锁。所以相比单一互斥锁的设计,使用多个互斥锁的数据结构需要更加小心。

在本节中,你将应用6.1.1节中的指南来设计一些简单的数据结构,通过使用互斥锁来保护数据。在每个例子中,都是在确保数据结构保持线程安全的前提下,找出更大并发的机会。

我们先来看看第3章中栈的实现,它是最简单的数据结构,且只使用了一个互斥锁。那么它是线程安全的吗?它离真正的并发访问有多远呢?

6.2.1 使用锁的线程安全栈

下面的清单复制了第3章中线程安全的栈。目的是编写一个类似于std::stack<>的线程安全的数据结构,它支持将数据项推入栈中并再次弹出它们。

b8a93aad4aef54cac742729d29365319.png

68e8cdc4af11208201b3b43243833d84.png

我们依次看下每条指南以及它们是如何应用在这里。

首先,如你所见,基本的线程安全是通过使用互斥锁m上的锁保护每个成员函数提供的。这将确保在任何时候只有一个线程在访问数据,因此只要每个成员函数保持不变量,就没有线程能看到被破坏的不变量。

其次,在empty()和pop()成员函数之间有潜在的竞争条件,不过代码会在pop()函数持有锁的时候,显式的查询栈是否为空,所以这里的竞争条件没有问题。通过直接返回弹出的数据项作为调用pop()的一部分,避免了分离的top()和pop()成员函数(std::stack<>类似)之间潜在的竞争条件。

然后,栈中也有一些潜在抛异常的地方。对互斥锁上锁可能会抛出异常,但这种情况不仅极其罕见的(这意味着互斥锁有问题,或者缺乏系统资源),而且它是每个成员函数的第一个操作。由于没有数据被修改,所以是安全的。解锁互斥锁不会失败,所以总是安全的,并且使用std::lock_guard<>确保了互斥锁不会一直处于上锁的状态。

对data.push()①的调用可能会抛出一个异常,只要拷贝/移动数据值抛出一个异常,或者可分配的内存不足。不管是哪种情况,std::stack<>都能保证是安全的,所以也没有问题。

在第一个重载的pop()中,代码本身可能会抛出一个empty_stack的异常②,但由于什么都没有修改,所以是安全的。创建res③可能会抛出一个异常,有几个方面的原因:对std::make_shared的调用,可能因为无法为新对象以及引用计数需要的内部数据分配出足够的内存而抛出异常,或者在拷贝/移动到新分配内存的时候,返回的数据项的拷贝构造或移动构造函数可能抛出异常。两种情况下,C++运行库和标准库会确保没有内存泄露,并且新创建的对象(如果有的话)会被正确的销毁。因为仍然没有对栈进行任何修改,所以也不会有问题。调用data.pop()④保证不会抛出异常,随后是返回结果,所以这个重载的pop()函数是异常安全的。

第二个重载的pop()类似,不过这次是在拷贝赋值或移动赋值时可能抛出异常⑤,而不是在构造新对象和std::shared_ptr实例时。再次,直到调用data.pop()⑥(pop仍然保证不会抛出异常)前,没有修改数据结构,所以这个函数也是异常安全的。

最后,empty()不会修改任何数据,所以也是异常安全的。

这里有几个可能导致死锁的机会,因为你在持有锁的时候调用了用户代码:数据项上的拷贝构造或移动构造(①,③)和拷贝赋值或移动赋值操作⑤,也可能是用户自定义的new操作符。如果这些函数或者调用了栈上的成员函数(而栈正在插入或移除数据项),或者需要任何类型的锁,而在调用栈成员函数时又持有了另一把锁,那么就有可能出现死锁。但明智的做法是要求栈的用户负责确保这一点;你不能期望在不拷贝或不为它分配内存的情况下将数据项添加到栈或从栈中删除。

由于所有成员函数都使用std::lock_guard<>保护数据,所以不管多少线程调用栈成员函数都是安全的。唯一不安全的成员函数是构造函数和析构函数,但这不是问题;对象只能被构造一次,也只能被销毁一次。调用一个不完全构造的对象或是部分销毁的对象的成员函数永远都不可取,不管并发与否。因此,用户必须确保其他线程直到栈完全构造才能访问它,,并且必须确保在栈对象销毁前,所有线程都已经停止访问栈。

尽管多个线程并发调用成员函数是安全的,但由于使用了锁,每次只有一个线程在栈数据结构中做一些工作。线程的串行化会潜在的限制应用程序的性能,因为这里会有严重的锁争用:当一个线程在等待锁时,它没有做任何有用的工作。同样,栈也没有提供什么方法等待添加一个数据项,所以如果线程需要等待时,它必须周期性地调用empty()或pop(),并且捕获empty_stack异常。如果这种场景是必须的,那这种栈实现就是个糟糕的选择,因为等待线程要么消耗宝贵的资源去检查数据,要么要求用户编写外部等待和通知的代码(例如,使用条件变量),这就使内部上锁没有必要,因而造成浪费。第4章中的队列展示了一种使用数据结构内部的条件变量将这种等待合并到数据结构本身的方法,接下来我们看一下这个。

6.2.2使用锁和条件变量的线程安全队列

清单6.2复制了第4章中的线程安全队列,就像栈是仿照std::stack<>一样,这个队列也是仿照了std::queue<>。再次,接口不同于标准容器适配器,因为实现的数据结构需要支持多线程并发访问。

5eaa30fc2c993da474deea3a679fe6a1.png

fd88e7308e626e99e267e0a4e51980be.png

除了在push()①中调用data_cond.notify_one(),以及wait_and_pop()②③外,清单6.2中队列的实现与6.1清单中的栈类似。两个重载的try_pop()几乎和清单6.1中一样,只是在队列为空时不抛异常,取而代之返回一个bool值表示是否检索到值或者一个NULL指针(对应返回指针的重载版本)如果没有值可以检索的话。这也是实现栈的一个有效方式。如果排除wait_and_pop()函数,对栈的分析在这里也同样适用。

新的wait_and_pop()函数解决了在栈中碰到的等待队列条目的问题;比起持续调用empty(),等待线程调用wait_and_pop()函数并且数据结构使用条件变量来处理等待。对data_cond.wait()的调用,直到队列中至少有一个元素时才会返回,所以不用担心会出现空队列的情况,并且数据仍然被互斥锁保护。因此,这些函数不会添加任何新的竞争条件或死锁的可能性,并且将支持不变量。

在异常安全性方面有一个细微的变化,当一个条目被推入队列时,如果有多个线程在等待,那么只有一个线程会被data_cond.notify_one()唤醒。但是,如果这个线程在wait_and_pop()中抛出一个异常,比如当构造新的std::shared_ptr<>对象④时,那么没有其他线程被唤醒。这种情况不可接受,调用可以替换成data_cond.notify_all(),它将唤醒所有的工作线程,代价就是大多线程发现队列依旧是空时,重新进入休眠状态。第二种替代方案是,有异常抛出的时,让wait_and_pop()函数调用notify_one(),从而让另一个线程可以去尝试检索存储的值。第三种替代方案是,将std::shared_ptr<>的初始化过程移到push()中,并且存储std::shared_ptr<>实例,而不是直接使用数据值。将std::shared_ptr<>从内部std::queue<>中拷出不会抛出异常,这样wait_and_pop()又是安全的了。下面的程序清单,就是基于这种思路修改的。

ccb552dff15d84b4ad9e552a58af6dd7.png

1b4154f6d2b2580233c9f9e3eca0b9c5.png

通过std::shared_ptr<>持有数据的影响比较直接:通过引用变量来接收新值的pop函数现在必须对存储的指针解引用①②;并且,在返回给调用者前,返回std::shared_ptr<>实例的pop函数可以从队列中检索它③④。

通过std::shared_ptr<>持有数据还有个好处:在push()⑤中分配新实例可以在锁外面完成,而在清单6.2中,只能在pop()持有锁时完成。因为内存分配是个典型的代价高昂的操作,这有利于队列的性能,因为它减少了持有互斥锁的时间,并允许其他线程同时在队列上执行操作。

如同栈示例,使用互斥锁来保护整个数据结构限制了该队列的并发支持;尽管在不同的成员函数中,队列上可能阻塞多个线程,但一次只能有一个线程开展工作。但是部分限制来自于实现中使用了std::queue<>;通过使用标准容器,你现在可以决定数据项是否受保护。通过控制数据结构的实现细节,你可以提供更细粒度的锁从而实现更高级别的并发。

6.2.3使用细粒度锁和条件变量的线程安全队列

在清单6.2和6.3中,有一个受保护的数据项(data_queue)和一个互斥锁。为了使用细粒度锁,需要查看队列内部的组成部分,并将一个互斥锁与每个不同的数据项关联起来。

最简单的队列是单链表,如图6.1所示。队列包含一个头指针,指向链表中的第一个项,然后每一项指向下一项。从队列中删除数据项,是用指向下一项的指针替换头指针,然后将之前头指针的数据返回。

数据项从队列的另一端添加到队列。为了做到这点,队列还有一个tail指针,它指向链表中的最后一项。新节点的添加是通过改变最后一项的next指针,让它指向新的节点,然后更新tail指针指向这个新的数据项。当链表为空时,头/尾指针都为NULL。

e78a90da0cc39cf8b8655a811c08c94c.png
图6.1 用单链表表示的队列

下面的清单显示了这个队列的简单实现,它基于清单6.2中队列接口的简化版本;只有一个try_pop()函数,没有wait_and_pop(),因为这个队列只支持单线程使用。

859bbeba6c3af62aaedd03dbf6bc6c90.png

bafa13a7143b60322c505d5400559c2a.png

首先,注意清单6.4中使用了std::unique_ptr<node>来管理节点,因为这能保证当不再需要它们的时候,它们(以及它们引用的数据)会自动删除,而不必使用显式的delete。这个所有权链的管理从head开始,tail是指向最后一个节点的裸指针,因为它需要引用std::unique_ptr<node>已经拥有的节点。

虽然这个实现在单线程环境工作的很好,但当在多线程下尝试使用细粒度锁时,有几个事情会带来麻烦。因为在给定的实现中有两个数据项(head①和tail②);原则上可以使用两个互斥锁来分别保护头和尾指针,但这样做会有几个问题。

最明显的问题就是push()可能同时修改head⑤和tail⑥,所以它必须锁住两个互斥锁。尽管很不幸,但这倒不算是太大的问题,因为锁住两个互斥锁是可能的。关键的问题是push()和pop()都能访问next指针指向的节点:push()更新tail->next④,然后try_pop()读取head->next③。如果队列中只有一个元素,那么head==tail,所以head->next和tail->next是同一个对象,并且这个对象需要保护。由于不同时读取head和tail的话,没法区分它们是否是同一个对象,你现在必须在push()和try_pop()中锁住同一个锁,所以,也没比以前好多少。那有什么办法摆脱这个困境吗?

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/550235.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

数据I/O流

文件输出流的应用。定义如下字符串&#xff1a;String str “12345abcdef#%&*软件工程”;编写程序将该字符串写入文件”data.txt”。package homework;import java.io.*;public class IO { public static void main(String[] args) throws IOException{ // TODO Auto-gene…

转学到斯坦福大学计算机专业,斯坦福大学转学申请条件有哪些?

斯坦福大学转学申请条件有哪些&#xff1f;据托普仕小编了解&#xff0c;斯坦福大学(Stanford University&#xff0c;简称Stanford)位于美国加州旧金山湾区南部的帕罗奥多市(PaloAlto)境内&#xff0c;临近世界著名高科技园区硅谷&#xff0c;是世界著名私立研究型大学。斯坦福…

计算机应用技术面试的礼仪和技巧,远程复试下,这些面试礼仪一定要注意!

已有高校官宣考研复试采取线上面试的形式&#xff0c;那么如何在远程面试中给导师留下礼仪得体的好印象呢&#xff1f;帮帮为大家准整理了线上复试礼仪&#xff0c;快来了解下吧~面试前期准备一、面试前做好面试设备技术检查。如果采取线上复试的形式&#xff0c;稳定的网络环境…

在网格中查找一个点的领域点

简介 在网格中查找这个点的领域节点。 代码 #include <iostream> #include <OpenMesh/Core/IO/MeshIO.hh> #include <OpenMesh/Core/Mesh/TriMesh_ArrayKernelT.hh> using namespace std; typedef OpenMesh::TriMesh_ArrayKernelT<> MyMesh; int main(…

查找一个顶点的一层领域边

简介 查找一个顶点的一层领域边 代码一 这个代码使用了太多的auto&#xff0c;其实不利于阅读&#xff0c;代码二&#xff0c;把auto更改了。 #include <iostream> #include <vector> // -------------------- OpenMesh using namespace std; #include <OpenMes…

html控制按钮里面的文字,有谁可以告诉我web网页制作中通过三个按钮控制页面上的一段文字放? 爱问知识人...

先下载jquery-1。2。6。pack。js&#xff0c;包含到文件中EnlargeFont-size:12pxSmallAndy Moor – Fake Awake (Eco mix) (Anjunabeats)Humate – Love Stimulation (Glenn Morrison & Bruce Aisher mix) (Poker FlatEnlargeFont-size:12pxSmallAndy Moor – Fake Awake (…

git两个账号切换_Git切换账号方法

Windows修改Git账号 打开控制面板(Win+s快捷键),输入:control 命令行:control 凭证管理器 使用[凭证管理器]修改git账号: 全局范围修改账号 运行git config --global选项:$ git config --global user.name "John Doe" $ git config --global user.email "j…

河海大学计算机学硕导师选择理由,研导师:河海大学统计学考研经验

原标题&#xff1a;研导师&#xff1a;河海大学统计学考研经验写给考研上河海大学的同学们&#xff0c;研导师为大家整理总结一下河海大学统计学考研经验&#xff0c;希望对你们有帮助。初试科目&#xff1a;①101 思想政治理论②201 英语一③616 数学分析④861 高等代数复试科…

查找一个顶点的一层领域面

简介 查找一个顶点的一层领域面 代码 #include <iostream> #include <vector> // -------------------- OpenMesh using namespace std; #include <OpenMesh/Core/IO/MeshIO.hh> #include <OpenMesh/Core/Mesh/TriMesh_ArrayKernelT.hh> #include <…

gv推了sweethearts_3HAC0373-1

3HAC0373-13HAC0373-13HAC0373-1-------------------------------------------------------------------------------------北上广不相信眼泪黑吉辽不相信喝醉江浙沪不相信邮费陕甘宁不相信水费京津翼不相信好肺福建宇创不相信货贵找我买产品不相信服务不到位&#xff01;&…

查找一条边的领域顶点 总觉得不完善

简介 查找一条边的领域顶点 代码 #include <iostream> #include <vector> #include <algorithm> // -------------------- OpenMesh using namespace std; #include <OpenMesh/Core/IO/MeshIO.hh> #include <OpenMesh/Core/Mesh/TriMesh_ArrayKerne…

计算机的应用数据处理,计算机的应用领域:数据处理(或信息处理)

计算机的应用领域:数据处理(或信息处理)发布时间&#xff1a;2008-07-14发布时间&#xff1a;2008-07-14 | 【打印】 【关闭】数据处理是指对各种数据进行收集、存储、整理、分类、统计、加工、利用、传播等一系列活动的统称。据统计&#xff0c;80&#xff05;以上的计算机主…

hiveserver2 和beeline_Hive-cli与Beeline的区别

Hive-cli与Beeline的区别hive-cli 是hive连接hivesever的命令行工具&#xff0c;从hive出生就一直存在&#xff0c;但随着hive功能的增强、bug的修复、版本升级&#xff0c;hive-cli结构的局限性跟不上hive的发展&#xff0c;如果强行更改就不能满足向下兼容&#xff0c;就出现…

交换系统可以在计算机网络应用吗,数据通信交换技术在计算机网络中的应用

【摘要】 本文主要针对于计算机网络中的数据通信交换技术构架进行全面的分析&#xff0c;要充分结合计算机通信的全新理念&#xff0c;对于电路进行交换和分组&#xff0c;从而能够进行技术上的交换。【关键词】 计算机网络 数据通信交换技术 应用随着现阶段的计算机网络不断的…

docker卸载mysql_mysql – 删除容器时docker volume会发生什么

在我们继续之前,我认为有两个概念需要解释. Docker镜像和docker容器.容器是由docker管理的基于docker镜像的运行进程.有两种方法可以创建图像&#xff1a;>您指定具有所有依赖项的Dockerfile,并使用docker build构建它.然后它保存在您的本地注册表中(或者您可以将其推送到中…

深入理解Asp.net MVC路由

深入理解Asp.net MVC路由 吴剑 2012-10-22 原创文章&#xff0c;转载必需注明出处&#xff1a;http://www.cnblogs.com/wu-jian/ 前言 从.Net Framework 1.0时代开始写WebForm&#xff0c;直到最近断断续续看到Razor的语法风格&#xff0c;然后搜了Asp.net MVC的一些介绍&#…

在网络上提供资源的计算机,在计算机网络中通常把提供并管理共享资源的计算机称为...

在计算机网络中通常把提供并管理共享资源的计算机称为服务器。在微机网络中&#xff0c;服务器是提供并管理共享资源的计算机。目前&#xff0c;网络中客户机/服务器(Client&#xff0f;Server)方式是典型的工作模式。由客户机(Client)系统向服务器发送操作请求&#xff0c;服务…

移动端实现文字轮播_移动端轮播图实现

1&#xff1a;HTML样式*{margin: 0;padding: 0;}html,body{height: 100%;overflow: hidden;}#wrap{height: 100%;overflow: hidden;}.carousel-wrap{position: relative;}.carousel-wrap > .list{list-style: none;overflow: hidden;position: absolute;}.carousel-wrap >…

jQuery模糊选择

属性字头选择器&#xff08;Attribute Contains Prefix Selector&#xff09; jQuery 属性字头选择器的使用格式是 jQuery(‘[attribute|value]‘) &#xff0c;例如 jQuery(‘[herflang|en]‘) 这句代码执行时将会选择文档中所有含有 herflang 属性&#xff0c;并且 herflang …

maya批量操作mel_MAYA对多个模型使用当前设置批量渲染并保存图片的MEL脚本

更新日志2018-10-23&#xff1a;添加了对文件名为定长数字(0000, 0001, 0002, ect.)的模型的支持&#xff1b;输出图片扩展名使用渲染设置中的扩展名。有时候需要对一组模型使用相同的材质和相同的渲染设置渲染并保存为图片&#xff0c;以往只能一个个手动导入、替换材质、渲染…