AbstractAn important feature of fun

Abstract
An important feature of functional programs is that they are parallel
by default. Implementing an ecient parallel functional language,
however, is a major challenge, in part because the high rate of
allocation and freeing associated with functional programs requires
an ecient and scalable memory manager.
In this paper, we present a technique for parallel memory
management for strict functional languages with nested parallelism.
At the highest level of abstraction, the approach consists of a
technique to organize memory as a hierarchy of heaps, and an
algorithm for performing automatic memory reclamation by taking
advantage of a disentanglement property of parallel functional
programs. More specifically, the idea is to assign to each parallel task
its own heap in memory and organize the heaps in a hierarchy/tree
that mirrors the hierarchy of tasks.
We present a nested-parallel calculus that specifies hierarchical
heaps and prove in this calculus a disentanglement property, which
prohibits a task from accessing objects allocated by another task
that might execute in parallel. Leveraging the disentanglement
property, we present a garbage collection technique that can operate
on any subtree in the memory hierarchy concurrently as other tasks
(and/or other collections) proceed in parallel. We prove the safety
of this collector by formalizing it in the context of our parallel
calculus. In addition, we describe how the proposed techniques can
be implemented on modern shared-memory machines and present
a prototype implementation as an extension to MLton, a highperformance
compiler for the Standard ML language. Finally, we
evaluate the performance of this implementation on a number of
parallel benchmarks.
Categories and Subject Descriptors D.3.4 [Programming Languages]:
Processors— Memory management (garbage collection);
D.1.3 [Programming Techniques]: Concurrent Programming — Parallel
Programming; D.4.1 [Operating Systems]: Process Management
—Scheduling
General Terms Languages, Performance
Keywords Languages, Memory Management, Parallelism, Scheduling

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

บทคัดย่อคุณลักษณะสำคัญของโปรแกรมทำงานไม่ว่า จะแบบขนานโดยค่าเริ่มต้น ใช้กับ e cient ขนานทำงานภาษาอย่างไรก็ตาม เป็นความท้าทายสำคัญ ส่วนหนึ่งเพราะอัตราที่สูงของการปันส่วนและพ้นเกี่ยวข้องกับโปรแกรมทำงานต้องมี e cient และจัดการหน่วยความจำขนาดในกระดาษนี้ เรานำเสนอเทคนิคสำหรับหน่วยความจำขนานการจัดการภาษาทำงานเข้มงวดกับขนานซ้อนกันระดับสูงของ abstraction วิธีการประกอบด้วยการเทคนิคการจัดการหน่วยความจำเป็นลำดับชั้นของกอง และอัลกอริทึมการถมอัตโนมัติหน่วยความจำโดยการประโยชน์จากคุณสมบัติ disentanglement ของพร้อมทำงานโปรแกรม โดยเฉพาะอย่างยิ่ง ความคิดที่จะ กำหนดให้งานแต่ละขนานตนเองในหน่วยความจำฮีป และการจัดระเบียบกองในแผนภูมิลำดับชั้น /ที่สะท้อนลำดับชั้นของงานเรานำเสนอแคลคูลัสซ้อนขนานที่ระบุลำดับชั้นเพศ และพิสูจน์ในแคลคูลัสนี้คุณสมบัติ disentanglement ซึ่งห้ามทำงานการเข้าถึงวัตถุที่ถูกปันส่วนตามภารกิจที่อื่นที่อาจดำเนินการควบคู่กัน Disentanglement การใช้ประโยชน์จากคุณสมบัติ เรานำเสนอเทคนิคการเก็บรวบรวมขยะที่สามารถดำเนินการในลำดับชั้นย่อยใด ๆ ในลำดับชั้นหน่วยความจำพร้อมกันเป็นงานอื่น ๆ(หรือคอลเลกชันอื่น ๆ) ดำเนินการควบคู่กัน เราพิสูจน์ความปลอดภัยนี้เก็บรวบรวมโดย formalizing ในบริบทของการขนานของเราแคลคูลัส นอกจากนี้ เราอธิบายเทคนิคการนำเสนออย่างไรนำมาใช้ บนเครื่องหน่วยความจำที่ใช้ร่วมกันที่ทันสมัย และปัจจุบันการดำเนินการแบบเป็น MLton, highperformance เป็นคอมไพเลอร์ของภาษามาตรฐาน ML ในที่สุด เราประเมินประสิทธิภาพของการใช้งานในจำนวนนี้ขนานมาตรฐานประเภทและตัวแสดงรายละเอียดของเรื่อง D.3.4 [ภาษาเขียน]:โปรเซสเซอร์ — การจัดการหน่วยความจำ (ขยะ);D.1.3 [เทคนิคการเขียนโปรแกรม]: การเขียนโปรแกรมพร้อมกัน — ขนานการเขียนโปรแกรม D.4.1 [ระบบปฏิบัติการ]: การจัดการกระบวนการ— กำหนดการภาษาทั่วไปเงื่อนไข ประสิทธิภาพคำหลักภาษา การจัดการหน่วยความจำ ขนาน การจัดกำหนดการ

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

