We formalize the outlined hierarchi

We formalize the outlined hierarchical garbage collector for HP.
The collector we formalize is a semispace copying collector, though
other garbage collection algorithms could be used as well. Since the
structure of a HP program already contains hierarchical tasks and
heaps, formalizing the collection algorithm requires few changes to
the semantics. In fact, we simply need to introduce a new form for
tasks to represent a task which is locked for collection, and several
dynamic rules to perform garbage collection on tasks.
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.

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

เรา formalize เก็บรวบรวมขยะตามลำดับชั้นของเค้าร่างสำหรับ HPตัวเก็บรวบรวมเรา formalize จะเก็บคัดลอก semispace แม้ว่าอาจจะใช้อัลกอริทึมอื่น ๆ เก็บขยะเช่นกัน เนื่องจากการโครงสร้างของโปรแกรม HP ประกอบด้วยลำดับงานแล้ว และheaps, formalizing วิธีการเก็บต้องมีการเปลี่ยนแปลงน้อยความหมายของการ ในความเป็นจริง เราต้องการแบบใหม่สำหรับการแนะนำงานแสดงงานที่ถูกล็อคสำหรับคอลเลกชัน และหลายกฎแบบไดนามิกเพื่อทำการรวบรวมขยะบนงานจะรวบรวมพร้อมกัน ตัวเก็บรวบรวม HGC จึงสามารถทำการคอลเลกชันเบจไม่ต้องมีการซิงโครไนส์เพิ่มเติมระหว่างที่ mutator และตัวเก็บรวบรวม ผลลัพธ์หลักส่วนย่อยคือ บทพิสูจน์ความถูกต้องสำหรับ HGC

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

เราทำพิธีเก็บขยะตามลำดับชั้นที่ระบุไว้สำหรับ? HP.
เก็บที่เราเป็นระเบียบแบบแผนเป็นนักสะสม semispace คัดลอกแม้ว่า
ขั้นตอนวิธีการเก็บขยะอื่น ๆ ที่สามารถนำมาใช้เช่นกัน เนื่องจาก
โครงสร้างของ? โปรแกรม HP แล้วมีงานลำดับชั้นและ
กองอย่างเป็นทางการอัลกอริทึมของสะสมที่ต้องมีการเปลี่ยนแปลงบางอย่างเพื่อ
ความหมาย ในความเป็นจริงเราก็ต้องแนะนำรูปแบบใหม่สำหรับ
งานที่จะเป็นตัวแทนของงานที่ถูกล็อกไว้สำหรับคอลเลกชันและอีกหลาย
กฎแบบไดนามิกที่จะดำเนินการเก็บขยะในงาน.
เรียกเก็บได้ในแบบคู่ขนาน เก็บ HGC จึงสามารถที่จะดำเนิน
การเก็บขยะโดยไม่เกิดการประสานเพิ่มเติม
ระหว่าง Mutator และสะสม ผลหลักนี้
ย่อยเป็นหลักฐานของความถูกต้องสำหรับ HGC

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

เราอธิบายลำดับพิธีเก็บขยะสำหรับ HPนักสะสมที่เราทำให้เป็นรูปเป็นร่างเป็น semispace คัดลอกเก็บ แม้ว่าขั้นตอนวิธีการเก็บขยะอื่น ๆสามารถใช้เป็นอย่างดี ตั้งแต่โครงสร้างของโปรแกรม HP แล้วมีงานลำดับชั้น และกอง formalizing คอลเลกชันนี้ต้องเปลี่ยนแปลงน้อยทางอรรถศาสตร์ ในความเป็นจริง , เราเพียงแค่ต้องการที่จะแนะนำรูปแบบใหม่สำหรับงานแสดงงานซึ่งอยู่ในคอลเลกชัน , และหลายแบบไดนามิกกฎเพื่อดำเนินการเก็บขยะในงานถูกรวบรวมในแบบคู่ขนาน นักสะสม HGC จึงสามารถแสดงเก็บขยะโดยไม่ก่อให้เกิดการประสานเพิ่มเติมระหว่าง mutator และสะสม ผลหลักนี้ส่วนย่อย คือ การพิสูจน์ความถูกต้องสำหรับ HGC .