The OCaml garbage collector splits

The OCaml garbage collector splits the heap into two regions:
a fast minor heap for short-lived values, and a large major heap to
which longer-lived values are promoted on each minor heap collection.
These areas are allocated below the low virtual address
space reserved by Xen: the minor heap has a single 2MB extent
that grows in 4 kB chunks, and the major heap has the remainder
of virtual memory, growing in 2MB superpage chunks using the
extent allocator. Memory mapping large contiguous areas is usually
discouraged to allow Address Space Randomization (ASR) to
protect against buffer overflows [16], and so a normal userspace
garbage collector maintains a page table to track allocated heap
chunks. Mirage unikernels avoid ASR at runtime in favour of a
more specialised security model (§2.3), and guarantee a contiguous
virtual address space, simplifying runtime memory management.

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

เก็บรวบรวมขยะ OCaml แบ่งกองเป็นสองภูมิภาค:กองรองอย่างรวดเร็วในช่วงสั้น ๆ ค่า และเป็นกองใหญ่ใหญ่ไปค่า longer-lived ที่จะส่งเสริมในแต่ละคอลเลกชันกองรองพื้นที่เหล่านี้จะถูกปันส่วนด้านล่างอยู่เสมือนที่ต่ำพื้นที่ที่สงวนไว้ Xen: กองรองมีขนาด 2MB เดียวที่เติบโตขึ้นในก้อน 4 kB และกองใหญ่มีส่วนเหลือหน่วยความจำเสมือน การเติบโตใน 2MB superpage ก้อนโดยใช้การตัวจัดสรรเท่านั้น หน่วยความจำที่แมปพื้นที่ขนาดใหญ่ติดกันเป็นปกติกำลังใจให้อยู่พื้นที่ Randomization (ASR) เพื่อป้องกันบัฟเฟอร์โอเวอร์โฟลว์ [16], และ userspace ปกติเก็บขยะรักษาตารางหน้าติดตามกองปันก้อน มิราจ unikernels หลีกเลี่ยง ASR ขณะรันไทม์ใน favour ของการเพิ่มเติมเฉพาะรุ่นการรักษาความปลอดภัย (§2.3), และรับประกันที่อยู่ติดกันพื้นที่ที่อยู่เสมือน การจัดการหน่วยความจำขณะทำงานให้

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

เก็บขยะ OCaml แยกกองเป็นสองภูมิภาค:
กองรองลงมาอย่างรวดเร็วสำหรับค่าสั้นและกองที่สำคัญขนาดใหญ่
ซึ่งค่าอยู่มานานได้รับการส่งเสริมการลงทุนในแต่ละคอลเลคกองรองลงมา
พื้นที่เหล่านี้จะได้รับการจัดสรรด้านล่างที่อยู่เสมือนต่ำ
พื้นที่ สงวนไว้โดย Xen: กองเล็กน้อยมีขอบเขต 2MB เดียว
ที่เติบโตใน 4 ชิ้นกิโลไบต์, และกองที่สำคัญมีส่วนที่เหลือ
ของหน่วยความจำเสมือนที่กำลังเติบโตใน 2MB ชิ้น superpage ใช้
จัดสรรขอบเขต การทำแผนที่พื้นที่หน่วยความจำขนาดใหญ่ที่อยู่ติดกันก็มักจะ
หมดกำลังใจที่จะอนุญาตให้อยู่อวกาศการสุ่มตัวอย่าง (ASR) เพื่อ
ป้องกันหน่วยความจำล้น [16] และอื่น ๆ userspace ปกติ
เก็บขยะรักษาตารางเพจเพื่อติดตามการจัดสรรกอง
ชิ้น unikernels Mirage หลีกเลี่ยง ASR ที่รันไทม์ในความโปรดปรานของ
รูปแบบการรักษาความปลอดภัยพิเศษเพิ่มเติม (§2.3) และรับประกันติดกัน
พื้นที่ที่อยู่เสมือนง่ายการจัดการหน่วยความจำรันไทม์

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

การ ocaml เก็บขยะแยกกองเป็นสองภูมิภาค :
กองย่อยเร็วค่าสั้น และกองใหญ่ขนาดใหญ่ที่ยาวอยู่ค่า

มีการส่งเสริมในแต่ละย่อยกองคอลเลกชัน พื้นที่เหล่านี้จะจัดสรรด้านล่าง

พื้นที่ที่อยู่ต่ำเสมือนห้องพักเซ็น : กองผู้เยาว์มีขอบเขต
2 เดี่ยว ที่เติบโตใน 4 KB อย่างชัดเจน และกองสำคัญส่วนที่เหลือ
ของหน่วยความจำเสมือน การเติบโตใน superpage 2 ชิ้นใช้
ขอบเขตการจัดสรร . หน่วยความจำแผนที่พื้นที่ติดกันขนาดใหญ่มักจะ
ท้อ ให้ใช้พื้นที่ที่อยู่ ( ASR )
ป้องกันบัฟเฟอร์ล้น [ 16 ] และเพื่อปกติพื้นที่ของผู้ใช้
เก็บขยะรักษาหน้าโต๊ะเพื่อติดตามการจัดสรร chunks กอง

unikernels มิราจหลีกเลี่ยง ASR ที่ runtime ในความโปรดปรานของ
เพิ่มเติมรูปแบบการรักษาความปลอดภัยพิเศษ ( § 2.3 ) และรับประกันต่อเนื่อง
เสมือนที่อยู่พื้นที่ระบบการจัดการหน่วยความจำ runtime .