<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="font-family: 'Segoe UI',Frutiger,'Frutiger Linotype','Dejavu Sans','Helvetica Neue',Arial,sans-serif; font-size: 14px;">
<div class="hiri-body-wrapper" contenteditable="true">
<div>Christos, <br>
<br>
Here's a copy of the patch i put on this list back in May. It's against svn revision 804. I've been running that version since mid-May.<br>
<br>
Good luck!<br>
Woody Douglass<br>
</div>
</div>
<div class="hiri-extra" contenteditable="false">
<p>On 2020-09-08 09:12:27-04:00 cmdist-bounces@ccrma.Stanford.EDU wrote:</p>
<blockquote style="padding-left:10px; border-left:1px solid #ccc; margin:0">
<div>
<div dir="ltr">
<div>Indeed the instances could be reused, but that would imply</div>
<div>using a common mutex amongst the running threads for any</div>
<div>s7 operation (right?).</div>
<div>What I need in my case is truly parallel instances doing their own thing.</div>
<div></div>
<div>I'm glad to hear that Woody has some sort of a solution.</div>
<div>I hope it gets merged at some point, but I also hope for a solution</div>
<div>in the future that frees not most but *all* of s7's memory :)</div>
<div></div>
<div>Any chance I could see this code? By curiosity and to see if I could</div>
<div>slowly get some understanding of the inner workings of s7.</div>
</div>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Tue, 8 Sep 2020 at 01:06, <<a href="mailto:bil@ccrma.stanford.edu">bil@ccrma.stanford.edu</a>> wrote:</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
You're right that free(sc) does not free much. Woody Douglass<br>
sent me code to free most of s7's memory -- the main thing<br>
is the heap -- but I haven't tackled merging it into my<br>
version of s7 yet. I think s7 instances can be reused --<br>
just keep all your stuff in a sublet of rootlet, then<br>
set it to #f, but it would be better to actually clean up.<br>
</blockquote>
</div>
</div>
</blockquote>
</div>
</body>
</html>