<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>I think the problem comes from Isabelle/0e36478a1b6a.
Initializing the PIDE Session inside Session_Job creates a null
store:</p>
<div style="background-color:#131314;color:#ebebeb">
<pre
style="font-family:'JetBrains Mono',monospace;font-size:9.8pt;"><span
style="color:#ed864a;">override val </span><span
style="color:#ed94ff;font-style:italic;">store</span>: <span
style="color:#ffffff;">Store </span>= <span
style="color:#ed94ff;font-style:italic;">store
</span></pre>
</div>
<p></p>
<div class="moz-cite-prefix">so each call of Session.cache creates a
new cache, allocating additional memory. It looks like the
intention of the above assignment is to assign the store from the
build context?</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Fabian<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 6/26/25 10:15, Fabian Huch wrote:<br>
</div>
<blockquote type="cite"
cite="mid:e5110398-b384-4d60-ad2a-4f786f4f2d70@in.tum.de">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<p>Those are due to repeated crashes because of memory problems
since yesterday afternoon:<br>
</p>
<pre class="source">*** *** java.lang.OutOfMemoryError: Java heap space</pre>
<pre class="source">*** Ran out of memory retrieving query results.</pre>
<p>I am not yet sure what causes the increased memory consumption.
<br>
</p>
<p><br>
</p>
<p>Fabian<br>
</p>
<div class="moz-cite-prefix">On 6/25/25 21:32, Florian Haftmann
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:55eb0aff-c0cf-4a08-a600-6b4f907390a5@cit.tum.de">
<blockquote type="cite">*** Unable to convert bytea parameter at
position 7 to literal <br>
Job ended at Wed Jun 25 21:29:15 GMT+2 2025, with status
failed <br>
</blockquote>
<br>
<a class="moz-txt-link-freetext"
href="https://build.proof.cit.tum.de/build?id=e42c0340-8807-4c4c-b9c4-64757f490958"
moz-do-not-send="true">https://build.proof.cit.tum.de/build?id=e42c0340-8807-4c4c-b9c4-64757f490958</a>
<br>
</blockquote>
</blockquote>
</body>
</html>