REFERENCE COUNTING FOR MEMORY AREAS

摘要

Technique for analyzing memory areas based on local copies of a global counter by: (i) determining a plurality of currently-executing fast threads and a plurality of currently executed slow threads; (ii) intermittently incrementing a global counter variable to have a current global counter value; (iii) intermittently setting the local counter of the data set for each fast thread of the plurality of fast threads to be equal to the current global counter value; (iv) determining that no slow threads of the plurality of slow threads reference the first memory region; (v) assigning a free-after value to the first memory region; (vi) determining whether the free-after value of the first memory region is less than or equal to all of the local counters of the fast thread data sets of the plurality of fast threads; and (vii) de-allocating the first memory region.

主权项

1. A method comprising:
determining a plurality of currently-executing fast threads and a plurality of currently executed slow threads, with each fast thread of the plurality of fast threads respectively having a fast thread data set associated therewith, and with each fast thread data set including a local counter value; intermittently incrementing a global counter variable to have a current global counter value; intermittently setting the local counter of the data set for each fast thread of the plurality of fast threads to be equal to the current global counter value; for a first memory region, determining that no slow threads of the plurality of slow threads reference the first memory region; responsive to the determination that no slow threads reference the first memory region, assigning a free-after value to the first memory region, with the free-after value of the first memory region being equal to the current value of the global counter; for the first memory region, determining whether the free-after value of the first memory region is less than or equal to all of the local counters of the fast thread data sets of the plurality of fast threads; and on condition that the free-after value of the free-after value of the first memory region is less than or equal to all of the local counters of all of the fast thread data sets, de-allocating the first memory region.