<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Because this check is slow, this option still exists in the
interface. I am usually switch it off for production versions of
models, which intensively using arrays. <br>
</p>
<p>Vlad said, that it is a problem that in JavaScript there is no
fast and universal mechanism for check indexes in arrays. Maybe
someone knows, how to make this index check fast?<br>
</p>
<p>- Ivan</p>
<p><br>
</p>
<div class="moz-cite-prefix">28.10.2020 13:44, Joerg пишет:<br>
</div>
<blockquote type="cite"
cite="mid:6405B500-6066-41C1-BDA8-EAEA188136DC@iaeth.ch">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
Hi<br>
<blockquote type="cite">
<div dir="ltr">
<p>+ comdiv made speed test with sort algorithm <a
class="moz-txt-link-freetext"
href="https://visual.sfu-kras.ru/model/59"
moz-do-not-send="true">https://visual.sfu-kras.ru/model/59</a><br>
</p>
</div>
</blockquote>
I ran this one and found a very interesting result:
<div>Runtime for InsertSort over 13837 elements</div>
<div>- index check on: 20.1 sec</div>
<div>- index check off: 0.1 sec
<div>
<blockquote type="cite">
<div dir="ltr">
<p> </p>
</div>
</blockquote>
</div>
</div>
<div>index check on open arrays seem to have a huge penalty...</div>
<div><br>
</div>
<div>br</div>
<div>Jörg</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">--
<a class="moz-txt-link-abbreviated" href="mailto:Oberon@lists.inf.ethz.ch">Oberon@lists.inf.ethz.ch</a> mailing list for ETH Oberon and related systems
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/oberon">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a>
</pre>
</blockquote>
</body>
</html>