<p dir="ltr">I would suggest posting this to ghc-devs.</p>
<div class="gmail_quote">7 лип. 2015 07:54 "Kyle Miller" <<a href="mailto:kmill31415@gmail.com">kmill31415@gmail.com</a>> пише:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I have been studying the garbage collection algorithms used in GHC, and it appears to me that section two of [1] is misleading, since thunks permit controlled mutation of the heap, and so objects in older generations may point to younger objects.  In fact, the RTS maintains "remembered sets" to keep track of these relations.  A Haskell could in principle be implemented in the way described (and execute in surprising complexity classes), but this does not seem to match reality.<div><br></div><div>[1] <a href="https://wiki.haskell.org/GHC/Memory_Management" target="_blank">https://wiki.haskell.org/GHC/Memory_Management</a></div><div><br></div><div>Should the wiki be modified?</div><div><br></div><div>Regards,</div><div>Kyle Miller</div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div>