The set of shared objects present i

The set of shared objects present in the system together with the lists of critical sections specified for each contract are used for schedulability analysis purposes only. A run-time mechanism for mutual exclusion is not provided in FSF for two important reasons. One of them is upward compatibility of previous code using regular primitives such as mutexes or protected objects (in Ada); this is a key issue if we want to persuade application developers to switch their systems to the
FSF environment. The second reason is that enforcing worst case execution time for critical sections is expensive. The number of critical sections in real pieces of code may be very high, in the tens or in the hundreds per task, and monitoring all of them would require a large amount of system resources. The FSF application does not depend on any particular synchronization protocol, but there is a requirement that a budget expiration cannot occur inside a critical section, because otherwise the blocking delays could be extremely large. This implies that the application is allowed to overrun its budget for the duration, at most, of the critical section, and this extra budget is taken into account in the schedulability analysis.

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

ชุดของวัตถุที่ร่วมอยู่ในระบบพร้อมกับรายการของส่วนสำคัญที่ระบุสำหรับสัญญาแต่ละใช้สำหรับ schedulability วิเคราะห์เท่านั้น ไม่ได้มีใน FSF กลไกรันไทม์สำหรับแยกออกซึ่งกันและกันด้วยเหตุผลสำคัญสองประการ หนึ่งในนั้นคือ กันขึ้นรหัสก่อนหน้านี้ใช้นำทั่วไปเช่น mutexes หรือป้องกันวัตถุ (ใน Ada); นี้เป็นเรื่องสำคัญหากเราต้องการชักชวนนักพัฒนาโปรแกรมระบบการสลับสภาพแวดล้อมของ FSF เหตุผลที่สองคือ ที่บังคับใช้เวลาการดำเนินการกรณีเลวร้ายที่สุดสำหรับส่วนที่สำคัญคือราคาแพง หมายเลขของส่วนสำคัญชิ้นจริงรหัสอาจสูงมาก หลักสิบ หรือร้อยละงาน และตรวจสอบทั้งหมดจะต้องใช้ทรัพยากรระบบจำนวนมาก แอพลิเคชัน FSF ขึ้นอยู่กับโพรโทคอใด ๆ เฉพาะตรง แต่มีความต้องการว่า อายุงบประมาณไม่สามารถเกิดขึ้นภายในส่วนที่สำคัญ เพราะมิฉะนั้น ความล่าช้าในการบล็อคอาจจะขนาดใหญ่มาก หมายความว่า โปรแกรมประยุกต์ที่ได้รับอนุญาตให้เกินงบประมาณของการ ที่สุด ส่วนสำคัญ และงบประมาณพิเศษนี้จะนำมาพิจารณาในการวิเคราะห์ schedulability

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

ชุดของวัตถุที่ใช้ร่วมกันอยู่ในระบบร่วมกับรายการส่วนที่สำคัญที่กำหนดไว้สำหรับแต่ละสัญญาจะใช้เพื่อวัตถุประสงค์การวิเคราะห์ schedulability เท่านั้น กลไกการใช้เวลาสำหรับการยกเว้นร่วมกันไม่ได้ให้ใน FSF ด้วยเหตุผลสองประการที่สำคัญ หนึ่งในนั้นคือความเข้ากันได้ปรับตัวสูงขึ้นของรหัสก่อนหน้านี้ใช้พื้นฐานปกติเช่น mutexes หรือวัตถุที่มีการป้องกัน (ในอาดา); นี้เป็นปัญหาที่สำคัญหากเราต้องการที่จะชักชวนให้นักพัฒนาโปรแกรมที่จะเปลี่ยนระบบของพวกเขาไปยัง
สภาพแวดล้อม FSF เหตุผลที่สองคือการบังคับใช้เวลาดำเนินการกรณีที่เลวร้ายที่สุดสำหรับส่วนที่สำคัญที่มีราคาแพง จำนวนส่วนสำคัญในการที่แท้จริงของชิ้นรหัสอาจจะสูงมากในหลายสิบหรือร้อยละงานและการตรวจสอบทั้งหมดของพวกเขาจะต้องมีจำนวนมากของทรัพยากรระบบ แอพลิเคชัน FSF ไม่ได้ขึ้นอยู่กับโปรโตคอลโดยเฉพาะอย่างยิ่งการประสานใด ๆ แต่มีความต้องการที่หมดอายุงบประมาณไม่สามารถเกิดขึ้นภายในส่วนที่สำคัญเพราะมิฉะนั้นความล่าช้าการปิดกั้นอาจจะมีขนาดใหญ่มาก นี่ก็หมายความว่าโปรแกรมจะได้รับอนุญาตให้ใช้จ่ายเกินงบประมาณสำหรับระยะเวลาที่มากที่สุดของส่วนที่สำคัญและงบประมาณพิเศษนี้จะนำมาพิจารณาในการวิเคราะห์ schedulability

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

ชุดของวัตถุที่อยู่ในระบบพร้อมกับรายการที่สำคัญส่วนที่ระบุไว้ในแต่ละสัญญาจะใช้เพื่อวัตถุประสงค์ในการวิเคราะห์ schedulability เท่านั้น เป็นกลไกสำหรับระยะเวลาการยกเว้นร่วมกันไม่ใช่ให้ใน FSF ด้วยเหตุผลสองประการที่สำคัญ หนึ่งในนั้นคือความเข้ากันได้สูงขึ้นของรหัสก่อนใช้ primitives ปกติเช่น mutexes หรือการป้องกันวัตถุ ( ADA )นี้เป็นปัญหาที่สำคัญถ้าเราต้องการชักชวนให้นักพัฒนาโปรแกรมที่จะเปลี่ยนระบบของพวกเขาไปยัง
FSF ) เหตุผลที่สองคือการบังคับกรณีเลวร้ายที่สุดสำหรับส่วนที่สำคัญ คือ ราคาแพง หมายเลขของส่วนสําคัญในชิ้นส่วนของรหัสอาจจะสูงมาก ในหลักสิบ หรือร้อยละงานนี้และตรวจสอบทั้งหมดของพวกเขาจะต้องมีจำนวนมากของทรัพยากรระบบ FSF ใบสมัครไม่ได้ขึ้นอยู่กับโปรโตคอลการใดโดยเฉพาะ แต่ก็มีความต้องการที่หมดอายุงบประมาณไม่สามารถเกิดขึ้นภายในส่วนที่สำคัญ เพราะมิฉะนั้น บัง ความล่าช้าอาจจะใหญ่มาก นอกจากนี้ มีการอนุญาตให้บุกรุกงบประมาณสำหรับระยะเวลามากที่สุดของส่วนที่สำคัญ และงบประมาณพิเศษนี้จะนำมาพิจารณาในการวิเคราะห์ schedulability .