1 |
|
---|
2 | TOPPERS/ASPカーネル
|
---|
3 | 設計メモ
|
---|
4 |
|
---|
5 | 対応バージョン: Release 1.9.3
|
---|
6 | 最終更新: 2014年4月15日(作成中)
|
---|
7 |
|
---|
8 | このドキュメントは,TOPPERS/ASPカーネルの設計メモである.作成途中のもの
|
---|
9 | であり,網羅的ではない.
|
---|
10 |
|
---|
11 | ----------------------------------------------------------------------
|
---|
12 | TOPPERS/ASP Kernel
|
---|
13 | Toyohashi Open Platform for Embedded Real-Time Systems/
|
---|
14 | Advanced Standard Profile Kernel
|
---|
15 |
|
---|
16 | Copyright (C) 2005-2014 by Embedded and Real-Time Systems Laboratory
|
---|
17 | Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
18 |
|
---|
19 | 上記著作権者は,以下の(1)~(4)の条件を満たす場合に限り,本ソフトウェ
|
---|
20 | ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
|
---|
21 | 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
|
---|
22 | (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
|
---|
23 | 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
|
---|
24 | スコード中に含まれていること.
|
---|
25 | (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
|
---|
26 | 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
|
---|
27 | 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
|
---|
28 | の無保証規定を掲載すること.
|
---|
29 | (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
|
---|
30 | 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
|
---|
31 | と.
|
---|
32 | (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
|
---|
33 | 作権表示,この利用条件および下記の無保証規定を掲載すること.
|
---|
34 | (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
|
---|
35 | 報告すること.
|
---|
36 | (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
|
---|
37 | 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
|
---|
38 | また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
|
---|
39 | 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
|
---|
40 | 免責すること.
|
---|
41 |
|
---|
42 | 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
|
---|
43 | よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
|
---|
44 | に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
|
---|
45 | アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
|
---|
46 | の責任を負わない.
|
---|
47 |
|
---|
48 | $Id: design.txt 315 2017-07-23 05:29:40Z coas-nagasima $
|
---|
49 | ----------------------------------------------------------------------
|
---|
50 |
|
---|
51 | ○目次
|
---|
52 |
|
---|
53 | ・TOPPERS/ASPカーネルの実装設計方針
|
---|
54 | ・システム状態とコンテキストの実装
|
---|
55 | - カーネル動作状態と非動作状態
|
---|
56 | - タスクコンテキストと非タスクコンテキスト
|
---|
57 | - 全割込みロック状態と全割込みロック解除状態
|
---|
58 | - CPUロック状態とCPUロック解除状態
|
---|
59 | - 割込み優先度マスク
|
---|
60 | - ディスパッチ禁止状態とディスパッチ許可状態
|
---|
61 | - ディスパッチ保留状態
|
---|
62 | ・タスク状態の管理とスケジューリング
|
---|
63 | - タスク状態の管理
|
---|
64 | - タスクスケジューラ
|
---|
65 | ・タスクディスパッチ処理の実装
|
---|
66 | - タスクディスパッチ処理の必要なタイミング
|
---|
67 | - タスクディスパッチャの構造
|
---|
68 | - タスクの終了時のタスクディスパッチ
|
---|
69 | - reqflgの導入理由
|
---|
70 | ・タスク例外処理機能の実装
|
---|
71 | - タスク例外処理ルーチンの実行開始条件とシステム状態(仕様の確認)
|
---|
72 | - タスク例外処理ルーチンの呼出し処理
|
---|
73 | - タスク例外処理ルーチンの実行開始が必要なタイミング
|
---|
74 | - タスク例外処理ルーチンの実行開始処理
|
---|
75 | - call_texrtnからdispatchを呼び出す処理について
|
---|
76 | ・エラーのチェック順序
|
---|
77 | - エラーの3分類
|
---|
78 | - 静的エラーのチェック順序
|
---|
79 | - 準静的エラーのチェック順序
|
---|
80 | ・CHECKマクロとgoto文の使用
|
---|
81 | - CHECKマクロの定義とその使用法
|
---|
82 | - 設計意図
|
---|
83 | - CHECKマクロを使用してよい条件
|
---|
84 | - 問題を生じることがない根拠
|
---|
85 | ・ext_tsk,ext_kerの返り値
|
---|
86 | ・カーネルのデータ構造に対するvolatile宣言について
|
---|
87 | ・型キャストに伴う警告メッセージ
|
---|
88 | ・性能評価用システム時刻参照機能
|
---|
89 | - 必要性と使途
|
---|
90 | - API仕様
|
---|
91 | - 実装
|
---|
92 | ・タスク例外処理禁止フラグをenatexで実装している理由
|
---|
93 |
|
---|
94 |
|
---|
95 | ○TOPPERS/ASPカーネルの実装設計方針
|
---|
96 |
|
---|
97 | TOPPERS/ASPカーネル(以下,ASPカーネル)は,TOPPERS新世代カーネルの出発
|
---|
98 | 点となるリアルタイムカーネルである.TOPPERS新世代カーネル仕様の設計方針
|
---|
99 | と,ASPカーネルの適用対象領域と設計方針については,TOPPERS新世代カーネ
|
---|
100 | ル統合仕様書に述べられている.
|
---|
101 |
|
---|
102 | 以下では,ASPカーネルの実装設計方針について述べるが,仕様設計方針とも関
|
---|
103 | 連しており,明確に分離できない部分もある.
|
---|
104 |
|
---|
105 | TOPPERS/ASPカーネルの実装設計を行うにあたり,次の方針を設定する.
|
---|
106 |
|
---|
107 | (1) ソースコードの読みやすさ・改造しやすさを重視する
|
---|
108 |
|
---|
109 | ソースコードが読みやすいことは,オープンソースソフトウェアの品質を向上
|
---|
110 | させる上で最も重要な特性である.ソースコードを理解している技術者が増え
|
---|
111 | ることで,問題を早期に発見することができ,サポート体制も充実させること
|
---|
112 | ができる.また,ソースコードが読みやすいことは,シンプルな設計がされて
|
---|
113 | いることも意味しており,信頼性向上にもつながる.さらに,技術者教育のた
|
---|
114 | めの教材とする観点からも,ソースコードが読みやすいことは重要となる.
|
---|
115 |
|
---|
116 | 改造しやすいことは,システム毎の要求にあわせたチューニングが行いやすい
|
---|
117 | ことを意味しており,擦り合わせ型の開発を支援する性質である.また,ASPカー
|
---|
118 | ネルを基盤としてTOPPERS新世代カーネルシリーズを開発していく上でも,改造
|
---|
119 | しやすいことは必須の条件である.
|
---|
120 |
|
---|
121 | (2) 新しいターゲットシステムへのポーティングが容易な構造とする
|
---|
122 |
|
---|
123 | 組込みシステムには多様なハードウェアが用いられるため,それらに容易にポー
|
---|
124 | ティングできることは重要な性質である.そのために,実行性能に配慮しつつ
|
---|
125 | ハードウェアを抽象化し,ターゲットシステムに依存する部分(ターゲット依
|
---|
126 | 存部)と依存しない部分(ターゲット非依存部)を明確に分離する.また,開
|
---|
127 | 発環境(コンパイラなど)に依存する部分も明確に分離する.
|
---|
128 |
|
---|
129 | (3) 検証が容易な構造とする
|
---|
130 |
|
---|
131 | 信頼性を確保するために,検証が容易な構造とする.
|
---|
132 |
|
---|
133 | 具体的には,サービスコールのほとんど全体を割込み禁止で実行することとし,
|
---|
134 | サービスコールの処理途中で割込みを許可しない.この構造は,読みやすく改
|
---|
135 | 造しやすいソースコードにするためにも有効である.これにより割込み応答性
|
---|
136 | が犠牲になるが,それによって問題を生じるアプリケーションは少数であり,
|
---|
137 | やむをえないものと考える.
|
---|
138 |
|
---|
139 | また,条件コンパイル等によりコンフィギュレーションできる箇所を増やすと,
|
---|
140 | 細かな最適化ができる一方で,検証すべき組合せが増えることから,コンフィ
|
---|
141 | ギュレーションできる箇所は必要最低限とする.
|
---|
142 |
|
---|
143 | (4) 実行性能とメモリ使用量に配慮する
|
---|
144 |
|
---|
145 | 上記の方針を満たした上で,高い実行性能と小さいメモリ使用量を達成できる
|
---|
146 | ような実装を行う.実行性能を向上させる際には,平均性能の向上よりも,最
|
---|
147 | 悪時性能の向上を重視する.
|
---|
148 |
|
---|
149 | ソースコードの読みやすさを重視すると言っても,実行性能の悪いアルゴリズ
|
---|
150 | ムを安易に採用することはせず,高い実行性能を達成できるアルゴリズムを用
|
---|
151 | いる.ただし,新しいターゲットシステムへのポーティングを容易にするため
|
---|
152 | に大部分をC言語で実装しており,すべてをアセンブリ言語で記述した場合に比
|
---|
153 | べて実行性能が落ちるのはやむをえない.
|
---|
154 |
|
---|
155 | メモリ使用量については,RAMの使用量を削減することに重点を置いた設計を行
|
---|
156 | うが,上記の方針および実行性能とのトレードオフを考慮し,ぎりぎりまでの
|
---|
157 | 削減は行わない.
|
---|
158 |
|
---|
159 | (5) スケーラビリティに配慮する
|
---|
160 |
|
---|
161 | 様々な規模のシステムに適用できるスケーラビリティをもった構造とする.特
|
---|
162 | に,小規模なシステムに適用する際に,使用しない機能をカーネルが持ってい
|
---|
163 | ることによるメモリ使用量の増加が最小限になるように配慮する.
|
---|
164 |
|
---|
165 | 具体的には,アプリケーションとカーネルを1つのロードモジュールにリンクす
|
---|
166 | る方法(1リンクモデル)を想定し,カーネルを関数単位でライブラリ化して,
|
---|
167 | 使用する関数のみをリンクできる構造とする.これは一種のコンフィギュレー
|
---|
168 | ションであるが,この方法は,条件コンパイルによるコンフィギュレーション
|
---|
169 | とは違い,検証工数に与える影響が小さい.
|
---|
170 |
|
---|
171 | また,固定的に使用するRAM領域を減らし,スタックに置ける情報はできる限り
|
---|
172 | スタック上に置く.
|
---|
173 |
|
---|
174 |
|
---|
175 | ○システム状態とコンテキストの実装
|
---|
176 |
|
---|
177 | この章では,「TOPPERS新世代カーネル統合仕様書」の「2.5 システム状態とコ
|
---|
178 | ンテキスト」の節に規定されているシステム状態とコンテキストの実装方法に
|
---|
179 | ついて記述する.
|
---|
180 |
|
---|
181 | ●カーネル動作状態と非動作状態
|
---|
182 |
|
---|
183 | カーネルの動作状態を管理するために,カーネル動作状態フラグ(kerflg)を
|
---|
184 | 用意する.kerflgは,スタートアップモジュールでfalse(=0)に初期化する.
|
---|
185 | また,カーネル動作の開始時にtrueにし,カーネル動作の終了時にfalseにする.
|
---|
186 |
|
---|
187 | ----------------------------------------
|
---|
188 | bool_t kerflg = false;
|
---|
189 | ----------------------------------------
|
---|
190 |
|
---|
191 | kerflgは,sns_kerで参照する.カーネル非動作状態でsns_ker以外のサービス
|
---|
192 | コールを呼び出した場合の動作は保証する必要がないため,他のサービスコー
|
---|
193 | ルではkerflgを参照しない.
|
---|
194 |
|
---|
195 | ●タスクコンテキストと非タスクコンテキスト
|
---|
196 |
|
---|
197 | タスクコンテキストと非タスクコンテキストの切換えは,ターゲットハードウェ
|
---|
198 | アおよびターゲット依存部に委ねる.また,どちらのコンテキストで実行中で
|
---|
199 | あるかを判別する関数(sense_context)も,ターゲット依存部で用意すること
|
---|
200 | とする.
|
---|
201 |
|
---|
202 | ●全割込みロック状態と全割込みロック解除状態
|
---|
203 |
|
---|
204 | 全割込みロックフラグの管理はターゲット依存部に委ね,全割込みロック状態
|
---|
205 | に遷移させるマクロ(SIL_LOC_INT)と,元の状態に戻すマクロ(SIL_UNL_INT)
|
---|
206 | は,SILのターゲット依存部で用意することとする.全割込みロック状態である
|
---|
207 | か否かを判別する機能は,必要がないために用意していない.
|
---|
208 |
|
---|
209 | 全割込みロック状態でsns_kerとext_ker以外のサービスコールを呼び出した場
|
---|
210 | 合の動作は保証する必要がないため,サービスコール中で全割込みロック状態
|
---|
211 | であることを判別する必要はない.
|
---|
212 |
|
---|
213 | ●CPUロック状態とCPUロック解除状態
|
---|
214 |
|
---|
215 | CPUロックフラグの管理はターゲット依存部に委ね,CPUロック状態に遷移させ
|
---|
216 | る関数(t_lock_cpu/i_lock_cpu/x_lock_cpu)と,CPUロック解除状態に遷移
|
---|
217 | させる関数(t_unlock_cpu/i_unlock_cpu/x_unlock_cpu)は,ターゲット依
|
---|
218 | 存部で用意することとする.また,CPUロック状態であるか否かを判別する関数
|
---|
219 | (t_sense_lock/i_sense_lock/x_sense_lock)も,ターゲット依存部で用意
|
---|
220 | することとする.
|
---|
221 |
|
---|
222 | ●割込み優先度マスク
|
---|
223 |
|
---|
224 | 割込み優先度マスクの管理はターゲット依存部に委ね,割込み優先度マスクを
|
---|
225 | 設定する関数(t_set_ipm/i_set_ipm/x_set_ipm)と,それを参照する関数
|
---|
226 | (t_get_ipm/i_get_ipm/x_get_ipm)は,ターゲット依存部で用意することと
|
---|
227 | する.
|
---|
228 |
|
---|
229 | ただし,タスクコンテキストの実行中に,割込み優先度マスク全解除状態であ
|
---|
230 | ることを効率的に判断するために,割込み優先度マスク全解除状態であること
|
---|
231 | を示すフラグ(ipmflg)を用意する.
|
---|
232 |
|
---|
233 | ipmflgは,カーネルの初期化時にfalseに初期化する.非タスクコンテキストで
|
---|
234 | は,割込み優先度マスク全解除状態になることはないため,このフラグを用い
|
---|
235 | る必要はなく,フラグの更新も行わない.
|
---|
236 |
|
---|
237 | ----------------------------------------
|
---|
238 | bool_t ipmflg;
|
---|
239 | ----------------------------------------
|
---|
240 |
|
---|
241 | ●ディスパッチ禁止状態とディスパッチ許可状態
|
---|
242 |
|
---|
243 | ディスパッチ禁止フラグを管理するために,フラグ(disdsp)を用意する.
|
---|
244 | disdspは,カーネルの初期化時にfalseに初期化する.
|
---|
245 |
|
---|
246 | ----------------------------------------
|
---|
247 | bool_t disdsp;
|
---|
248 | ----------------------------------------
|
---|
249 |
|
---|
250 | ※ disdspではなく,それを論理反転したenadspを用意した方が,ipmflgや
|
---|
251 | dspflgとの整合性の観点からは良かった.
|
---|
252 |
|
---|
253 | ●ディスパッチ保留状態
|
---|
254 |
|
---|
255 | ディスパッチ保留状態は,非タスクコンテキストの実行中,CPUロック状態,割
|
---|
256 | 込み優先度マスクが全解除でない状態,ディスパッチ禁止状態のいずれか(ま
|
---|
257 | たは,それらが重なった状態)である.
|
---|
258 |
|
---|
259 | タスクコンテキストの実行中に,ディスパッチ保留状態でないこと(つまり,
|
---|
260 | ディスパッチできる状態であること)を効率的に判別するために,割込み優先
|
---|
261 | 度マスク全解除状態であり,ディスパッチ許可状態である(ディスパッチ禁止
|
---|
262 | 状態でない)ことを示すフラグ(dspflg)を用意する.すなわち,常に
|
---|
263 | 「dspflg == (ipmflg && !disdsp)」に設定する.
|
---|
264 |
|
---|
265 | dspflgは,カーネルの初期化時にtrueに初期化する.また,タスクコンテキス
|
---|
266 | トにおいて割込み優先度マスクの値が変更されるか,割込み禁止フラグが変更
|
---|
267 | される度に更新する.非タスクコンテキストでは,常にディスパッチ保留状態
|
---|
268 | であるため,このフラグを用いる必要はなく,フラグの更新も行わない.
|
---|
269 |
|
---|
270 | ----------------------------------------
|
---|
271 | bool_t dspflg;
|
---|
272 | ----------------------------------------
|
---|
273 |
|
---|
274 |
|
---|
275 | ○タスク状態の管理とスケジューリング
|
---|
276 |
|
---|
277 | ●タスク状態の管理
|
---|
278 |
|
---|
279 | タスク管理ブロック(TCB)中のタスク状態を管理するフィールド(tstat)で
|
---|
280 | は,タスク状態が次のいずれであるかを管理する.
|
---|
281 |
|
---|
282 | ・実行できる状態
|
---|
283 | ・休止状態
|
---|
284 | ・(狭義の)待ち状態
|
---|
285 | ・強制待ち状態
|
---|
286 | ・二重待ち状態
|
---|
287 |
|
---|
288 | タスクが実行できる状態の時に,実行状態であるか実行可能状態であるかは,
|
---|
289 | このフィールドでは管理せず,実行状態のタスクのTCBを指すポインタ変数
|
---|
290 | (p_runtsk)によって判別する.実行状態のタスクがない場合は,p_runtskは
|
---|
291 | NULLにする.
|
---|
292 |
|
---|
293 | ----------------------------------------
|
---|
294 | TCB *p_runtsk;
|
---|
295 | ----------------------------------------
|
---|
296 |
|
---|
297 | p_runtskは,カーネルの初期化時にNULLに初期化し,ディスパッチャにおいて
|
---|
298 | 更新する.サービスコールの処理の中で自タスクに関する情報を参照する場合
|
---|
299 | は,p_runtskを用いる.
|
---|
300 |
|
---|
301 | ●タスクスケジューラ
|
---|
302 |
|
---|
303 | タスクスケジューラは,実行できる状態のタスクの中から,最も優先順位が高
|
---|
304 | いタスク(これを,最高優先順位のタスクと呼ぶ)を決定し,そのタスクの
|
---|
305 | TCBを指すポインタ変数(p_schedtsk)を設定する.
|
---|
306 |
|
---|
307 | ----------------------------------------
|
---|
308 | TCB *p_schedtsk;
|
---|
309 | ----------------------------------------
|
---|
310 |
|
---|
311 | タスクスケジューラに対しては,どのタスクが実行できる状態であるかを知ら
|
---|
312 | せる必要がある.そのため,タスクスケジューラは,次の2つの関数を用意する.
|
---|
313 |
|
---|
314 | ・タスクが実行できる状態に遷移したことを知らせる関数(make_runnable)
|
---|
315 | ・タスクが実行できる状態から他の状態へ遷移したことを知らせる関数
|
---|
316 | (make_non_runnable)
|
---|
317 |
|
---|
318 | また,処理の効率化のために,上の2つの関数を用いずにレディキューを直接操
|
---|
319 | 作してタスクスケジュールを行う関数として,次の2つの関数を用意する.
|
---|
320 |
|
---|
321 | ・タスクの優先度の変更(change_priority)
|
---|
322 | ・レディキューの回転(rotate_ready_queue)
|
---|
323 |
|
---|
324 |
|
---|
325 | ○タスクディスパッチ処理の実装
|
---|
326 |
|
---|
327 | ●タスクディスパッチ処理の必要なタイミング
|
---|
328 |
|
---|
329 | タスクディスパッチは,実行状態のタスク(p_runtsk)と最高優先順位のタス
|
---|
330 | ク(p_schedtsk)が一致しておらず,ディスパッチ保留状態でない場合に行う.
|
---|
331 | このことから,タスクディスパッチ処理を行う必要があるのは,次の3つの場合
|
---|
332 | である.
|
---|
333 |
|
---|
334 | (1) 実行状態のタスクが実行できる状態でなくなる
|
---|
335 |
|
---|
336 | 自タスクを広義の待ち状態に遷移させるサービスコールや,自タスクを終了さ
|
---|
337 | せるサービスコールにおいて,タスクディスパッチ処理を行う必要がある.
|
---|
338 |
|
---|
339 | (2) 最高優先順位のタスクが変化する
|
---|
340 |
|
---|
341 | タスクの起動,タスクの待ち解除,タスクの強制待ちからの再開,タスクの優
|
---|
342 | 先度の変更,タスクの優先順位の回転を行うサービスコールにおいて,最高優
|
---|
343 | 先順位のタスクが変化し,ディスパッチ保留状態でない場合には,タスクディ
|
---|
344 | スパッチ処理を行う必要がある.
|
---|
345 |
|
---|
346 | (3) ディスパッチ保留状態が解除される
|
---|
347 |
|
---|
348 | ディスパッチ保留状態とは,非タスクコンテキストの実行中,CPUロック状態,
|
---|
349 | 割込み優先度マスクが全解除でない状態,ディスパッチ禁止状態の総称である
|
---|
350 | ため,これらの状態のいずれかが遷移するタイミングで,タスクディスパッチ
|
---|
351 | 処理を行う必要がある.具体的には,次のタイミングが該当する.
|
---|
352 |
|
---|
353 | (3-1) 非タスクコンテキストからタスクコンテキストに遷移する
|
---|
354 |
|
---|
355 | 割込みハンドラまたはCPU例外ハンドラからタスクにリターンする際に,タスク
|
---|
356 | ディスパッチ処理を行う必要がある.
|
---|
357 |
|
---|
358 | (3-2) CPUロック状態が解除される
|
---|
359 |
|
---|
360 | CPUロック状態においては,上記の(1)や(2)の状況を作り出すサービスコールを
|
---|
361 | 呼び出すことができない.そのため,CPUロック状態の解除時には,タスクディ
|
---|
362 | スパッチ処理を行う必要がない.
|
---|
363 |
|
---|
364 | (3-3) 割込み優先度マスクが全解除される
|
---|
365 |
|
---|
366 | 割込み優先度マスクの変更(chg_ipm)により割込み優先度マスクが全解除され
|
---|
367 | る場合に,タスクディスパッチ処理を行う必要がある.
|
---|
368 |
|
---|
369 | また,タスクの終了,タスク例外処理ルーチンからのリターン,割込みハンド
|
---|
370 | ラからのリターン,割込みサービスルーチンからのリターン,タイムイベント
|
---|
371 | ハンドラからのリターン,CPU例外ハンドラからのリターンによって,割込み優
|
---|
372 | 先度マスクが全解除される場合があり,その場合には,タスクディスパッチ処
|
---|
373 | 理を行う必要がある.ただし,割込みサービスルーチンおよびタイムイベント
|
---|
374 | ハンドラからのリターンについては,リターン後も非タスクコンテキストであ
|
---|
375 | り,タスクディスパッチ保留状態が継続することから,タスクディスパッチ処
|
---|
376 | 理を行う必要がない.
|
---|
377 |
|
---|
378 | (3-4) ディスパッチ許可状態になる
|
---|
379 |
|
---|
380 | ディスパッチの許可(ena_dsp)において,タスクディスパッチ処理を行う必要
|
---|
381 | がある.
|
---|
382 |
|
---|
383 | また,タスクの終了とタスク例外処理ルーチンからのリターンによって,ディ
|
---|
384 | スパッチ許可状態になる場合があり,その場合には,タスクディスパッチ処理
|
---|
385 | を行う必要がある.
|
---|
386 |
|
---|
387 | 以上に加えて,カーネルの動作開始時にも,タスクディスパッチ処理を呼び出
|
---|
388 | す.
|
---|
389 |
|
---|
390 | ●タスクディスパッチャの構造
|
---|
391 |
|
---|
392 | タスクディスパッチャの主な機能は,切換え前のタスクのコンテキスト(プロ
|
---|
393 | セッサの汎用レジスタ等)をメモリ上に保存し,切換え後のタスクのコンテキ
|
---|
394 | ストをメモリ上から復帰することである.ここで,保存/復帰しなければなら
|
---|
395 | ないレジスタは,タスクディスパッチャが実行される状況によって,次のよう
|
---|
396 | な違いがある.
|
---|
397 |
|
---|
398 | ・タスクが割込み(または,CPU例外)によりプリエンプトされる場合には,す
|
---|
399 | べてのレジスタを保存しなければならない.また,その状態から実行再開す
|
---|
400 | る場合には,すべてのレジスタを復帰しなければならない.
|
---|
401 |
|
---|
402 | ・タスクが自発的にタスクディスパッチャを呼び出す場合には,スクラッチレ
|
---|
403 | ジスタ(caller saved register)以外のレジスタを保存すればよい.また,
|
---|
404 | その状態から実行再開する場合には,スクラッチレジスタ以外のレジスタを
|
---|
405 | 復帰すればよい.
|
---|
406 |
|
---|
407 | ・タスクが終了する場合には,どのレジスタも保存する必要がない.
|
---|
408 |
|
---|
409 | ・タスクが実行開始する場合には,どのレジスタも復帰する必要がない.
|
---|
410 |
|
---|
411 | そこで,それぞれの状況で必要最低限のレジスタのみを保存/復帰するために,
|
---|
412 | タスクディスパッチ処理を,(a) コンテキストの保存処理,(b) 実行するタス
|
---|
413 | クの選択処理,(c) コンテキストの復帰処理の3つのステップで構成し,(a)と
|
---|
414 | (c)のステップについては,タスクディスパッチャが実行される状況毎に用意す
|
---|
415 | る.具体的には,次の各処理を行うルーチンを用意する.
|
---|
416 |
|
---|
417 | (a) コンテキストの保存処理
|
---|
418 | (a-1) タスクが自発的に呼び出した場合の保存処理(dispatch)
|
---|
419 | (a-2) 割込みハンドラの出口で呼び出された場合の保存処理(ret_int)
|
---|
420 | (a-3) CPU例外ハンドラの出口で呼び出された場合の保存処理(ret_exc)
|
---|
421 | (a-4) タスクの終了時の処理(exit_and_dispatch)
|
---|
422 | (a-5) カーネルの動作開始時の処理(start_dispatch)
|
---|
423 | (b) 実行するタスクの選択(ディスパッチャ本体,dispatcher)
|
---|
424 | (c) コンテキストの復帰処理
|
---|
425 | (c-1) タスクが自発的に呼び出した場合の復帰処理(dispatch_r)
|
---|
426 | (c-2) 割込みハンドラの出口で呼び出された場合の復帰処理(ret_int_r)
|
---|
427 | (c-3) CPU例外ハンドラの出口で呼び出された場合の復帰処理(ret_exc_r)
|
---|
428 | (c-4) タスクの実行開始時の処理(start_r)
|
---|
429 |
|
---|
430 | ●タスクの終了時のタスクディスパッチ
|
---|
431 |
|
---|
432 | ext_tskによるタスクの終了時に,起動要求がキューイングされていると,同じ
|
---|
433 | タスクがすぐに起動される.この場合,タスクディスパッチャにとっては,同
|
---|
434 | じタスクへの切換えに見え,タスクディスパッチ処理をスキップ可能に思える
|
---|
435 | が,実際には,同じタスクの異なるインスタンスへの切換えであるため,タス
|
---|
436 | クディスパッチ処理をスキップしてはならない.
|
---|
437 |
|
---|
438 | 上述のタスクディスパッチャの構造により,タスクの終了時には,それ専用の
|
---|
439 | 処理(exit_and_dispatch)を呼び出す.この処理では,実行状態のタスクを参
|
---|
440 | 照せず,コンテキストの保存も行わずに,次に事項するタスクの選択処理を行
|
---|
441 | うため,タスクディスパッチ処理がスキップされることはない.
|
---|
442 |
|
---|
443 | なお,ter_tskによって実行状態のタスクを終了させることはできないため,
|
---|
444 | ter_tskではこのような状況は起こらない.
|
---|
445 |
|
---|
446 | ●reqflgの導入理由
|
---|
447 |
|
---|
448 | 割込みハンドラ/CPU例外ハンドラの出口処理に,タスクディスパッチまたはタ
|
---|
449 | スク例外処理ルーチンの実行開始を要求することを示すフラグとして,reqflg
|
---|
450 | を用意している.非タスクコンテキストにおいて,タスクディスパッチが必要
|
---|
451 | になった場合や,タスク例外処理ルーチンの実行開始が必要になった場合には,
|
---|
452 | このフラグをセットする.
|
---|
453 |
|
---|
454 | reqflgを導入した理由は,割込みハンドラ/CPU例外ハンドラの出口処理の典型
|
---|
455 | 的なケース(タスクディスパッチもタスク例外処理ルーチンの実行開始も必要
|
---|
456 | ない場合)を高速化するためである.また,ディスパッチャ本体(dispatcher)
|
---|
457 | のアイドル処理も高速化できる.
|
---|
458 |
|
---|
459 | しかし,割込みハンドラ/CPU例外ハンドラの出口処理全体のオーバヘッドを考
|
---|
460 | えると,reqflgによる高速化の効果はそれほど大きくないものと思われる.
|
---|
461 |
|
---|
462 |
|
---|
463 | ○タスク例外処理機能の実装
|
---|
464 |
|
---|
465 | ●タスク例外処理ルーチンの実行開始条件とシステム状態(仕様の確認)
|
---|
466 |
|
---|
467 | タスク例外処理ルーチンは,次の6つの条件が揃った場合に実行が開始される.
|
---|
468 |
|
---|
469 | ・タスク例外処理許可状態である
|
---|
470 | ・保留例外要因が0でない
|
---|
471 | ・タスクが実行状態である
|
---|
472 | ・タスクコンテキストが実行されている
|
---|
473 | ・割込み優先度マスク全解除状態である
|
---|
474 | ・CPUロック状態でない
|
---|
475 |
|
---|
476 | また,タスク例外処理ルーチンの実行開始/リターン時のシステム状態に関す
|
---|
477 | る仕様は次の通りである.
|
---|
478 |
|
---|
479 | CPUロック 割込み優先度 ディスパッチ
|
---|
480 | フラグ マスク 禁止フラグ
|
---|
481 | ------------------------------------------------------------
|
---|
482 | 【タスク例外処理ルーチン】
|
---|
483 | 実行開始条件 解除 全解除 任意
|
---|
484 | 実行開始時処理 そのまま そのまま そのまま
|
---|
485 | リターン前 原則解除(*1) 原則全解除(*1) 元に戻す
|
---|
486 | リターン時処理 解除する 全解除する 元に戻す(*4)
|
---|
487 | ------------------------------------------------------------
|
---|
488 |
|
---|
489 | ●タスク例外処理ルーチンの呼出し処理
|
---|
490 |
|
---|
491 | タスク例外処理ルーチンを呼び出す処理は,次の流れとなる.この関数は,
|
---|
492 | CPUロック状態で呼び出すことを想定している.
|
---|
493 |
|
---|
494 | ----------------------------------------
|
---|
495 | void
|
---|
496 | call_texrtn(void)
|
---|
497 | {
|
---|
498 | TEXPTN texptn;
|
---|
499 |
|
---|
500 | texptn = p_runtsk->texptn;
|
---|
501 | p_runtsk->texptn = 0U;
|
---|
502 |
|
---|
503 | タスク例外処理禁止状態にする
|
---|
504 | ディスパッチ禁止フラグを保存する
|
---|
505 |
|
---|
506 | CPUロック解除状態にする
|
---|
507 | タスク例外処理ルーチンを呼び出す
|
---|
508 | CPUロック状態にする
|
---|
509 |
|
---|
510 | 割込み優先度マスク全解除状態にする
|
---|
511 | ディスパッチ禁止フラグを元に戻す
|
---|
512 | タスク例外処理禁止状態にする … (*2)
|
---|
513 |
|
---|
514 | 必要な場合にはディスパッチを行う … (*1)
|
---|
515 |
|
---|
516 | タスク例外処理許可状態にする
|
---|
517 | }
|
---|
518 | ----------------------------------------
|
---|
519 |
|
---|
520 | (*1)において,必要な場合にタスク切換えを行うのは,割込み優先度マスクを
|
---|
521 | 全解除にし,ディスパッチ禁止フラグを元に戻した結果,ディスパッチ保留状
|
---|
522 | 態が解除され,ディスパッチが必要になる場合があるためである.
|
---|
523 |
|
---|
524 | また,ディスパッチを行う前にタスク例外処理禁止状態にする(*2)理由につい
|
---|
525 | ては,「call_texrtnからdispatchを呼び出す処理について」の節を参照するこ
|
---|
526 | と.
|
---|
527 |
|
---|
528 | ●タスク例外処理ルーチンの実行開始が必要なタイミング
|
---|
529 |
|
---|
530 | タスク例外処理ルーチンは,前述の6つの条件が揃った場合に実行開始すべきで
|
---|
531 | あるため,6つの条件のいずれかを新たに満たすようになる可能性のあるタイミ
|
---|
532 | ングで,タスク例外処理ルーチンの実行開始が必要になる.
|
---|
533 |
|
---|
534 | 以下では,6つの条件のいずれかを新たに満たすようになるタイミングについて
|
---|
535 | 検討する.
|
---|
536 |
|
---|
537 | (1) タスク例外処理許可状態である
|
---|
538 |
|
---|
539 | タスク例外処理の許可(ena_tex)によって,タスク例外処理許可状態になる.
|
---|
540 | また,タスク例外処理ルーチンからのリターンによっても,タスク例外処理許
|
---|
541 | 可状態になる.
|
---|
542 |
|
---|
543 | (2) 保留例外要因が0でない
|
---|
544 |
|
---|
545 | タスク例外処理の要求(ras_tex,iras_tex)によって,タスクの保留例外要因
|
---|
546 | が0でなくなる.ただし,非タスクコンテキストからのタスク例外処理の要求
|
---|
547 | (iras_tex)では,(4)の条件が満たされないため,タスク例外処理ルーチンの
|
---|
548 | 実行開始は必要ない.
|
---|
549 |
|
---|
550 | (3) タスクが実行状態である
|
---|
551 |
|
---|
552 | タスクディスパッチャにより,切換え後のタスクが実行状態になる.
|
---|
553 |
|
---|
554 | (4) タスクコンテキストが実行されている
|
---|
555 |
|
---|
556 | 割込みハンドラおよびCPU例外ハンドラからのリターンによって,タスクコンテ
|
---|
557 | キストに戻る場合がある.
|
---|
558 |
|
---|
559 | (5) 割込み優先度マスク全解除状態である
|
---|
560 |
|
---|
561 | 割込み優先度マスクの変更(chg_ipm)によって,割込み優先度マスクが全解除
|
---|
562 | になる.
|
---|
563 |
|
---|
564 | また,タスクの終了,タスク例外処理ルーチンからのリターン,割込みハンド
|
---|
565 | ラからのリターン,CPU例外ハンドラからのリターンによっても,割込み優先度
|
---|
566 | マスクが全解除される場合もある.
|
---|
567 |
|
---|
568 | ただし,タスクの終了時については,タスクの終了後は別のタスクへ切り換わ
|
---|
569 | るため,切り換わった後のタスクに対するタスク例外処理ルーチンの実行開始
|
---|
570 | を,タスクディスパッチ後の処理で行えばよい.
|
---|
571 |
|
---|
572 | (6) CPUロック状態でない
|
---|
573 |
|
---|
574 | CPUロック状態の解除(unl_cpu,iunl_cpu)によって,CPUロック状態でなくな
|
---|
575 | る.ただし,非タスクコンテキストでのCPUロック状態の解除(iunl_cpu)では,
|
---|
576 | (4)の条件が満たされないため,タスク例外処理ルーチンの実行開始は必要ない.
|
---|
577 |
|
---|
578 | また,タスクの終了,タスク例外処理ルーチンからのリターン,割込みハンド
|
---|
579 | ラからのリターン,割込みサービスルーチンからのリターン,タイムイベント
|
---|
580 | ハンドラからのリターン,CPU例外ハンドラからのリターンによって,CPUロッ
|
---|
581 | ク状態でなくなる場合もある.
|
---|
582 |
|
---|
583 | ただし,割込みサービスルーチンおよびタイムイベントハンドラからのリター
|
---|
584 | ンについては,リターン後も非タスクコンテキストの実行が続き,(4)の条件が
|
---|
585 | 満たされないため,タスク例外処理ルーチンの実行開始は必要ない.
|
---|
586 |
|
---|
587 | タスクの終了時については,タスクの終了後は別のタスクへ切り換わるため,
|
---|
588 | 切り換わった後のタスクに対するタスク例外処理ルーチンの実行開始を,タス
|
---|
589 | クディスパッチ後の処理で行えばよい.
|
---|
590 |
|
---|
591 | 以上より,重複するケースを考慮すると,タスク例外処理ルーチンの実行開始
|
---|
592 | が必要になる可能性があるのは,以下の処理である.
|
---|
593 |
|
---|
594 | (a) タスク例外処理の許可(ena_tex)… (1)
|
---|
595 | (b) タスク例外処理ルーチンの出口処理 … (1)(5)(6)
|
---|
596 | (c) タスク例外処理の要求(ras_tex)… (2)
|
---|
597 | (d) タスクディスパッチ後の処理 … (3)(5)(6)
|
---|
598 | (d-1) dispatch_r
|
---|
599 | (d-2) ret_int_r
|
---|
600 | (d-3) ret_exc_r
|
---|
601 | (d-4) start_r
|
---|
602 | (e) 割込みハンドラの出口処理 … (4)(5)(6)
|
---|
603 | (f) CPU例外ハンドラの出口処理 … (4)(5)(6)
|
---|
604 | (g) 割込み優先度マスクの変更(chg_ipm)… (5)
|
---|
605 | (h) CPUロック状態の解除(unl_cpu)… (6)
|
---|
606 |
|
---|
607 | この中で(d-4)に関しては,タスクの実行開始直後はタスク例外処理禁止状態で
|
---|
608 | あり(自タスクがena_texするまでは,タスク例外が許可されない),(1)の条
|
---|
609 | 件が満たされないため,タスク例外処理ルーチンの実行開始は必要ない.
|
---|
610 |
|
---|
611 | また(h)に関しては,次に述べる理由により,CPUロック状態が継続している間
|
---|
612 | に他の5つの条件が新たに満たされることはないため,タスク例外処理ルーチン
|
---|
613 | の実行開始は必要ない.
|
---|
614 |
|
---|
615 | CPUロック状態では,まず,タスク例外処理の許可(ena_tex),タスク例外処
|
---|
616 | 理の要求(ras_tex,iras_tex),割込み優先度マスクの変更(chg_ipm)を行
|
---|
617 | うことはできず,タスクディスパッチも起こらない.CPUロック状態でタスク例
|
---|
618 | 外処理ルーチンからリターンすることはできるが,この場合はCPUロック状態も
|
---|
619 | 解除され,CPUロック状態が継続しない.CPUロック状態で割込みハンドラから
|
---|
620 | リターンした場合も,これと同様である.
|
---|
621 |
|
---|
622 | 最後に,CPUロック状態でCPU例外ハンドラからリターンした場合が問題になる.
|
---|
623 | これについては,CPU例外が発生した時に,CPUロック状態であった場合と,
|
---|
624 | CPUロック解除状態であった場合に分けて考える.CPUロック解除状態であった
|
---|
625 | 場合には,CPU例外ハンドラからのリターンにより,CPUロック状態が解除され
|
---|
626 | るため,割込みハンドラからリターンした場合と同様である.CPUロック状態で
|
---|
627 | あった場合には,起動されるCPU例外ハンドラはカーネル管理外のCPU例外ハン
|
---|
628 | ドラであるため,その中で(1)~(3)と(5)の条件が新たに満たされることはない.
|
---|
629 | CPU例外ハンドラの実行前後で(4)の条件は保存されることから,CPU例外ハンド
|
---|
630 | ラからのリターンによって,(1)~(5)の条件はCPU例外の発生前に戻り,新たに
|
---|
631 | 満たされることはない.
|
---|
632 |
|
---|
633 | ●タスク例外処理ルーチンの実行開始処理
|
---|
634 |
|
---|
635 | ここでは,前の節で検討したタスク例外処理ルーチンの実行開始が必要なタイ
|
---|
636 | ミングのそれぞれについて,実行開始処理の実装方法について述べる.
|
---|
637 |
|
---|
638 | (a) タスク例外処理の許可(ena_tex)
|
---|
639 |
|
---|
640 | ena_texがタスクから呼び出された場合には,自タスクに対して「タスクが実行
|
---|
641 | 状態である」「タスクコンテキストが実行されている」の2条件は満たされてお
|
---|
642 | り,「タスク例外処理許可状態である」の条件はena_texの処理により満たされ
|
---|
643 | る.また,「CPUロック状態でない」の条件はena_texの入口でチェックしてい
|
---|
644 | る.そのため,「保留例外要因が0でない」と「割込み優先度マスク全解除状態
|
---|
645 | である」の2条件が満たされている場合には,タスク例外処理ルーチンを呼び出
|
---|
646 | す.
|
---|
647 |
|
---|
648 | ena_texの本体の処理(エラー処理を除く)は次の通り.
|
---|
649 |
|
---|
650 | ----------------------------------------
|
---|
651 | p_runtsk->enatex = true;
|
---|
652 | if (p_runtsk->texptn != 0U && ipmflg) {
|
---|
653 | call_texrtn();
|
---|
654 | }
|
---|
655 | ----------------------------------------
|
---|
656 |
|
---|
657 | (b) タスク例外処理ルーチンの出口処理
|
---|
658 |
|
---|
659 | タスク例外処理ルーチンの出口処理(call_texrtnの後半)では,自タスクに対
|
---|
660 | して「タスクが実行状態である」「タスクコンテキストが実行されている」の
|
---|
661 | 2条件は満たされており,「タスク例外処理許可状態である」「割込み優先度マ
|
---|
662 | スク全解除状態である」「CPUロック状態でない」の3条件が出口処理で満たさ
|
---|
663 | れる.そのため,「保留例外要因が0でない」が満たされている場合には,タス
|
---|
664 | ク例外処理ルーチンを呼び出す必要がある.
|
---|
665 |
|
---|
666 | ただし,タスク例外処理ルーチンの出口処理で単純にcall_texrtnを呼び出すと,
|
---|
667 | call_texrtnの中からcall_texrtnを呼び出すことになり,タスク例外処理が繰
|
---|
668 | り返し要求された場合に,スタックの使用量に上限がなくなる.そこで,タス
|
---|
669 | ク例外処理ルーチンの出口処理で「保留例外要因が0でない」場合には,
|
---|
670 | call_texrtnの中でループさせる.
|
---|
671 |
|
---|
672 | 修正したcall_texrtnの流れは次の通り.
|
---|
673 |
|
---|
674 | ----------------------------------------
|
---|
675 | void
|
---|
676 | call_texrtn(void)
|
---|
677 | {
|
---|
678 | TEXPTN texptn;
|
---|
679 |
|
---|
680 | ディスパッチ禁止フラグを保存する … (*3)
|
---|
681 | タスク例外処理禁止状態にする … (*6)
|
---|
682 |
|
---|
683 | do {
|
---|
684 | texptn = p_runtsk->texptn;
|
---|
685 | p_runtsk->texptn = 0U;
|
---|
686 |
|
---|
687 | CPUロック解除状態にする
|
---|
688 | タスク例外処理ルーチンを呼び出す
|
---|
689 | CPUロック状態にする
|
---|
690 |
|
---|
691 | 割込み優先度マスク全解除状態にする
|
---|
692 | ディスパッチ禁止フラグを元に戻す … (*4)
|
---|
693 | タスク例外処理禁止状態にする … (*2)
|
---|
694 |
|
---|
695 | 必要な場合にはディスパッチを行う … (*1)
|
---|
696 | } while (p_runtsk->texptn != 0U);
|
---|
697 |
|
---|
698 | タスク例外処理許可状態にする … (*5)
|
---|
699 | }
|
---|
700 | ----------------------------------------
|
---|
701 |
|
---|
702 | タスク例外処理ルーチンの呼出し前にディスパッチ禁止フラグを保存する処理
|
---|
703 | は,(*4)において元の状態に戻すことから,ループの外(*3)で行うのが効率が
|
---|
704 | よい.
|
---|
705 |
|
---|
706 | タスク例外処理ルーチンの呼出し前にタスク例外処理禁止状態にする処理は,
|
---|
707 | (*2)においてタスク例外処理禁止状態にすることから,ループ外(*6)で行うの
|
---|
708 | が効率がよい.また,タスク例外処理ルーチンの呼出し後にタスク例外処理許
|
---|
709 | 可状態にする処理も,ループの外(*5)で行う方が効率がよい.
|
---|
710 |
|
---|
711 | (c) タスク例外処理の要求(ras_tex)
|
---|
712 |
|
---|
713 | ras_texがタスクから呼び出された場合で,対象タスクが自タスクの場合には,
|
---|
714 | 自タスクに対して「タスクが実行状態である」「タスクコンテキストが実行さ
|
---|
715 | れている」の2条件は満たされており,「保留例外要因が0でない」の条件は
|
---|
716 | ras_texの処理により満たされる(ras_texのパラメータrasptnが0の場合はエラー
|
---|
717 | となるため).また,「CPUロック状態でない」の条件はras_texの入口でチェッ
|
---|
718 | クしている.そのため,対象タスクが自タスクであり,「タスク例外処理許可
|
---|
719 | 状態である」と「割込み優先度マスク全解除状態である」の2条件が満たされて
|
---|
720 | いる場合には,タスク例外処理ルーチンを呼び出す.
|
---|
721 |
|
---|
722 | ras_texの本体の処理(エラー処理を除く)は次の通り.
|
---|
723 |
|
---|
724 | ----------------------------------------
|
---|
725 | p_tcb->texptn |= rasptn;
|
---|
726 | if (p_tcb == p_runtsk && p_runtsk->enatex && ipmflg) {
|
---|
727 | call_texrtn();
|
---|
728 | }
|
---|
729 | ----------------------------------------
|
---|
730 |
|
---|
731 | (d-1) dispatch_r
|
---|
732 |
|
---|
733 | dispatch_rにおいては,dispatch_rからのリターン先のタスクに対して,「タ
|
---|
734 | スクが実行状態である」「タスクコンテキストが実行されている」の2条件は満
|
---|
735 | たされている.また,CPUロック状態でdispatch_rに来ることはないため,
|
---|
736 | 「CPUロック状態でない」の条件も成立している.そのため,「タスク例外処理
|
---|
737 | 許可状態である」「保留例外要因が0でない」「割込み優先度マスク全解除状態
|
---|
738 | である」の3条件が満たされている場合には,タスク例外処理ルーチンを呼び出
|
---|
739 | す必要がある.
|
---|
740 |
|
---|
741 | これを実現するために,タスクコンテキストからのディスパッチ処理を次のよ
|
---|
742 | うに修正する.
|
---|
743 |
|
---|
744 | ----------------------------------------
|
---|
745 | void
|
---|
746 | dispatch(void)
|
---|
747 | {
|
---|
748 | ………
|
---|
749 |
|
---|
750 | dispatch_r:
|
---|
751 | スクラッチレジスタを除くすべてのレジスタをスタックから復帰する
|
---|
752 | calltex();
|
---|
753 | }
|
---|
754 | ----------------------------------------
|
---|
755 |
|
---|
756 | ここでcalltexは,「タスク例外処理許可状態である」「保留例外要因が0でな
|
---|
757 | い」「割込み優先度マスク全解除状態である」の3条件が満たされている場合に
|
---|
758 | call_texrtnを呼び出す関数である.
|
---|
759 |
|
---|
760 | ----------------------------------------
|
---|
761 | void
|
---|
762 | calltex(void)
|
---|
763 | {
|
---|
764 | if (p_runtsk->enatex && p_runtsk->texptn != 0U && ipmflg) {
|
---|
765 | call_texrtn();
|
---|
766 | }
|
---|
767 | }
|
---|
768 | ----------------------------------------
|
---|
769 |
|
---|
770 | (d-2) ret_int_r
|
---|
771 |
|
---|
772 | ret_int_rは,割込みハンドラの出口処理でディスパッチを行ったタスクが,実
|
---|
773 | 行を再開する際の処理である.そのため,ret_int_rからのリターン先のタスク
|
---|
774 | に対して,「タスクが実行状態である」「タスクコンテキストが実行されてい
|
---|
775 | る」の2条件は満たされている.また,CPUロック状態でret_int_rに来ることは
|
---|
776 | ないため,「CPUロック状態でない」の条件も成立している.そのため,「タス
|
---|
777 | ク例外処理許可状態である」「保留例外要因が0でない」「(割込みハンドラか
|
---|
778 | らのリターン後に)割込み優先度マスク全解除状態である」の3条件が満たされ
|
---|
779 | ている場合には,タスク例外処理ルーチンを呼び出す必要がある.
|
---|
780 |
|
---|
781 | これを実現するために,割込みハンドラの出入口処理を次のように修正する.
|
---|
782 |
|
---|
783 | ----------------------------------------
|
---|
784 | void
|
---|
785 | <割込みの出入口処理>(void)
|
---|
786 | {
|
---|
787 | ………
|
---|
788 |
|
---|
789 | ret_int_r:
|
---|
790 | スクラッチレジスタを除くすべてのレジスタをスタックから復帰する
|
---|
791 | calltex();
|
---|
792 | }
|
---|
793 | ………
|
---|
794 | }
|
---|
795 | ----------------------------------------
|
---|
796 |
|
---|
797 | (d-3) ret_exc_r
|
---|
798 |
|
---|
799 | ret_exc_rは,CPU例外ハンドラの出口処理でディスパッチを行ったタスクが,
|
---|
800 | 実行を再開する際の処理である.
|
---|
801 |
|
---|
802 | カーネル管理のCPU例外ハンドラの出口処理(ret_exc)は,割込みハンドラの
|
---|
803 | 出口処理(ret_int)と同様である.これは,CPUロック状態でCPU例外が発生し
|
---|
804 | た場合には,カーネル管理外のCPU例外ハンドラとなり,CPU例外ハンドラの出
|
---|
805 | 口処理でディスパッチを行うことはなく,ret_excにも来ないためである.その
|
---|
806 | ため,ret_exc_rからのリターン先のタスクに対して,「CPUロック状態でない」
|
---|
807 | の条件が成立している.
|
---|
808 |
|
---|
809 | このことから,CPU例外ハンドラの出入口処理についても,割込みハンドラの出
|
---|
810 | 入口処理と同様に,次のように修正すればよい.
|
---|
811 |
|
---|
812 | ----------------------------------------
|
---|
813 | void
|
---|
814 | <CPU例外の出入口処理>(void)
|
---|
815 | {
|
---|
816 | ………
|
---|
817 |
|
---|
818 | ret_exc_r:
|
---|
819 | スクラッチレジスタを除くすべてのレジスタを
|
---|
820 | スタックから復帰する
|
---|
821 | calltex();
|
---|
822 | }
|
---|
823 | ………
|
---|
824 | }
|
---|
825 | ----------------------------------------
|
---|
826 |
|
---|
827 | (e) 割込みハンドラの出口処理
|
---|
828 |
|
---|
829 | 割込みハンドラからタスクへリターンする場合には,リターン先のタスクに対
|
---|
830 | して,「タスクが実行状態である」「タスクコンテキストが実行されている」
|
---|
831 | の2条件は満たされている.また,CPUロック状態で割込みハンドラが実行され
|
---|
832 | ることはないため,「CPUロック状態でない」の条件も成立している.そのため,
|
---|
833 | 「タスク例外処理許可状態である」「保留例外要因が0でない」「(割込みハン
|
---|
834 | ドラからのリターン後に)割込み優先度マスク全解除状態である」の3条件が満
|
---|
835 | たされている場合には,タスク例外処理ルーチンを呼び出す必要がある.
|
---|
836 |
|
---|
837 | 割込みハンドラの呼出し前と呼出し後でこれらの条件が変化するのは,実行状
|
---|
838 | 態のタスクが変化した時と,割込みハンドラ中でiras_texが呼び出された場合
|
---|
839 | である.割込みハンドラからはena_texとchg_ipmは呼び出せないため,「タス
|
---|
840 | ク例外処理許可状態である」と「(割込みハンドラからのリターン後に)割込
|
---|
841 | み優先度マスク全解除状態である」の2条件が変化することはない.
|
---|
842 |
|
---|
843 | この2つの状況の内,実行状態のタスクが変化するケースは,ret_int_rで考慮
|
---|
844 | 済みである.割込みハンドラ中でiras_texが呼び出された場合には,reqflgが
|
---|
845 | trueになるため,タスク例外処理ルーチンの実行開始処理は,reqflgがtrueの
|
---|
846 | 時にのみ行えばよい.
|
---|
847 |
|
---|
848 | これを実現するために,上で修正した割込みハンドラの出入口処理を,さらに
|
---|
849 | 次のように修正する.
|
---|
850 |
|
---|
851 | ----------------------------------------
|
---|
852 | void
|
---|
853 | <割込みの出入口処理>(void)
|
---|
854 | {
|
---|
855 | ………
|
---|
856 |
|
---|
857 | if (タスクコンテキストで割込み発生) {
|
---|
858 | ………
|
---|
859 | if (reqflg) {
|
---|
860 | ………
|
---|
861 |
|
---|
862 | ret_int_r:
|
---|
863 | スクラッチレジスタを除くすべてのレジスタをスタックから復帰する
|
---|
864 | }
|
---|
865 | calltex();
|
---|
866 | }
|
---|
867 | }
|
---|
868 | ………
|
---|
869 | }
|
---|
870 | ----------------------------------------
|
---|
871 |
|
---|
872 | (f) CPU例外ハンドラの出口処理
|
---|
873 |
|
---|
874 | カーネル管理のCPU例外ハンドラの出口処理は,割込みハンドラの出口処理と同
|
---|
875 | 様である.
|
---|
876 |
|
---|
877 | カーネル管理外のCPU例外ハンドラの中では,実行状態のタスクが変化すること
|
---|
878 | はなく,iras_texやena_texを呼び出すこともできないため,タスク例外処理ルー
|
---|
879 | チンの実行開始条件が新たに満たされることはなく,タスク例外処理ルーチン
|
---|
880 | の実行開始は必要ない.
|
---|
881 |
|
---|
882 | このことから,CPU例外ハンドラの出入口処理についても,割込みハンドラの出
|
---|
883 | 入口処理と同様に,次のように修正すればよい.
|
---|
884 |
|
---|
885 | ----------------------------------------
|
---|
886 | void
|
---|
887 | <CPU例外の出入口処理>(void)
|
---|
888 | {
|
---|
889 | ………
|
---|
890 | if (タスクコンテキストでCPU例外発生) {
|
---|
891 | ………
|
---|
892 | if (reqflg) {
|
---|
893 |
|
---|
894 | ret_exc_r:
|
---|
895 | スクラッチレジスタを除くすべてのレジスタを
|
---|
896 | スタックから復帰する
|
---|
897 | }
|
---|
898 | calltex();
|
---|
899 | }
|
---|
900 | }
|
---|
901 | ………
|
---|
902 | }
|
---|
903 | ----------------------------------------
|
---|
904 |
|
---|
905 | (g) 割込み優先度マスクの変更
|
---|
906 |
|
---|
907 | chg_ipmがタスクから呼び出された場合には,自タスクに対して「タスクが実行
|
---|
908 | 状態である」「タスクコンテキストが実行されている」の2条件は満たされてい
|
---|
909 | る.また,「CPUロック状態でない」の条件はchg_ipmの入口でチェックしてい
|
---|
910 | る.そのため,パラメータintpriがTIPM_ENAALLであり,「タスク例外処理許可
|
---|
911 | 状態である」「保留例外要因が0でない」の2条件が満たされている場合には,
|
---|
912 | タスク例外処理ルーチンを呼び出す.
|
---|
913 |
|
---|
914 | chg_ipmの関連部分の処理は次の通り.
|
---|
915 |
|
---|
916 | ----------------------------------------
|
---|
917 | t_set_ipm(intpri);
|
---|
918 | if (intpri == TIPM_ENAALL) {
|
---|
919 | ipmflg = true;
|
---|
920 | ここにタスク切換え処理が入る
|
---|
921 | if (p_runtsk->enatex && p_runtsk->texptn != 0U) {
|
---|
922 | call_texrtn();
|
---|
923 | }
|
---|
924 | }
|
---|
925 | ----------------------------------------
|
---|
926 |
|
---|
927 | dispatchを呼び出してタスク切換えを行う場合には,dispatchの出口でタスク
|
---|
928 | 例外処理ルーチンを呼び出すためここで呼出し処理を行う必要はないが,コー
|
---|
929 | ドが複雑になるため,dispatchを呼び出した場合もここでタスク例外処理ルー
|
---|
930 | チンの呼出し処理を行っている.
|
---|
931 |
|
---|
932 | ●call_texrtnからdispatchを呼び出す処理について
|
---|
933 |
|
---|
934 | dispatch_rから(ターゲットによってはcalltexを経由して)call_texrtnを呼
|
---|
935 | び出し,call_texrtnからdispatchを呼び出すため,この2つの関数は相互再帰
|
---|
936 | 呼出しをしている.ここでは,この実装で支障のない理由を説明する.
|
---|
937 |
|
---|
938 | call_texrtnからdispatchを呼び出すのは,ディスパッチが保留されていない状
|
---|
939 | 態で呼び出されたタスク例外処理ルーチンが,その実行中にディスパッチ保留
|
---|
940 | 状態に遷移し,さらにタスクディスパッチを必要とする処理を行い,ディスパッ
|
---|
941 | チ保留状態を解除しないままリターンした場合である.この場合,call_texrtn
|
---|
942 | の中でディスパッチ保留状態を解除した後に,dispatchを呼び出してタスクディ
|
---|
943 | スパッチを行う.つまり,call_texrtnからdispatchを呼び出す処理は,タスク
|
---|
944 | 例外処理ルーチンの中でディスパッチ保留状態を解除すべきであったのを,解
|
---|
945 | 除せずにリターンした場合を救済するためのものである.以下,この振舞いを
|
---|
946 | 「救済ケース」と呼ぶ.
|
---|
947 |
|
---|
948 | そこで,比較のために,タスク例外処理ルーチンの最後で,正しくディスパッ
|
---|
949 | チ保留状態を解除してからリターンした場合の振舞いを考える.この場合には,
|
---|
950 | ディスパッチ保留状態を解除するサービスコール(ena_dsp,chg_ipm)の中で,
|
---|
951 | dispatchが呼び出されてタスクディスパッチが起こる.以下,この振舞いを
|
---|
952 | 「正常ケース」と呼ぶ.
|
---|
953 |
|
---|
954 | 正常ケースと救済ケースを比較すると,call_texrtn→タスク例外処理ルーチン
|
---|
955 | →サービスコール→dispatchの順でdispatchが呼び出されるか,call_texrtnか
|
---|
956 | ら直接dispatchが呼び出されるかの違いということになり,救済ケースの方が
|
---|
957 | スタックの使用量は少ない.つまり,正常ケースの動きを想定してスタック領
|
---|
958 | 域が用意してあれば,救済ケースでも問題なく動作することになる.
|
---|
959 |
|
---|
960 | ここで,正常ケースと救済ケースで,上記以外に違いがないことが重要である.
|
---|
961 | 具体的には,call_texrtnの中で,タスク例外処理許可状態にする(p_runtsk
|
---|
962 | ->enatexをtrueにする)前に,dispatchを呼び出すことが重要である.タスク
|
---|
963 | 例外処理許可状態にした後にdispatchを呼び出すと,出口のdispatch_rで,再
|
---|
964 | びタスク例外処理ルーチンを実行してしまう可能性があり,救済ケースの方が
|
---|
965 | スタックの使用量が増えてしまう.
|
---|
966 |
|
---|
967 | タスク例外処理ルーチンの中で,タスク例外処理許可状態にしたままリターン
|
---|
968 | した場合には,call_texrtnから呼び出したdispatchの出口のdispatch_rで再び
|
---|
969 | タスク例外処理ルーチンを実行してしまう可能性がある.この場合も,タスク
|
---|
970 | 例外処理ルーチンの最後で,ディスパッチ保留状態を解除してからリターンし
|
---|
971 | た場合よりはスタックの使用量が少ないが,タスク例外処理禁止状態にした後
|
---|
972 | にディスパッチ保留状態を解除してリターンした場合よりは,スタックの使用
|
---|
973 | 量が増える場合がある.そこで,このような状況が起こらないように,
|
---|
974 | dispatchを呼ぶ前にp_runtsk->enatexをfalseにする.
|
---|
975 |
|
---|
976 |
|
---|
977 | ○エラーのチェック順序
|
---|
978 |
|
---|
979 | サービスコール内におけるエラーチェックは,以下の順序で行うことを原則と
|
---|
980 | する.なお,この節には,保護機能対応カーネルに関する記述が含まれている
|
---|
981 | が,それらの記述は将来的にはより適切なドキュメントに移動する予定である.
|
---|
982 |
|
---|
983 | ●エラーの3分類
|
---|
984 |
|
---|
985 | サービスコールのエラーは,大きく以下の3つに分類することができる.
|
---|
986 |
|
---|
987 | (a) 静的エラー
|
---|
988 |
|
---|
989 | 対象のカーネルオブジェクトが登録されているか否かや,その状態に依存せず
|
---|
990 | に,チェックすることができるエラー.
|
---|
991 |
|
---|
992 | (b) 準静的エラー
|
---|
993 |
|
---|
994 | 対象のカーネルオブジェクトが登録されていれば,その状態に依存せずにチェッ
|
---|
995 | クすることができるエラー.
|
---|
996 |
|
---|
997 | (c) 動的エラー
|
---|
998 |
|
---|
999 | 対象のカーネルオブジェクトの状態に依存するエラー.
|
---|
1000 |
|
---|
1001 | ASPカーネルにおいては,(a)と(b)のエラーはクリティカルセクションの外側で,
|
---|
1002 | この順序でチェックし,(c)のエラーはクリティカルセクションの内側でチェッ
|
---|
1003 | クする.ただし,動的生成機能拡張パッケージでは,(b)のエラー(の一部)は
|
---|
1004 | クリティカルセクションの内側で実施する必要がある.
|
---|
1005 |
|
---|
1006 | ●静的エラーのチェック順序
|
---|
1007 |
|
---|
1008 | 静的エラーには,実行コンテキストのエラー(ディスパッチ保留状態からの呼
|
---|
1009 | 出しエラーも含む),パラメータの範囲等のエラー(対象のカーネルオブジェ
|
---|
1010 | クトに依存せずにチェックできるもの)が含まれる.
|
---|
1011 |
|
---|
1012 | サービスコール中では,最初に実行コンテキストのエラーをチェックし,その
|
---|
1013 | 後,パラメータの並び順に,範囲等のエラーをチェックする.
|
---|
1014 |
|
---|
1015 | 保護機能対応カーネルでは,パラメータがポインタである場合に,ポインタの
|
---|
1016 | 指すメモリ領域がアクセス可能であるかをチェックする必要があるが,メモリ
|
---|
1017 | 領域の設定が静的である場合には,このエラーチェックもここで実施する.た
|
---|
1018 | だし,メモリ領域の設定が静的でない場合には,このエラーチェックはクリティ
|
---|
1019 | カルセクションの内側で行う必要がある.
|
---|
1020 |
|
---|
1021 | ●准静的エラーのチェック順序
|
---|
1022 |
|
---|
1023 | 准静的エラーのチェックの前に,対象のカーネルオブジェクトの管理ブロック
|
---|
1024 | の先頭番地を,ローカル変数に代入する.
|
---|
1025 |
|
---|
1026 | 保護機能対応カーネルでは,この次に,対象のカーネルオブジェクトがアクセ
|
---|
1027 | ス可能であるかをチェックする処理を行う.当該サービスコールの呼出しが,
|
---|
1028 | システム状態に対するアクセス許可ベクタで保護されている場合にも,この段
|
---|
1029 | 階でチェックを実施する.
|
---|
1030 |
|
---|
1031 | その後で,パラメータの範囲等のエラーの中で,対象のカーネルオブジェクト
|
---|
1032 | の登録情報(初期化ブロックに含まれている情報)に依存してチェックすべき
|
---|
1033 | もののチェックを,パラメータの並び順で実施する.
|
---|
1034 |
|
---|
1035 |
|
---|
1036 | ○CHECKマクロとgoto文の使用
|
---|
1037 |
|
---|
1038 | ASPカーネルの実装においては,サービスコールの静的なエラーをチェックする
|
---|
1039 | ために,名称が"CHECK_"で始まる一連のマクロ(これらを,CHECKマクロと総称
|
---|
1040 | する)を用いている.
|
---|
1041 |
|
---|
1042 | CHECKマクロの定義中にはgoto文を含んでいるが,MISRA-Cなどのコーディング
|
---|
1043 | ルールではgoto文の使用を禁止しており,goto文を使うべきではないという意
|
---|
1044 | 見も多い.また,マクロの定義中にgoto文を使用することが問題であるという
|
---|
1045 | 意見もある.
|
---|
1046 |
|
---|
1047 | ここでは,定義中にgoto文を含むCHECKマクロを用いる設計意図とそれを使用し
|
---|
1048 | てよい条件,CHECKマクロの使用によりソフトウェアの信頼性に問題が生じるこ
|
---|
1049 | とがないことを論証する.
|
---|
1050 |
|
---|
1051 | なお,ASPカーネルのカーネル本体の実装では,CHECKマクロ以外にgoto文を用
|
---|
1052 | いている箇所はない(一部のシステムサービスでは,これ以外の方法でgoto文
|
---|
1053 | を用いている).
|
---|
1054 |
|
---|
1055 | ●CHECKマクロの定義とその使用法
|
---|
1056 |
|
---|
1057 | kernel/check.hには,25個のCHECKマクロが定義されているが,いずれも次のパ
|
---|
1058 | ターンで定義されている.ここでXXXXXには,チェックしたいエラーの種類を表
|
---|
1059 | す文字列が入る.
|
---|
1060 |
|
---|
1061 | ----------------------------------------
|
---|
1062 | #define CHECK_XXXXX(<……>) { \
|
---|
1063 | if (<エラー条件>) { \
|
---|
1064 | ercd = <エラーコード>; \
|
---|
1065 | goto error_exit; \
|
---|
1066 | } \
|
---|
1067 | }
|
---|
1068 | ----------------------------------------
|
---|
1069 |
|
---|
1070 | これらのCHECKマクロは,多くのサービスコールの処理関数中で,次のように使
|
---|
1071 | 用されている.
|
---|
1072 |
|
---|
1073 | ----------------------------------------
|
---|
1074 | ER
|
---|
1075 | <サービスコール名>(……)
|
---|
1076 | {
|
---|
1077 | <ローカル変数の宣言>
|
---|
1078 | ER ercd;
|
---|
1079 |
|
---|
1080 | LOG_XXX_YYY_ENTER(……);
|
---|
1081 | CHECK_XXXXX(……);
|
---|
1082 | CHECK_YYYYY(……);
|
---|
1083 |
|
---|
1084 | <サービスコール処理本体>
|
---|
1085 |
|
---|
1086 | error_exit:
|
---|
1087 | LOG_XXX_YYY_LEAVE(……);
|
---|
1088 | return(ercd);
|
---|
1089 | }
|
---|
1090 | ----------------------------------------
|
---|
1091 |
|
---|
1092 | この例では,CHECKマクロを2つ使用しているが,1つのみ使用している場合もあ
|
---|
1093 | れば,3つ以上使用している場合もある.また,複数のCHECKマクロの間に,ロー
|
---|
1094 | カル変数への代入文が入る場合もある(例えば,ter_tskの処理関数).
|
---|
1095 |
|
---|
1096 | ●設計意図
|
---|
1097 |
|
---|
1098 | CHECKマクロを使用する意図は,ほとんどのサービスコールで必要な静的エラー
|
---|
1099 | のチェックコードをパターン化し,ソースコードの簡潔さを保つことで読みや
|
---|
1100 | すさを向上させるとともに,記述ミスの可能性を減らすことである.
|
---|
1101 |
|
---|
1102 | ちなみに,CHECKマクロを使用しない場合,上に示したサービスコールの処理関
|
---|
1103 | 数は,次のように記述することになる.
|
---|
1104 |
|
---|
1105 | ----------------------------------------
|
---|
1106 | ER
|
---|
1107 | <サービスコール名>(……)
|
---|
1108 | {
|
---|
1109 | <ローカル変数の宣言>
|
---|
1110 | ER ercd;
|
---|
1111 |
|
---|
1112 | LOG_XXX_YYY_ENTER(……);
|
---|
1113 | if (<XXXXXのエラー条件>) {
|
---|
1114 | ercd = <XXXXXのエラーコード>;
|
---|
1115 | }
|
---|
1116 | else {
|
---|
1117 | if (<YYYYYのエラー条件>) {
|
---|
1118 | ercd = <YYYYYのエラーコード>;
|
---|
1119 | }
|
---|
1120 | else {
|
---|
1121 |
|
---|
1122 | <サービスコール処理本体>
|
---|
1123 |
|
---|
1124 | }
|
---|
1125 | }
|
---|
1126 | LOG_XXX_YYY_LEAVE(……);
|
---|
1127 | return(ercd);
|
---|
1128 | }
|
---|
1129 | ----------------------------------------
|
---|
1130 |
|
---|
1131 | CHECKマクロの内容を知っているという前提の下では,元のソースコードの方が
|
---|
1132 | 読みやすいのは明らかである.
|
---|
1133 |
|
---|
1134 | なお,このようなCHECKマクロの定義には,goto文の使用が不可避である.
|
---|
1135 |
|
---|
1136 | ●CHECKマクロを使用してよい条件
|
---|
1137 |
|
---|
1138 | CHECKマクロは,次の条件を満たすように使用しなければならない.
|
---|
1139 |
|
---|
1140 | (1) CHECKマクロは,サービスコール処理関数の先頭部分で,サービスコール入
|
---|
1141 | 口のログを出した後,クリティカルセクションに入る前までに,処理関数
|
---|
1142 | のトップレベルで用いる.
|
---|
1143 |
|
---|
1144 | (2) サービスコール処理関数の末尾部分で,クリティカルセクションを抜けた
|
---|
1145 | 後,サービスコール出口のログを出す前に,処理関数のトップレベルに,
|
---|
1146 | error_exitラベルを置く.
|
---|
1147 |
|
---|
1148 | ●問題を生じることがない根拠
|
---|
1149 |
|
---|
1150 | このような方法でgoto文を使用しても,ソフトウェアの信頼性に問題が生じる
|
---|
1151 | ことがないことを主張するには,そもそも,MISRA-Cなどのコーディングルール
|
---|
1152 | でgoto文の使用を禁止している根拠,言い換えると,goto文の使用によりソフ
|
---|
1153 | トウェアの信頼性に問題が生じる可能性のある理由を明らかにする必要がある.
|
---|
1154 |
|
---|
1155 | MISRA-Cのドキュメントでは,goto文の使用を禁止する根拠についてあまり明確
|
---|
1156 | になっておらず,ここではその根拠を次のように推測する.
|
---|
1157 |
|
---|
1158 | ・処理の流れが複雑になり,プログラムの意図が読みにくくなる(いわゆる,
|
---|
1159 | スパゲッティプログラムになる).
|
---|
1160 |
|
---|
1161 | CHECKマクロの場合には,goto文をエラー発生時の強制脱出に用いており,ラベ
|
---|
1162 | ルもerror_exitとするなど,プログラムの意図は明らかである.一方,このよ
|
---|
1163 | うにgoto文をエラー時の強制脱出に用いる場合には,次の点もgoto文の使用を
|
---|
1164 | 禁止する根拠になりうる.
|
---|
1165 |
|
---|
1166 | ・goto文で強制脱出することにより,脱出時に行わなければならない後処理が
|
---|
1167 | 飛ばされるおそれがある.
|
---|
1168 |
|
---|
1169 | ただしこの点についても,CHECKマクロを上記の使用条件を満たして使う限りは,
|
---|
1170 | 脱出時に行わなければならない後処理はなく,CHECKマクロの使用によりソフト
|
---|
1171 | ウェアの信頼性に問題が生じることはない.
|
---|
1172 |
|
---|
1173 | 問題を生じることがないことを論証するもう1つ方法は,コーディングルールに
|
---|
1174 | 合致しないプログラムが,コーディングルールに合致したプログラムと等価で
|
---|
1175 | あることを示す方法である.
|
---|
1176 |
|
---|
1177 | すでに「設計意図」の節で述べたように,CHECKマクロを使用したプログラムは,
|
---|
1178 | goto文を使用しない等価なプログラムに書き換えることができるが,より一般
|
---|
1179 | 的には,次のことが言える.
|
---|
1180 |
|
---|
1181 | else部を持たないif文のthen部の最後に,if文より下(前方)にあり,if文と
|
---|
1182 | 同じブロック内の同じ階層のラベルへ分岐するgoto文がある場合には,if文と
|
---|
1183 | ラベルの間の文をelse部にすることにより,goto文を使わない等価なプログラ
|
---|
1184 | ムに書き換えることができる.
|
---|
1185 |
|
---|
1186 | 例として,goto文を使った次のプログラムを考える.
|
---|
1187 |
|
---|
1188 | ----------------------------------------
|
---|
1189 | {
|
---|
1190 | /* if文の前の文 */
|
---|
1191 | if (....) {
|
---|
1192 | /* then部の文 */
|
---|
1193 | goto <ラベル>;
|
---|
1194 | }
|
---|
1195 | /* if文とラベルの間の文 */
|
---|
1196 | <ラベル>:
|
---|
1197 | /* ラベルより後ろの文 */
|
---|
1198 | }
|
---|
1199 | ----------------------------------------
|
---|
1200 |
|
---|
1201 | このプログラムは,goto文を使わない次のプログラムと等価である.
|
---|
1202 |
|
---|
1203 | ----------------------------------------
|
---|
1204 | {
|
---|
1205 | /* if文の前の文 */
|
---|
1206 | if (....) {
|
---|
1207 | /* then部の文 */
|
---|
1208 | }
|
---|
1209 | else {
|
---|
1210 | /* if文とラベルの間の文 */
|
---|
1211 | }
|
---|
1212 | /* ラベルより後ろの文 */
|
---|
1213 | }
|
---|
1214 | ----------------------------------------
|
---|
1215 |
|
---|
1216 | この条件に合致するgoto文が複数ある場合には,下にあるgoto文から順に上記
|
---|
1217 | の方法によって書き換えることで,goto文を使わない等価なプログラムに書き
|
---|
1218 | 換えることができる.
|
---|
1219 |
|
---|
1220 | CHECKマクロの使用方法は,上記のgoto文の使用方法に合致するため,goto文を
|
---|
1221 | 使用しない等価なプログラムに書き換えることができる.よって,このCHECKマ
|
---|
1222 | クロにより問題を生じることはない.
|
---|
1223 |
|
---|
1224 |
|
---|
1225 | ○ext_tsk,ext_kerの返り値
|
---|
1226 |
|
---|
1227 | μITRON4.0仕様では,ext_tskはリターンすることのないサービスコールとなっ
|
---|
1228 | ているが,TOPPERS新世代カーネルにおいては,このサービスコールの返り値を
|
---|
1229 | ER型に変更し,非タスクコンテキストから呼ばれた場合には,E_CTXエラーを返
|
---|
1230 | り値としてリターンすることとする.
|
---|
1231 |
|
---|
1232 | この仕様に対するいくつかの対案を検討したが,以下の理由で採用しない.
|
---|
1233 |
|
---|
1234 | ・JSPカーネルのように,危険の可能性を検出しながら実行を継続する方法は,
|
---|
1235 | 信頼性・安全性を重視するシステムでは望ましくない.信頼性・安全性を重
|
---|
1236 | 視するシステムでは,危険の可能性を検出したら,早期にリカバリをすべき
|
---|
1237 | である.
|
---|
1238 |
|
---|
1239 | ・ASPカーネルの当初案のカーネルをダウンさせる方法は,アプリケーション側
|
---|
1240 | で回復する余地をなくすという意味で望ましくない.
|
---|
1241 |
|
---|
1242 | ・過去の互換性を保つために,型をvoidとしたまま,非タスクコンテキストか
|
---|
1243 | ら呼ばれた場合にはリターンするとする方法は,カーネルの仕様変更に気づ
|
---|
1244 | きにくくなるという意味で望ましくない.また,他のエラーコード(例えば
|
---|
1245 | E_NOSPT)を返す余地をなくしている.
|
---|
1246 |
|
---|
1247 | ・一種のCPU例外を呼び出すことにする方法は,カーネル仕様全体の整合性を考
|
---|
1248 | えて採用しなかった.ここで一種のCPU例外を導入するよりも,サービスコー
|
---|
1249 | ルがエラーを返した場合に呼ばれるOSEK/VDX OS仕様のエラーフックに相当す
|
---|
1250 | る機能を導入した方が有用性が高いと思われるためである.
|
---|
1251 |
|
---|
1252 | この変更により,さらに,CPUロック状態やディスパッチ禁止状態でext_tskが
|
---|
1253 | 呼ばれた場合にもエラーリターンする方法が考えられるが,タスクのメインルー
|
---|
1254 | チンからのリターンとext_tskが等価にならないため,採用しない.また,他の
|
---|
1255 | 処理単位からのリターン方法と整合させる意味もある(例えば,割込みハンド
|
---|
1256 | ラからCPUロック状態のままリターンした場合の扱い).
|
---|
1257 |
|
---|
1258 | これにあわせて,ext_kerについても,返り値をER型に変更する.ASPカーネル
|
---|
1259 | では,ext_kerがエラーを返すことはないが,HRPカーネルでは,E_OACVエラー
|
---|
1260 | を返す場合がある.
|
---|
1261 |
|
---|
1262 | なお,μITRON4.0仕様では,exd_tskもリターンすることのないサービスコール
|
---|
1263 | となっているが,TOPPERS新世代カーネルでは,exd_tskはサポートしていない.
|
---|
1264 |
|
---|
1265 |
|
---|
1266 | ○カーネルのデータ構造に対するvolatile宣言について(クリティカルセクショ
|
---|
1267 | ンの出入処理の実現に関する制約)
|
---|
1268 |
|
---|
1269 | カーネル内のデータ構造は,並行実行される他の処理単位(割込みハンドラや
|
---|
1270 | タスク)からもアクセスされる可能性があるため,volatile宣言が必要ではな
|
---|
1271 | いかと考えられる.実際,クリティカルセクション内でカーネル変数を読むコー
|
---|
1272 | ドが,コンパイラの最適化によりクリティカルセクション外に移動され,それ
|
---|
1273 | が原因となった問題事例も報告されている.
|
---|
1274 |
|
---|
1275 | カーネル内のすべてのデータ構造にvolatile宣言をつける方法は,安全ではあ
|
---|
1276 | るが,最適化が抑止されるために,カーネルのサイズや性能には悪影響を与え
|
---|
1277 | る.そこでASPカーネルでは,次の方法でvolatile宣言の必要性をなくすことと
|
---|
1278 | する.
|
---|
1279 |
|
---|
1280 | ASPカーネルにおいては,並行実行される他の処理単位から書き換えられる可能
|
---|
1281 | 性のあるデータ構造は,すべて,CPUロック状態または全割込みロック状態によ
|
---|
1282 | るクリティカルセクション内でアクセスしている.クリティカルセクション内
|
---|
1283 | でのデータ構造のアクセスが,コンパイラの最適化によりクリティカルセクショ
|
---|
1284 | ン外に移動されないようにするには,コンパイラに対して,クリティカルセク
|
---|
1285 | ションの出入処理により,メモリ上のデータ構造が書き変わる可能性があるこ
|
---|
1286 | とを知らせればよい.
|
---|
1287 |
|
---|
1288 | 具体的には,クリティカルセクションの出入処理を関数によって実現すれば,
|
---|
1289 | このような最適化を抑止することができる.しかし,ASPカーネルの多くのター
|
---|
1290 | ゲット依存部において,クリティカルセクションの出入処理はマクロやインラ
|
---|
1291 | イン関数により実装されており,上のような最適化を抑止できない.
|
---|
1292 |
|
---|
1293 | そこで,クリティカルセクションの出入処理を実現する場合には,メモリ上の
|
---|
1294 | データ構造が書き変わる可能性があることを,何らかの方法でコンパイラに知
|
---|
1295 | らせなければならないという制約を設ける.GNU開発環境では,次のいずれかの
|
---|
1296 | 方法でこの制約を満たすことができる.
|
---|
1297 |
|
---|
1298 | (a) クリティカルセクションの出入処理の全体または出入処理の本質的な部分
|
---|
1299 | (具体的には,割込み禁止/許可する処理)を(インラインでない)通常
|
---|
1300 | の関数により実現する.
|
---|
1301 |
|
---|
1302 | (b) クリティカルセクションの出入処理の本質的な部分をインラインアセンブ
|
---|
1303 | ラによって実現している場合には,そのインラインアセンブラのclobber変
|
---|
1304 | 数リストに"memory"を追加する.
|
---|
1305 |
|
---|
1306 | (c) クリティカルセクションの出入処理の本質的な部分が,マクロやインライ
|
---|
1307 | ン関数呼出しで実現している場合には,クリティカルセクションに入る処
|
---|
1308 | 理の最後と出る処理の先頭に,Asm("":::"memory")という記述を入れる.
|
---|
1309 |
|
---|
1310 | なお,この制約が適用されるクリティカルセクションの出入処理は,以下のも
|
---|
1311 | のである.
|
---|
1312 |
|
---|
1313 | SIL_LOC_INT
|
---|
1314 | SIL_UNL_INT
|
---|
1315 | t_lock_cpu, i_lock_cpu, x_lock_cpu
|
---|
1316 | t_unlock_cpu, i_unlock_cpu, x_unlock_cpu
|
---|
1317 |
|
---|
1318 |
|
---|
1319 | ○型キャストに伴う警告メッセージ
|
---|
1320 |
|
---|
1321 | GCCで-O2オプションをつけてコンパイルした場合に,カーネルのソースコード
|
---|
1322 | 中の数箇所で,次の警告メッセージが出る(GCCのバージョンにもよる).
|
---|
1323 |
|
---|
1324 | warning: dereferencing type-punned pointer will break strict-aliasing rules
|
---|
1325 |
|
---|
1326 | これは,GCCに-O2オプションをつけると,コンパイラがC言語のstrict
|
---|
1327 | aliasing ruleを前提とするためである.コンパイラにstrict aliasing ruleを
|
---|
1328 | 適用させないためには,GCCのオプションに-fno-strict-aliasingを指定すれば
|
---|
1329 | よい.これにより,警告メッセージは抑止されるが,strict aliasing ruleを
|
---|
1330 | 前提とした最適化は行われなくなる.
|
---|
1331 |
|
---|
1332 | ASPカーネルに実装においては,strict aliasing ruleを前提とした最適化を行っ
|
---|
1333 | てもよく,この警告メッセージを無視しても差し支えない.以下では,この警
|
---|
1334 | 告メッセージを無視しても差し支えない理由を述べる.
|
---|
1335 |
|
---|
1336 | 警告メッセージが出る例として,semaphore.c中の次の行について検討する.
|
---|
1337 |
|
---|
1338 | wobj_make_wait((WOBJCB *) p_semcb, (WINFO_WOBJ *) &winfo_sem);
|
---|
1339 |
|
---|
1340 | この警告メッセージの原因は,直接的には,&winfo_semを(WINFO_WOBJ *)にキャ
|
---|
1341 | ストしていることであるが,本質的な原因は,このコードがC言語のstrict
|
---|
1342 | aliasing ruleに従わない代入文の原因になる可能性があり,このルールに依存
|
---|
1343 | した最適化が誤った結果を引き起こす可能性があることである.
|
---|
1344 |
|
---|
1345 | C言語のstrict aliasing ruleは,互換性のない異なる型を通して,オーバラッ
|
---|
1346 | プするメモリ領域をアクセスする代入文を使用してはならないというものであ
|
---|
1347 | る(使用した場合の振舞いは未定義になる).このケースでは,(WINFO_SEM
|
---|
1348 | *)型のポインタ経由と(WINFO_WOBJ *)型のポインタ経由で,オーバラップする
|
---|
1349 | メモリ領域をアクセスする代入文を使用してはならないことになる.また,警
|
---|
1350 | 告メッセージの原因になってはいないが,(SEMCB *)型のポインタ経由と
|
---|
1351 | (WOBJCB *)型のポインタ経由で,オーバラップするメモリ領域をアクセスする
|
---|
1352 | 代入文を使用してはならない.
|
---|
1353 |
|
---|
1354 | ASPカーネルの実装においては,semaphore.c中の関数においては,(SEMCB *)型
|
---|
1355 | および(WINFO_SEM *)型のポインタを使用しており,(WOBJCB *)型および
|
---|
1356 | (WINFO_WOBJ *)型のポインタ経由でメモリ領域をアクセスすることはない.一
|
---|
1357 | 方,そこから呼び出されるwait.c中の関数においては,(WOBJCB *)型および
|
---|
1358 | (WINFO_WOBJ *)型のポインタを使用しており,(SEMCB *)型および(WINFO_SEM
|
---|
1359 | *)型のポインタ経由でメモリ領域をアクセスすることはない.
|
---|
1360 |
|
---|
1361 | strict aliasing ruleに従わない代入文の問題点は,このルールに依存した最
|
---|
1362 | 適化が誤った結果を引き起こす可能性があることであるが,異なるコンパイル
|
---|
1363 | 単位をまたいで最適化が行われることはないため,これにより問題が起こるこ
|
---|
1364 | とはないと言うことができる.
|
---|
1365 |
|
---|
1366 | 同じ議論は,他のソースファイル(eventflag.c,dataqueue.c,pridataq.c,
|
---|
1367 | mailbox.c,mempfix.c)中の警告メッセージについても,そのまま当てはまる.
|
---|
1368 |
|
---|
1369 |
|
---|
1370 | ○性能評価用システム時刻参照機能
|
---|
1371 |
|
---|
1372 | ●必要性と使途
|
---|
1373 |
|
---|
1374 | ASPカーネルには,ASPカーネル上で動作するタスクやASPカーネル自身の性能を
|
---|
1375 | 計測するために,システム時刻より精度の高い性能評価用システム時刻を読み
|
---|
1376 | 出す機能をサポートする.性能評価用システム時刻は,マイクロ秒単位で表現
|
---|
1377 | されるが,実際の精度はターゲット依存である.
|
---|
1378 |
|
---|
1379 | この機能を用いてあるプログラムの実行時間を計測するには,その実行直前と
|
---|
1380 | 実行直後に性能評価用システム時刻を読み出し,その差を求める.そのため,
|
---|
1381 | 性能評価用システム時刻は常に相対値を使用し,性能評価用システム時刻の絶
|
---|
1382 | 対値を使用することは想定していない.
|
---|
1383 |
|
---|
1384 | ●API仕様
|
---|
1385 |
|
---|
1386 | 性能評価用システム時刻参照機能では,次のデータ型を用いる.
|
---|
1387 |
|
---|
1388 | SYSUTM 性能評価用システム時刻(符号無し整数,単位はマイクロ秒,
|
---|
1389 | 32ビット以上)
|
---|
1390 |
|
---|
1391 | SYSUTM型は,ターゲット非依存部においてulong_t型(すなわち,unsigned
|
---|
1392 | long型)に定義されており,そのサイズは,32ビット以上で,ターゲット定義
|
---|
1393 | である.
|
---|
1394 |
|
---|
1395 | 性能評価用システム時刻がSYSUTM型で表現できる範囲を超えた(つまり,オー
|
---|
1396 | バフローした)場合,性能評価用システム時刻は0に戻る.評価対象プログラム
|
---|
1397 | の実行前後の性能評価用システム時刻の差を求める場合には,計測する時間が
|
---|
1398 | SYSUTM型で表現できる範囲である限り,0に戻ることを特別に考慮する必要はな
|
---|
1399 | い.
|
---|
1400 |
|
---|
1401 | SYSUTM型が32ビットの場合,性能評価用システム時刻は約71分でオーバフロー
|
---|
1402 | する.そのため,この機能を71分を越える時間の測定に使った場合の動作は保
|
---|
1403 | 証されない.
|
---|
1404 |
|
---|
1405 | 性能評価用システム時刻参照機能のためのサービスコールの仕様については,
|
---|
1406 | 「TOPPERS新世代カーネル統合仕様書」の「4.6.1 システム時刻管理」の節を参
|
---|
1407 | 照すること.
|
---|
1408 |
|
---|
1409 | ●実装
|
---|
1410 |
|
---|
1411 | 時刻をマイクロ秒単位で取得するために,周期的なタイムティックを供給する
|
---|
1412 | タイマの現在値(タイマはカウントアップするものと仮定する)を読み出し,
|
---|
1413 | それをマイクロ秒単位に換算した値に,現在のシステム時刻(ミリ秒単位で表
|
---|
1414 | 現される)を1000倍した値を加えたものを性能評価用システム時刻とする.現
|
---|
1415 | 在のシステム時刻を1000倍する際に,オーバフローが発生する可能性があるが,
|
---|
1416 | 無視してかまわない.
|
---|
1417 |
|
---|
1418 | ただし,システム時刻の現在値とタイマの現在値を一貫した状態で読み出すの
|
---|
1419 | は容易ではない.両方の値を順に読み出すと,読出しの間にタイマがオーバフ
|
---|
1420 | ローして割込み要求が発生した場合に,片方はオーバフロー前の値,もう片方
|
---|
1421 | はオーバフロー後の値を読んでしまい,誤った性能評価用システム時刻を取得
|
---|
1422 | してしまう.
|
---|
1423 |
|
---|
1424 | この問題を解決する方法はいくつか考えられるが,どの方法を採用するの決定
|
---|
1425 | にあたり,次の要求事項を設定した.
|
---|
1426 |
|
---|
1427 | (1) 多くのターゲットシステムで実現できること.
|
---|
1428 |
|
---|
1429 | (2) サービスコールの実行時間が可能な限り一定となること.言い換えると,
|
---|
1430 | 条件によってサービスコールの実行時間が大きく変動しないこと.
|
---|
1431 |
|
---|
1432 | (3) サービスコール中の可能な限り同じタイミングの時刻を返すこと.言い換
|
---|
1433 | えると,条件によって時刻を読み取るタイミングが変動しないこと.
|
---|
1434 |
|
---|
1435 | (4) 調整する必要のあるパラメータを最小限とすること.
|
---|
1436 |
|
---|
1437 | これらの要求事項を満たす方法として,次の方法を用いることにした.
|
---|
1438 |
|
---|
1439 | まず,NMIを除くすべての割込みを禁止した状態で,システム時刻の現在値,タ
|
---|
1440 | イマの現在値(1回目),タイマ割込み要求の有無,タイマの現在値(2回目)
|
---|
1441 | を,この順で読み出す.割込みを禁止しているため,この間にシステム時刻の
|
---|
1442 | 現在値が変化することはなく,システム時刻の現在値を読み出す順番はどこで
|
---|
1443 | もよい.また,タイマの現在値の2回目の読出しは,タイマ割込み要求があった
|
---|
1444 | 場合にのみ必要となるが,(2)の要求から,タイマ割込み要求の有無によらず読
|
---|
1445 | み出すこととする.
|
---|
1446 |
|
---|
1447 | これらの値を読み出した後,割込み禁止を解除し,次の処理を行う.まず,タ
|
---|
1448 | イマ割込み要求がなかった場合には,システム時刻の現在値と,1回目に読んだ
|
---|
1449 | タイマの現在値は一貫した値であることが保証できるため,これらの値から性
|
---|
1450 | 能評価用システム時刻の現在値を求める.
|
---|
1451 |
|
---|
1452 | 次にタイマ割込み要求があった場合には,1回目に読んだタイマの現在値が,タ
|
---|
1453 | イマ割込み要求発生前の値(オーバフロー前の値)である場合と,発生後の値
|
---|
1454 | (オーバフロー後の値)である場合の両方の可能性が考えられる.このどちら
|
---|
1455 | の場合であったかを,2回目に読んだタイマの現在値を使って,次のように決定
|
---|
1456 | する.2回目の値は,タイマ割込み要求発生後の値(オーバフロー後の値)であ
|
---|
1457 | ることが保証できるため,1回目の値が2回目の値よりも大きい場合には,その
|
---|
1458 | 間にオーバフローがあったものと推測できる.つまり,1回目の値はオーバフロー
|
---|
1459 | 前の値ということになり,システム時刻の現在値と一貫した値であるとして性
|
---|
1460 | 能評価用システム時刻の現在値を求める.逆に,1回目の値が2回目の値と同じ
|
---|
1461 | かそれより小さい場合には,1回目の値はオーバフロー後の値であると推測でき
|
---|
1462 | る.この場合には,次のタイムティックのシステム時刻を求め,その値と1回目
|
---|
1463 | の値が一貫した値であるとして性能評価用システム時刻の現在値を求める.
|
---|
1464 |
|
---|
1465 | ここで,タイマ割込み要求があった場合には,2回目に読んだタイマの現在値を
|
---|
1466 | 用いる方法が考えられるが,(3)の要求を満たさなくなるために採用しなかった.
|
---|
1467 | また,JSPカーネルと同様の方法は,(4)の要求を満たさないために採用しなかっ
|
---|
1468 | た.
|
---|
1469 |
|
---|
1470 | 上で「推測できる」としたのは,この推測が成り立たなくなるケースがあるた
|
---|
1471 | めである.この推測が成り立たなくなるケースは,次の2つの場合に分けて分析
|
---|
1472 | することができる.
|
---|
1473 |
|
---|
1474 | (a) 1回目の値がオーバフロー後の値であるにもかかわらず,1回目の値が2回目
|
---|
1475 | の値よりも大きくなる場合
|
---|
1476 |
|
---|
1477 | このようなケースは,タイマ割込みが要求されているにもかかわらずサービス
|
---|
1478 | されない状態が長時間続くか,タイマの現在値を1回目に読んでから2回目に読
|
---|
1479 | むまでの間に長い時間がかかった結果,その間に(再度)オーバフローが発生
|
---|
1480 | した場合に起こる.つまり,タイマ割込みがサービスされない時間が,タイム
|
---|
1481 | ティックの周期よりも長くなった場合である.このような場合には,システム
|
---|
1482 | 時刻の更新も正しく行われなくなる.
|
---|
1483 |
|
---|
1484 | (b) 1回目の値がオーバフロー前の値であるにもかかわらず,1回目の値が2回目
|
---|
1485 | の値と同じかそれよりも小さくなる場合
|
---|
1486 |
|
---|
1487 | このようなケースは,タイマの現在値を1回目に読んでから2回目に読むまでの
|
---|
1488 | 間に,タイマがほぼ1周分カウントアップした場合に起こる.この場合も,タイ
|
---|
1489 | マ割込みが禁止されている時間が,タイムティックの周期よりも長かったこと
|
---|
1490 | になり,システム時刻の更新が正しく行えなくなる.
|
---|
1491 |
|
---|
1492 | いずれのケースも,タイマ割込みが長時間禁止されている,タイマ割込みより
|
---|
1493 | も優先度の高い割込み処理が長時間続けて実行された,シミュレーション環境
|
---|
1494 | においてシミュレータのプロセスが長時間スケジュールされなかったなどの理
|
---|
1495 | 由で,システム時刻の更新が正しく行えない状況に相当する.そこでこの状況
|
---|
1496 | を,サービスコール使用上の注意事項に盛り込む.
|
---|
1497 |
|
---|
1498 | 実際のコードにおいては,システム時刻の現在値は変数に保持されていないた
|
---|
1499 | め(上位桁はcurrent_timeに保持されているが,下位桁を保持する変数がな
|
---|
1500 | い),次のタイムティックのシステム時刻を用いて計算している.そのため,
|
---|
1501 | タイマの現在値がオーバフロー後の値であると判断した場合を除いては,タイ
|
---|
1502 | ムティックの周期時間を,求めた性能評価用システム時刻から減算する.この
|
---|
1503 | 処理により,サービスコールの実行時間が変動することになるが,if文の内容
|
---|
1504 | が(コンパイラの最適化を仮定すると)定数値の減算1回なので,変動はわずか
|
---|
1505 | である.
|
---|
1506 |
|
---|
1507 | このサービスコールは,任意の状態から呼び出すことができるため,SILの全割
|
---|
1508 | 込みロック機能を用いて,サービスコール内部のクリティカルセクションを実
|
---|
1509 | 現する.
|
---|
1510 |
|
---|
1511 |
|
---|
1512 | ○タスク例外処理禁止フラグをenatexで実装している理由
|
---|
1513 |
|
---|
1514 | タスク例外処理禁止フラグは,TCB中のenatexフィールド(タスク例外処理許可
|
---|
1515 | 状態であることを示す)の形で保持している.このフィールドをdistexとせず
|
---|
1516 | enatexとしたのは,JSPカーネルにおいてタスクディスパッチ禁止フラグを
|
---|
1517 | enadspの形で保持したのと整合させたためである.
|
---|
1518 |
|
---|
1519 | ASPカーネルでは,enadspはdisdspに変更になったことから,enatexもdistexに
|
---|
1520 | 変更した方が良かったと思われる.
|
---|
1521 |
|
---|
1522 | 以上
|
---|