Our Mirage prototype produces unike

Our Mirage prototype produces unikernels by compiling and linking
OCaml code into a bootable Xen VM image. We implement
all but the lowest-level features in OCaml and, to assist developers
testing and debugging their code, provide the ability to produce
POSIX binaries that run Mirage services on UNIX, as well as Xen
VM images. We now discuss some of the key design decisions and
components of Mirage: use of OCaml the PVBoot library
that initialises a basic environment, a modified language runtime
library for heap management and concurrency and its
type-safe device drivers and I/O stack

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

ต้นแบบมิราจของเราสร้าง unikernels โดยการคอมไพล์ และเชื่อมโยงรหัส OCaml เป็นรูปบูต Xen VM เราสามารถใช้แต่คุณลักษณะระดับต่ำสุด ใน OCaml และ นักพัฒนาทั้งหมดทดสอบ และดีบักรหัสของพวกเขา มีความสามารถในการผลิตไบนารี POSIX ที่รันบริการมิราจบน UNIX ตลอดจน Xenภาพ VM เราตอนนี้หารือบางตัดสินใจออกแบบหลัก และส่วนประกอบของมิราจ: ใช้ OCaml รี PVBootที่ initialises สภาพแวดล้อมพื้นฐาน การรันไทม์ภาษาแก้ไขไลบรารีสำหรับกองจัดการและเกิดพร้อมกันและโปรแกรมควบคุมอุปกรณ์ชนิดปลอดภัยและกอง I/O

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

ต้นแบบความฝันของเราผลิต unikernels โดยการรวบรวมและเชื่อมโยง
รหัส OCaml เป็นภาพ Xen VM บูต เราใช้
ทั้งหมด แต่คุณสมบัติที่ระดับต่ำสุดใน OCaml และเพื่อช่วยให้นักพัฒนา
ทดสอบและการแก้จุดบกพร่องรหัสของพวกเขาให้ความสามารถในการผลิต
ไบนารี POSIX ที่ใช้บริการ Mirage บน UNIX เช่นเดียวกับ Xen
ภาพ VM ตอนนี้เราหารือเกี่ยวกับบางส่วนของการตัดสินใจการออกแบบที่สำคัญและ
องค์ประกอบของ Mirage: การใช้ OCaml ห้องสมุด PVBoot
ที่ initialises สภาพแวดล้อมขั้นพื้นฐาน runtime แก้ไขภาษา
ห้องสมุดสำหรับการจัดการกองและเห็นพ้องด้วยและ
โปรแกรมควบคุมอุปกรณ์ชนิดปลอดภัยและ I / O สแต็ค

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

ต้นแบบ unikernels มิราจของเราผลิต โดยรวบรวมและเชื่อมโยง
รหัส ocaml เป็นบูตแรกสำหรับภาพ เราใช้
แต่ระดับต่ำสุดใน ocaml คุณลักษณะและเพื่อช่วยให้นักพัฒนา
การทดสอบและการแก้จุดบกพร่องรหัสของพวกเขามีความสามารถในการผลิต
POSIX ไบนารีที่วิ่งบนยูนิกซ์ มิราจ การบริการ ตลอดจนภาพ VM เซ็น

ตอนนี้เราจะหารือเกี่ยวกับบางส่วนของการตัดสินใจที่สำคัญและ
ออกแบบส่วนประกอบของมิราจ : ใช้ ocaml ที่ pvboot ห้องสมุด
ที่ initialises สภาพแวดล้อมพื้นฐาน การแก้ไขภาษารันไทม์
ห้องสมุดและการจัดการกองพร้อมกันและ
ประเภทปลอดภัยไดรเวอร์ของอุปกรณ์ I / O และกองซ้อน