To provide modularity and performan

To provide modularity and performance, operating
system kernels should have only minimal embedded
functionality. Today's operating systems are large,
inefficient and, most importantly, inflexible. In our
view, most operating system performance and flexibility
problems can be eliminated simply by pushing
the operating system interface lower. Our goal
is to put abstractions traditionally implemented by
the kernel out into user-space, where user-level libraries
and servers abstract the exposed hardware resources.
To achieve this goal, we have defined a new
operating system structure, exokernel, that safely exports
the resources defined by the underlying hardware.
To enable applications to benefit from full
hardware functionality and performance, they are allowed
to download additions to the supervisor-mode
execution environment. To guarantee that these extensions
are safe, techniques such as code inspection,
inlined cross-domain procedure calls, and secure languages
are used. To test and evaluate exokernels and
their customization techniques a prototype exokernel,
Aegis, is being developed.

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

ให้ modularity และประสิทธิภาพ การทำงานควรมีระบบเมล็ดเดียวฝังตัวน้อยที่สุดทำงาน ระบบปฏิบัติการปัจจุบันมีขนาดใหญ่ต่ำ และ สำคัญ inflexible ในของเราดู การส่วนใหญ่ระบบปฏิบัติการประสิทธิภาพ และความยืดหยุ่นสามารถตัดปัญหา โดยการผลักดันเพียงแต่ระบบปฏิบัติการอินเทอร์เฟซต่ำกว่า เป้าหมายของเราใส่ abstractions ซึ่งดำเนินการโดยเคอร์เนลออกในพื้นที่ผู้ใช้ ผู้ใช้ระดับไลบรารีและเซิร์ฟเวอร์ทรัพยากรฮาร์ดแวร์การสัมผัสที่บทคัดย่อเพื่อให้บรรลุเป้าหมายนี้ เรากำหนดใหม่โครงสร้างระบบปฏิบัติการ exokernel ที่ส่งออกได้อย่างปลอดภัยทรัพยากรที่กำหนด โดยฮาร์ดแวร์พื้นฐานการเปิดใช้งานโปรแกรมประยุกต์จะได้รับประโยชน์จากเต็มฟังก์ชันการทำงานของฮาร์ดแวร์และประสิทธิภาพ จะได้รับอนุญาตดาวน์โหลดเพิ่มโหมดผู้ควบคุมสภาพแวดล้อมในการดำเนินการ การรับประกันที่ส่วนขยายเหล่านี้เทคนิคเช่นตรวจสอบรหัส ปลอดภัย มีเรียกกระบวนการข้ามโดเมน inlined และทางภาษาใช้ การทดสอบ และประเมิน exokernels และเทคนิคของตนเองเป็นต้นแบบ exokernelสนับสนุน ได้ถูกพัฒนาขึ้น

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

เพื่อให้ต้นแบบและประสิทธิภาพการดำเนินงาน
เมล็ดระบบควรจะมีการฝังตัวเพียงเล็กน้อยเท่านั้น
การทำงาน วันนี้ระบบปฏิบัติการที่มีขนาดใหญ่
ไม่มีประสิทธิภาพและที่สำคัญที่สุดคือความยืดหยุ่น เราใน
มุมมองของการทำงานของระบบปฏิบัติการและความยืดหยุ่นมากที่สุด
ปัญหาก็จะถูกกำจัดได้ง่ายๆโดยการผลักดัน
อินเตอร์เฟซระบบปฏิบัติการที่ต่ำกว่า เป้าหมายของเรา
คือการวางแนวคิดการดำเนินการแบบดั้งเดิมโดย
เคอร์เนลออกไปสู่ผู้ใช้พื้นที่ที่ห้องสมุดระดับผู้ใช้
และเซิร์ฟเวอร์นามธรรมทรัพยากรฮาร์ดแวร์สัมผัส.
เพื่อให้บรรลุเป้าหมายนี้เราได้กำหนดใหม่
โครงสร้างระบบปฏิบัติการเอ็กโซ, การส่งออกที่ปลอดภัย
ทรัพยากรที่กำหนดโดยฮาร์ดแวร์พื้นฐาน.
ต้องการเปิดใช้งานการใช้งานที่จะได้รับประโยชน์จากเต็มรูปแบบ
การทำงานของฮาร์ดแวร์และประสิทธิภาพการทำงานที่พวกเขาจะได้รับอนุญาต
ในการดาวน์โหลดภาพให้ผู้บังคับบัญชาโหมด
สภาพแวดล้อมการดำเนินการ เพื่อรับประกันว่าส่วนขยายเหล่านี้
มีความปลอดภัยเทคนิคเช่นการตรวจสอบรหัส
inlined ข้ามโดเมนเรียกขั้นตอนและภาษาที่เชื่อถือได้
ถูกนำมาใช้ ในการทดสอบและประเมินผลการ exokernels และ
เทคนิคการปรับแต่งของพวกเขาเอ็กโซต้นแบบ
โล่, ได้รับการพัฒนา

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

เพื่อให้รูปแบบและประสิทธิภาพการดำเนินงาน
เมล็ดระบบควรมีแค่นิดเดียวฝังตัว
การทํางาน วันนี้ระบบปฏิบัติการขนาดใหญ่
ไม่มีประสิทธิภาพ และที่สำคัญที่สุดคือ ไม่ยืดหยุ่น ในมุมมองของเรา
, มากที่สุดระบบปฏิบัติการประสิทธิภาพและความยืดหยุ่น
ปัญหาสามารถตัดได้ง่ายโดยกด
ระบบอินเตอร์เฟซที่ลดลง
เป้าหมายของเราจะใส่เป็นนามธรรมโดย
เคอร์เนลออกสู่อวกาศของผู้ใช้ที่ผู้ใช้ระดับห้องสมุด
และเซิร์ฟเวอร์นามธรรมสัมผัส
ฮาร์ดแวร์ทรัพยากร เพื่อให้บรรลุเป้าหมายนี้ เราได้กำหนดใหม่
ระบบปฏิบัติการ โครงสร้าง exokernel ที่ปลอดภัยส่งออก
ทรัพยากรที่กำหนดโดยฮาร์ดแวร์พื้นฐาน .
เพื่อให้โปรแกรมประโยชน์
จากเต็มฮาร์ดแวร์และประสิทธิภาพการทำงาน พวกเขาได้รับอนุญาตให้ดาวน์โหลดเพิ่มหัวหน้า

โหมดตามสภาพแวดล้อม เพื่อรับประกันว่าเหล่านี้ส่วนขยาย
ปลอดภัย เทคนิค เช่น การตรวจสอบรหัส
ขั้นตอน inlined ข้ามโดเมนโทร และการใช้ภาษา
. เพื่อทดสอบและประเมินตนเอง exokernels และ

exokernel เทคนิคต้นแบบ , การป้องกัน , การพัฒนา