Publisher's noteSpringer Science and Business Media LLC - Tập 8 - Trang iii-iii - 1995
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systemsSpringer Science and Business Media LLC - Tập 48 - Trang 499-526 - 2012
Sebastian Altmeyer, Robert I. Davis, Claire Maiza
Without the use of caches the increasing gap between processor and memory speeds in modern embedded microprocessors would have resulted in memory access times becoming an unacceptable bottleneck. In such systems, cache related pre-emption delays can be a significant proportion of task execution times. To obtain tight bounds on the response times of tasks in pre-emptively scheduled systems, it is n...... hiện toàn bộ
Feasibility of on-line speed policies in real-time systemsSpringer Science and Business Media LLC - Tập 56 - Trang 254-292 - 2020
Bruno Gaujal, Alain Girault, Stéphan Plassart
We consider a real-time system where a single processor with variable speed executes an infinite sequence of sporadic and independent jobs. We assume that job sizes and relative deadlines are bounded by C and
$$\varDelta $$
respectively. Furthermore,
$$S_{\max }$$
denotes the maximal speed of the processor. In such a real-time system, a speed selection policy dynamically chooses (i.e., on-li...... hiện toàn bộ
Scheduling real-time divisible loads with advance reservationsSpringer Science and Business Media LLC - Tập 48 - Trang 264-293 - 2012
Anwar Mamat, Ying Lu, Jitender Deogun, Steve Goddard
Providing QoS and performance guarantee to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is being made in scheduling arbitrarily divisible loads, previous approaches have no support for advance reservations. However, with the emergence of Grid applications that require simultaneous access to multi-site resources, s...... hiện toàn bộ
Formal timing analysis for distributed real-time programsSpringer Science and Business Media LLC - Tập 7 - Trang 57-90 - 1994
Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga
A static analysis method for verifying timing properties of real-time distributed programs is presented. The goal is to calculate the worst-case response time of concurrent tasks which run mainly independently but share, and may have to wait for, logical or physical devices. For such tasks, the determination of the worst-case waiting time is a crucial problem because of the unpredictable order of ...... hiện toàn bộ