3.3 Hierarchical Garbage Collection

3.3 Hierarchical Garbage Collection
We describe a hierarchical garbage collector, dubbed HGC, that
takes advantage of disentanglement to perform concurrent garbage
collection at the granularity of tasks. The collector HGC can collect
any heap in the heap hierarchy by stopping the task that owns
the heap along with its descendant tasks, while all other (nondescendant)
tasks continue executing. Any number of independent
heaps, which are not descendants and ancestors of each other, can
be collected in parallel. The collector HGC is thus able to perform
garbage collection without incurring additional synchronization
between the mutator and the collector. The main result of this
subsection is the proof of correctness for HGC.

ผลลัพธ์ (ไทย) 2:

เก็บขยะ 3.3 ตามลำดับชั้น
เราอธิบายเก็บขยะลำดับชั้นขนานนาม HGC ที่
จะได้ประโยชน์จากการดำเนินการคลี่คลายขยะพร้อมกัน
คอลเลกชันที่ความละเอียดของงาน HGC สะสมสามารถรวบรวม
กองใดกองในลำดับชั้นโดยการหยุดงานที่เป็นเจ้าของ
กองพร้อมกับงานลูกหลานในขณะที่อื่น ๆ ทั้งหมด (nondescendant)
งานยังคงดำเนินการ จำนวนอิสระ
กองซึ่งไม่ใช่ลูกหลานและบรรพบุรุษของแต่ละอื่น ๆ ที่สามารถ
เรียกเก็บได้ในแบบคู่ขนาน เก็บ HGC จึงสามารถที่จะดำเนิน
การเก็บขยะโดยไม่เกิดการประสานเพิ่มเติม
ระหว่าง Mutator และสะสม ผลหลักนี้
ย่อยเป็นหลักฐานของความถูกต้องสำหรับ HGC

ผลลัพธ์ (ไทย) 3:

3.3 การเก็บขยะเราอธิบายเก็บขยะลดหลั่น HGC ขนานนามว่าใช้ประโยชน์จากบนบานเนินขยะที่เกิดขึ้นพร้อมกันคอลเลกชันที่ granularity ของงาน นักสะสม HGC สามารถเก็บใด ๆ กองในกองการปกครองโดยการหยุดงานที่เป็นเจ้าของกองพร้อมกับงานลูกหลานของมัน ในขณะที่อื่น ๆ ( nondescendant )งานยังคงรัน . หมายเลขใด ๆของอิสระกอง ซึ่งไม่ใช่ลูกหลาน และบรรพบุรุษของกันและกันถูกรวบรวมในแบบคู่ขนาน นักสะสม HGC จึงสามารถแสดงเก็บขยะโดยไม่ก่อให้เกิดการประสานเพิ่มเติมระหว่าง mutator และสะสม ผลหลักนี้ส่วนย่อย คือ การพิสูจน์ความถูกต้องสำหรับ HGC .