Resource Kernels: A Resource-Centric Approach to Real-Time and Multimedia Systems

Rajkumar, R.; Juvva, Kanaka; Molano, A.; Oikawa, Shuichi

doi:10.1016/b978-155860651-7/50127-3

Cited by 116 publications

(189 citation statements)

References 25 publications

Supporting

Mentioning

185

Contrasting

Unclassified

Order By: Relevance

“…The timing parameters of the DIMM are shown in Table I. We used the latest version of Linux/RK [30,33] for software cache and bank partitioning [16,39]. 9 Cache partitioning divides the shared L3 cache of the processor into 32 partitions, and bank partitioning divides the DRAM banks into 16 partitions (1 DRAM bank per partition).…”

Section: A Experimental Setupmentioning

confidence: 99%

Bounding memory interference delay in COTS-based multi-core systems

Kim

Niz

Andersson

et al. 2014

2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)

179

158

View full text Add to dashboard Cite

Abstract-In commercial-off-the-shelf (COTS) multi-core systems, a task running on one core can be delayed by other tasks running simultaneously on other cores due to interference in the shared DRAM main memory. Such memory interference delay can be large and highly variable, thereby posing a significant challenge for the design of predictable real-time systems. In this paper, we present techniques to provide a tight upper bound on the worst-case memory interference in a COTS-based multi-core system. We explicitly model the major resources in the DRAM system, including banks, buses and the memory controller. By considering their timing characteristics, we analyze the worstcase memory interference delay imposed on a task by other tasks running in parallel. To the best of our knowledge, this is the first work bounding the request re-ordering effect of COTS memory controllers. Our work also enables the quantification of the extent by which memory interference can be reduced by partitioning DRAM banks. We evaluate our approach on a commodity multi-core platform running Linux/RK. Experimental results show that our approach provides an upper bound very close to our measured worst-case interference.

show abstract

Section: A Experimental Setupmentioning

confidence: 99%

Bounding memory interference delay in COTS-based multi-core systems

Kim

Niz

Andersson

et al. 2014

2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)

179

158

View full text Add to dashboard Cite

show abstract

“…In order to construct this model, we need to account for the scheduling interference introduced by the other tasks. This is an easy task if our scheduling scheme features the so called temporal isolation property (also known as temporal protection) [1], [25], meaning that some minimal temporal performance guarantees of a task are not affected by the other tasks running in the system.…”

Section: B Scheduling a Continuous Stream Task Through A Resource Rementioning

confidence: 99%

“…In this paper, we will restrict our analysis to scheduling algorithms, such as the resource reservations, featuring the temporal isolation property. Resource Reservations [25] is an abstraction often used to provide temporal isolation. This property is obtained by reserving a resource (the CPU, in this case) to a task τ for an amount of time Q s (called maximum budget) in every reservation period T s .…”

Section: B Scheduling a Continuous Stream Task Through A Resource Rementioning

confidence: 99%

“…This way, the delay introduced by a job is independent by the delays experienced in the previous ones. The use of a scheduler supporting the temporal isolation property [1], [25], makes the temporal behaviour of the task independent also from that of the other tasks sharing the processor. The combination of these techniques simplifies the computation of the distribution of the delays introduced by the execution of the task and, consequently, control design, enabling the use of a necessary and sufficient condition for control stability (while other task models only allows to use sufficient conditions).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The Continuous Stream Model of Computation for Real-Time Control

Fontanelli

Palopoli

Abeni

2013

2013 IEEE 34th Real-Time Systems Symposium

View full text Add to dashboard Cite

Abstract-This paper presents a new Model of Computation (MoC) for real-time tasks used in control systems. This new model, named continuous stream task model, relaxes some of the constraints imposed by the traditional hard and soft real-time task models. A key advantage of the model is the possibility to easily analyse the probabilistic evolution of the delays. This leads to an easy formalisation of necessary and sufficient conditions for the stochastic stability of the closed loop system producing considerable savings in the amount of CPU bandwidth required to stabilise the system. This fact is confirmed by an extensive set of simulations.

show abstract

“…a malfunctioning task may cause other tasks to fail to meet their time constraints. An often used solution for this problem is to introduce resource budgets for tasks, which provide temporal protection between tasks by guaranteeing a minimal amount of resources [8]. Those budgets are often implemented using so-called servers that dispatch the available resources to the tasks that are appointed to them.…”

Section: Introductionmentioning

confidence: 99%

Towards Budgeting in Real-Time Calculus: Deferrable Servers

Cuijpers

Bril

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Budgeting of resources is an often used solution for guaranteeing performance of lower priority tasks. In this paper, we take a formal approach to the modeling of a deferrable server budgeting strategy, using real-time calculus. We prove a scheduling theorem for deferrable servers, and as a corollary show that an earlier claim of Davis and Burns, that periodic servers dominate deferrable servers with respect to schedulability, no longer holds when the context of the comparison is slightly generalized.

show abstract

Resource Kernels: A Resource-Centric Approach to Real-Time and Multimedia Systems

Cited by 116 publications

References 25 publications

Bounding memory interference delay in COTS-based multi-core systems

Bounding memory interference delay in COTS-based multi-core systems

The Continuous Stream Model of Computation for Real-Time Control

Towards Budgeting in Real-Time Calculus: Deferrable Servers

Contact Info

Product

Resources

About