<span class="Apple-style-span" style="border-collapse: collapse; ">You can check the Nokia&#39;s S60WebKit MemoryManager implementation. They have developed a method to handle out of memory situations in WebKit</span><br><br>
<div class="gmail_quote">On Tue, Dec 9, 2008 at 12:07 AM, Darin Adler <span dir="ltr">&lt;<a href="mailto:darin@apple.com">darin@apple.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="Ih2E3d">On Dec 8, 2008, at 8:21 AM, Kelemen Balázs wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
A tempting approach would be using exception handling. E.g., what if we could catch a bad_alloc exception?<br>
</blockquote>
<br></div>
To use exception handling you&#39;d probably have to change all the WebKit code to do cleanup when an exception is propagating. Otherwise, exiting an arbitrary function half way through could leave data structures in an inconsistent state.<br>

<br>
Fixing this is a large project, almost certainly impractical.<div class="Ih2E3d"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Would there be any way to simply force WebKit from the browser to &quot;shutdown&quot; itself? When I say shutdown, I mean exiting in an elegant way, e.g., we could save history and other important information to disk (so that when the browser restarts, some info does not get lost).<br>

</blockquote>
<br></div>
Sure, you could do that if you make sure that the &quot;important information&quot; is stored in data structures that have some sort of integrity guarantee, which are not manipulated directly by the WebCore/WebKit code. And make sure the code that writes those data structures can function without allocating additional memory.<br>

<br>
But I don&#39;t think there&#39;s any real advantage to using exception handling for this. You could have a function called when out of memory that does this work.<br>
<br>
Another approach is to save history and other important information as you go. So if you run out of memory there&#39;s nothing that needs to be done.<br><font color="#888888">
<br>
 &nbsp; &nbsp;-- Darin</font><div><div></div><div class="Wj3C7c"><br>
<br>
_______________________________________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org" target="_blank">webkit-dev@lists.webkit.org</a><br>
<a href="http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev" target="_blank">http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev</a><br>
</div></div></blockquote></div><br>