Mô
hình
thờigianthực
Topics
Khái niệmthời gian thực
Lậplịch
Thời gian
Các phương pháp tính
2
Vũ
Quang
Dũng
Sách
tham
khảo
P. Marwedel: Embedded System Design
(paperback), Springer Verlag, December 2005,
ISBN: 0387292373.
G.C. Buttazzo: Hard Real-Time Computing
Systems. Kluwer Academic Publishers, 1997.
W. Wolf: Computers as Components –
Principles of Embedded System Design. Morgan
Kaufman Publishers, 2000.
J. Teich: Digitale Hardware/Software Systeme,
Springer Verlag, 1997.
Khái
niệmcơ
bản
Hệhard RT: các tác vụcủahệthống bắtbuộc
phảinằm trong khoảng deadline cho phép của
hệthống. Mọihoạtđộng nằm ngoài deadline đó
đượccoilàlỗicủahệthống. (vượt quá WCET)
Hệsoft RT: tác vụcó thểdo mộtsốnguyên
nhân, được phép gia hạn thêm thời gian ngoài
khoảng deadline củahệthống, mà không gây
ảnh hưởng nghiêm trọng tớimôitrường cũng
nhưtính chính xác củahệthống đó.
Lậplịch
Cho tậphợpcáctácvụJ = {J1, J2, …}
Lậplịch là sựgán cho các tác vụsựxửlý, mà
mỗitácvụđượcthực thi hoàn toàn
Lậplịch có thểđượcxácđịnh nhưmột hàm
sốnguyên σ: R →N, trong đóσ(t) – tác vụtại
thờiđiểmthựcthit. Nếuσ(t) = 0 thì tiếntrình
đượcgọilàrỗi (idle)
Nếuσ(t) thay đổi giá trịcủanótạimộtthời
điểm nào đóthìtiếntrìnhđượcgọilàchuyển
đổingữcảnh (context switch)