most scheduling and thread logicis

most scheduling and thread logic
is contained in an application library, and can thus be modified by
the developer as they see fit. For example, threads can be tagged
with local keys for debugging, statistics or prioritisation, depending
on application needs. Thread scheduling is platform-independent
with timers stored in a heap-allocated OCaml priority queue, and
can be overridden by the application (e.g. we have previously
demonstrated the benefit of custom scheduling for the Sqlite library
database in an earlier prototype [19]). Only the run-loop is Xenspecific,
to interface with PVBoot.

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

ตรรกะการจัดกำหนดการและหัวข้อส่วนใหญ่มีอยู่ในไลบรารีมีโปรแกรมประยุกต์ และดังนั้นจึงสามารถปรับเปลี่ยนโดยนักพัฒนาที่พวกเขาเห็นพอดี ตัวอย่าง สามารถแท็กหัวข้อด้วยปุ่มเฉพาะสำหรับการดีบัก สถิติ หรือ prioritisation ขึ้นอยู่กับโปรแกรมประยุกต์ที่ต้องการ เธรดการจัดกำหนดการจะไม่ขึ้นกับแพลตฟอร์มมีตัวจับเวลาที่เก็บไว้ในการปันส่วนกอง OCaml สำคัญคิว และสามารถถูกแทนที่ โดยโปรแกรมประยุกต์ (เช่นเราได้ก่อนหน้านี้แสดงประโยชน์ของการจัดกำหนดการแบบกำหนดเองสำหรับรี Sqliteฐานข้อมูลในการต้นแบบก่อนหน้านี้ [19]) เฉพาะรันลูปคือ Xenspecificอินเทอร์เฟสกับ PVBoot

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

การจัดตารางเวลามากที่สุดและตรรกะหัวข้อ
ที่มีอยู่ในห้องสมุดแอพลิเคชันและสามารถแก้ไขโดย
นักพัฒนาที่พวกเขาเห็นพอดี ตัวอย่างเช่นหัวข้อสามารถติดแท็ก
ด้วยปุ่มท้องถิ่นสำหรับการแก้จุดบกพร่องสถิติหรือจัดลำดับความสำคัญขึ้นอยู่
กับความต้องการของแอพลิเคชัน การจัดตารางเวลาด้ายเป็นแพลตฟอร์ม
ที่มีตัวนับที่เก็บไว้ในกองจัดสรร OCaml คิวลำดับความสำคัญและ
สามารถแทนที่โดยการประยุกต์ใช้ (เช่นก่อนหน้านี้เราได้
แสดงให้เห็นถึงประโยชน์ของการจัดตารางเวลาที่กำหนดเองสำหรับห้องสมุด Sqlite
ฐานข้อมูลในต้นแบบก่อนหน้านี้ [19]) เพียงวงทำงานเป็น Xenspecific,
การติดต่อกับ PVBoot

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

ส่วนใหญ่การจัดตารางและด้ายตรรกะ
ที่มีอยู่ในโปรแกรมห้องสมุด , และดังนั้นจึงสามารถแก้ไขได้โดย
นักพัฒนาที่พวกเขาเห็นพอดี ตัวอย่างเช่น หัวข้อสามารถแท็ก
กับคีย์ในท้องถิ่นสำหรับการแก้จุดบกพร่อง , สถิติหรือ prioritisation ขึ้นอยู่กับ
ความต้องการโปรแกรม หัวข้อการเป็นแพลตฟอร์มอิสระ
กับตัวเก็บไว้ในกองจัดสรร ocaml แถวคอยลำดับความสำคัญและ
สามารถถูกแทนที่โดยโปรแกรม ( เช่นเราเคย
) ประโยชน์ของเวลาที่กำหนดเองสำหรับ SQLite ห้องสมุด
ฐานข้อมูลในก่อนหน้านี้ต้นแบบ [ 19 ] ) แค่วิ่งวนเป็น xenspecific
, ติดต่อกับ pvboot .