1。实现通用（可重用）阻塞队列

Question

考虑下一段代码。

#include <iostream>
#include <vector>
#include <map>

using namespace std;

map<pthread_t,vector<int>> map_vec;
vector<pair<pthread_t ,int>> how_much_and_where;

pthread_cond_t CV = PTHREAD_COND_INITIALIZER;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void* writer(void* args)
{
    while(*some condition*)
    {
        int howMuchPush = (rand() % 5) + 1;
        for (int i = 0; i < howMuchPush; ++i)
        {
            // WRITE
            map_vec[pthread_self()].push_back(rand() % 10);
        }

        how_much_and_where.push_back(make_pair(pthread_self(), howMuchPush));
        // Wake up the reader - there's something to read.
        pthread_cond_signal(&CV);
    }

    cout << "writer thread: " <<  pthread_self()  << endl;
    return nullptr;
}

void* reader(void* args) {

    pair<pthread_t, int> to_do;

    pthread_cond_wait(&CV, &mutex);
    while(*what condition??*)
    {
        to_do = how_much_and_where.front();
        how_much_and_where.erase(how_much_and_where.begin());

        // READ
        cout << to_do.first << " wrote " << endl;
        for (int i = 0; i < to_do.second; i++)
        {
            cout << map_vec[to_do.first][i] << endl;
        }

        // Done reading. Go to sleep.
        pthread_cond_wait(&CV, &mutex);
    }

    return nullptr;
}

//----------------------------------------------------------------------------//


int main()
{
    pthread_t threads[4];

    // Writers
    pthread_create(&threads[0], nullptr, writer, nullptr);
    pthread_create(&threads[1], nullptr, writer, nullptr);
    pthread_create(&threads[2], nullptr, writer, nullptr);
    // reader
    pthread_create(&threads[4], nullptr, reader, nullptr);


    pthread_join(threads[0], nullptr);
    pthread_join(threads[1], nullptr);
    pthread_join(threads[2], nullptr);
    pthread_join(threads[3], nullptr);

    return 0;
}

背景

每个作家都有自己的容器，可以将数据写入其中。并且假设有一个读者知道作者何时完成数据块的编写，以及该块的大小（读者有一个容器，编写者将这些数据写入其中）。

问题

显然我应该锁定共享来源 - map_vec和how_much_and_where。但我不明白，在这种情况下，是 - efficent 在这个资源上定位锁的方法（例如，在for循环中的每个map_vec之前锁定push_back？或者可以在for循环之前锁定它 - 但是isn'推入队列是一种浪费而漫长的操作，可能会导致读者等待太多？）/ 安全定位锁定的方法，以防止死锁。
我不明白应该是什么样的正确条件 while循环 - 我认为可能只要how_much_and_where 并非空洞，但显然是读者在作家添加一对之前清空how_much_and_where的情况可能会失败。
假设一位作家在读者忙着读一些信号时发出了信号数据。据我所知，这个信号将被忽略，而且写作者推动的对，可能永远不会处理（信号的#of 收到并处理＆lt; #of对的成对\任务）。我怎么能够防止出现这种情况？

Answer 1

为简化起见，我们应该从实现中解耦通用/可重用生产者 - 消费者队列（或简单地＆＃34;阻塞队列＆＃34;正如我通常所说的那样）的实现实际的生产者和消费者（不是通用/可重复使用的 - 它们是您的计划特有的）。这将使代码从设计角度更加清晰和易于管理。

1。实现通用（可重用）阻塞队列

首先你应该实现一个＆＃34;阻塞队列＆＃34;可以管理多个多个生产者和一个消费者。此阻塞队列将包含处理多线程/同步的代码，并且消费者线程可以使用它来从多个生产者线程接收项目。这样的阻塞队列可以通过许多不同的方式实现（不仅使用互斥锁+ cond组合），具体取决于您是否拥有1个或更多的使用者以及1个或更多个生成器（有时可以引入不同类型的[特定于平台]优化）当你只有1个消费者或1个生产者时）。如果需要，使用mutex + cond对的最简单的队列实现会自动处理多个生产者和多个消费者。

队列只有一个内部容器（它可以是一个非线程安全的std :: queue，vector或list）来保存这些项以及一个相关的互斥锁+ cond对，它保护这个容器免受多个线程的并发访问。队列必须提供两个操作：

produce(item)：将一个项目放入队列并立即返回。伪代码如下所示：
1. lock mutex
2. 将新项目添加到内部容器
3. 通过cond发出信号
4. 解锁互斥锁
5. 返回
wait_and_get()：如果队列中至少有一个项目，那么它将删除最旧的项目并立即返回，否则等待util有人将项目放入具有produce(item)的队列操作
1. lock mutex
2. 如果容器为空：
  1. 等待cond（pthread_cond_wait）
