<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Hello.</p>
<p>The library is not thread safe (yet), so such an error is to be
expected; we are going to add thread safety in an experimental
branch. Your multi-threaded application can still use the library,
as long as only one thread is used to perform all PPL-related
computations.</p>
Enea.<br>
<br>
<br>
<div class="moz-cite-prefix">On 08/17/2016 10:53 AM, the anh pham
wrote:<br>
</div>
<blockquote
cite="mid:CAP_KE9J6OH5TscPcnQu+_HN_QoERSxjNsjwiSk0M_D3eyb0gcw@mail.gmail.com"
type="cite">
<div dir="ltr">Dear Prof. Roberto,
<div><br>
</div>
<div>I am working with Parma Pplyhedra Library. I realize that
PPL does not wok well with mutilthreading and it leads to
segmentation fault. I read in the ChangeLog and found that you
has discussed about this:</div>
<div><br>
</div>
<div>"<span style="color:rgb(255,0,0);white-space:pre-wrap">2015-11-26 Enea Zaffanella <<a moz-do-not-send="true" href="mailto:zaffanella@cs.unipr.it">zaffanella@cs.unipr.it</a>></span></div>
<div>
<pre style="word-wrap:break-word;white-space:pre-wrap"><pre style="word-wrap:break-word;white-space:pre-wrap"><font color="#ff0000"> * src/Temp_defs.hh, src/Temp_inlines.hh, src/Temp_templates.hh:
Avoid a memory leak due to the global list of dirty temporaries. The memory leak was not causing a real problem, in that the list of dirty temporaries is meant to survive up to the end of the process. However, it could cause a problem if/when the library is extended to become multi-thread safe, since in such a scenario it is meaningful to have a list of dirty temporaries for each thread (to be released on thread exit).</font><span style="font-family:arial,sans-serif">"</span></pre><pre style="word-wrap:break-word;white-space:pre-wrap"><span style="font-family:arial,sans-serif">Has you fixed this problem. Could you give me a suggestion to solve this problem (it could be temporary solution) please?</span></pre><pre style="word-wrap:break-word;white-space:pre-wrap"><span style="font-family:arial,sans-serif">Best regards,</span></pre><pre style="word-wrap:break-word;white-space:pre-wrap"><span style="font-family:arial,sans-serif">The Anh</span></pre></pre>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
PPL-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a>
<a class="moz-txt-link-freetext" href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a>
</pre>
</blockquote>
<br>
</body>
</html>