"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Rose/BinaryAnalysis/ModelChecker/Engine.h" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

Engine.h  (rose-0.11.49.0):Engine.h  (rose-0.11.50.0)
skipping to change at line 215 skipping to change at line 215
void insertStartingPoint(const PathPtr&); void insertStartingPoint(const PathPtr&);
/** @} */ /** @} */
//////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////
// Model checker execution // Model checker execution
//////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////
public: public:
/** Start multiple worker threads. /** Start multiple worker threads.
* *
* Model checker can be done with any combination of worker threads managed by the model checking framework, and user * Model checker can be done with any combination of worker threads managed by the model checking framework, and user
* threads that clal model checker functions to do their own work. * threads that call model checker functions to do their own work.
* *
* This function starts @p n worker threads that perform model checking, an d then immediately returns. When there is no * This function starts @p n worker threads that perform model checking, an d then immediately returns. When there is no
* work left to be done, all worker threads exit. Thus it's important to cr eate work first (by inserting some starting * work left to be done, all worker threads exit. Thus it's important to cr eate work first (by inserting some starting
* points) before calling this function, otherwise all the workers will jus t immediately exit without doing anything. * points) before calling this function, otherwise all the workers will jus t immediately exit without doing anything.
* *
* Although it's usually called once per round of work, this function can b e called more than once to increase the * Although it's usually called once per round of work, this function can b e called more than once to increase the
* number of workers by @ref n each time. If @p n is zero, then workers wil l be increased only up to the hardware * number of workers by @ref n each time. If @p n is zero, then workers wil l be increased only up to the hardware
* parallelism. No workers are ever killed by this function. * parallelism. No workers are ever killed by this function.
* *
* See also, @ref workCapacity. * See also, @ref workCapacity.
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)