当前位置：首页 > news >正文

C++并发编程-17. 线程安全的链表

news 2025/8/30 8:37:32

简介

前文介绍了如何基于锁实现线程安全的栈和队列结构，以及实现线程安全的查找表，但是我们上次的查找表是基于list实现的，对于锁的精度控制的不是很准确，提及了接下来会介绍精细控制的链表，用来替换查找表中的链表。这一节我们就介绍如何通过锁控制链表访问的精度。

链表

在这里插入图片描述

源码实现

我们先定义一个基本的链表节点

template<typname T>
struct node
{std::mutex m;std::shared_ptr<T> data;std::unique_ptr<node> next;node() :next(){}   // 这个是不需要的: std::unique_ptr 的默认构造函数就会将其初始化为 nullptr。node(T const& value) :data(std::make_shared<T>(value)){}
};

1 data为智能指针,存储的是T类型的数据域。
2 next为一个unique类型的智能指针，存储的是下一个节点的地址。
3 m 为mutex，控制多线程访问的安全性。我们将mutex分别独立到各个节点中保证锁的精度问题。

next指针设计为unique_ptr的用法


template<typename T>
class threadsafe_list
{struct node{std::mutex m;std::shared_ptr<T> data;std::unique_ptr<node> next;node() :next(){}node(T const& value) :data(std::make_shared<T>(value)){}};node head;
public:threadsafe_list(){}~threadsafe_list(){}threadsafe_list(threadsafe_list const& other) = delete;threadsafe_list& operator=(threadsafe_list const& other) = delete;
}

我们将拷贝构造和拷贝赋值函数删除。然后链表中初始状态包含了一个头节点。
接下来我们实现析构函数，我们期望析构函数能够从头到尾的删除元素，所以先实现一个删除函数


template<typename Predicate>
void remove_if(Predicate p)
{node* current = &head;std::unique_lock<std::mutex> lk(head.m);while (node* const next = current->next.get()){std::unique_lock<std::mutex> next_lk(next->m);if (p(*next->data)){std::unique_ptr<node> old_next = std::move(current->next);current->next = std::move(next->next);next_lk.unlock();}else{lk.unlock();current = next;lk = std::move(next_lk);}}
}

上面的函数中，我们先取头部节点作为当前节点，然后将将当前节点加锁，只有当前节点加锁了才能访问其next指针。我们在获取next节点后也要对其加锁，这么做的好处就是保证无论是删除还是添加都从当前节点开始依次对其next节点加锁，既能保证互斥也能维护同一顺序防止死锁。

如果next节点的数据域满足谓词p的规则，则将next节点的移动赋值给old_next，随着局部作用域结束，old_next会被释放，也就达到了析构要删除节点的目的。
然后我们将next节点的next值(也就是要删除节点的下一个节点)赋值给当前节点的next指针，达到链接删除节点的下一个节点的目的。

但是我们要操作接下来的节点就需要继续锁住下一个节点，达到互斥控制的目的，锁住下个节点是通过while循环不断迭代实现的，通过next_lk达到了锁住下一个节点的目的。

如果下一个节点不满足我们p谓词函数的条件，则需要解锁当前节点，将下一个节点赋值给当前节点，并且将下一个节点的锁移动给当前节点。

如下图演示了current, next以及next->next节点之间的关系。

在这里插入图片描述

接下来我们实现析构函数

~threadsafe_list()
{remove_if([](node const&) {return true; });
}

析构函数调用remove_if,p谓词就是一个lambda表达式，返回true。

头节点的插入工作也比较简答，将新节点的next指针赋值成头部节点的next指针指向的数据。然后将新节点赋值给头部节点的next指针即可.


void push_front(T const& value)
{std::unique_ptr<node> new_node(new node(value));std::lock_guard<std::mutex> lk(head.m);new_node->next = std::move(head.next);head.next = std::move(new_node);
}

在这里插入图片描述
接下来是根据谓词p查找对应的节点数据

template<typename Predicate>std::shared_ptr<T> find_first_if(Predicate p){node* current = &head;std::unique_lock<std::mutex> lk(head.m);while (node* const next = current->next.get()){std::unique_lock<std::mutex> next_lk(next->m);lk.unlock();if (p(*next->data)){return next->data;}current = next;lk = std::move(next_lk);}return std::shared_ptr<T>();}

find_first_if查找到第一个满足条件的节点就返回。查找的步骤也是先对当前节点加锁，判断当前节点的next节点是否为空，不为空则获取下一个节点为next，我们对next加锁，依次锁住当前节点和下一个节点，判断下一个节点是否满足谓词p,如果满足条件则返回next节点的数据即可，更新下一个节点为当前节点，下一个节点的锁next_lk更新给lk，以此锁住新的当前节点，再依次类推遍历直到找到满足条件的节点为止。

那么便利所有节点的接口就可以根据上述思路实现了


template<typename Function>
void for_each(Function f)
{node* current = &head;std::unique_lock<std::mutex> lk(head.m);while (node* const next = current->next.get()){std::unique_lock<std::mutex> next_lk(next->m);lk.unlock();f(*next->data);current = next;lk = std::move(next_lk);}
}

如果我们按照如下测试函数测试上面的接口，


