This paper develops Brinch-Hansen's

This paper develops Brinch-Hansen's concept of a
monitor as a method of structuring an operating system.
It introduces a form of synchronization, describes a
possible method of implementation in terms of semaphores
and gives a suitable proof rule. Illustrative
examples include a single resource scheduler, a bounded
buffer, an alarm clock, a buffer pool, a disk head
optimizer, and a version of the problem of readers and
writers.
Key Words and Phrases: monitors, operating systems,
scheduling, mutual exclusion, synchronization, system
implementation languages, structured multiprogramming
CR Categories: 4.31, 4.22

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

กระดาษนี้พัฒนา Brinch-แฮนเซนของแนวคิดของการตรวจสอบเป็นวิธีการจัดโครงสร้างระบบปฏิบัติการมันแนะนำรูปแบบของการซิงโครไนส์ อธิบายการวิธีเป็นไปได้ในแง่ของอุปกรณ์สัญญาณและเหมาะสมให้หลักฐานกฎ เป็นตัวอย่างตัวอย่างเช่นเป็นทรัพยากรตัวจัดกำหนดการ แบบ boundedบัฟเฟอร์ นาฬิกาปลุก พูบัฟเฟอร์ หัวดิสก์เพิ่มประสิทธิภาพ และรูปแบบของปัญหาของผู้อ่าน และนักเขียนคำสำคัญและวลี: จอภาพ ระบบปฏิบัติการแยกทั้งสองฝ่าย ตรง ระบบ การวางแผนการใช้งานภาษา multiprogramming มีโครงสร้างหมวดหมู่ของ CR: 4.31, 4.22

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

กระดาษนี้จะพัฒนาแนวคิด Brinch แฮนเซนของของ
จอภาพเป็นวิธีการของโครงสร้างระบบปฏิบัติการได้.
แนะนำรูปแบบของการประสานอธิบาย
วิธีการที่เป็นไปได้ของการดำเนินงานในแง่ของการส่งสัญญาณ
และให้กฎหลักฐานที่เหมาะสม ตัวอย่าง
ตัวอย่างรวมถึงการจัดตารางเวลาเดียวทรัพยากรล้อมรอบ
บัฟเฟอร์, นาฬิกาปลุก, สระว่ายน้ำบัฟเฟอร์หัวดิสก์
เพิ่มประสิทธิภาพ, และรุ่นของปัญหาของผู้อ่านและเป็น
นักเขียน.
คำและวลีที่สำคัญ: จอภาพ, ระบบปฏิบัติการ,
การตั้งเวลาการยกเว้นร่วมกัน การประสานระบบ
ภาษาการดำเนินงานโครงสร้าง multiprogramming
CR หมวดหมู่: 4.31, 4.22