source: azure_iot_hub_f767zi/trunk/asp_baseplatform/kernel/task.h@ 457

Last change on this file since 457 was 457, checked in by coas-nagasima, 4 years ago

ファイルを追加

  • Property svn:eol-style set to native
  • Property svn:mime-type set to text/x-chdr;charset=UTF-8
File size: 22.4 KB
Line 
1/*
2 * TOPPERS/ASP Kernel
3 * Toyohashi Open Platform for Embedded Real-Time Systems/
4 * Advanced Standard Profile Kernel
5 *
6 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
7 * Toyohashi Univ. of Technology, JAPAN
8 * Copyright (C) 2005-2010 by Embedded and Real-Time Systems Laboratory
9 * Graduate School of Information Science, Nagoya Univ., JAPAN
10 *
11 * 上記著作権者は,以下の(1)~(4)の条件を満たす場合に限り,本ソフトウェ
12 * ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
13 * 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
14 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
15 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
16 * スコード中に含まれていること.
17 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
18 * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
19 * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
20 * の無保証規定を掲載すること.
21 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
22 * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
23 * と.
24 * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
25 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
26 * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
27 * 報告すること.
28 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
29 * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
30 * また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
31 * 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
32 * 免責すること.
33 *
34 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
35 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
36 * に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
37 * アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
38 * の責任を負わない.
39 *
40 * $Id$
41 */
42
43/*
44 * タスク管理モジュール
45 */
46
47#ifndef TOPPERS_TASK_H
48#define TOPPERS_TASK_H
49
50#include <queue.h>
51#include "time_event.h"
52
53/*
54 * トレースログマクロのデフォルト定義
55 */
56#ifndef LOG_TSKSTAT
57#define LOG_TSKSTAT(p_tcb)
58#endif /* LOG_TSKSTAT */
59
60/*
61 * タスク優先度の内部表現・外部表現変換マクロ
62 */
63#define INT_PRIORITY(x) ((uint_t)((x) - TMIN_TPRI))
64#define EXT_TSKPRI(x) ((PRI)(x) + TMIN_TPRI)
65
66/*
67 * タスク状態の内部表現
68 *
69 * TCB中のタスク状態では,実行状態(RUNNING)と実行可能状態(READY)
70 * は区別しない.両状態を総称して,実行できる状態(RUNNABLE)と呼ぶ.
71 * 二重待ち状態は,(TS_WAITING | TS_SUSPENDED)で表す.TS_WAIT_???は待
72 * ち要因を表し,待ち状態(二重待ち状態を含む)の場合にのみ設定する.
73 */
74#define TS_DORMANT 0x00U /* 休止状態 */
75#define TS_RUNNABLE 0x01U /* 実行できる状態 */
76#define TS_WAITING 0x02U /* 待ち状態 */
77#define TS_SUSPENDED 0x04U /* 強制待ち状態 */
78
79#define TS_WAIT_DLY (0x00U << 3) /* 時間経過待ち */
80#define TS_WAIT_SLP (0x01U << 3) /* 起床待ち */
81#define TS_WAIT_RDTQ (0x02U << 3) /* データキューからの受信待ち */
82#define TS_WAIT_RPDQ (0x03U << 3) /* 優先度データキューからの受信待ち */
83#define TS_WAIT_SEM (0x04U << 3) /* セマフォ資源の獲得待ち */
84#define TS_WAIT_FLG (0x05U << 3) /* イベントフラグ待ち */
85#define TS_WAIT_SDTQ (0x06U << 3) /* データキューへの送信待ち */
86#define TS_WAIT_SPDQ (0x07U << 3) /* 優先度データキューへの送信待ち */
87#define TS_WAIT_MBX (0x08U << 3) /* メールボックスからの受信待ち */
88#define TS_WAIT_MPF (0x09U << 3) /* 固定長メモリブロックの獲得待ち */
89#define TS_WAIT_MTX (0x0aU << 3) /* ミューテックスのロック待ち */
90
91/*
92 * タスク状態判別マクロ
93 *
94 * TSTAT_DORMANTはタスクが休止状態であるかどうかを,TSTAT_RUNNABLEは
95 * タスクが実行できる状態であるかどうかを判別する.TSTAT_WAITINGは待
96 * ち状態と二重待ち状態のいずれかであるかどうかを,TSTAT_SUSPENDEDは
97 * 強制待ち状態と二重待ち状態のいずれかであるかどうかを判別する.
98 */
99#define TSTAT_DORMANT(tstat) ((tstat) == TS_DORMANT)
100#define TSTAT_RUNNABLE(tstat) (((tstat) & TS_RUNNABLE) != 0U)
101#define TSTAT_WAITING(tstat) (((tstat) & TS_WAITING) != 0U)
102#define TSTAT_SUSPENDED(tstat) (((tstat) & TS_SUSPENDED) != 0U)
103
104/*
105 * タスク待ち要因判別マクロ
106 *
107 * TSTAT_WAIT_SLPはタスクが起床待ちであるかどうかを,TSTAT_WAIT_WOBJ
108 * はタスクが同期・通信オブジェクトに対する待ちであるか(言い換えると,
109 * 同期通信オブジェクトの待ちキューにつながれているか)どうかを判別す
110 * る.また,TSTAT_WAIT_WOBJCBはタスクが同期・通信オブジェクトの管理
111 * ブロックの共通部分(WOBJCB)の待ちキューにつながれているかどうかを
112 * 判別する.
113 *
114 * TSTAT_WAIT_SLPは,任意のタスク状態の中から,タスクが起床待ちである
115 * ことを判別できる.すなわち,TSTAT_WAITINGにより待ち状態であることを
116 * 判別せずに,TSTAT_SLPだけを用いて起床待ち状態であることを判別できる.
117 * これを効率的に実現するために,TS_WAIT_SLPの値を,(0x00U << 3)ではな
118 * く(0x01U << 3)としている.そのため,タスクが時間経過待ち状態である
119 * ことを判別するためのTSTAT_WAIT_DLYを,TSTAT_WAIT_SLPと同様の方法で
120 * 実現することはできない.
121 */
122#define TS_WAIT_MASK (0x0fU << 3) /* 待ち要因の取出しマスク */
123
124#define TSTAT_WAIT_SLP(tstat) (((tstat) & TS_WAIT_MASK) == TS_WAIT_SLP)
125#define TSTAT_WAIT_WOBJ(tstat) (((tstat) & TS_WAIT_MASK) >= TS_WAIT_RDTQ)
126#define TSTAT_WAIT_WOBJCB(tstat) (((tstat) & TS_WAIT_MASK) >= TS_WAIT_SEM)
127#define TSTAT_WAIT_MTX(tstat) (((tstat) & TS_WAIT_MASK) == TS_WAIT_MTX)
128
129/*
130 * 待ち情報ブロック(WINFO)の定義
131 *
132 * タスクが待ち状態の間は,TCBおよびそのp_winfoで指されるWINFOを次の
133 * ように設定しなければならない.
134 *
135 * (a) TCBのタスク状態を待ち状態(TS_WAITING)にする.その際に,待ち
136 * 要因(TS_WAIT_???)も設定する.
137 *
138 * (b) タイムアウトを監視するために,タイムイベントブロックを登録する.
139 * 登録するタイムイベントブロックは,待ちに入るサービスコール処理関数
140 * のローカル変数として確保し,それへのポインタをWINFOのp_tmevtbに記
141 * 憶する.タイムアウトの監視が必要ない場合(永久待ちの場合)には,
142 * p_tmevtbをNULLにする.
143 *
144 * 同期・通信オブジェクトに対する待ち状態の場合には,標準のWINFOに
145 * p_wobjcbフィールドを追加した構造体(WINFO_WOBJ,wait.hで定義)を使
146 * う.また,以下の(c)~(e)の設定を行う必要がある.同期・通信オブジェ
147 * クトに関係しない待ち(起床待ち,時間経過待ち)の場合には,(c)~(e)
148 * は必要ない.
149 *
150 * (c) TCBを待ち対象の同期・通信オブジェクトの待ちキューにつなぐ.待
151 * ちキューにつなぐために,task_queueを使う.
152 *
153 * (d) 待ち対象の同期・通信オブジェクトの管理ブロックへのポインタを,
154 * WINFO_WOBJのp_wobjcbに記憶する.
155 *
156 * (e) 待ち対象の同期・通信オブジェクトに依存して記憶することが必要な
157 * 情報がある場合には,WINFO_WOBJに必要な情報のためのフィールドを追加
158 * した構造体を定義し,WINFO_WOBJの代わりに用いる.
159 *
160 * 待ち状態を解除する際には,待ち解除したタスクに対する返値をWINFOの
161 * wercdに設定する.wercdが必要なのは待ち解除以降であるのに対して,
162 * p_tmevtbは待ち解除後は必要ないため,メモリ節約のために共用体を使っ
163 * ている.そのため,wercdへエラーコードを設定するのは,タイムイベント
164 * ブロックを登録解除した後にしなければならない.
165 */
166typedef union waiting_information {
167 ER wercd; /* 待ち解除時のエラーコード */
168 TMEVTB *p_tmevtb; /* 待ち状態用のタイムイベントブロック */
169} WINFO;
170
171/*
172 * タスク初期化ブロック
173 *
174 * タスクに関する情報を,値が変わらないためにROMに置ける部分(タスク
175 * 初期化ブロック)と,値が変化するためにRAMに置かなければならない部
176 * 分(タスク管理ブロック,TCB)に分離し,TCB内に対応するタスク初期化
177 * ブロックを指すポインタを入れる.タスク初期化ブロック内に対応する
178 * TCBを指すポインタを入れる方法の方が,RAMの節約の観点からは望ましい
179 * が,実行効率が悪くなるために採用していない.他のオブジェクトについ
180 * ても同様に扱う.
181 *
182 * タスク初期化ブロックには,DEF_TEXで定義されるタスク例外処理ルーチ
183 * ンに関する情報も含む.
184 */
185typedef struct task_initialization_block {
186 ATR tskatr; /* タスク属性 */
187 intptr_t exinf; /* タスクの拡張情報 */
188 TASK task; /* タスクの起動番地 */
189 uint_t ipriority; /* タスクの起動時優先度(内部表現) */
190
191#ifdef USE_TSKINICTXB
192 TSKINICTXB tskinictxb; /* タスク初期化コンテキストブロック */
193#else /* USE_TSKINICTXB */
194 SIZE stksz; /* スタック領域のサイズ(丸めた値) */
195 void *stk; /* スタック領域の先頭番地 */
196#endif /* USE_TSKINICTXB */
197
198 ATR texatr; /* タスク例外処理ルーチン属性 */
199 TEXRTN texrtn; /* タスク例外処理ルーチンの起動番地 */
200} TINIB;
201
202/*
203 * TCB中のフィールドのビット幅の定義
204 *
205 * プロセッサによっては,TCB中のフィールドのビット幅でメモリ使用量と
206 * 性能がトレードオフになるため,ターゲット依存にフィールドのビット幅
207 * を変更することを許している.
208 */
209#ifndef TBIT_TCB_PRIORITY
210#define TBIT_TCB_PRIORITY 8 /* priorityフィールドのビット幅 */
211#endif /* TBIT_TCB_PRIORITY */
212
213/*
214 * タスク管理ブロック(TCB)
215 *
216 * ASPカーネルでは,タスクの起動要求キューイング数の最大値(TMAX_ACTCNT)
217 * と起床要求キューイング数の最大値(TMAX_WUPCNT)は1に固定されている
218 * ため,キューイングされているかどうかの真偽値で表現することができる.
219 * また,強制待ち要求ネスト数の最大値(TMAX_SUSCNT)が1に固定されてい
220 * るので,強制待ち要求ネスト数(suscnt)は必要ない.
221 *
222 * TCBのいくつかのフィールドは,特定のタスク状態でのみ有効な値を保持し,
223 * それ以外の場合は値が保証されない(よって,参照してはならない).各
224 * フィールドが有効な値を保持する条件は次の通り.
225 *
226 * ・初期化後は常に有効:
227 * p_tinib,tstat,actque
228 * ・休止状態以外で有効(休止状態では初期値になっている):
229 * bpriority,priority,wupque,enatex,texptn,mutex_queue
230 * ・待ち状態(二重待ち状態を含む)で有効:
231 * p_winfo
232 * ・実行できる状態と同期・通信オブジェクトに対する待ち状態で有効:
233 * task_queue
234 * ・実行可能状態,待ち状態,強制待ち状態,二重待ち状態で有効:
235 * tskctxb
236 */
237typedef struct task_control_block {
238 QUEUE task_queue; /* タスクキュー */
239 const TINIB *p_tinib; /* 初期化ブロックへのポインタ */
240
241#ifdef UINT8_MAX
242 uint8_t tstat; /* タスク状態(内部表現)*/
243#else /* UINT8_MAX */
244 BIT_FIELD_UINT tstat : 8; /* タスク状態(内部表現)*/
245#endif /* UINT8_MAX */
246#if defined(UINT8_MAX) && (TBIT_TCB_PRIORITY == 8)
247 uint8_t bpriority; /* ベース優先度(内部表現)*/
248 uint8_t priority; /* 現在の優先度(内部表現)*/
249#else /* defined(UINT8_MAX) && (TBIT_TCB_PRIORITY == 8) */
250 BIT_FIELD_UINT bpriority : TBIT_TCB_PRIORITY;
251 /* ベース優先度(内部表現)*/
252 BIT_FIELD_UINT priority : TBIT_TCB_PRIORITY;
253 /* 現在の優先度(内部表現)*/
254#endif /* defined(UINT8_MAX) && (TBIT_TCB_PRIORITY == 8) */
255 BIT_FIELD_BOOL actque : 1; /* 起動要求キューイング */
256 BIT_FIELD_BOOL wupque : 1; /* 起床要求キューイング */
257 BIT_FIELD_BOOL enatex : 1; /* タスク例外処理許可状態 */
258
259 TEXPTN texptn; /* 保留例外要因 */
260 WINFO *p_winfo; /* 待ち情報ブロックへのポインタ */
261 QUEUE mutex_queue; /* ロックしているミューテックスのキュー */
262 TSKCTXB tskctxb; /* タスクコンテキストブロック */
263} TCB;
264
265/*
266 * 実行状態のタスク
267 *
268 * 実行状態のタスク(=プロセッサがコンテキストを持っているタスク)の
269 * TCBを指すポインタ.実行状態のタスクがない場合はNULLにする.
270 *
271 * サービスコールの処理中で,自タスク(サービスコールを呼び出したタス
272 * ク)に関する情報を参照する場合はp_runtskを使う.p_runtskを書き換え
273 * るのは,ディスパッチャ(と初期化処理)のみである.
274 */
275extern TCB *p_runtsk;
276
277/*
278 * 最高優先順位のタスク
279 *
280 * 実行できるタスクの中で最高優先順位のタスクのTCBを指すポインタ.実
281 * 行できるタスクがない場合はNULLにする.
282 *
283 * ディスパッチ禁止状態など,ディスパッチが保留されている間はp_runtsk
284 * と一致しているとは限らない.
285 */
286extern TCB *p_schedtsk;
287
288/*
289 * ディスパッチ/タスク例外処理ルーチン起動要求フラグ
290 *
291 * 割込みハンドラ/CPU例外ハンドラの出口処理に,ディスパッチまたは
292 * タスク例外処理ルーチンの起動を要求することを示すフラグ.
293 */
294extern bool_t reqflg;
295
296/*
297 * 割込み優先度マスク全解除状態
298 *
299 * 割込み優先度マスク全解除状態であることを示すフラグ.
300 */
301extern bool_t ipmflg;
302
303/*
304 * ディスパッチ禁止状態
305 *
306 * ディスパッチ禁止状態であることを示すフラグ.
307 */
308extern bool_t disdsp;
309
310/*
311 * タスクディスパッチ可能状態
312 *
313 * 割込み優先度マスク全解除状態であり,ディスパッチ許可状態である(ディ
314 * スパッチ禁止状態でない)ことを示すフラグ.
315 */
316extern bool_t dspflg;
317
318/*
319 * レディキュー
320 *
321 * レディキューは,実行できる状態のタスクを管理するためのキューである.
322 * 実行状態のタスクも管理しているため,レディ(実行可能)キューという
323 * 名称は正確ではないが,レディキューという名称が定着しているため,こ
324 * の名称で呼ぶことにする.
325 *
326 * レディキューは,優先度ごとのタスクキューで構成されている.タスクの
327 * TCBは,該当する優先度のキューに登録される.
328 */
329extern QUEUE ready_queue[TNUM_TPRI];
330
331/*
332 * レディキューサーチのためのビットマップ
333 *
334 * レディキューのサーチを効率よく行うために,優先度ごとのタスクキュー
335 * にタスクが入っているかどうかを示すビットマップを用意している.ビッ
336 * トマップを使うことで,メモリアクセスの回数を減らすことができるが,
337 * ビット操作命令が充実していないプロセッサで,優先度の段階数が少ない
338 * 場合には,ビットマップ操作のオーバーヘッドのために,逆に効率が落ち
339 * る可能性もある.
340 *
341 * 優先度が16段階であることを仮定しているため,uint16_t型としている.
342 */
343extern uint16_t ready_primap;
344
345/*
346 * 使用していないTCBのリスト
347 */
348extern QUEUE free_tcb;
349
350/*
351 * タスクIDの最大値(kernel_cfg.c)
352 */
353extern const ID tmax_tskid;
354extern const ID tmax_stskid;
355
356/*
357 * タスク初期化ブロックのエリア(kernel_cfg.c)
358 */
359extern const TINIB tinib_table[];
360extern TINIB atinib_table[];
361
362/*
363 * タスク生成順序テーブル(kernel_cfg.c)
364 */
365extern const ID torder_table[];
366
367/*
368 * TCBのエリア(kernel_cfg.c)
369 */
370extern TCB tcb_table[];
371
372/*
373 * タスクの数
374 */
375#define tnum_tsk ((uint_t)(tmax_tskid - TMIN_TSKID + 1))
376#define tnum_stsk ((uint_t)(tmax_stskid - TMIN_TSKID + 1))
377
378/*
379 * タスクIDからTCBを取り出すためのマクロ
380 */
381#define INDEX_TSK(tskid) ((uint_t)((tskid) - TMIN_TSKID))
382#define get_tcb(tskid) (&(tcb_table[INDEX_TSK(tskid)]))
383#define get_tcb_self(tskid) ((tskid) == TSK_SELF ? p_runtsk : get_tcb(tskid))
384
385/*
386 * TCBからタスクIDを取り出すためのマクロ
387 */
388#define TSKID(p_tcb) ((ID)(((p_tcb) - tcb_table) + TMIN_TSKID))
389
390/*
391 * タスク管理モジュールの初期化
392 */
393extern void initialize_task(void);
394
395/*
396 * 最高優先順位タスクのサーチ
397 *
398 * レディキュー中の最高優先順位のタスクをサーチし,そのTCBへのポインタ
399 * を返す.レディキューが空の場合には,この関数を呼び出してはならない.
400 */
401extern TCB *search_schedtsk(void);
402
403/*
404 * 実行できる状態への遷移
405 *
406 * p_tcbで指定されるタスクをレディキューに挿入する.レディキューに挿入
407 * したタスクの優先度が,最高優先順位のタスクの優先度よりも高い場合は,
408 * 最高優先順位のタスクを更新し,ディスパッチ許可状態であればtrueを返
409 * す.そうでない場合はfalseを返す.
410 */
411extern bool_t make_runnable(TCB *p_tcb);
412
413/*
414 * 実行できる状態から他の状態への遷移
415 *
416 * p_tcbで指定されるタスクをレディキューから削除する.p_tcbで指定した
417 * タスクが最高優先順位のタスクであった場合には,最高優先順位のタスク
418 * を設定しなおし,ディスパッチ許可状態であればtrueを返す.そうでない
419 * 場合はfalseを返す.タスクの状態は更新しない.
420 */
421extern bool_t make_non_runnable(TCB *p_tcb);
422
423/*
424 * 休止状態への遷移
425 *
426 * p_tcbで指定されるタスクの状態を休止状態とする.また,タスクの起動
427 * 時に初期化すべき変数の初期化と,タスク起動のためのコンテキストを設
428 * 定する.
429 */
430extern void make_dormant(TCB *p_tcb);
431
432/*
433 * 休止状態から実行できる状態への遷移
434 *
435 * p_tcbで指定されるタスクの状態を休止状態から実行できる状態とする.
436 * 実行できる状態に遷移したタスクへのディスパッチが必要な場合はtrue,
437 * そうでない場合はfalseを返す.
438 */
439extern bool_t make_active(TCB *p_tcb);
440
441/*
442 * タスクの優先度の変更
443 *
444 * p_tcbで指定されるタスクの優先度をnewpri(内部表現)に変更する.また,
445 * 必要な場合には最高優先順位のタスクを更新し,ディスパッチ許可状態で
446 * あればtrueを返す.そうでない場合はfalseを返す.
447 *
448 * p_tcbで指定されるタスクの優先順位は,mtxmodeがfalseの時は同じ優先度
449 * のタスクの中で最低,mtxmodeがtrueの時は同じ優先度のタスクの中で最高
450 * とする.
451 */
452extern bool_t change_priority(TCB *p_tcb, uint_t newpri, bool_t mtxmode);
453
454/*
455 * レディキューの回転
456 *
457 * レディキュー中の,priで指定される優先度のタスクキューを回転させる.
458 * また,必要な場合には最高優先順位のタスクを変更し,ディスパッチが保
459 * 留されていなければtrueを返す.そうでない場合はfalseを返す.
460 */
461extern bool_t rotate_ready_queue(uint_t pri);
462
463/*
464 * タスク例外処理ルーチンの呼出し
465 *
466 * タスク例外処理ルーチンを呼び出す.呼び出す前に,実行状態のタスクの
467 * 保留例外要因をクリアし,タスク例外処理禁止状態にし,CPUロックを解
468 * 除する.
469 *
470 * タスク例外処理ルーチンから戻ると,まずCPUロック状態に戻し,その間
471 * に保留例外要因が0でなくなっていれば,再びタスク例外処理ルーチンを
472 * 呼び出す.保留例外要因が0の場合には,例外処理許可状態にして関数か
473 * らリターンする.
474 *
475 * この関数は,実行状態のタスクが,タスク例外処理許可状態(enatexが
476 * true)で,保留例外要因が0でない(texptnが0でない)場合に呼び出すこ
477 * とを想定している.この関数は,CPUロック状態で呼び出さなければなら
478 * ない.
479 */
480extern void call_texrtn(void);
481
482/*
483 * タスク例外処理ルーチンの起動
484 *
485 * 実行状態のタスクがタスク例外処理ルーチンの起動条件を満たしていれば,
486 * タスク例外処理ルーチンを呼び出す.CPU例外処理ルーチンを呼び出す時
487 * は,一時的にCPUロックを解除する.
488 *
489 * この関数は,ディスパッチャや割込みハンドラ/CPU例外ハンドラの出口
490 * 処理から呼び出されることを想定している.この関数は,CPUロック状態
491 * で呼び出さなければならない.
492 *
493 * 実行効率を上げるために,この関数をターゲット依存部で記述してもよい.
494 * その場合には,OMIT_CALLTEXをマクロ定義する.
495 */
496extern void calltex(void);
497
498#endif /* TOPPERS_TASK_H */
Note: See TracBrowser for help on using the repository browser.