The contributions of this paper inc

The contributions of this paper include the following.
 A hierarchical model of memory for a nested-parallel functional
language.
 The precise formulation of the disentanglement property in the
context of our nested-parallel functional language, and the proof
that this language guarantees disentanglement.
 The formulation of a hierarchical garbage collection technique
that allows portions of memory to be garbage collected concurrently
with other tasks.
 The design of a runtime system that realizes the hierarchical
memory management techniques.
 A prototype implementation as an extension to the MLton
compiler for Standard ML, and an evaluation of its performance.

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

ผลงานของกระดาษมีดังนี้แบบจำลองแบบลำดับชั้นของหน่วยความจำสำหรับที่ซ้อนขนานกันทำงานภาษากำหนดความแม่นยำของการ disentanglement คุณสมบัติในการบริบทของภาษาของเราทำงานแบบขนานซ้อน และหลักฐานว่า ภาษานี้รับประกัน disentanglementการกำหนดเทคนิคการรวบรวมขยะตามลำดับชั้นที่ทำให้บางส่วนของหน่วยความจำจะเป็นขยะที่เก็บรวบรวมพร้อมกันกับงานอื่น ๆการออกแบบของระบบรันไทม์ที่ตระหนักถึงการลำดับชั้นเทคนิคการจัดการหน่วยความจำการดำเนินการแบบเป็น MLton การคอมไพเลอร์สำหรับมาตรฐานมล. และการประเมินผลการดำเนินงาน

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

ผลงานของการวิจัยนี้รวมถึงต่อไปนี้.
? รูปแบบลำดับชั้นของหน่วยความจำสำหรับการทำงานที่ซ้อนกันขนาน
ภาษา.
? สูตรที่แม่นยำของคลี่คลายทรัพย์สินใน
บริบทของการใช้ภาษาในหน้าที่ของเราที่ซ้อนกันขนานและหลักฐาน
ที่ว่านี้คลี่คลายค้ำประกันภาษา.
? สูตรเทคนิคการเก็บขยะตามลำดับชั้น
ที่ช่วยให้บางส่วนของหน่วยความจำที่จะเก็บขยะพร้อมกัน
กับงานอื่น ๆ .
? การออกแบบของระบบรันไทม์ที่ตระหนักถึงลำดับชั้น
เทคนิคการจัดการหน่วยความจำ.
? การดำเนินต้นแบบในฐานะที่เป็นส่วนขยายของ MLton
คอมไพเลอร์สำหรับมาตรฐาน ML และการประเมินผลการปฏิบัติงาน

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

การเขียนของกระดาษนี้รวมถึงต่อไปนี้เป็นชุดรูปแบบของหน่วยความจำสำหรับซ้อนขนานการทำงานภาษาสูตรที่แน่นอนของบนบานคุณสมบัติในบริบทของภาษาซ้อนขนานการทำงานและการพิสูจน์ภาษานี้รับประกันบนบาน .การกำหนดลำดับชั้นของเทคนิคการเก็บขยะที่ช่วยให้บางส่วนของหน่วยความจำที่จะเก็บขยะกันกับงานอื่น ๆการออกแบบของตัวระบบที่ตระหนักถึงลำดับชั้นเทคนิคการจัดการหน่วยความจำต้นแบบการเป็นส่วนขยายไปยัง mltonคอมไพเลอร์สำหรับมล มาตรฐาน และการประเมินผลการปฏิบัติงานของ