[PPL-devel] Use of PPL in multithreade programs?

[Roberto Bagnara]

On 04/17/14 10:53, giuseppe lipari wrote:
> Dear all,
> 
> is it possible to use the PPL in a multi-threaded program?
> 
> We are writing a tool for real-time scheduling analysis, and we would like to parallelise the analysis.
> 
> However, after a few naive tries, the program crashes unpredictably, so I suspect that maybe there is a problem in the library?
> 
> Thanks in advance for your answer
> 
> Giuseppe Lipari


Dear Giuseppe,

as of today, the PPL implementation assumes a single thread of execution.
We did investigate the possibility of making the library thread-safe,
and doing that is in our TODO list.  The main issue is with the handling
of temporaries, which should not be difficult to solve.
If having the PPL thread-safe is important to you and you
are willing to help to achieve that, please let me know.
Kind regards,

  Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com