16.08.2013 Views

Exterminator- A ... with High Probability.pdf - DSpace at CUSAT ...

Exterminator- A ... with High Probability.pdf - DSpace at CUSAT ...

Exterminator- A ... with High Probability.pdf - DSpace at CUSAT ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Extermin<strong>at</strong>or</strong><br />

rebuild these tables on-the-fly, <strong>Extermin<strong>at</strong>or</strong> can apply p<strong>at</strong>ches to running programs<br />

<strong>with</strong>out interrupting their execution. This aspect of <strong>Extermin<strong>at</strong>or</strong>’s oper<strong>at</strong>ion may be<br />

especially useful for systems th<strong>at</strong> must be kept running continuously.<br />

On every dealloc<strong>at</strong>ion, the correcting alloc<strong>at</strong>or checks to see if the object to be freed<br />

needs to be deferred. If it finds a deferral value for the object’s alloc<strong>at</strong>ion and dealloc<strong>at</strong>ion<br />

site, it pushes onto the deferral priority queue the pointer and the time to actually free it<br />

(the current alloc<strong>at</strong>ion time plus the deferral value).<br />

The correcting alloc<strong>at</strong>or then checks the deferral queue on every alloc<strong>at</strong>ion to see if<br />

an object should now be freed. It then checks whether the current alloc<strong>at</strong>ion site has an<br />

associ<strong>at</strong>ed pad value. If so, it adds the pad value to the alloc<strong>at</strong>ion request, and forwards the<br />

alloc<strong>at</strong>ion request to the underlying alloc<strong>at</strong>or.<br />

Dept. Of Computer Science & Engg. ~ 17 ~ Cochin University of Science & Technology

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!