• 検索結果がありません。

JAIST Repository: 異種タスク混在型リアルタイム組込みシステムに おけるタスクスケジューリング方式の研究

N/A
N/A
Protected

Academic year: 2021

シェア "JAIST Repository: 異種タスク混在型リアルタイム組込みシステムに おけるタスクスケジューリング方式の研究"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title 異種タスク混在型リアルタイム組込みシステムに おけ

るタスクスケジューリング方式の研究 Author(s) Ly, Luong Cong

Citation

Issue Date 2014-03

Type Thesis or Dissertation

Text version author

URL http://hdl.handle.net/10119/12007 Rights

(2)

1

A Study on a Task Scheduling Method for

Real-Time Embedded Systems with

Heterogeneous Task Sets

LUONG, LY CONG ( 1110751 )

School of Information Science,

Japan Advanced Institute of Science and Technology

February 8, 2014

Keywords:

Real-Time system, RTOS, scheduling algorithm, total

bandwidth server

Chapter 1 Introduction

In the wide variety of real-time embedded systems today, task scheduling scheme is becoming more important under the circumstances where there is difference in the importance of task and the task type. For example, a mixed system containing the hard real-time tasks that are periodically activated and soft real-time tasks which are activated aperiodically has been increasing, so it is necessary to schedule the tasks to meet real-time constraints of them. Generally, system’s goal is to meet the deadlines of hard real-time tasks and to shorten the average response time of soft real-time tasks.

In this study, it is intended to propose and evaluate a task scheduling scheme while ensuring the schedulability of the high important periodic tasks to meet deadline thereof, and shortening the response time of aperiodic tasks as small as possible.

Chapter 2 Related Work

There are some scheduling algorithms in which there is no clear distinction

(3)

2

between periodic task (hard real-time) and aperiodic task (soft real-time). Total Bandwidth Server (TBS) [1] is one of the most typical examples. TBS operates according to Earliest Deadline First (EDF) algorithm [2]. In EDF, when scheduling event occurs, it will select a task which has nearest deadline to schedule.

In TBS, the deadline dk of aperiodic task k is calculated according to the following

formula.

d

k

= max(r

k

, d

k-1

) + c

k

/U

s

k : arrival order of the aperiodic task rk : arrival time of aperiodic task k

dk-1 : deadline of aperiodic task k-1

ck : computation time of aperiodic task k

Us : Maximum processor utilization of all aperiodic tasks

Chapter 3 Proposal of How to Improve TBS

Because TBS uses the worst-case execution time(WCET) of a Task to calculate a deadline of the task, the deadline can be too large. So there is a limit on shortening the response time of aperiodic tasks.

In this study, we try a way to shorten the response time using the smaller deadline which can be calculated by using the predicted (usually shorter than WCET) execution time instead of the worst-case execution time(WCET) of aperiodic tasks. Thus, it is expected that the response time of aperiodic tasks becomes smaller as compared with conventional TBS.

Chapter 4 Implementation of Scheduler

Base software of the study is the ITRON-based OS where each task has a static priority. The Scheduling of the OS is based on the static priority. I modified the scheduling algorithm in the base environment to implement the scheduling algorithm of the study.

□Deadline calculation timing

Deadline of a task is calculated in system calls, cre_tsk/ act_tsk/iact_tsk □Enqueue operation of the ready queue

Ready queue is based on linked-List structure. It is built in deadline order. When inserting an entity of TCB to the ready queue, position in the ready queue is determined by comparing the deadline to ones already in the ready queue. And inserting the task in the position

(4)

3

Chapter 5 Evaluation

Several task sets are prepared for evaluation. Evaluation is performed by multiple simulations while changing period and activation time in the task set. We evaluated the proposed algorithm with the conventional TBS based on the results obtained.

On average, the response time of aperiodic task in the proposed algorithm is reduced by about 24%.

Chapter 6 Conclusion

In this study, it is intended to propose and evaluate a task scheduling scheme while ensuring the schedulability of the high important periodic tasks to meet deadline thereof, and shortening the response time of aperiodic tasks as small as possible.

We have confirmed that the response time of aperiodic tasks in the proposed algorithm is shorter than the traditional TBS.

For the proposed method to be actually used, it must be evaluated in an actual real-time OS, not only in the evaluation of the scheduling. In addition, the multi-core embedded systems are rapidly increasing in recent years, so I should discuss the challenges to take part in TBS with the change.

References

[1] Spuri, M., Buttazzo, G.C. “Efficient Aperiodic Service under Earliest Deadline First Scheduling,”In proc. of IEEE Real-Time Systems Symposium, pp.2--11, IEEE Computer Society, San Juan (1994)

[2] Liu, C.L., Layland, J. W., “Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment,” Journal of the Association for Computing Machinery, Vol.20, No.1, pp.46--61 (1973)

参照

関連したドキュメント

Thus, in Section 5, we show in Theorem 5.1 that, in case of even dimension d > 2 of a quadric the bundle of endomorphisms of each indecomposable component of the Swan bundle

In this, the first ever in-depth study of the econometric practice of nonaca- demic economists, I analyse the way economists in business and government currently approach

In solving equations in which the unknown was represented by a letter, students explicitly explored the concept of equation and used two solving methods.. The analysis of

He thereby extended his method to the investigation of boundary value problems of couple-stress elasticity, thermoelasticity and other generalized models of an elastic

Keywords: continuous time random walk, Brownian motion, collision time, skew Young tableaux, tandem queue.. AMS 2000 Subject Classification: Primary:

Section 3 is first devoted to the study of a-priori bounds for positive solutions to problem (D) and then to prove our main theorem by using Leray Schauder degree arguments.. To show

This paper presents an investigation into the mechanics of this specific problem and develops an analytical approach that accounts for the effects of geometrical and material data on

Beyond proving existence, we can show that the solution given in Theorem 2.2 is of Laplace transform type, modulo an appropriate error, as shown in the next theorem..