在 tbb::p arallel_for 中使用 tbb::queueing mutex 的简单示例程序无法编译

Simple example program that uses tbb::queueing mutex inside a tbb::parallel_for does not compile

本文关键字:tbb 简单 例程 编译 mutex 程序 arallel for queueing      更新时间:2023-10-16

这是我玩的一个玩具示例,用于学习如何使用TBB。Parallel::operator() 应该并行运行,但它有一个关键区域,一次只能由单个处理器访问,因此它打印的消息不会被打乱。我的问题是它无法编译,编译器消息对我并没有多大帮助。我做错了什么?

另外,这是否被认为是在parallel_for内实现互斥锁的正确方法?

#include <iostream>
#include <vector>
#include <cmath>
#include <tbb/tbb.h>
typedef tbb::queuing_mutex Mutex;
struct Parallel
{
    Mutex mutex;
    std::vector<int> * values;
    Parallel(std::vector<int> * values_) : values(values_) {}
    void operator()( tbb::blocked_range< unsigned int > & range ) const {
        for(unsigned int i = range.begin(); i < range.end(); ++i) {
            {
                Mutex::scoped_lock lock(mutex);
                if ( (*values)[i] > 40)
                {
                    std::cout << "NO SCRAMBLING ALLOWED!n";
                    std::cout.flush();
                }
                lock.release();
            }
        }
    }
};
int main() {
    const int someValue = 20000;
    std::vector<int> data(someValue);
    for(int i = 0; i < someValue; ++i) {
        data[i] = std::rand();
    }
    tbb::parallel_for( tbb::blocked_range<unsigned int>(0, data.size()),
                       Parallel(&data) );
}

波纹管是错误消息:

/path-to-src/main.cpp: In member function 'void Parallel::operator()(tbb::blocked_range<unsigned int>&) const':
/path-to-src/main.cpp:20:46: error: no matching function for call to 'tbb::queuing_mutex::scoped_lock::scoped_lock(const Mutex&)'
/path-to-src/main.cpp:20:46: note: candidates are:
In file included from /usr/include/tbb/tbb.h:65:0,
                 from /path-to-src/main.cpp:4:
/usr/include/tbb/queuing_mutex.h:80:9: note: tbb::queuing_mutex::scoped_lock::scoped_lock(tbb::queuing_mutex&)
/usr/include/tbb/queuing_mutex.h:80:9: note:   no known conversion for argument 1 from 'const Mutex {aka const tbb::queuing_mutex}' to 'tbb::queuing_mutex&'
/usr/include/tbb/queuing_mutex.h:77:9: note: tbb::queuing_mutex::scoped_lock::scoped_lock()
/usr/include/tbb/queuing_mutex.h:77:9: note:   candidate expects 0 arguments, 1 provided
/usr/include/tbb/queuing_mutex.h:66:11: note: tbb::queuing_mutex::scoped_lock::scoped_lock(const tbb::queuing_mutex::scoped_lock&)
/usr/include/tbb/queuing_mutex.h:66:11: note:   no known conversion for argument 1 from 'const Mutex {aka const tbb::queuing_mutex}' to 'const tbb::queuing_mutex::scoped_lock&'

tbb::p arallel_for 被设计为不编译所写的示例。 它可以防止代码中的错误。 tbb::p arallel_for 的范围形式按值将函子复制到多个任务对象中。 因此,每个任务都有一个单独的互斥锁副本,因此互斥锁不会提供预期的同步。

修复代码的方法是在结构 Parallel 外部声明互斥锁,并通过指针传递它,类似于"值"的指针。

一切都是正确的,除了必须mutable mutex才能在锁中使用。此外,不需要释放锁。

typedef tbb::queuing_mutex Mutex;
struct Parallel
{
    mutable Mutex mutex;              // mutable so that we can use it in const member
    std::vector<int> * values;
    Parallel(std::vector<int> * values_) : values(values_) {}
    // note: this is a const member
    void operator()( tbb::blocked_range< unsigned int > & range ) const
    {
        for(unsigned int i = range.begin(); i < range.end(); ++i)
        {
            Mutex::scoped_lock lock(mutex);       // requires non-const argument
            if ( (*values)[i] > 40)
            {
                std::cout << "NO SCRAMBLING ALLOWED!n";
                std::cout.flush();
            }
            // no need to release the lock: the destructor will do that for you
        }
    }
};

或者,当然,您可以使成员函数成为非常量函数。