void task1(intptr_t exinf) { ER ercd; if (TMAX_INTPRI == TMIN_INTPRI) { syslog_0(LOG_NOTICE, "This test program is not necessary."); ext_ker(); } check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = chg_ipm(TMAX_INTPRI); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, TMAX_INTPRI, false, true, false); RAISE_CPU_EXCEPTION; check_point(5); check_state(false, false, TMAX_INTPRI, false, true, false); check_finish(6); }
void task3(intptr_t exinf) { ER ercd; switch (++task3_count) { case 1: check_point(22); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_point(25); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); case 2: check_point(32); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); } check_point(0); }
void tex_task2(TEXPTN texptn, intptr_t exinf) { ER ercd; switch (texptn) { case 0x0001: check_point(29); check_state(false, false, TIPM_ENAALL, false, false, true); break; case 0x0002: check_point(31); check_state(false, false, TIPM_ENAALL, false, false, true); /* * disable dispatch, raise dispatch request */ check_point(32); ercd = dis_dsp(); check_ercd(ercd, E_OK); ercd = rot_rdq(TPRI_SELF); check_ercd(ercd, E_OK); /* * task dispatch happens when task exception routine returns */ check_point(33); break; default: check_point(0); break; } }
void task3(intptr_t exinf) { ER ercd; /* * check init state */ check_point(24); check_state(false, false, TIPM_ENAALL, false, false, true); /* * enable task exception */ check_point(25); ercd = ena_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); /* * disable task exception */ check_point(26); ercd = dis_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); /* * task exits */ ercd = ext_tsk(); check_point(0); }
void task1(intptr_t exinf) { ER ercd; test_start(__FILE__); check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = dis_dsp(); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, TIPM_ENAALL, true, true, false); ercd = sta_alm(ALM1, 1U); check_ercd(ercd, E_OK); while (!(alm1_flag)); check_point(7); check_state(false, false, TIPM_ENAALL, true, true, false); check_finish(8); }
void task3(intptr_t exinf) { ER_UINT ercd; switch (++task3_count) { case 1: check_point(5); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_point(7); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); case 2: check_point(11); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); default: check_point(0); } check_point(0); }
void alarm3_handler(intptr_t exinf) { ER_UINT ercd; switch (++alarm3_count) { case 1: check_point(21); check_assert(fch_hrt() == 441U); check_point(22); ercd = wup_tsk(TASK1); check_ercd(ercd, E_OK); return; check_point(0); case 2: check_point(44); check_assert(fch_hrt() == 840U); check_point(45); ercd = wup_tsk(TASK1); check_ercd(ercd, E_OK); return; check_point(0); default: check_point(0); } check_point(0); }
void task1(intptr_t exinf) { ER_UINT ercd; test_start(__FILE__); check_point(1); check_state(false, false, false, false, false); check_ipm(TIPM_ENAALL); ercd = dis_dsp(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, true, true, false); check_ipm(TIPM_ENAALL); ercd = sta_alm(ALM1, TEST_TIME_PROC); check_ercd(ercd, E_OK); while(!alm1_flag); check_point(8); check_state(false, false, true, true, false); check_ipm(TIPM_ENAALL); check_finish(9); check_point(0); }
void task3(intptr_t exinf) { ER ercd; /* * 初期状態のチェック */ check_point(23); check_state(false, false, TIPM_ENAALL, false, false, true); /* * タスク例外処理の許可 */ check_point(24); ercd = ena_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); /* * タスク例外処理の禁止 */ check_point(25); ercd = dis_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); /* * タスク終了 */ ercd = ext_tsk(); check_point(0); }
void task1(intptr_t exinf) { ER ercd; test_start(__FILE__); check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = dis_dsp(); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); ercd = loc_cpu(); check_ercd(ercd, E_OK); check_point(2); check_state(false, true, TIPM_ENAALL, true, true, false); RAISE_CPU_EXCEPTION; check_point(5); check_state(false, true, TIPM_ENAALL, true, true, false); check_finish(6); }
void task1(intptr_t exinf) { ER ercd; switch (++task1_count) { case 1: test_start(__FILE__); check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = dis_dsp(); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, TIPM_ENAALL, true, true, false); RAISE_CPU_EXCEPTION; check_point(0); break; case 2: check_point(8); check_state(false, false, TIPM_ENAALL, false, false, true); check_finish(9); break; default: check_point(0); break; } }
void tex_task1(TEXPTN texptn, intptr_t exinf) { ER ercd; switch (texptn) { case 0x0001: check_point(12); check_state(false, false, TIPM_ENAALL, true, true, true); /* * ディスパッチ許可,割込み優先度マスク変更,タスク例外処理許可 */ check_point(13); ercd = ena_dsp(); check_ercd(ercd, E_OK); ercd = chg_ipm(TMIN_INTPRI); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_state(false, false, TMIN_INTPRI, false, true, false); break; default: check_point(0); break; } }
void task3(intptr_t exinf) { ER ercd; check_point(4); ercd = ena_tex(); check_ercd(ercd, E_OK); /* * テスト項目(C)のテスト */ tex_start_count = 0U; ercd = ras_tex(TASK3, 0x0001); check_ercd(ercd, E_OK); check_assert(tex_start_count == UTASK_TEX_COUNT); check_point(5); /* * テスト項目(D)のテスト */ tex_start_count = 0U; ercd = ras_tex(TASK3, 0x0002); check_ercd(ercd, E_OK); check_assert(tex_start_count == UTASK_TEX_COUNT); check_finish(6); }
void task1(intptr_t exinf) { ER ercd; switch (++task1_count) { case 1: check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = chg_ipm(TMAX_INTPRI); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, TMAX_INTPRI, false, true, false); RAISE_CPU_EXCEPTION; check_point(0); break; case 2: check_point(8); check_state(false, false, TIPM_ENAALL, false, false, true); check_finish(9); break; default: check_point(0); break; } }
void task2(intptr_t exinf) { ER_UINT ercd; check_point(22); check_state(false, false, TIPM_ENAALL, false, false, true); check_point(23); ercd = ena_tex(); check_ercd(ercd, E_OK); check_state(false, false, TIPM_ENAALL, false, false, false); ercd = rot_rdq(TPRI_SELF); check_ercd(ercd, E_OK); check_point(30); ercd = ras_tex(TSK_SELF, 0x0002); check_ercd(ercd, E_OK); check_point(34); ercd = ena_dsp(); check_ercd(ercd, E_OK); check_finish(36); check_point(0); }
void task4(intptr_t exinf) { ER_UINT ercd; T_RTSK rtsk; T_RMTX rmtx; check_point(19); ercd = loc_mtx(MTX1); check_ercd(ercd, E_OK); check_point(22); ercd = ref_tsk(TASK3, &rtsk); check_ercd(ercd, E_OK); check_assert(rtsk.tskstat == TTS_DMT); ercd = ref_mtx(MTX1, &rmtx); check_ercd(ercd, E_OK); check_assert(rmtx.htskid == TASK4); check_assert(rmtx.wtskid == TSK_NONE); check_point(23); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(0); }
void task1(intptr_t exinf) { ER ercd; SIL_PRE_LOC; check_point(1); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = dis_dsp(); check_ercd(ercd, E_OK); ercd = ena_tex(); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, TIPM_ENAALL, true, true, false); SIL_LOC_INT(); RAISE_CPU_EXCEPTION; check_point(5); SIL_UNL_INT(); check_point(6); check_state(false, false, TIPM_ENAALL, true, true, false); check_finish(7); }
void task4(intptr_t exinf) { ER_UINT ercd; switch (++task4_count) { case 1: check_point(26); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); case 2: check_point(33); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); default: check_point(0); } check_point(0); }
void task3(intptr_t exinf) { ER_UINT ercd; check_point(24); check_state(false, false, TIPM_ENAALL, false, false, true); check_point(25); ercd = ena_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); check_point(26); ercd = dis_tex(); check_ercd(ercd, E_OBJ); check_state(false, false, TIPM_ENAALL, false, false, true); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); }
void task2(intptr_t exinf) { ER_UINT ercd; ID somid; test_start(__FILE__); check_point(1); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM1); WAIT(task2_flag); check_point(4); ercd = chg_som(SOM2); check_ercd(ercd, E_OK); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM1); WAIT(task2_flag); check_point(8); WAIT(task2_flag); check_point(14); WAIT(task2_flag); check_point(19); ercd = sta_cyc(CYC1); check_ercd(ercd, E_OK); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM1); WAIT(task2_flag); check_point(25); WAIT(task2_flag); check_point(30); WAIT(task2_flag); check_point(0); }
void task1(intptr_t exinf) { ER_UINT ercd; T_RTSK rtsk; T_RMTX rmtx; PRI intpri; test_start(__FILE__); check_point(1); ercd = sta_alm(ALM1, TEST_TIME_CP); check_ercd(ercd, E_OK); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(3); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_point(5); ercd = ref_tsk(TASK2, &rtsk); check_ercd(ercd, E_OK); check_assert(rtsk.tskstat == TTS_DMT); ercd = ref_mtx(MTX1, &rmtx); check_ercd(ercd, E_OK); check_assert(rmtx.htskid == TSK_NONE); check_assert(rmtx.wtskid == TSK_NONE); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_point(16); ercd = get_ipm(&intpri); check_ercd(ercd, E_OK); check_assert(intpri == TIPM_ENAALL); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_point(23); check_assert(sns_dsp() == false); ercd = act_tsk(TASK2); check_ercd(ercd, E_OK); check_finish(28); check_point(0); }
void task3(intptr_t exinf) { ER ercd; check_point(6); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(25); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(0); }
void task3(intptr_t exinf) { ER_UINT ercd; ID somid; check_point(3); WAIT(task3_flag); check_point(6); WAIT(task3_flag); check_point(9); WAIT(task3_flag); check_point(11); WAIT(task3_flag); check_point(12); WAIT(task3_flag); check_point(15); ercd = chg_som(TSOM_STP); check_ercd(ercd, E_OK); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM2); check_point(16); WAIT(task3_flag); check_point(21); ercd = chg_som(TSOM_STP); check_ercd(ercd, E_OK); WAIT(task3_flag); check_point(27); ercd = chg_som(TSOM_STP); check_ercd(ercd, E_OK); WAIT(task3_flag); check_finish(32); check_point(0); }
void cpuexc_handler(void *p_excinf) { ER ercd; check_point(3); check_state_i(true, false, true, true, false); check_assert(xsns_xpn(p_excinf) == false); check_assert(xsns_dpn(p_excinf) == true); check_point(4); ercd = iras_tex(TASK1, 1U); check_ercd(ercd, E_OK); ercd = iloc_cpu(); check_ercd(ercd, E_OK); }
void alarm1_handler(intptr_t exinf) { ER_UINT ercd; check_point(3); ercd = ras_ter(TASK2); check_ercd(ercd, E_CTX); ercd = wup_tsk(TASK1); check_ercd(ercd, E_OK); return; check_point(0); }
void task1(intptr_t exinf) { ER_UINT ercd; test_start(__FILE__); check_point(1); check_state(false, false, false, false, false); check_ipm(TIPM_ENAALL); ercd = check_chg_ipm(TMIN_INTPRI-1); check_ercd(ercd, E_OK); check_point(2); check_state(false, false, false, true, false); check_ipm(TMIN_INTPRI-1); RAISE_CPU_EXCEPTION; check_point(5); check_state(false, false, false, true, false); check_ipm(TMIN_INTPRI-1); check_finish(6); check_point(0); }
void task1(intptr_t exinf) { ER_UINT ercd; ID somid; check_point(2); WAIT(task1_flag); check_point(5); WAIT(task1_flag); check_point(7); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM2); WAIT(task1_flag); check_point(10); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM3); WAIT(task1_flag); check_point(13); ercd = get_som(&somid); check_ercd(ercd, E_OK); check_assert(somid == SOM2); WAIT(task1_flag); check_point(20); WAIT(task1_flag); check_point(26); WAIT(task1_flag); check_point(31); WAIT(task1_flag); check_point(0); }
void task3(intptr_t exinf) { ER ercd; PRI tskpri; T_RMTX rmtx; check_point(10); ercd = loc_mtx(MTX1); check_ercd(ercd, E_OK); check_point(13); ercd = ref_mtx(MTX1, &rmtx); check_ercd(ercd, E_OK); check_assert(rmtx.htskid == TASK3); check_assert(rmtx.wtskid == TSK_NONE); ercd = get_pri(TPRI_SELF, &tskpri); check_ercd(ercd, E_OK); check_assert(tskpri == HIGH_PRIORITY); ercd = unl_mtx(MTX1); check_ercd(ercd, E_OK); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(27); ercd = loc_mtx(MTX1); check_ercd(ercd, E_OK); check_point(30); ercd = ref_mtx(MTX1, &rmtx); check_ercd(ercd, E_OK); check_assert(rmtx.htskid == TASK3); check_assert(rmtx.wtskid == TSK_NONE); ercd = ref_mtx(MTX2, &rmtx); check_ercd(ercd, E_OK); check_assert(rmtx.htskid == TASK4); check_assert(rmtx.wtskid == TSK_NONE); ercd = get_pri(TPRI_SELF, &tskpri); check_ercd(ercd, E_OK); check_assert(tskpri == HIGH_PRIORITY); ercd = ext_tsk(); check_point(0); }
void alarm1_handler(intptr_t exinf) { ER_UINT ercd; check_point(4); ercd = wup_tsk(TASK3); check_ercd(ercd, E_NOSPT); ercd = rel_wai(TASK3); check_ercd(ercd, E_NOSPT); ercd = wup_tsk(TASK1); check_ercd(ercd, E_OK); ercd = act_tsk(TASK3); check_ercd(ercd, E_OK); ercd = act_tsk(TASK4); check_ercd(ercd, E_OK); ercd = rot_rdq(MID_PRIORITY); check_ercd(ercd, E_OK); ercd = rot_rdq(MID_PRIORITY); check_ercd(ercd, E_NOSPT); return; check_point(0); }
void tex_task1(TEXPTN texptn, intptr_t exinf) { ER ercd; check_point(5); check_state(false, false, TIPM_ENAALL, true, true, true); check_point(6); ercd = act_tsk(TASK1); check_ercd(ercd, E_OK); check_point(7); ercd = ext_tsk(); check_ercd(ercd, E_OK); check_point(0); }