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:

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

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

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