From cf043a785ac9357e8f1283ea9e1496261af2b1a5 Mon Sep 17 00:00:00 2001 From: Jarek Kobus Date: Fri, 2 Oct 2020 19:24:38 +0200 Subject: QtConcurrent: Integrate runWithPromise into run Change-Id: I6eb95aa66ff847e8bb9aac348fded3a5d55015b6 Reviewed-by: Paul Wicking Reviewed-by: Sona Kurazyan --- .../code/src_concurrent_qtconcurrentrun.cpp | 14 +- src/concurrent/doc/src/qtconcurrent-index.qdoc | 7 +- src/concurrent/qtconcurrentrun.cpp | 148 ++++++++------------- src/concurrent/qtconcurrentrun.h | 50 +++---- src/concurrent/qtconcurrentstoredfunctioncall.h | 81 +++++++++-- 5 files changed, 153 insertions(+), 147 deletions(-) (limited to 'src/concurrent') diff --git a/src/concurrent/doc/snippets/code/src_concurrent_qtconcurrentrun.cpp b/src/concurrent/doc/snippets/code/src_concurrent_qtconcurrentrun.cpp index 60d276cde6..bf39119c51 100644 --- a/src/concurrent/doc/snippets/code/src_concurrent_qtconcurrentrun.cpp +++ b/src/concurrent/doc/snippets/code/src_concurrent_qtconcurrentrun.cpp @@ -147,7 +147,7 @@ QtConcurrent::run(&o, 42).waitForFinished(); // compilation error //! [9] extern void aFunction(QPromise &promise); -QFuture future = QtConcurrent::runWithPromise(aFunction); +QFuture future = QtConcurrent::run(aFunction); //! [9] //! [10] @@ -156,7 +156,7 @@ extern void aFunction(QPromise &promise, int arg1, const QString &arg2); int integer = ...; QString string = ...; -QFuture future = QtConcurrent::runWithPromise(aFunction, integer, string); +QFuture future = QtConcurrent::run(aFunction, integer, string); //! [10] //! [11] @@ -166,7 +166,7 @@ void helloWorldFunction(QPromise &promise) promise.addResult("world"); } -QFuture future = QtConcurrent::runWithPromise(helloWorldFunction); +QFuture future = QtConcurrent::run(helloWorldFunction); ... QList results = future.results(); //! [11] @@ -185,7 +185,7 @@ void aFunction(QPromise &promise) } } -QFuture future = QtConcurrent::runWithPromise(aFunction); +QFuture future = QtConcurrent::run(aFunction); ... // user pressed a pause button after 10 seconds future.suspend(); @@ -216,7 +216,7 @@ QObject::connect(&watcher, &QFutureWatcher::progressValueChanged, [](int progres ... ; // update GUI with a progress qDebug() << "current progress:" << progress; }); -watcher.setFuture(QtConcurrent::runWithPromise(aFunction)); +watcher.setFuture(QtConcurrent::run(aFunction)); //! [13] //! [14] @@ -226,7 +226,7 @@ struct Functor { }; Functor f; -runWithPromise(f); // this will select the 2nd overload -// runWithPromise(f); // error, both candidate overloads potentially match +run(f); // this will select the 2nd overload +// run(f); // error, both candidate overloads potentially match //! [14] diff --git a/src/concurrent/doc/src/qtconcurrent-index.qdoc b/src/concurrent/doc/src/qtconcurrent-index.qdoc index f9b6375b4e..8507d77f9d 100644 --- a/src/concurrent/doc/src/qtconcurrent-index.qdoc +++ b/src/concurrent/doc/src/qtconcurrent-index.qdoc @@ -81,15 +81,10 @@ folded into a single result. \endlist - \li \l {Concurrent Run and Run With Promise} + \li \l {Concurrent Run} \list \li \l {QtConcurrent::run}{QtConcurrent::run()} runs a function in another thread. - \li \l {QtConcurrent::runWithPromise}{QtConcurrent::runWithPromise()} - is like run(), except that the function to run accepts additional - argument of QPromise type that enables more control over the function - execution, like suspending or canceling the execution when requested, - progress reporting or reporting multiple results. \endlist \li \l {Concurrent Task} diff --git a/src/concurrent/qtconcurrentrun.cpp b/src/concurrent/qtconcurrentrun.cpp index fecbb484ff..978bc8cd8d 100644 --- a/src/concurrent/qtconcurrentrun.cpp +++ b/src/concurrent/qtconcurrentrun.cpp @@ -39,22 +39,25 @@ /*! \page qtconcurrentrun.html - \title Concurrent Run and Run With Promise + \title Concurrent Run \ingroup thread - The QtConcurrent::run() and QtConcurrent::runWithPromise() - functions run a function in a separate thread. + The QtConcurrent::run() function runs a function in a separate thread. The return value of the function is made available through the QFuture API. - The function passed to QtConcurrent::run() is able to report merely - a single computation result to its caller, while the function passed to - QtConcurrent::runWithPromise() can make use of the additional + + QtConcurrent::run() is an overloaded method. You can think of these overloads as slightly + different \e modes. + In \l {Concurrent Run (basic mode)} {basic mode}, the function passed to QtConcurrent::run() + is able to report merely a single computation result to its caller. + In \l {Concurrent Run With Promise} {run with promise mode}, the function passed to + QtConcurrent::run() can make use of the additional QPromise API, which enables multiple result reporting, progress reporting, suspending the computation when requested by the caller, or stopping the computation on the caller's demand. - These functions are part of the Qt Concurrent framework. + This function is a part of the Qt Concurrent framework. - \section1 Concurrent Run + \section1 Concurrent Run (basic mode) The function passed to QtConcurrent::run() may report the result through its return value. @@ -65,7 +68,7 @@ \snippet code/src_concurrent_qtconcurrentrun.cpp 0 - This will run \e aFunction in a separate thread obtained from the default + This will run \c aFunction in a separate thread obtained from the default QThreadPool. You can use the QFuture and QFutureWatcher classes to monitor the status of the function. @@ -135,8 +138,8 @@ \section1 Concurrent Run With Promise - The QtConcurrent::runWithPromise() enables more control - for the running task comparing to QtConcurrent::run(). + The \e {Run With Promise} mode enables more control for the running + task compared to \e basic mode of QtConcurrent::run(). It allows progress reporting of the running task, reporting multiple results, suspending the execution if it was requested, or canceling the task on caller's @@ -144,16 +147,16 @@ \section2 The mandatory QPromise argument - The function passed to QtConcurrent::runWithPromise() is expected - to have an additional argument of \e {QPromise &} type, where + The function passed to QtConcurrent::run() in \e {Run With Promise} mode is expected + to have an additional argument of \c {QPromise &} type, where T is the type of the computation result (it should match the type T of QFuture returned by the QtConcurrent::runWithPromise()), like e.g.: \snippet code/src_concurrent_qtconcurrentrun.cpp 9 - The \e promise argument is instantiated inside the - QtConcurrent::runWithPromise() function, and its reference - is passed to the invoked \e aFunction, so the user + The \c promise argument is instantiated inside the + QtConcurrent::run() function, and its reference + is passed to the invoked \c aFunction, so the user doesn't need to instantiate it by himself, nor pass it explicitly when calling QtConcurrent::runWithPromise(). @@ -164,8 +167,8 @@ \section2 Reporting results - In contrast to QtConcurrent::run(), the function passed to - QtConcurrent::runWithPromise() is expected to always return void type. + In contrast to \e basic mode of QtConcurrent::run(), the function passed to + QtConcurrent::run() in \e {Run With Promise} mode is expected to always return void type. Result reporting is done through the additional argument of QPromise type. It also enables multiple result reporting, like: @@ -177,20 +180,20 @@ \snippet code/src_concurrent_qtconcurrentrun.cpp 12 - The call to \e future.suspend() requests the running task to + The call to \c future.suspend() requests the running task to hold its execution. After calling this method, the running task - will suspend after the next call to \e promise.suspendIfRequested() + will suspend after the next call to \c promise.suspendIfRequested() in its iteration loop. In this case the running task will - block on a call to \e promise.suspendIfRequested(). The blocked - call will unblock after the \e future.resume() is called. + block on a call to \c promise.suspendIfRequested(). The blocked + call will unblock after the \c future.resume() is called. Note, that internally suspendIfRequested() uses wait condition in order to unblock, so the running thread goes into an idle state instead of wasting its resources when blocked in order to periodically check if the resume request came from the caller's thread. - The call to \e future.cancel() from the last line causes that the next - call to \e promise.isCanceled() will return \c true and - \e aFunction will return immediately without any further result reporting. + The call to \c future.cancel() from the last line causes that the next + call to \c promise.isCanceled() will return \c true and + \c aFunction will return immediately without any further result reporting. \section2 Progress reporting @@ -199,17 +202,17 @@ \snippet code/src_concurrent_qtconcurrentrun.cpp 13 - The caller installs the \e QFutureWatcher for the \e QFuture - returned by QtConcurrent::runWithPromise() in order to - connect to its \e progressValueChanged() signal and update + The caller installs the \c QFutureWatcher for the \c QFuture + returned by QtConcurrent::run() in order to + connect to its \c progressValueChanged() signal and update e.g. the graphical user interface accordingly. \section2 Invoking functions with overloaded operator()() - By default, QtConcurrent::runWithPromise() doesn't support functors with - overloaded operator()(). In case of overloaded functors the user - needs to explicitly specify the result type - as a template parameter passed to runWithPromise, like: + By default, QtConcurrent::run() doesn't support functors with + overloaded operator()() in \e {Run With Promise} mode. In case of overloaded + functors the user needs to explicitly specify the result type + as a template parameter passed to QtConcurrent::run(), like: \snippet code/src_concurrent_qtconcurrentrun.cpp 14 */ @@ -235,81 +238,38 @@ QThreadPool. Note that \a function may not run immediately; \a function will only be run once a thread becomes available. - T is the same type as the return value of \a function. Non-void return - values can be accessed via the QFuture::result() function. +//! [run-description] + In \l {Concurrent Run (basic mode)} {basic mode} T is the same type as the return value + of \a function. Non-void return values can be accessed via the QFuture::result() function. - \note The QFuture returned can only be used to query for the - running/finished status and the return value of the function. In particular, + In \l {Concurrent Run (basic mode)} {basic mode} the QFuture returned can only be used to + query for the running/finished status and the return value of the function. In particular, canceling or pausing can be issued only if the computations behind the future has not been started. - \sa {Concurrent Run} -*/ - -/*! - \since 5.4 - \fn QFuture QtConcurrent::run(QThreadPool *pool, Function function, ...); - - Runs \a function in a separate thread. The thread is taken from the - QThreadPool \a pool. Note that \a function may not run immediately; \a function - will only be run once a thread becomes available. - - T is the same type as the return value of \a function. Non-void return - values can be accessed via the QFuture::result() function. - - \note The QFuture returned can only be used to query for the - running/finished status and the return value of the function. In particular, - canceling or pausing can be issued only if the computations behind the future - has not been started. - - \sa {Concurrent Run} -*/ - -/*! - \since 6.0 - \fn QFuture QtConcurrent::runWithPromise(Function function, ...); - - Equivalent to - \code - QtConcurrent::runWithPromise(QThreadPool::globalInstance(), function, ...); - \endcode - - Runs \a function in a separate thread. The thread is taken from the global - QThreadPool. Note that \a function may not run immediately; \a function - will only be run once a thread becomes available. - - The \a function is expected to return void - and must take an additional argument of \e {QPromise &} type, + In \l {Concurrent Run With Promise} {run with promise mode}, the \a function is expected + to return void and must take an additional argument of \c {QPromise &} type, placed as a first argument in function's argument list. T is the result type - and it is the same for the returned \e QFuture. + and it is the same for the returned \c QFuture. - Similar to QtConcurrent::run(), the QFuture returned can be used to query for the - running/finished status and the value reported by the function. In addition, - it may be used for suspending or canceling the running task, fetching - multiple results from the called /a function or monitoring progress - reported by the \a function. + In \l {Concurrent Run With Promise} {run with promise mode}, similar to \e basic mode, the + QFuture returned can be used to query for the running/finished status and the value reported + by the function. In addition, it may be used for suspending or canceling the + running task, fetching multiple results from the called \a function or + monitoring progress reported by the \a function. - \sa {Concurrent Run With Promise} + \sa {Concurrent Run (basic mode)}, {Concurrent Run With Promise} +//! [run-description] */ /*! - \since 6.0 - \fn QFuture QtConcurrent::runWithPromise(QThreadPool *pool, Function function, ...); + \since 5.4 + \fn QFuture QtConcurrent::run(QThreadPool *pool, Function function, ...); Runs \a function in a separate thread. The thread is taken from the QThreadPool \a pool. Note that \a function may not run immediately; \a function will only be run once a thread becomes available. - The \a function is expected to return void - and must take an additional argument of \e {QPromise &} type, - placed as a first argument in function's argument list. T is the result type - and it is the same for the returned \e QFuture. - - Similar to QtConcurrent::run(), the QFuture returned can be used to query for the - running/finished status and the value reported by the function. In addition, - it may be used for suspending or canceling the running task, fetching - multiple results from the called /a function or monitoring progress - reported by the \a function. - - \sa {Concurrent Run With Promise} + \include qtconcurrentrun.cpp run-description */ + diff --git a/src/concurrent/qtconcurrentrun.h b/src/concurrent/qtconcurrentrun.h index 79322b925f..4ce8d6ae05 100644 --- a/src/concurrent/qtconcurrentrun.h +++ b/src/concurrent/qtconcurrentrun.h @@ -77,55 +77,45 @@ template [[nodiscard]] auto run(QThreadPool *pool, Function &&f, Args &&...args) { - return (new StoredFunctionCall( - std::forward(f), std::forward(args)...))->start(pool); + DecayedTuple tuple { std::forward(f), + std::forward(args)... }; + return TaskResolver, std::decay_t...>::run( + std::move(tuple), TaskStartParameters { pool }); } template [[nodiscard]] -auto run(Function &&f, Args &&...args) +auto run(QThreadPool *pool, std::reference_wrapper &&functionWrapper, + Args &&...args) { - return run(QThreadPool::globalInstance(), std::forward(f), std::forward(args)...); -} - -template -[[nodiscard]] -auto runWithPromise(QThreadPool *pool, Function &&f, Args &&...args) -{ - return (new StoredFunctionCallWithPromise( - std::forward(f), std::forward(args)...))->start(pool); + return run(pool, std::forward(functionWrapper.get()), + std::forward(args)...); } template [[nodiscard]] -auto runWithPromise(QThreadPool *pool, Function &&f, Args &&...args) -{ - static_assert(QtPrivate::ArgResolver::IsPromise, "The first argument of passed callable object isn't a QPromise & type."); - using PromiseType = typename QtPrivate::ArgResolver::PromiseType; - return runWithPromise(pool, std::forward(f), std::forward(args)...); -} - -template -[[nodiscard]] -auto runWithPromise(QThreadPool *pool, std::reference_wrapper &&functionWrapper, Args &&...args) +auto run(Function &&f, Args &&...args) { - static_assert(QtPrivate::ArgResolver::IsPromise, "The first argument of passed callable object isn't a QPromise & type."); - using PromiseType = typename QtPrivate::ArgResolver::PromiseType; - return runWithPromise(pool, std::forward(functionWrapper.get()), std::forward(args)...); + return run(QThreadPool::globalInstance(), std::forward(f), + std::forward(args)...); } +// overload with a Promise Type hint, takes thread pool template [[nodiscard]] -auto runWithPromise(Function &&f, Args &&...args) +auto run(QThreadPool *pool, Function &&f, Args &&...args) { - return runWithPromise(QThreadPool::globalInstance(), std::forward(f), std::forward(args)...); + return (new StoredFunctionCallWithPromise( + std::forward(f), std::forward(args)...))->start(pool); } -template +// overload with a Promise Type hint, uses global thread pool +template [[nodiscard]] -auto runWithPromise(Function &&f, Args &&...args) +auto run(Function &&f, Args &&...args) { - return runWithPromise(QThreadPool::globalInstance(), std::forward(f), std::forward(args)...); + return run(QThreadPool::globalInstance(), std::forward(f), + std::forward(args)...); } } //namespace QtConcurrent diff --git a/src/concurrent/qtconcurrentstoredfunctioncall.h b/src/concurrent/qtconcurrentstoredfunctioncall.h index 1257d70b82..f52b6e2efc 100644 --- a/src/concurrent/qtconcurrentstoredfunctioncall.h +++ b/src/concurrent/qtconcurrentstoredfunctioncall.h @@ -102,17 +102,21 @@ template struct FunctionResolverHelper; template -struct FunctionResolverHelper : public NonMemberFunctionResolver +struct FunctionResolverHelper + : public NonMemberFunctionResolver { }; template -struct FunctionResolverHelper : public MemberFunctionResolver +struct FunctionResolverHelper + : public MemberFunctionResolver { }; template -struct FunctionResolver : public FunctionResolverHelper>::type, Function, PromiseType, Args...> +struct FunctionResolver + : public FunctionResolverHelper>::type, Function, PromiseType, Args...> { }; @@ -134,10 +138,6 @@ using DecayedTuple = std::tuple...>; template struct StoredFunctionCall : public RunFunctionTask> { - StoredFunctionCall(Function &&f, Args &&...args) - : data{std::forward(f), std::forward(args)...} - {} - StoredFunctionCall(DecayedTuple &&_data) : data(std::move(_data)) {} @@ -165,11 +165,13 @@ struct StoredFunctionCallWithPromise : public RunFunctionTaskBase using DataType = typename Resolver::Type; StoredFunctionCallWithPromise(Function &&f, Args &&...args) : prom(this->promise), - data(std::move(Resolver::initData(std::forward(f), std::ref(prom), std::forward(args)...))) + data(std::move(Resolver::initData(std::forward(f), std::ref(prom), + std::forward(args)...))) {} - StoredFunctionCallWithPromise(DataType &&_data) - : data(std::move(_data)) + StoredFunctionCallWithPromise(DecayedTuple &&_data) + : StoredFunctionCallWithPromise(std::move(_data), + std::index_sequence_for, std::decay_t...>()) {} protected: @@ -179,10 +181,69 @@ protected: } private: + // helper to pack back the tuple into parameter pack + template + StoredFunctionCallWithPromise(DecayedTuple &&_data, + std::index_sequence) + : StoredFunctionCallWithPromise(std::move(std::get(_data))...) + {} + QPromise prom; DataType data; }; +template +struct NonPromiseTaskResolver; + +template +struct NonPromiseTaskResolver +{ + using TaskWithArgs = DecayedTuple; + static auto run(TaskWithArgs &&args, const TaskStartParameters &startParameters) { + return (new StoredFunctionCall(std::move(args))) + ->start(startParameters); + } +}; + +template +struct PromiseTaskResolver; + +template +struct PromiseTaskResolver +{ + static_assert(QtPrivate::ArgResolver::IsPromise::value, + "The first argument of passed callable object isn't a QPromise & type. " + "Did you intend to pass a callable which takes a QPromise & type as a first argument? " + "Otherwise it's not possible to invoke the function with passed arguments."); + using TaskWithArgs = DecayedTuple; + static auto run(TaskWithArgs &&args, const TaskStartParameters &startParameters) { + using PromiseType = typename QtPrivate::ArgResolver::PromiseType; + return (new StoredFunctionCallWithPromise(std::move(args))) + ->start(startParameters); + } +}; + +template +struct TaskResolverHelper; + +template +struct TaskResolverHelper + : public NonPromiseTaskResolver +{ +}; + +template +struct TaskResolverHelper + : public PromiseTaskResolver +{ +}; + +template +struct TaskResolver : public TaskResolverHelper, + std::decay_t...>::type, Function, Args...> +{ +}; + } //namespace QtConcurrent #endif // Q_QDOC -- cgit v1.2.3