ROSE 0.11.145.147
|
A general, thread-safe way to report progress made on some task.
Consider some long-running task that needs to be performed by some worker thread or collection of worker threads. There may be other unrelated listener threads that need to monitor the progress of the task, such as a GUI thread that updates a progress bar widget. This can be accomplished in a general way by having an intermediatey object to which workers can write progress reports and other threads can query those reports.
The intention is that each long-running task will have its own Progress object into which reports are written, and the report will be a floating point number between zero (work just started) and one (work is almost complete). When work on the task completes (either because the task was finished or it had an error), one of the workers calls finished to let all the listeners know there will be nothing new to report.
Sometimes a task has multiple phases and it's hard to predict the total amount of work across all phases before earlier phases have completed. Therefore, progress reports have two parts: not only do they have a completion amount, they also have a phase name. When a Progress object is first created, its phase name is empty and the completion amount is zero. There is no intrinsic Progress requirement that phases occur in any particular order, or that the completion amount is monotonically increasing, or that the completion amount is in the interval [0..1] although listeners might be expecting certain things.
In order to support a hierarchy of reports, such as when one long running analysis calls other long-running analyses and they in turn also have multiple phases, the progress object has a stack of reports that is adjusted with push and pop methods. When progress is reported to a listener, the listener has a choice between getting the name of the top-most report or getting a name that is constructed by joining all the non-empty names in the stack. There's also a ProgressTask class that does the push and pop using RAII.
Each Progress object is shared between worker threads and querying threads–it cannot be deleted when the last worker is finished because other threads might still be listening, and it cannot be deleted when nothing is listening because workers might still need to write progress reports to it. Therefore each Progress object is allocated on the heap and referenced through thread-safe, shared-ownership pointers. Allocation is done by the instance factory and the object should not be explicitly deleted by the user.
Example:
The following guidelines should be used when writing a long-running task, such as a ROSE analysis or transformation, that supports progress reporting. These guidelines assume that the task is encapsulated in a class (as most analyses and transformations should be) so that an application is able to have more than one instance of the task. A task that's implemented as a single function should take an argument of type const Rose::Progress::Ptr&
(which may be a null progress object), and a task that's implemented in a namespace should try to provide an API similar to a class (the main difference will be that there's only once "instance" of the analysis).
update(double)
instead of update(Report)
.ProgressTask pt(progress, "name_of_task", completion)
, where completion
is the progress of the outer task after the inner task returns (either normally or by exception).Here's an example analysis that uses these guidelines:
Definition at line 167 of file Progress.h.
#include <Rose/Progress.h>
Classes | |
struct | Report |
A single progress report. More... | |
Public Types | |
using | Ptr = ProgressPtr |
Progress objects are reference counted. | |
Public Member Functions | |
bool | isFinished () const |
Predicate indicating whether the task is finished. | |
std::pair< Report, double > | reportLatest (const std::string &nameSeparator=".") const |
Latest report and its age in seconds. | |
template<class Functor > | |
bool | reportRegularly (boost::chrono::milliseconds interval, Functor f, const std::string &nameSeparator=".") const |
Invoke the specified function at regular intervals. | |
template<class Functor > | |
bool | reportChanges (boost::chrono::milliseconds limit, Functor f, const std::string &nameSeparator=".") const |
Invoke the specified function each time the progress changes. | |
void | update (double completion, double maximum=1.0) |
Make a progress report. | |
void | update (const Report &) |
Make a progress report. | |
Report | push () |
Push a new progress phase onto the stack. | |
Report | push (double completion, double maximum=1.0) |
Push a new progress phase onto the stack. | |
Report | push (const Report &) |
Push a new progress phase onto the stack. | |
void | pop () |
Pop the top progress phase from the stack. | |
void | pop (double completion, double maximum=1.0) |
Pop the top progress phase from the stack. | |
void | pop (const Report &) |
Pop the top progress phase from the stack. | |
void | finished () |
Indicate that the task is complete. | |
void | finished (double completion, double maximum=1.0) |
Indicate that the task is complete. | |
void | finished (const Report &) |
Indicate that the task is complete. | |
Public Member Functions inherited from Sawyer::SharedObject | |
SharedObject () | |
Default constructor. | |
SharedObject (const SharedObject &) | |
Copy constructor. | |
virtual | ~SharedObject () |
Virtual destructor. | |
SharedObject & | operator= (const SharedObject &) |
Assignment. | |
Static Public Member Functions | |
static Ptr | instance () |
Factory to create a new instance of this class. | |
using Rose::Progress::Ptr = ProgressPtr |
Progress objects are reference counted.
Definition at line 170 of file Progress.h.
|
inlineprotected |
Definition at line 212 of file Progress.h.
void Rose::Progress::update | ( | double | completion, |
double | maximum = 1.0 |
||
) |
Make a progress report.
This method is called by the threads that are doing the work in order to update the record of the amount of work they have completed.
This updates the progress report for the innermost (top-of-stack) phase when there are nested phases.
Thread safety: This method is thread safe.
void Rose::Progress::update | ( | const Report & | ) |
Make a progress report.
This method is called by the threads that are doing the work in order to update the record of the amount of work they have completed.
This updates the progress report for the innermost (top-of-stack) phase when there are nested phases.
Thread safety: This method is thread safe.
Report Rose::Progress::push | ( | ) |
Push a new progress phase onto the stack.
If some analysis needs to call another analysis and both want to report progress, the outer analysis may push a new phase onto the progress stack before calling the inner analysis. Once the inner analysis returns, the outer analysis should pop the inner phase from the stack.
Passing a completion ratio or report argument is the same as calling update first, except the two operations are atomic. Pushing a new context (regardless of whether an argument was given) notifies listeners that the progress has changed.
Returns the previous report. The name for the previous report is always just the base name, not joined with any other levels in the stack.
Report Rose::Progress::push | ( | double | completion, |
double | maximum = 1.0 |
||
) |
Push a new progress phase onto the stack.
If some analysis needs to call another analysis and both want to report progress, the outer analysis may push a new phase onto the progress stack before calling the inner analysis. Once the inner analysis returns, the outer analysis should pop the inner phase from the stack.
Passing a completion ratio or report argument is the same as calling update first, except the two operations are atomic. Pushing a new context (regardless of whether an argument was given) notifies listeners that the progress has changed.
Returns the previous report. The name for the previous report is always just the base name, not joined with any other levels in the stack.
Push a new progress phase onto the stack.
If some analysis needs to call another analysis and both want to report progress, the outer analysis may push a new phase onto the progress stack before calling the inner analysis. Once the inner analysis returns, the outer analysis should pop the inner phase from the stack.
Passing a completion ratio or report argument is the same as calling update first, except the two operations are atomic. Pushing a new context (regardless of whether an argument was given) notifies listeners that the progress has changed.
Returns the previous report. The name for the previous report is always just the base name, not joined with any other levels in the stack.
void Rose::Progress::pop | ( | ) |
Pop the top progress phase from the stack.
This is intended to be called after one analysis calls another and the other has returned. Before the outer analysis calls the inner analysis, it should push a new record onto the progress stack, and after the inner analysis returns the outer analysis should pop that record.
Attempting to pop the final item from the stack is the same as calling finished (it doesn't actually pop the final item). Otherwise, popping the stack notifies listeners that the progress has changed.
Passing a completion ratio or report argument is the same as calling update after popping, except the two operations are atomic. Popping a context (regardless of whether an argument was given) notifies listeners that the progress has changed.
void Rose::Progress::pop | ( | double | completion, |
double | maximum = 1.0 |
||
) |
Pop the top progress phase from the stack.
This is intended to be called after one analysis calls another and the other has returned. Before the outer analysis calls the inner analysis, it should push a new record onto the progress stack, and after the inner analysis returns the outer analysis should pop that record.
Attempting to pop the final item from the stack is the same as calling finished (it doesn't actually pop the final item). Otherwise, popping the stack notifies listeners that the progress has changed.
Passing a completion ratio or report argument is the same as calling update after popping, except the two operations are atomic. Popping a context (regardless of whether an argument was given) notifies listeners that the progress has changed.
void Rose::Progress::pop | ( | const Report & | ) |
Pop the top progress phase from the stack.
This is intended to be called after one analysis calls another and the other has returned. Before the outer analysis calls the inner analysis, it should push a new record onto the progress stack, and after the inner analysis returns the outer analysis should pop that record.
Attempting to pop the final item from the stack is the same as calling finished (it doesn't actually pop the final item). Otherwise, popping the stack notifies listeners that the progress has changed.
Passing a completion ratio or report argument is the same as calling update after popping, except the two operations are atomic. Popping a context (regardless of whether an argument was given) notifies listeners that the progress has changed.
void Rose::Progress::finished | ( | ) |
Indicate that the task is complete.
This method is called by one (or more) of the threads doing the work in order to indicate that the work has been terminated, either because it was completed or there was an error, and that no more progress updates will be forthcoming. If this progress object is nested (i.e., the report stack has more than one element) then the finished method doesn't actually do anything because outer phases can still potentially update their progress.
If no worker thread calls finished then the listeners will not know that work has finished and they may continue listening for progress updates indefinitely. It is permissible to call finished more than once.
Passing completion ratio or report argument has the same effect as calling update first, except the two operations are atomic. Each call to this method (regardless of whether an argument was specified) notifies listeners that the progress changed.
The Progress API is not responsible for reporting task status (whether the workers were collectively successful or encountered an error). Status should be reported by the usual mechanisms, such as futures.
Thread safety: This method is thread safe.
void Rose::Progress::finished | ( | double | completion, |
double | maximum = 1.0 |
||
) |
Indicate that the task is complete.
This method is called by one (or more) of the threads doing the work in order to indicate that the work has been terminated, either because it was completed or there was an error, and that no more progress updates will be forthcoming. If this progress object is nested (i.e., the report stack has more than one element) then the finished method doesn't actually do anything because outer phases can still potentially update their progress.
If no worker thread calls finished then the listeners will not know that work has finished and they may continue listening for progress updates indefinitely. It is permissible to call finished more than once.
Passing completion ratio or report argument has the same effect as calling update first, except the two operations are atomic. Each call to this method (regardless of whether an argument was specified) notifies listeners that the progress changed.
The Progress API is not responsible for reporting task status (whether the workers were collectively successful or encountered an error). Status should be reported by the usual mechanisms, such as futures.
Thread safety: This method is thread safe.
void Rose::Progress::finished | ( | const Report & | ) |
Indicate that the task is complete.
This method is called by one (or more) of the threads doing the work in order to indicate that the work has been terminated, either because it was completed or there was an error, and that no more progress updates will be forthcoming. If this progress object is nested (i.e., the report stack has more than one element) then the finished method doesn't actually do anything because outer phases can still potentially update their progress.
If no worker thread calls finished then the listeners will not know that work has finished and they may continue listening for progress updates indefinitely. It is permissible to call finished more than once.
Passing completion ratio or report argument has the same effect as calling update first, except the two operations are atomic. Each call to this method (regardless of whether an argument was specified) notifies listeners that the progress changed.
The Progress API is not responsible for reporting task status (whether the workers were collectively successful or encountered an error). Status should be reported by the usual mechanisms, such as futures.
Thread safety: This method is thread safe.
bool Rose::Progress::isFinished | ( | ) | const |
Predicate indicating whether the task is finished.
Returns true if the task which was being monitored has been terminated either because it finished or it had an error. If an inner phase calls finished, it doesn't actually cause this phase object to be marked as finished because outer phases may continue to update their progress.
Thread safety: This method is thread safe.
Referenced by reportRegularly().
std::pair< Report, double > Rose::Progress::reportLatest | ( | const std::string & | nameSeparator = "." | ) | const |
Latest report and its age in seconds.
Returns the most recent report that has been received and how long it's been (in seconds) since the report was received. If no report has ever been received, then this returns a default-constructed report and the time since this Progress object was created; such reports have completion of zero.
If nameSeparator
is not empty, then the returned report name is formed by joining all phase names on the report stack with the specified separator.
Thread safety: This method is thread safe.
Referenced by reportRegularly().
|
inline |
Invoke the specified function at regular intervals.
The specified functor is invoked as soon as this method is called, and then every interval
milliseconds thereafter until some thread calls finished on this object or the functor returns false. The functor is invoked with two arguments: the last known progress report and the time in seconds since it was reported.
If nameSeparator
is not empty, then the returned report name is formed by joining all phase names on the report stack with the specified separator.
Return value: Returns false if the functor returned false, true if the reporting ended because the task is finished.
Example:
Thread safety: This method is thread safe.
Definition at line 351 of file Progress.h.
References isFinished(), and reportLatest().
|
inline |
Invoke the specified function each time the progress changes.
The specified functor is invoked each time a worker thread updates the progress, but not more than the specified period. The functor is called with one argument, the most recent progress report, and returns a Boolean. If the functor returns false then this function also immediately returns false, otherwise the functor is called until a worker thread indicates that the task is finished (either complete or had an error) by calling finished.
If nameSeparator
is not empty, then the returned report name is formed by joining all phase names on the report stack with the specified separator.
Example:
Thread safety: This method is thread safe.
Definition at line 391 of file Progress.h.
References Rose::Progress::Report::name.