課程信息

15,456 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
高級

C programming skills, some prior experience with an operating system, and prior embedded hardware experience is a plus.

完成時間大約為60 小時
英語(English)

您將學到的內容有

  • Methods to analyze dynamic prioirty real-time service feasibility

  • Methods to control unbounded priority inversion problems

  • Avoiding and recovering from deadlock

  • Avoiding and recovering from unbounded priority inversion

您將獲得的技能

EDF (Earliest Deadline First)Priority Ceiling ProtocolRate Monotonic TheoryPriority Inheritance ProtocolDynamic and Static Scheduling Policies
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
高級

C programming skills, some prior experience with an operating system, and prior embedded hardware experience is a plus.

完成時間大約為60 小時
英語(English)

提供方

Placeholder

科罗拉多大学波德分校

立即開始攻讀碩士學位

此 課程 隸屬於 科罗拉多大学波德分校 提供的 100% 在線 Master of Science in Electrical Engineering。 如果您被錄取參加全部課程,您的課程將計入您的學位學習進程。

教學大綱 - 您將從這門課程中學到什麼

1

1

完成時間為 18 小時

Real-Time Scheduling and Rate Monotonic Least Upper Bound Derivation

完成時間為 18 小時
14 個視頻 (總計 191 分鐘), 3 個閱讀材料, 7 個測驗
14 個視頻
Code Walkthrough: Syslog for Tracing and Autograded Assignments7分鐘
Rate Monotonic Fixed Priority Policy and Optimality (Review)9分鐘
Rate Monotonic Scheduling within the Least Upper Bound12分鐘
Challenges with and Alternatives to Fixed Priority RM Policy16分鐘
Deadline Monotonic Extensions to Rate Monotonic Policy10分鐘
Deadline Driven Scheduling: using Dynamic Priority Alternatives14分鐘
RM LUB Derivation - Introduction12分鐘
Two Cases that Drive the RM Least Upper Bound12分鐘
RM Least Upper Bound Intersection Point10分鐘
RM Least Upper Bound Derivation - Conclusion22分鐘
Necessary and Sufficient Feasibility by Worst-Case Analysis (Exact Test)11分鐘
Exact Feasibility for Rate Monontoic Policy with Scheduling Point24分鐘
Exact Feasibility for Rate Monotonic using Completion Test12分鐘
3 個閱讀材料
EXTRA HELP: Home Lab Set Up10分鐘
Read, Review and Understand Derivations in Original RMA Paper (Liu & Layland)2小時
Optional: Rate Monotonic Exact Analysis3分鐘
1 個練習
Module 1 | Key steps in the RM least upper bound derivation30分鐘
2

2

完成時間為 19 小時

Service Design Feasibility Analysis Practice and Methods of Implementation

完成時間為 19 小時
14 個視頻 (總計 231 分鐘), 2 個閱讀材料, 7 個測驗
14 個視頻
RM Fixed Priority Scheduling Examples with Timing Diagrams12分鐘
More Complex RM Timing Diagrams11分鐘
Timing Diagram with a Harmonic Case12分鐘
Timing Diagram Example Comparing RM and EDF11分鐘
POSIX RT Extension Support16分鐘
General Design Pattern Part-1: AMP RT Functions, Services and Systems19分鐘
General Design Pattern Part-2: Mulit-Core, Multi-Service AMP Systems19分鐘
Implementation Pattern: Periodic Services with POSIX RT Threads, Interval Timers and Signals19分鐘
Message Queues for Synchronization and Data Sharing17分鐘
Code Walkthrough: POSIX RT Feature Demonstration9分鐘
Methods to Determine Worst Case Execution Time (WCET)26分鐘
Methods for WCET Speed-up to Meet Deadlines24分鐘
Service Request Period Jitter and Drift14分鐘
2 個閱讀材料
RT Extensions to POSIX - 1003.1 in Linux, QNX, Solaris, FreeBSD, etc.3小時
Optional Resources for POSIX 1003.1 RT Extensions3分鐘
1 個練習
Module 2 | Service implementation and admission to real-time using RMA, scheduling point, completion test30分鐘
3

3

完成時間為 10 小時

Dynamic priority Earliest Deadline First and Least Laxity First

完成時間為 10 小時
6 個視頻 (總計 73 分鐘), 1 個閱讀材料, 3 個測驗
6 個視頻
Disadvantages of Dynamic Priorities and When EDF should not be used10分鐘
Advantages of Dynamic, Adaptive Scheduling: When to use LLF12分鐘
Disadvantages of Dynamic Adaptive Scheduling: When LLF should not be used3分鐘
Final Comparison of EDF and LLF Failure Modes and Recovery11分鐘
Cheddar Tool Introduction and Overview17分鐘
1 個閱讀材料
Rate Monotonic vs. EDF - Judgement Day Paper3小時
1 個練習
Module 3 | Earliest Deadline First , Least Laxity First30分鐘
4

4

完成時間為 13 小時

Synchronization and Bounded vs. Unbounded Blocking

完成時間為 13 小時
12 個視頻 (總計 134 分鐘), 1 個閱讀材料, 3 個測驗
12 個視頻
Bounded blocking for service release6分鐘
Bounded blocking and Execution Efficiency impact on RT systems6分鐘
Definition of unbounded blocking and examples of root causes17分鐘
Code Walkthrough: Circular Wait - Deadlock Demonstration5分鐘
Code Walkthrough: Can you think of a simple way to break deadlock after a timeout?4分鐘
Review of semaphore use and necessity of Critical Section (C.S.)4分鐘
Code Walk-through: Unbounded Priority Inversion Demonstration8分鐘
Priority Inheritance, Priority Ceiling, and Priority Ceiling Emulation19分鐘
Mars Pathfinder Problem - Rolling Reset 3 Days prior to closest approach to Mars18分鐘
Mars Pathfinder Root Cause Analysis9分鐘
Mars Pathfinder - Bug Localization and the Fix16分鐘
1 個閱讀材料
Priority Inversion (Unbounded) and Priority Inheritance Protocol4小時
1 個練習
Module 4 | Thread synchronization30分鐘

常見問題

還有其他問題嗎?請訪問 學生幫助中心