std::set<int> removeSet;
void TestThreadSafeList()
{threadsafe_list<MyClass> thread_safe_list;std::thread t1([&](){for(unsigned int i = 0; i < 100; i++){MyClass mc(i);thread_safe_list.push_front(mc);}});std::thread t2([&](){for (unsigned int i = 0; i < 100; ){auto find_res = thread_safe_list.find_first_if([&]( auto & mc){return mc.GetData() == i;});if(find_res == nullptr){std::this_thread::sleep_for(std::chrono::milliseconds(10));continue;}removeSet.insert(i);i++;}});t1.join();t2.join();
}

尾部插入

C++ 并发编程中提到了留给读者去实现尾部插入，我们实现尾部插入需要维护一个尾部节点，这个尾部节点我们初始的时候指向head，当插入元素后，尾部节点指向了最后一个节点的地址。

考虑有多个线程并发进行尾部插入，所以要让这些线程互斥，我们需要一个互斥量last_ptr_mtx保证线程穿行，last_node_ptr表示正在操作尾部节点，以此来让多个线程并发操作尾部节点时达到互斥。比如我们的代码可以实现如下


void push_back(T const& value) {//防止于push_head同时进行//并且保证头部或者删除节点更新last_node_ptr唯一, 所以同时加锁std::unique_ptr<node_d> new_node(new node_d(value));std::unique_lock<std::mutex> lk(last_node_ptr->m);std::unique_lock<std::mutex> last_lk(last_ptr_mtx);//原来的最后节点的下一个节点指向新生成的节点last_node_ptr->next = std::move(new_node);//将最后一个节点后移last_node_ptr = last_node_ptr->next.get();
}

头部插入我们也作一些修改


void push_front(T const& value)
{std::unique_ptr<node_d> new_node(new node_d(value));std::lock_guard<std::mutex> lk(head.m);new_node->next = std::move(head.next);head.next = std::move(new_node);//更新最后一个节点if (head.next->next == nullptr) {std::lock_guard<std::mutex> last_lk(last_ptr_mtx);last_node_ptr = head.next.get();}
}

push_front函数将新节点放入head节点的后边，如果head节点后面没有节点，此时插入新节点后，新的节点就变为尾部节点了。所以判断新插入节点的next为nullptr，那么这个节点就是最后节点，所以要对last_ptr_mtx加锁，更新last_node_ptr值。

我们考虑一下，如果一个线程push_back和另一个线程push_front是否会出现问题？其实两个线程资源竞争的时候仅在队列为空的时候，这时无论push_back还是push_front都会操作head节点，以及更新_last_node_ptr值，但是我们的顺序是先锁住前一个节点，再将当前节点更新为前一个节点的下一个节点。那么从这个角度来说，push_back和push_front不会有线程安全问题。

接下来实现删除操作


template <typename Predicate>
void remove_if(Predicate p)
{node_d *current = &head;std::unique_lock<std::mutex> lk(head.m);while (node_d *const next = current->next.get()){std::unique_lock<std::mutex> next_lk(next->m);if (p(*next->data)){std::unique_ptr<node_d> old_next = std::move(current->next);current->next = std::move(next->next);// 判断删除的是否为最后一个节点if (current->next == nullptr){std::lock_guard<std::mutex> last_lk(last_ptr_mtx);last_node_ptr = &current;}next_lk.unlock();}else{lk.unlock();current = next;lk = std::move(next_lk);}}
}
template <typename Predicate>
bool remove_first(Predicate p)
{node_d *current = &head;std::unique_lock<std::mutex> lk(head.m);while (node_d *const next = current->next.get()){std::unique_lock<std::mutex> next_lk(next->m);if (p(*next->data)){std::unique_ptr<node_d> old_next = std::move(current->next);current->next = std::move(next->next);// 判断删除的是否为最后一个节点if (current->next == nullptr){std::lock_guard<std::mutex> last_lk(last_ptr_mtx);last_node_ptr = &current;}next_lk.unlock();return true;}lk.unlock();current = next;lk = std::move(next_lk);}return false;
}

在这里插入图片描述

测试

我们可以实现如下函数测试，启动三个线程，
线程1执行push_front将0到20000放入链表。
线程2执行push_back将20000到40000的数据放入链表。
线程3执行删除操作，将数据从0到40000删除。
最后我们打印链表为空，验证准确性。


void MultiThreadPush()
{double_push_list<MyClass> thread_safe_list;std::thread t1([&](){for (int i = 0; i < 20000; i++){MyClass mc(i);thread_safe_list.push_front(mc);std::cout << "push front " << i << " success" << std::endl;}});std::thread t2([&](){for (int i = 20000; i < 40000; i++){MyClass mc(i);thread_safe_list.push_back(mc);std::cout << "push back " << i << " success" << std::endl;}});std::thread t3([&](){for(int i = 0; i < 40000; ){bool rmv_res = thread_safe_list.remove_first([&](const MyClass& mc){return mc.GetData() == i;});if(!rmv_res){std::this_thread::sleep_for(std::chrono::milliseconds(10));continue;}i++;}});t1.join();t2.join();t3.join();std::cout << "begin for each print...." << std::endl;thread_safe_list.for_each([](const MyClass& mc){std::cout << "for each print " << mc << std::endl;});std::cout << "end for each print...." << std::endl;
}