Several models have been proposed t

Several models have been proposed to represent conditional executions and dependencies among real-time concurrent tasks for the purpose of schedulability analysis. Among them, task graphs with cyclic recurrent behavior, i.e., those modeled with a single source vertex and a period parameter specifying the minimum amount of time that must elapse between successive activations of the source job, allow for efficient schedulability analysis based on the periodicity of the request and demand bound functions (em rbf and dbf). We leverage results from max-plus algebra to identify a recurrent term in rbf and dbf of general task graph models, even when the execution is neither recurrent nor controlled by a period parameter. As such, the asymptotic complexity of calculating rbf and dbf is independent from the length of the time interval. Experimental results demonstrate significant improvements on the runtime for system schedulability analysis.

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

หลายรุ่นได้รับการเสนอเพื่อเป็นตัวแทนดำเนินงานตามเงื่อนไขและการอ้างอิงในงานพร้อมกันแบบเรียลไทม์เพื่อวัตถุประสงค์ในการวิเคราะห์ schedulability ในหมู่พวกเขา งานกราฟกับวงจรเกิดขึ้นลักษณะการทำงาน เช่น ผู้จำลองจุดยอดแหล่งเดียวและพารามิเตอร์ระบุจำนวนเวลาที่ต้องล่วงระหว่างเปิดใช้งานต่อเนื่องของแหล่งงาน ขั้นต่ำระยะเวลาให้สามารถวิเคราะห์ schedulability ที่มีประสิทธิภาพตามระยะเวลาการทำการร้องขอ และต้องผูกฟังก์ชัน (rbf ยาวและ dbf) เราใช้ประโยชน์จากพีชคณิต max-plus ระบุระยะกำเริบ rbf และ dbf รุ่นงานทั่วไปกราฟ แม้ว่าการดำเนินการไม่เกิดขึ้น หรือควบคุม โดยพารามิเตอร์รอบระยะเวลา เช่น ความซับซ้อนของการคำนวณ rbf และ dbf asymptotic เป็นอิสระจากความยาวของช่วงเวลา ผลการทดลองแสดงให้เห็นถึงการปรับปรุงที่สำคัญในการรันไทม์สำหรับการวิเคราะห์ระบบ schedulability

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

หลายรูปแบบได้รับการเสนอให้เป็นตัวแทนของการประหารชีวิตเงื่อนไขและการอ้างอิงในหมู่งานพร้อมกันในเวลาจริงสำหรับวัตถุประสงค์ของการวิเคราะห์ schedulability ในหมู่พวกเขากราฟงานที่มีพฤติกรรมกำเริบวงจรคือผู้สร้างแบบจำลองที่มีจุดสุดยอดแหล่งเดียวและพารามิเตอร์ระยะเวลาที่ระบุจำนวนเงินขั้นต่ำของเวลาที่จะต้องผ่านพ้นไประหว่างการเปิดใช้งานต่อเนื่องของงานที่มาช่วยให้การวิเคราะห์ schedulability มีประสิทธิภาพขึ้นอยู่กับระยะเวลาของการ คำขอผูกพันและความต้องการฟังก์ชั่น (เอ็ม RBF และ DBF) เราใช้ประโยชน์จากผลที่ได้จากแม็กซ์บวกพีชคณิตการระบุระยะกำเริบใน RBF และ DBF ของแบบจำลองกราฟงานทั่วไปแม้ในขณะที่การดำเนินการกำเริบมิได้ควบคุมโดยพารามิเตอร์ระยะเวลา เป็นเช่นนี้ความซับซ้อนในการคำนวณเชิง RBF และ DBF มีความเป็นอิสระจากความยาวของช่วงเวลาที่ ผลการทดลองแสดงให้เห็นถึงการปรับปรุงที่สำคัญใน Runtime สำหรับการวิเคราะห์ระบบ schedulability

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

หลายรุ่นที่ได้รับการเสนอเพื่อแสดงเงื่อนไขการพึ่งพาในเวลาจริงพร้อมกันงานสำหรับวัตถุประสงค์ของการวิเคราะห์ schedulability . ในหมู่พวกเขา , งานกราฟกับพฤติกรรมกลับเป็นอีกแบบ คือ แบบที่มีจุดยอดเหล่านั้นแหล่งเดียวและพารามิเตอร์ที่ระบุระยะเวลาขั้นต่ำของเวลาที่ผ่านไประหว่างกิจกรรมต่อเนื่องของแหล่งงาน ให้มีประสิทธิภาพ การวิเคราะห์ schedulability ตามกำหนดออกของการร้องขอและความต้องการฟังก์ชันจำกัด ( เอ็มบริษัท DBF ) เราใช้ประโยชน์จากผลจากแม็กซ์พลัสพีชคณิตระบุระยะเวลาดำเนินการในบริษัท DBF ของงานทั่วไปกราฟโมเดล แม้ว่าการดำเนินการจะไม่กำเริบ หรือควบคุมโดยระยะเวลาพารามิเตอร์ เช่น ความซับซ้อนของการคำนวณเฉลี่ยบริษัท DBF เป็นอิสระจากความยาวของช่วงเวลานั้น ผลการทดลองแสดงให้เห็นการปรับปรุงที่สำคัญใน schedulability runtime สำหรับการวิเคราะห์ระบบ