3. 删除最旧的项目
4. 解锁互斥锁
5. 返回已删除的最旧项目

2。使用阻塞队列

实现程序

既然你有一个可重用的阻塞队列来构建，我们就可以实现生成器和使用者以及控制事物的主线程。

制片人

他们只是将一堆项目放入队列（通过调用阻塞队列的produce(item)）然后退出。如果项目的生成不是计算量很大，或者不需要等待大量IO操作，那么这将在您的示例程序中非常快速地完成。为了模拟线程执行繁重工作的真实场景，您可以执行以下操作：在每个生成器线程上，您只将X（比如说5个）项目放入队列，但在每个项目之间等待一个随机的秒数让＆＃ 39; s说1到3秒。请注意，经过一段时间后，生产者线程在完成工作后自行退出。

消费者

消费者有一个无限循环，在这个循环中，它总是从wait_and_get()的队列中获取下一个项目并以某种方式处理它。如果它是表示处理结束的特殊项目，那么它会突破无限循环而不是处理项目。伪代码：

无限循环：
1. 从队列中获取下一个项目（wait_and_get()）
2. 如果这是表示处理结束的特殊项目，那么就会突破循环......
3. 否则让我们处理此项目

主线程

以任何顺序启动所有线程，包括生产者和消费者。
等待所有生产者线程完成（pthread_join()）。

请记住，生产者在没有外部刺激的情况下经过一段时间后自己完成并退出。当您完成所有生成器的连接时，这意味着每个生产者都已退出，因此没有人会再次调用队列的produce(item)操作。但是，队列可能仍然有未经处理的项目，消费者仍然可以处理这些项目。
将最后一个特殊的＆＃34;处理结束＆＃34;项目到消费者的队列。

当消费者完成处理生产者生成的最后一个项目时，它仍然会向队列询问wait_and_get()的下一个项目 - 这可能会因为等待下一个永不到达的项目而导致死锁。为了在主线程上提供帮助，我们将最后一个特殊项目放入队列，以表示消费者的处理结束。请记住，我们的消费者实现包含对此特殊项目的检查，以确定何时完成处理。重要的是，只有在生成器完成后（加入它们之后）才能将这个特殊项放在主线程的队列中！

如果您有多个消费者，那么更容易放置多个特殊的＆＃34;处理结束＆＃34;队列中的项目（每个消费者1个）比使队列更智能，能够处理多个消费者只有1＆＃34;处理结束＆＃34;项目。由于主线程协调整个事物（线程创建，线程连接等），它确切地知道消费者的数量，因此很容易将相同数量的＆＃34;处理结束＆＃34;物品到队列。
等待消费者线程通过加入来终止。

在将处理结束特殊项目放入队列之后，我们等待消费者线程处理剩余的项目（由生产者生成）以及我们的最后一个特殊项目（由主＆＃34;协调员生成＆＃ 34;线程）要求消费者完成。我们在pthread_join()的主线程上等待消费者线程。

附加说明：

在我的线程系统实现中，阻塞队列的项目通常是指针 - 指向＆＃34;作业＆＃34;必须执行/处理的对象。（您可以将阻塞队列实现为模板类，在这种情况下，阻塞队列的用户可以指定项的类型）。在我的情况下，很容易将特殊的＆＃34;处理结束＆＃34;项目到消费者的队列：我通常使用一个简单的NULL作业指针来实现此目的。在您的情况下，您必须找出您在队列中可以使用哪种特殊值来表示消费者的处理结束。
制作人可能有自己的队列和一大堆其他数据结构，他们可以使用这些数据结构生成项目＆＃34;但消费者并不关心这些数据结构。消费者只关心通过其自己的阻塞队列接收的单个项目。如果生产者需要来自消费者的东西，那么它必须通过队列向消费者发送项目（＆＃34;作业＆＃34;）。阻塞队列实例属于使用者线程 - 它在任意线程和使用者线程之间提供单向通信通道。即使是消费者线程本身也可以将一个项目放入自己的队列中（在某些情况下这很有用）。
pthread_cond_wait文档说这个函数可以在没有实际信号的情况下醒来（虽然我从来没有见过这个函数在我生命中虚假唤醒造成的一个错误）。为了解决这个问题，代码的if container is empty then pthread_cond_wait部分应该被替换为while the container is empty pthread_cond_wait但是，这个虚假的唤醒事件可能是一个只在某些架构上存在的具有线程原语的特定linux实现的lochness怪物，所以你的代码可能会在桌面计算机上运行而不关心这个问题。

单个读者多个带有pthread和锁定且没有提升的编写器

1 个答案:

1。实现通用（可重用）阻塞队列

2。使用阻塞队列

制片人

消费者

主线程

附加说明：