บทคัดย่อ
คุณลักษณะที่สำคัญของโปรแกรมการทำงานคือว่าพวกเขาจะเป็นแนวขนาน
ไปโดยปริยาย การใช้ E? ประสิทธิภาพภาษาการทำงานแบบคู่ขนาน
แต่เป็นความท้าทายที่สำคัญในส่วนหนึ่งเพราะอัตราที่สูงของ
การจัดสรรและพ้นที่เกี่ยวข้องกับโปรแกรมการทำงานต้อง
เป็น e? ประสิทธิภาพและจัดการหน่วยความจำที่สามารถปรับขนาด.
ในบทความนี้เรานำเสนอเทคนิคขนาน หน่วยความจำ
การจัดการสำหรับภาษาที่ทำงานอย่างเคร่งครัดกับขนานที่ซ้อนกัน.
ในระดับสูงสุดของนามธรรมวิธีประกอบด้วย
เทคนิคในการจัดระเบียบหน่วยความจำลำดับชั้นของกองสและ
อัลกอริทึมสำหรับการดำเนินการถมหน่วยความจำอัตโนมัติโดยการใช้
ประโยชน์จากคุณสมบัติคลี่คลายขนานการทำงาน
โปรแกรม โดยเฉพาะอย่างยิ่งความคิดที่จะกำหนดให้กับแต่ละงานขนาน
กองของตัวเองในความทรงจำและการจัดระเบียบกองในลำดับชั้น / ต้น
ที่กระจกลำดับชั้นของงาน.
เรานำเสนอแคลคูลัสซ้อนกันขนานที่ระบุลำดับชั้น
กองและพิสูจน์ในแคลคูลัสนี้ คุณสมบัติคลี่คลายซึ่ง
ห้ามไม่ให้งานจากวัตถุเข้าถึงการจัดสรรโดยงานอื่น
ที่อาจดำเนินการในแบบคู่ขนาน ใช้ประโยชน์จากคลี่คลาย
คุณสมบัติเรานำเสนอเทคนิคการเก็บขยะที่สามารถทำงาน
ในทรีย่อยใด ๆ ในลำดับชั้นของหน่วยความจำที่เห็นพ้องกันว่าเป็นงานอื่น ๆ
(และ / หรือคอลเลกชันอื่น ๆ ) ดำเนินการในแบบคู่ขนาน เราพิสูจน์ความปลอดภัย
ของนักสะสมนี้โดยการอย่างเป็นทางการในบริบทของการขนานของเรา
แคลคูลัส นอกจากนี้เราจะอธิบายวิธีการเทคนิคที่นำเสนอสามารถ
จะนำมาใช้ในเครื่องที่ทันสมัยแชร์หน่วยความจำและนำเสนอ
การดำเนินงานต้นแบบเป็นส่วนขยายไป MLton เป็น highperformance
คอมไพเลอร์สำหรับภาษามาตรฐาน ML สุดท้ายเรา
ประเมินประสิทธิภาพของการดำเนินงานนี้อยู่กับจำนวนของ
มาตรฐานขนาน.
หมวดและอธิบายเรื่อง D.3.4 [การเขียนโปรแกรมภาษา]:
การจัดการหน่วยความจำ Processors- (เก็บขยะ);
[เทคนิคการเขียนโปรแกรม] D.1.3: การเขียนโปรแกรมพร้อมกัน - ขนาน
การเขียนโปรแกรม ; D.4.1 [ระบบปฏิบัติการ]: การจัดการกระบวนการ
-Scheduling
เงื่อนไขทั่วไปภาษาประสิทธิภาพ
คำหลักภาษา, การบริหารจัดการหน่วยความจำขนานการตั้งเวลา

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

