Our garbage collection algorithm us

Our garbage collection algorithm uses a small-step semantics,
where one step (atomically) copies a single location. A full garbage
collection will therefore involve many individual steps, which
can be freely interleaved with evaluation or collection on other
processors. Figure 12 gives the transition rules for collection. Rule
HGC-StartGC locks the task for collection and sets up the tuple
by using the existing heap, H, as the from-heap, initializing the
to-heap and the forwarding map to be empty and the scan set to
be FL(e), the roots of the expression. Rule HGC-Copy performs
one step of collection. The rule takes a location from S which is
present in Hf , copies its value v, and adds to S the locations of v
which have not already been copied. Rule HGC-EndGC requires
that dom(Hf ) S = ;, i.e. that there are no remaining locations
to be collected. If this is the case, e is unlocked and the to-heap
becomes the new heap.

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

อัลกอริทึมของเราเก็บขยะใช้ในความหมายของขั้นตอนขนาดเล็กที่ขั้นตอนที่หนึ่ง (atomically) คัดตำแหน่งเดียว มีขยะเต็มคอลเลกชันดังนั้นจะเกี่ยวข้องกับหลายขั้นตอนแต่ละ ซึ่งสามารถเรียงสลับได้อย่างอิสระ ด้วยการประเมินหรือคอลเลกชันอื่น ๆตัวประมวลผล รูปภาพ 12 ให้กฎการเปลี่ยนคอลเลกชัน กฎHGC StartGC ล็อคงานสำหรับคอลเลกชัน และตั้งค่า tupleโดยใช้กองอยู่ H เป็นจากฮีป เริ่มต้นการฮีป และแผนที่ส่งต่อที่ว่าง และแกนตั้งFL(e) รากของนิพจน์ได้ ทำการคัดลอกกฎ HGCขั้นตอนที่หนึ่งของคอลเลกชัน กฎการใช้ตำแหน่งที่ตั้งจาก S ซึ่งเป็นปัจจุบันใน Hf คัดลอกค่านิยม และเพิ่มตำแหน่งของ v Sซึ่งไม่ได้ถูกคัดลอก ต้องใช้กฎ HGC-EndGCที่ dom (Hf) S =;, เช่นว่า มีตำแหน่งไม่มีเหลือที่จะรวบรวม ถ้าเป็นกรณีนี้ e ถูกปลดล็อก และการฮีปกลายเป็นกองใหม่

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

ขั้นตอนวิธีการเก็บขยะของเราใช้ความหมายขั้นตอนเล็ก ๆ
ที่หนึ่งขั้นตอน (อะตอม) สำเนาสถานที่เดียว ขยะเต็ม
คอลเลกชันจึงจะเกี่ยวข้องกับขั้นตอนของแต่ละบุคคลจำนวนมากซึ่ง
สามารถแทรกได้อย่างอิสระกับการประเมินผลหรือการจัดเก็บที่อื่น ๆ
การประมวลผล รูปที่ 12 ช่วยให้การเปลี่ยนกฎสำหรับคอลเลกชัน กฎ
HGC-StartGC ล็อคงานในการเก็บรวบรวมและตั้งค่า tuple
โดยใช้กองที่มีอยู่ H เป็นจากกองการเริ่มต้น
การกองและแผนที่การส่งต่อที่จะเป็นที่ว่างเปล่าและการสแกนที่กำหนดให้
เป็นฟลอริด้า (E) รากของการแสดงออก กฎ HGC คัดลอกดำเนินการ
ขั้นตอนหนึ่งของคอลเลกชัน กฎต้องใช้สถานที่จาก S ซึ่งเป็น
อยู่ใน Hf สำเนาของค่า V และเพิ่มไปที่ S ตำแหน่งของโวลต์
ที่ยังไม่ได้รับการคัดลอกแล้ว กฎ HGC-EndGC ต้อง
ว่า Dom (Hf) S =; คือว่าไม่มีสถานที่ที่เหลือ
จะเก็บ หากเป็นกรณีนี้ E จะถูกปลดล็อกและการกอง
กลายเป็นกองใหม่

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

วิธีเก็บขยะของเราใช้ขั้นตอนความหมายเล็กขั้นตอนที่ 1 ( atomically ) ชุดสถานเดียว ขยะเต็มคอลเลกชันจึงเกี่ยวข้องกับขั้นตอนที่บุคคลหลายอิสระสามารถอัดกับการประเมิน หรือ อื่น ๆคอลเลกชันโปรเซสเซอร์ รูปที่ 12 ให้เปลี่ยนกฎสำหรับคอลเลกชัน กฎstartgc HGC ล็อคงานสะสมชุดทูเปิลโดยใช้กองที่มีอยู่ H เป็นเริ่มจากกองหินสะสมและส่งต่อแผนที่จะว่างเปล่าและตั้งค่าการสแกนเป็น FL ( E ) , รากของการแสดงออก ก๊อปกติกา HGC ดําเนินการขั้นตอนหนึ่งของคอลเลกชัน กฎการใช้สถานที่จาก S ซึ่งเป็นปัจจุบันใน HF , ชุดค่าของ V และเพิ่มเป็นที่ตั้งของ วีที่ไม่ได้ถูกคัดลอก กฎ HGC endgc ต้องการที่ดอม ( HF ) S = = ; คือว่าไม่มีเหลือ ที่ตั้งจะถูกรวบรวม ถ้าเป็นกรณีนี้ , และมีการปลดล็อคและสะสมกลายเป็นกองใหม่