<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Hi,</span><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">I am looking to see if we can introduce user control for memory management and more finer resource management ability through annotations and API.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Part of the discussion on this is in the comment section of the following blog which I had with David Homes: <a href="https://blogs.oracle.com/dholmes/entry/minimize_garbage_generation" target="_blank" style="color:rgb(17,85,204)">https://blogs.oracle.com/dholmes/entry/minimize_garbage_generation</a></div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Many Java objects can either be allocated on the stack as well as deleted if allocated in the heap without it being passed for GC. Since stack allocation will only work for some objects and will break the current memory model an annotation can be introduced to mark stack allocation. Any contained objects cannot outlive the containing object in this case unless they are annotated to escape. Escaping objects can be heap allocated and collected through the normal GC process.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif">If an object is heap allocated it can be deleted at define points like block exit, return or end of iteration (in loops) etc. Appropriate annotation can be introduced to mark the deletion. In this case contained objects can out live the containing object. The objects that cannot be deleted will be marked for GC during the normal GC cycle. Also an annotation can be introduced to help mark fields and methods which might escape and which does not statically. For methods all parameters, local variables and returned objects will not escape thus can be deleted after method returns. For methods parameters, any objects passed will not escape and can be safely deleted after method returns. Not all parameters may be marked. For fields, the objects can be deleted when the containing object is deleted. These objects if returned from a method will be clones and any pass to methods which are not marked for non escape would be clones else the compiler should complain. For local variables, they can be deleted when method returns or go out of scope. Also for return values an annotation to mark the return value safe to delete after returning and to mark that fields and methods in a class do not escape.</font></div>
<div style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif"><br></font></div><div style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif">There can be finer grain of specification on what the type of containment is and what the escape is. Traditionally this might be thread, stack, etc. but in this case we are more concerned with containment within the containing object for field and containment when calling methods with regard to parameters, local variables and return types.</font></div>
<div style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif"><br></font></div><div style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif">In a nutshell we should be able to specify the lifetime of an object at point of declaration so it gets deleted when its usefulness is over. Only the occasional object that escapes this will need to be GCed.</font></div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
More fine grain resource management can be done through annotation like calling close() before trying to GC with appropriate annotations.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Also appropriate API can be defined also to perform some of the memory management operations.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">For further examples of possible annotations see the discussion on: <a href="https://blogs.oracle.com/dholmes/entry/minimize_garbage_generation" target="_blank" style="color:rgb(17,85,204)">https://blogs.oracle.com/dholmes/entry/minimize_garbage_generation</a></div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Also ability to turn off GC within a code block or function unless an outofmemory error happens.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">This would leave lesser workload for the GC system. Large part of memory management workload will be at know at appropriate point in code (if the programmer is disciplined). In GCing we do not know where the execution is when GC happens. If this is in latency sensitive code block you are in trouble. This way the developer is in true partnership with the GC and memory management system.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Suminda</div><div><div dir="ltr"><div><span style="font-family:'arial narrow',sans-serif">--</span></div><span style="font-family:'arial narrow',sans-serif">Suminda Sirinath Salpitikorala Dharmasena</span><span style="font-family:'arial narrow',sans-serif">, B.Sc. Comp. & I.S. (Hon.) Lond., P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM</span><span style="font-family:'arial narrow',sans-serif">, CEO </span><span style="font-family:'comic sans ms',sans-serif">Sakrīō!</span><span style="font-family:'arial narrow',sans-serif"> </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Address</i></b><span style="font-family:'arial narrow',sans-serif">: 6G • 1st Lane • Pagoda Road • Nugegoda 10250 • Sri Lanka. </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Mobile</i></b><span style="font-family:'arial narrow',sans-serif">: +94-(0)711007945 </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Tele</i></b><span style="font-family:'arial narrow',sans-serif">: +94-(0)11-5 864614 / 5 875614 / 2 825908 ▣ <b><i>Web</i></b>: <a href="http://www.sakrio.com" target="_blank">http://www.sakrio.com</a> </span><span style="font-family:'arial narrow',sans-serif">▣</span></div>
<div dir="ltr"><br><div><font face="arial narrow, sans-serif">This email is subjected to the email Terms of Use and Disclaimer: <a href="http://www.sakrio.com/email-legal" target="_blank">http://www.sakrio.com/email-legal</a>. Please read this first.</font></div>
<div><font face="arial narrow, sans-serif">--</font></div></div></div>