บทคัดย่อคุณสมบัติที่สำคัญของโปรแกรมการทำงานที่พวกเขาเป็นแบบขนานโดยค่าเริ่มต้น การ ecient ขนานการทำงานของภาษาอย่างไรก็ตาม ความท้าทายหลัก ส่วนเนื่องจากอัตราที่สูงของการจัดสรรและการเกี่ยวข้องกับการทำงานที่ต้องใช้โปรแกรมเป็นหน่วยความจำ ecient และผู้จัดการด้านเทคนิคในงานวิจัยนี้ เราได้นำเสนอเทคนิคสำหรับหน่วยความจำแบบขนานการจัดการที่เข้มงวดกับการทำงานภาษาซ้อนขนาน .ในระดับสูงของ abstraction , วิธีการประกอบด้วยเทคนิคในการจัดระเบียบความจำเป็นลำดับชั้นของกอง และขั้นตอนวิธีสำหรับการเวนคืนที่ดิน โดยการใช้หน่วยความจำอัตโนมัติประโยชน์ของบนบานคุณสมบัติของการทำงานแบบขนานโปรแกรม มากขึ้น โดยเฉพาะ ความคิดคือการกำหนดให้แต่ละขนาน งานของตัวเองกองในหน่วยความจำและจัดระเบียบกองในลำดับชั้น / ต้นที่แสดงลำดับชั้นของงานเรานำเสนอที่ระบุลำดับชั้นซ้อนขนานแคลคูลัสกองพิสูจน์ในแคลคูลัสเป็นบนบานที่ดิน ซึ่งห้ามงานจากการเข้าถึงวัตถุที่จัดสรรโดยงานอื่นที่อาจจะดำเนินการในแบบคู่ขนาน ความคลี่คลายของบริษัทคุณสมบัติที่เราได้เสนอเทคนิคการเก็บขยะที่สามารถทํางานในมากในลำดับขั้นของหน่วยความจำพร้อมกัน เช่น งานอื่น ๆ( และ / หรือคอลเลกชันอื่น ๆดำเนินการคู่ขนานกัน เราพิสูจน์ความปลอดภัยของนักสะสมโดย formalizing มันในบริบทของขนานแคลคูลัส นอกจากนี้ เราอธิบายวิธีการเทคนิคที่เสนอสามารถจะใช้ในหน่วยความจำที่ใช้ร่วมกันและทันสมัย เครื่องปัจจุบันต้นแบบการเป็นส่วนขยายที่จะ mlton , highperformanceคอมไพเลอร์สำหรับภาษามิลลิลิตรมาตรฐาน ในที่สุดประเมินประสิทธิภาพของการใช้นี้เกี่ยวกับจำนวนของวัดแบบขนานประเภทและหัวข้อใน d.3.4 [ ภาษา ] :โปรเซสเซอร์ - การจัดการหน่วยความจำ ( เก็บขยะ )d.1.3 [ การเขียนโปรแกรมเทคนิคการเขียนโปรแกรมแบบขนาน - ] :โปรแกรม d.4.1 [ ระบบปฏิบัติการ ] : การจัดการกระบวนการ- จัดตารางภาษาเงื่อนไขทั่วไป ประสิทธิภาพคำหลักภาษา , การจัดการ , การจัดตารางความความทรงจำ