source: asp3_wo_tecs/trunk/test/hrt_systim1.c@ 302

Last change on this file since 302 was 302, checked in by ertl-honda, 7 years ago

TECSレスのASP3の開発のため以下のtrunkからコピー
​http://dev.toppers.jp/svn/asp3/branches/WO_TECS-3.C.0
File size: 23.9 KB
Line 
1/*
2 * TOPPERS Software
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 * Copyright (C) 2014-2015 by Embedded and Real-Time Systems Laboratory
6 * Graduate School of Information Science, Nagoya Univ., JAPAN
7 *
8 * 上記著作権者
9は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
10 * ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
11 * 変・再é…
12å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
13 * (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
14 * 権表示，この利用条件および下記の無保証規定が，そのままの形でソー
15 * スコード中に含まれていること．
16 * (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
17 * 用できる形で再é…
18å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
19å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
20 * 者
21マニュアルなど）に，上記の著作権表示，この利用条件および下記
22 * の無保証規定を掲載すること．
23 * (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
24 * 用できない形で再é…
25å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
26 * と．
27 * (a) 再é…
28å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
29マニュアルなど）に，上記の著
30 * 作権表示，この利用条件および下記の無保証規定を掲載すること．
31 * (b) 再é…
32å¸ƒã®å½¢æ…
33‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
34 * 報告すること．
35 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
36 * 害からも，上記著作権者
37およびTOPPERSプロジェクトをå…
38è²¬ã™ã‚‹ã“と．
39 * また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
40 * 由に基づく請求からも，上記著作権者
41およびTOPPERSプロジェクトを
42 * å…
43è²¬ã™ã‚‹ã“と．
44 *
45 * 本ソフトウェアは，無保証で提供されているものである．上記著作権者
46お
47 * よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
48 * に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
49 * アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
50 * の責任を負わない．
51 *
52 * $Id: hrt_systim1.c 310 2015-02-08 13:46:46Z ertl-hiro $
53 */
54
55/*
56 * システム時刻管理機能のテスト(1)
57 *
58 * 【テストの目的】
59 *
60 * 設計書の「高分解能タイマ割込みの発生タイミングの設定」「高分解能タ
61 * イマ割込みの処理」「相対時間指定によるタイムイベントの登録」の節に
62 * 記述内
63容をテストする．
64 *
65 * 以下の関数のC1カバレッジを達成する．
66 * set_hrt_event（高分解能タイマ割込みの発生タイミングの設定）
67 * tmevtb_enqueue（相対時間指定によるタイムイベントの登録）
68 * signal_time（高分解能タイマ割込みの処理）
69 *
70 * 【テスト項
71目】
72 *
73 * (A) 「高分解能タイマ割込みの発生タイミングの設定」の節の記述内
74容の
75 * テストとset_hrt_eventの実行/分岐パスの網羅
76
77 * (A-1) タイムイベントが登録されていない時［ASPD1007］
78 * (A-2) タイムイベントが登録されており，発生時刻を過ぎている時［ASPD1017］
79 * (A-3) タイムイベントが登録されており，å…
80ˆé ­ã®ã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆã®ç™ºç”Ÿ
81 * 時刻までの高分解タイマのカウントアップ値がHRTCNT_BOUND以下
82 * の時［ASPD1002］
83 * (A-4) タイムイベントが登録されており，å…
84ˆé ­ã®ã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆã®ç™ºç”Ÿ
85 * 時刻までの高分解タイマのカウントアップ値がHRTCNT_BOUNDを超
86
87 * える時［ASPD1006］
88 * (B) 「相対時間指定によるタイムイベントの登録」の節の記述内
89容のテス
90 * トとtmevtb_enqueueの実行/分岐パスの網羅
91
92 * (B-1) 発生時刻が正しく設定されること［ASPD1026］［ASPD1027］
93 * (B-2) タイムイベントヒープに挿å…
94¥ã•ã‚Œã‚‹ã“と［ASPD1030ï¼½
95 * (B-3) signal_timeの中で呼ばれた時［ASPD1034］
96 * (B-4) 登録したタイムイベントがå…
97ˆé ­ã§ãªã„時［ASPD1031ï¼½
98 * (B-5) 登録したタイムイベントがå…
99ˆé ­ã«ãªã£ãŸæ™‚（高分解能タイマを設
100 * 定する）［ASPD1031］
101 * (C) signal_timeの実行/分岐パスの網羅
102
103 * (C-1) タイムイベントヒープが空の状æ…
104‹ã§ï¼Œsignal_timeが呼び出された
105 * 場合
106 * (C-2) タイムイベントヒープのå…
107ˆé ­ã®ã‚¤ãƒ™ãƒ³ãƒˆã®ç™ºç”Ÿæ™‚刻前に，
108 * signal_timeが呼び出された場合
109 * (C-3) signal_timeで，タイムイベントヒープのå…
110ˆé ­ã®ã‚¤ãƒ™ãƒ³ãƒˆã®ã¿ã‚’処
111 * 理する場合
112 * (C-4) signal_timeで，タイムイベントヒープのå…
113ˆé ­ã‹ã‚‰2つのイベント
114 * を，内
115側のループで処理する場合
116 * (C-5) signal_timeで，タイムイベントヒープのå…
117ˆé ­ã‹ã‚‰2つのイベント
118 * を，外側のループで処理する場合
119 * (D) signal_timeから呼んだ処理で現在時刻が更新された場合
120 * (D-1) 更新された現在時刻が，次のタイムイベントを過ぎており，次の
121 * タイムイベントを内
122側のループで処理する場合
123 *
124 * 【使用リソース】
125 *
126 * 高分解能タイマモジュールの性質：HRT_CONFIG1
127 * TCYC_HRTCNT 未定義（2^32の意味）
128 * TSTEP_HRTCNT 1U
129 * HRTCNT_BOUND 4000000002U
130 *
131 * TASK1: 中優å…
132ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œãƒ¡ã‚¤ãƒ³ã‚¿ã‚¹ã‚¯ï¼Œæœ€åˆã‹ã‚‰èµ·å‹•
133 * ALM1: アラームハンドラ
134 * ALM2: アラームハンドラ
135 * ALM3: アラームハンドラ
136 *
137 * 【補足説明】
138 *
139 * タイムイベントが登録されていない時に高分解能タイマに設定する相対は，
140 * ドリフト調整機能を持たない場合はHRTCNT_BOUNDであるのに対して，ドリ
141 * フト調整機能を持つ場合はTMAX_RELTIMをイベント時刻の伸縮率で割った値
142 * とHRTCNT_BOUNDの小さい方の値（このテストでは，ドリフト量を設定せず，
143 * HRTCNT_BOUND＞TMAX_RELTIMであるため，TMAX_RELTIMに一致）となる．そ
144 * こで，HRTCNT_EMPTYをこの値に定義し，ドリフト調整機能の有無によらず
145 * 同じテストシーケンスが使えるようにする．
146 *
147 * 以下のテストシーケンスのコメント中で，「発生：xxx」とは，高分解能タ
148 * イマのカウント値がxxxになった時にタイムイベントが発生することを意味
149 * する．タイムイベントのイベント発生時刻ではない．
150 *
151 * 【テストシーケンス】
152 *
153 * == START ==
154 * // カーネル起動．高分解能タイマのカウント値とイベント時刻は10ずれる
155 * 1: [target_hrt_get_current -> 10U]
156 * 2: [target_hrt_set_event <- HRTCNT_EMPTY]
157 * == TASK1（優å…
158ˆåº¦ï¼šä¸­ï¼‰==
159 * // タイムイベントを1つだけ登録
160 * 3: sta_alm(ALM1, 100U)
161 * 4: [target_hrt_get_current -> 20U] // 発生：121
162 * 5: [target_hrt_set_event <- 101U] ... (A-3)
163 * 6: DO(target_raise_hrt_int(1U))
164 * slp_tsk()
165 * == HRT_HANDLER == ... (C-3)
166 * 7: [target_hrt_get_current -> 130U] // ALM1が発生
167 * == ALM1-1（1回目）==
168 * 8: wup_tsk(TASK1)
169 * RETURN
170 * // タイムイベントがなくなった場合
171 * 9: [target_hrt_get_current -> 140U]
172 * 10: [target_hrt_set_event <- HRTCNT_EMPTY] ... (A-1)
173 * == TASK1（続き）==
174 * // 3つのタイムイベントを登録．その内
175の2つを内
176側のループで処理
177 * 11: sta_alm(ALM1, 100U) ... (B-5)
178 * 12: [target_hrt_get_current -> 150U] // 発生：251
179 * 13: [target_hrt_set_event <- 101U] ... (B-1)(B-2)
180 * 14: sta_alm(ALM2, 100U) ... (B-4)
181 * 15: [target_hrt_get_current -> 160U] // 発生：261
182 * 16: sta_alm(ALM3, 110U)
183 * 17: [target_hrt_get_current -> 170U] // 発生：281
184 * 18: DO(target_raise_hrt_int(1U))
185 * slp_tsk()
186 * == HRT_HANDLER == ... (C-4)
187 * 19: [target_hrt_get_current -> 261U] // ALM1とALM2が発生
188 * == ALM1-2（2回目）==
189 * 20: RETURN
190 * == ALM2-1（1回目）== // 連続して処理
191 * 21: DO(target_raise_hrt_int(1U))
192 * RETURN
193 * 22: [target_hrt_get_current -> 280U]
194 * 23: [target_hrt_set_event <- 1U] // ALM3までの時間は1
195 * == HRT_HANDLER ==
196 * 24: [target_hrt_get_current -> 290U] // ALM3が発生
197 * == ALM3-1（1回目）==
198 * 25: wup_tsk(TASK1)
199 * RETURN
200 * 26: [target_hrt_get_current -> 300U]
201 * 27: [target_hrt_set_event <- HRTCNT_EMPTY]
202 * == TASK1（続き）==
203 * // 2つのタイムイベントを登録．その2つを外側のループで処理
204 * 28: sta_alm(ALM1, 100U)
205 * 29: [target_hrt_get_current -> 310U] // 発生：411
206 * 30: [target_hrt_set_event <- 101U]
207 * 31: sta_alm(ALM2, 100U)
208 * 32: [target_hrt_get_current -> 320U] // 発生：421
209 * 33: DO(target_raise_hrt_int(1U))
210 * slp_tsk()
211 * == HRT_HANDLER == ... (C-5)
212 * 34: [target_hrt_get_current -> 420U] // ALM1が発生
213 * == ALM1-3（3回目）==
214 * 35: RETURN
215 * 36: [target_hrt_get_current -> 430U] // ALM2が発生
216 * == ALM2-2（2回目）==
217 * 37: wup_tsk(TASK1)
218 * RETURN
219 * 38: [target_hrt_get_current -> 440U]
220 * 39: [target_hrt_set_event <- HRTCNT_EMPTY]
221 * == TASK1（続き）==
222 * // 2つのタイムイベントを登録
223 * 40: sta_alm(ALM1, 100U)
224 * 41: [target_hrt_get_current -> 450U] // 発生：551
225 * 42: [target_hrt_set_event <- 101U]
226 * 43: sta_alm(ALM2, 100U)
227 * 44: [target_hrt_get_current -> 460U] // 発生：561
228 * 45: DO(target_raise_hrt_int(1U))
229 * slp_tsk()
230 * == HRT_HANDLER == ... (D-1)
231 * 46: [target_hrt_get_current -> 560U] // ALM1が発生
232 * == ALM1-4（4回目）==
233 * // アラームハンドラ中でさらに1つのタイムイベントを登録
234 * 47: sta_alm(ALM3, 10U) ... (B-3)
235 * 48: [target_hrt_get_current -> 570U] // 発生：581，ALM2が発生
236 * 49: RETURN
237 * == ALM2-3（3回目）==
238 * 50: RETURN
239 * 51: [target_hrt_get_current -> 590U] // ALM3が発生
240 * == ALM3-2（2回目）==
241 * 52: wup_tsk(TASK1)
242 * RETURN
243 * 53: [target_hrt_get_current -> 600U]
244 * 54: [target_hrt_set_event <- HRTCNT_EMPTY]
245 * == TASK1（続き）==
246 * // 2つのタイムイベントを登録．2つめの方が発生時刻が早い場合
247 * 55: sta_alm(ALM1, 100U) // 発生：711
248 * 56: [target_hrt_get_current -> 610U]
249 * 57: [target_hrt_set_event <- 101U]
250 * 58: sta_alm(ALM2, 50U) // 発生：671
251 * 59: [target_hrt_get_current -> 620U]
252 * 60: [target_hrt_set_event <- 51U]
253 * 61: DO(target_raise_hrt_int(1U))
254 * slp_tsk()
255 * == HRT_HANDLER ==
256 * 62: [target_hrt_get_current -> 680U] // ALM2が発生
257 * == ALM2-4（4回目）==
258 * 63: DO(target_raise_hrt_int(1U))
259 * RETURN
260 * 64: [target_hrt_get_current -> 690U]
261 * 65: [target_hrt_set_event <- 21U]
262 * == HRT_HANDLER ==
263 * 66: [target_hrt_get_current -> 720U] // ALM1が発生
264 * == ALM1-5（5回目）==
265 * 67: wup_tsk(TASK1)
266 * 68: RETURN
267 * 69: [target_hrt_get_current -> 730U]
268 * 70: [target_hrt_set_event <- HRTCNT_EMPTY]
269 * == TASK1（続き）==
270 * // 2つのタイムイベントを登録．2つめのタイムイベントの登録時点で，
271 * // 1つめのタイムイベントの発生時刻を過ぎている場合
272 * 71: sta_alm(ALM1, 10U)
273 * 72: [target_hrt_get_current -> 740U] // 発生：751
274 * 73: [target_hrt_set_event <- 11U]
275 * 74: sta_alm(ALM2, 100U)
276 * 75: [target_hrt_get_current -> 760U] // 発生：861，ALM1が発生
277 * 76: DO(target_raise_hrt_int(1U))
278 * slp_tsk()
279 * == HRT_HANDLER ==
280 * 77: [target_hrt_get_current -> 770U] // ALM1が発生
281 * == ALM1-6（6回目）==
282 * 78: DO(target_raise_hrt_int(1U))
283 * RETURN
284 * 79: [target_hrt_get_current -> 780U]
285 * 80: [target_hrt_set_event <- 81U]
286 * == HRT_HANDLER == ... (C-2)
287 * 81: [target_hrt_get_current -> 810U] // スプリアス割込み
288 * == target_hrt_set_event-N // target_raise_hrt_intを
289 * 82: assert(hrtcnt == 51U) // 呼ぶためにこの形で記述
290 * DO(target_raise_hrt_int(1U))
291 * RETURN
292 * == HRT_HANDLER ==
293 * 83: [target_hrt_get_current -> 870U] // ALM2が発生
294 * == ALM2-5（5回目）==
295 * 84: wup_tsk(TASK1)
296 * RETURN
297 * 85: [target_hrt_get_current -> 880U]
298 * 86: [target_hrt_set_event <- HRTCNT_EMPTY]
299 * == TASK1（続き）==
300 * 87: DO(target_raise_hrt_int(0U))
301 * == HRT_HANDLER == ... (C-1)
302 * 88: [target_hrt_get_current -> 890U] // スプリアス割込み
303 * 89: [target_hrt_set_event <- HRTCNT_EMPTY]
304 * == TASK1（続き）==
305 * // タイムイベントを登録後に時間を進め，å…
306ˆé ­ã®ã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆã®ç™ºç”Ÿæ™‚
307 * // 刻が過ぎた状況を作る
308 * 90: sta_alm(ALM1, 100U)
309 * 91: [target_hrt_get_current -> 900U] // 発生：1001
310 * 92: [target_hrt_set_event <- 101U]
311 * 93: adj_tim(200) // ALM1の発生：801
312 * 94: [target_hrt_get_current -> 910U] // ALM1が発生
313 * 95: [target_hrt_raise_event] ... (A-2)
314 * 96: DO(target_raise_hrt_int(1U))
315 * slp_tsk()
316 * == HRT_HANDLER ==
317 * 97: [target_hrt_get_current -> 920U]
318 * == ALM1-7（7回目）==
319 * 98: wup_tsk(TASK1)
320 * RETURN
321 * 99: [target_hrt_get_current -> 930U]
322 * 100: [target_hrt_set_event <- HRTCNT_EMPTY]
323 * == TASK1（続き）==
324 * // タイムイベントを登録後に時間を戻し，å…
325ˆé ­ã®ã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆã®ç™ºç”Ÿæ™‚
326 * // 刻までの高分解タイマのカウントアップ値がHRTCNT_BOUNDを超
327える状況
328 * // を作る
329 * 101:sta_alm(ALM1, TMAX_RELTIM)
330 * 102: [target_hrt_get_current -> 940U] // 発生：4,000,000,941
331 * 103: [target_hrt_set_event <- 4000000001U]
332 * 104:adj_tim(-200) // 発生：4,000,001,141
333 * 105: [target_hrt_get_current -> 950U]
334 * 106: [target_hrt_set_event <- HRTCNT_BOUND] ... (A-4)
335 * // 後始末
336 * 107:stp_alm(ALM1)
337 * 108: [target_hrt_get_current -> 960U]
338 * 109: [target_hrt_set_event <- HRTCNT_EMPTY]
339 * 110:END
340 */
341
342#include <kernel.h>
343#include <t_syslog.h>
344#include "syssvc/test_svc.h"
345#include "kernel_cfg.h"
346#include "hrt_systim1.h"
347#include "target_timer.h"
348
349#if !defined(HRT_CONFIG1) || defined(HRT_CONFIG2)
350#error Compiler option "-DHRT_CONFIG1" is missing.
351#endif
352
353#ifdef TOPPERS_SUPPORT_DRIFT
354#define HRTCNT_EMPTY TMAX_RELTIM
355#else /* TOPPERS_SUPPORT_DRIFT */
356#define HRTCNT_EMPTY HRTCNT_BOUND
357#endif /* TOPPERS_SUPPORT_DRIFT */
358
359#define target_hrt_get_current _kernel_target_hrt_get_current
360#define target_hrt_set_event _kernel_target_hrt_set_event
361#define target_hrt_raise_event _kernel_target_hrt_raise_event
362
363/* DO NOT DELETE THIS LINE -- gentest depends on it. */
364
365static uint_t alarm1_count = 0;
366
367void
368alarm1_handler(intptr_t exinf)
369{
370 ER_UINT ercd;
371
372 switch (++alarm1_count) {
373 case 1:
374 check_point(8);
375 ercd = wup_tsk(TASK1);
376 check_ercd(ercd, E_OK);
377
378 return;
379
380 check_point(0);
381
382 case 2:
383 check_point(20);
384 return;
385
386 check_point(0);
387
388 case 3:
389 check_point(35);
390 return;
391
392 check_point(0);
393
394 case 4:
395 check_point(47);
396 ercd = sta_alm(ALM3, 10U);
397 check_ercd(ercd, E_OK);
398
399 check_point(49);
400 return;
401
402 check_point(0);
403
404 case 5:
405 check_point(67);
406 ercd = wup_tsk(TASK1);
407 check_ercd(ercd, E_OK);
408
409 check_point(68);
410 return;
411
412 check_point(0);
413
414 case 6:
415 check_point(78);
416 target_raise_hrt_int(1U);
417
418 return;
419
420 check_point(0);
421
422 case 7:
423 check_point(98);
424 ercd = wup_tsk(TASK1);
425 check_ercd(ercd, E_OK);
426
427 return;
428
429 check_point(0);
430
431 default:
432 check_point(0);
433 }
434 check_point(0);
435}
436
437static uint_t alarm2_count = 0;
438
439void
440alarm2_handler(intptr_t exinf)
441{
442 ER_UINT ercd;
443
444 switch (++alarm2_count) {
445 case 1:
446 check_point(21);
447 target_raise_hrt_int(1U);
448
449 return;
450
451 check_point(0);
452
453 case 2:
454 check_point(37);
455 ercd = wup_tsk(TASK1);
456 check_ercd(ercd, E_OK);
457
458 return;
459
460 check_point(0);
461
462 case 3:
463 check_point(50);
464 return;
465
466 check_point(0);
467
468 case 4:
469 check_point(63);
470 target_raise_hrt_int(1U);
471
472 return;
473
474 check_point(0);
475
476 case 5:
477 check_point(84);
478 ercd = wup_tsk(TASK1);
479 check_ercd(ercd, E_OK);
480
481 return;
482
483 check_point(0);
484
485 default:
486 check_point(0);
487 }
488 check_point(0);
489}
490
491static uint_t alarm3_count = 0;
492
493void
494alarm3_handler(intptr_t exinf)
495{
496 ER_UINT ercd;
497
498 switch (++alarm3_count) {
499 case 1:
500 check_point(25);
501 ercd = wup_tsk(TASK1);
502 check_ercd(ercd, E_OK);
503
504 return;
505
506 check_point(0);
507
508 case 2:
509 check_point(52);
510 ercd = wup_tsk(TASK1);
511 check_ercd(ercd, E_OK);
512
513 return;
514
515 check_point(0);
516
517 default:
518 check_point(0);
519 }
520 check_point(0);
521}
522
523void
524task1(intptr_t exinf)
525{
526 ER_UINT ercd;
527
528 check_point(3);
529 ercd = sta_alm(ALM1, 100U);
530 check_ercd(ercd, E_OK);
531
532 check_point(6);
533 target_raise_hrt_int(1U);
534
535 ercd = slp_tsk();
536 check_ercd(ercd, E_OK);
537
538 check_point(11);
539 ercd = sta_alm(ALM1, 100U);
540 check_ercd(ercd, E_OK);
541
542 check_point(14);
543 ercd = sta_alm(ALM2, 100U);
544 check_ercd(ercd, E_OK);
545
546 check_point(16);
547 ercd = sta_alm(ALM3, 110U);
548 check_ercd(ercd, E_OK);
549
550 check_point(18);
551 target_raise_hrt_int(1U);
552
553 ercd = slp_tsk();
554 check_ercd(ercd, E_OK);
555
556 check_point(28);
557 ercd = sta_alm(ALM1, 100U);
558 check_ercd(ercd, E_OK);
559
560 check_point(31);
561 ercd = sta_alm(ALM2, 100U);
562 check_ercd(ercd, E_OK);
563
564 check_point(33);
565 target_raise_hrt_int(1U);
566
567 ercd = slp_tsk();
568 check_ercd(ercd, E_OK);
569
570 check_point(40);
571 ercd = sta_alm(ALM1, 100U);
572 check_ercd(ercd, E_OK);
573
574 check_point(43);
575 ercd = sta_alm(ALM2, 100U);
576 check_ercd(ercd, E_OK);
577
578 check_point(45);
579 target_raise_hrt_int(1U);
580
581 ercd = slp_tsk();
582 check_ercd(ercd, E_OK);
583
584 check_point(55);
585 ercd = sta_alm(ALM1, 100U);
586 check_ercd(ercd, E_OK);
587
588 check_point(58);
589 ercd = sta_alm(ALM2, 50U);
590 check_ercd(ercd, E_OK);
591
592 check_point(61);
593 target_raise_hrt_int(1U);
594
595 ercd = slp_tsk();
596 check_ercd(ercd, E_OK);
597
598 check_point(71);
599 ercd = sta_alm(ALM1, 10U);
600 check_ercd(ercd, E_OK);
601
602 check_point(74);
603 ercd = sta_alm(ALM2, 100U);
604 check_ercd(ercd, E_OK);
605
606 check_point(76);
607 target_raise_hrt_int(1U);
608
609 ercd = slp_tsk();
610 check_ercd(ercd, E_OK);
611
612 check_point(87);
613 target_raise_hrt_int(0U);
614
615 check_point(90);
616 ercd = sta_alm(ALM1, 100U);
617 check_ercd(ercd, E_OK);
618
619 check_point(93);
620 ercd = adj_tim(200);
621 check_ercd(ercd, E_OK);
622
623 check_point(96);
624 target_raise_hrt_int(1U);
625
626 ercd = slp_tsk();
627 check_ercd(ercd, E_OK);
628
629 check_point(101);
630 ercd = sta_alm(ALM1, TMAX_RELTIM);
631 check_ercd(ercd, E_OK);
632
633 check_point(104);
634 ercd = adj_tim(-200);
635 check_ercd(ercd, E_OK);
636
637 check_point(107);
638 ercd = stp_alm(ALM1);
639 check_ercd(ercd, E_OK);
640
641 check_finish(110);
642 check_point(0);
643}
644
645static uint_t target_hrt_get_current_count = 0;
646
647HRTCNT
648target_hrt_get_current(void)
649{
650
651 switch (++target_hrt_get_current_count) {
652 case 1:
653 test_start(__FILE__);
654
655 check_point(1);
656 return(10U);
657
658 check_point(0);
659
660 case 2:
661 check_point(4);
662 return(20U);
663
664 check_point(0);
665
666 case 3:
667 check_point(7);
668 return(130U);
669
670 check_point(0);
671
672 case 4:
673 check_point(9);
674 return(140U);
675
676 check_point(0);
677
678 case 5:
679 check_point(12);
680 return(150U);
681
682 check_point(0);
683
684 case 6:
685 check_point(15);
686 return(160U);
687
688 check_point(0);
689
690 case 7:
691 check_point(17);
692 return(170U);
693
694 check_point(0);
695
696 case 8:
697 check_point(19);
698 return(261U);
699
700 check_point(0);
701
702 case 9:
703 check_point(22);
704 return(280U);
705
706 check_point(0);
707
708 case 10:
709 check_point(24);
710 return(290U);
711
712 check_point(0);
713
714 case 11:
715 check_point(26);
716 return(300U);
717
718 check_point(0);
719
720 case 12:
721 check_point(29);
722 return(310U);
723
724 check_point(0);
725
726 case 13:
727 check_point(32);
728 return(320U);
729
730 check_point(0);
731
732 case 14:
733 check_point(34);
734 return(420U);
735
736 check_point(0);
737
738 case 15:
739 check_point(36);
740 return(430U);
741
742 check_point(0);
743
744 case 16:
745 check_point(38);
746 return(440U);
747
748 check_point(0);
749
750 case 17:
751 check_point(41);
752 return(450U);
753
754 check_point(0);
755
756 case 18:
757 check_point(44);
758 return(460U);
759
760 check_point(0);
761
762 case 19:
763 check_point(46);
764 return(560U);
765
766 check_point(0);
767
768 case 20:
769 check_point(48);
770 return(570U);
771
772 check_point(0);
773
774 case 21:
775 check_point(51);
776 return(590U);
777
778 check_point(0);
779
780 case 22:
781 check_point(53);
782 return(600U);
783
784 check_point(0);
785
786 case 23:
787 check_point(56);
788 return(610U);
789
790 check_point(0);
791
792 case 24:
793 check_point(59);
794 return(620U);
795
796 check_point(0);
797
798 case 25:
799 check_point(62);
800 return(680U);
801
802 check_point(0);
803
804 case 26:
805 check_point(64);
806 return(690U);
807
808 check_point(0);
809
810 case 27:
811 check_point(66);
812 return(720U);
813
814 check_point(0);
815
816 case 28:
817 check_point(69);
818 return(730U);
819
820 check_point(0);
821
822 case 29:
823 check_point(72);
824 return(740U);
825
826 check_point(0);
827
828 case 30:
829 check_point(75);
830 return(760U);
831
832 check_point(0);
833
834 case 31:
835 check_point(77);
836 return(770U);
837
838 check_point(0);
839
840 case 32:
841 check_point(79);
842 return(780U);
843
844 check_point(0);
845
846 case 33:
847 check_point(81);
848 return(810U);
849
850 check_point(0);
851
852 case 34:
853 check_point(83);
854 return(870U);
855
856 check_point(0);
857
858 case 35:
859 check_point(85);
860 return(880U);
861
862 check_point(0);
863
864 case 36:
865 check_point(88);
866 return(890U);
867
868 check_point(0);
869
870 case 37:
871 check_point(91);
872 return(900U);
873
874 check_point(0);
875
876 case 38:
877 check_point(94);
878 return(910U);
879
880 check_point(0);
881
882 case 39:
883 check_point(97);
884 return(920U);
885
886 check_point(0);
887
888 case 40:
889 check_point(99);
890 return(930U);
891
892 check_point(0);
893
894 case 41:
895 check_point(102);
896 return(940U);
897
898 check_point(0);
899
900 case 42:
901 check_point(105);
902 return(950U);
903
904 check_point(0);
905
906 case 43:
907 check_point(108);
908 return(960U);
909
910 check_point(0);
911
912 default:
913 check_point(0);
914 }
915 check_point(0);
916 return(0U);
917}
918
919static uint_t target_hrt_raise_event_count = 0;
920
921void
922target_hrt_raise_event(void)
923{
924
925 switch (++target_hrt_raise_event_count) {
926 case 1:
927 check_point(95);
928 return;
929
930 check_point(0);
931
932 default:
933 check_point(0);
934 }
935 check_point(0);
936}
937
938static uint_t target_hrt_set_event_count = 0;
939
940void
941target_hrt_set_event(HRTCNT hrtcnt)
942{
943
944 switch (++target_hrt_set_event_count) {
945 case 1:
946 check_point(2);
947 check_assert(hrtcnt == HRTCNT_EMPTY);
948
949 return;
950
951 check_point(0);
952
953 case 2:
954 check_point(5);
955 check_assert(hrtcnt == 101U);
956
957 return;
958
959 check_point(0);
960
961 case 3:
962 check_point(10);
963 check_assert(hrtcnt == HRTCNT_EMPTY);
964
965 return;
966
967 check_point(0);
968
969 case 4:
970 check_point(13);
971 check_assert(hrtcnt == 101U);
972
973 return;
974
975 check_point(0);
976
977 case 5:
978 check_point(23);
979 check_assert(hrtcnt == 1U);
980
981 return;
982
983 check_point(0);
984
985 case 6:
986 check_point(27);
987 check_assert(hrtcnt == HRTCNT_EMPTY);
988
989 return;
990
991 check_point(0);
992
993 case 7:
994 check_point(30);
995 check_assert(hrtcnt == 101U);
996
997 return;
998
999 check_point(0);
1000
1001 case 8:
1002 check_point(39);
1003 check_assert(hrtcnt == HRTCNT_EMPTY);
1004
1005 return;
1006
1007 check_point(0);
1008
1009 case 9:
1010 check_point(42);
1011 check_assert(hrtcnt == 101U);
1012
1013 return;
1014
1015 check_point(0);
1016
1017 case 10:
1018 check_point(54);
1019 check_assert(hrtcnt == HRTCNT_EMPTY);
1020
1021 return;
1022
1023 check_point(0);
1024
1025 case 11:
1026 check_point(57);
1027 check_assert(hrtcnt == 101U);
1028
1029 return;
1030
1031 check_point(0);
1032
1033 case 12:
1034 check_point(60);
1035 check_assert(hrtcnt == 51U);
1036
1037 return;
1038
1039 check_point(0);
1040
1041 case 13:
1042 check_point(65);
1043 check_assert(hrtcnt == 21U);
1044
1045 return;
1046
1047 check_point(0);
1048
1049 case 14:
1050 check_point(70);
1051 check_assert(hrtcnt == HRTCNT_EMPTY);
1052
1053 return;
1054
1055 check_point(0);
1056
1057 case 15:
1058 check_point(73);
1059 check_assert(hrtcnt == 11U);
1060
1061 return;
1062
1063 check_point(0);
1064
1065 case 16:
1066 check_point(80);
1067 check_assert(hrtcnt == 81U);
1068
1069 return;
1070
1071 check_point(0);
1072
1073 case 17:
1074 check_point(82);
1075 check_assert(hrtcnt == 51U);
1076
1077 target_raise_hrt_int(1U);
1078
1079 return;
1080
1081 check_point(0);
1082
1083 case 18:
1084 check_point(86);
1085 check_assert(hrtcnt == HRTCNT_EMPTY);
1086
1087 return;
1088
1089 check_point(0);
1090
1091 case 19:
1092 check_point(89);
1093 check_assert(hrtcnt == HRTCNT_EMPTY);
1094
1095 return;
1096
1097 check_point(0);
1098
1099 case 20:
1100 check_point(92);
1101 check_assert(hrtcnt == 101U);
1102
1103 return;
1104
1105 check_point(0);
1106
1107 case 21:
1108 check_point(100);
1109 check_assert(hrtcnt == HRTCNT_EMPTY);
1110
1111 return;
1112
1113 check_point(0);
1114
1115 case 22:
1116 check_point(103);
1117 check_assert(hrtcnt == 4000000001U);
1118
1119 return;
1120
1121 check_point(0);
1122
1123 case 23:
1124 check_point(106);
1125 check_assert(hrtcnt == HRTCNT_BOUND);
1126
1127 return;
1128
1129 check_point(0);
1130
1131 case 24:
1132 check_point(109);
1133 check_assert(hrtcnt == HRTCNT_EMPTY);
1134
1135 return;
1136
1137 check_point(0);
1138
1139 default:
1140 check_point(0);
1141 }
1142 check_point(0);
1143}
Note: See TracBrowser for help on using the repository browser.