pytest の test_tmgr_utl_cmd 実行時に稀にエラーとなる

[hender14]

詳細

c2a_core を用いた別の FSW を開発している際、examples 以下にある pytest (test_time_manager.py) でたまに Failing になる

エラー例

src_core/system/time_manager/test_time_manager.py:185: 
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 

utl_unixtime_epoch = 1761656586.556032, cycle_correction = 1.2520956949697104

    def check_utl_cmd_with(utl_unixtime_epoch, cycle_correction):
        # utl_unixtime_epoch, cycle_correction を設定する
        assert "SUC" == wings.util.send_rt_cmd_and_confirm(
            ope,
            c2a_enum.Cmd_CODE_TMGR_SET_UTL_UNIXTIME_EPOCH,
            (utl_unixtime_epoch,),
            c2a_enum.Tlm_CODE_HK,
        )
        assert "SUC" == wings.util.send_rt_cmd_and_confirm(
            ope, c2a_enum.Cmd_CODE_TMGR_SET_CYCLE_CORRECTION, (cycle_correction,), c2a_enum.Tlm_CODE_HK
        )
    
        # unixtime_info を現在の unixtime と ti で同期する
        # 必ず Cmd_CODE_TMGR_SET_CYCLE_CORRECTION のあとに送ること
        unixtime_now = time.time()
        tlm_HK = ope.get_latest_tlm(c2a_enum.Tlm_CODE_HK)[0]
        ti_now = tlm_HK["HK.SH.TI"]
        assert "SUC" == wings.util.send_rt_cmd_and_confirm(
            ope,
            c2a_enum.Cmd_CODE_TMGR_UPDATE_UNIXTIME,
            (unixtime_now, ti_now, 0),
            c2a_enum.Tlm_CODE_HK,
        )
        unixtime_at_ti0 = unixtime_now - ti_now / (OBCT_CYCLES_PER_SEC * cycle_correction)
    
        # 最初にTL_gsをクリアしておく
        assert "SUC" == wings.util.send_rt_cmd_and_confirm(
            ope,
            c2a_enum.Cmd_CODE_TLCD_CLEAR_ALL_TIMELINE,
            (c2a_enum.TLCD_ID_FROM_GS,),
            c2a_enum.Tlm_CODE_HK,
        )
    
        # NOP を10個, 未来のランダムな unixtime で登録する
        unixtime_of_cmds = generate_random_unixtime(10)
        send_utl_nops(unixtime_of_cmds)
    
        # TL_gs に正しく登録されているか確認
        tlm_TL = wings.util.generate_and_receive_tlm(
            ope, c2a_enum.Cmd_CODE_TG_GENERATE_RT_TLM, c2a_enum.Tlm_CODE_TL
        )
        assert tlm_TL["TL.LINE_NO"] == c2a_enum.TLCD_ID_FROM_GS
        assert tlm_TL["TL.PAGE_NO"] == 0
    
        for i, unixtime in enumerate(unixtime_of_cmds):
            tlm_name = "TL.CMD" + str(i) + "_TI"
            ti = calc_ti_from_unixtime(unixtime, unixtime_at_ti0, utl_unixtime_epoch, cycle_correction)
    
>           assert tlm_TL[tlm_name] > ti - 1, {"registered_unixtime": unixtime, "tlm_name": tlm_name}
E           AssertionError: {'registered_unixtime': 1764249592.4, 'tlm_name': 'TL.CMD0_TI'}
E           assert 2147483648 > (2301613474.8590145 - 1)

src_core/system/time_manager/test_time_manager.py:256: AssertionError

close条件

対応したら

備考

[hender14]

原因は、TMGR_get_ti_from_utl_unixtime 実行時の ti がオーバーフローしていたこと
pytest では、unixtime の epoch が現在から 30日前になるように設定している。TMGR_get_ti_from_utl_unixtime 関数では、epoch + コマンドに格納されている ti(unixtime) で計算されるが、pytest ツール(c2a-pytest-gaia) 側の default epoch 定義が固定値で埋め込まれているため、epoch の増加分が コマンドに格納されている ti 側に考慮されず、最終的に unixtime に加算されてしまっていた。

c2a-core/examples/mobc/src/src_user/test/src_core/system/time_manager/test_time_manager.py

Line 180 in 128b05a

new_epoch = time.time() - 86400 * 30 # 例えば30日前に変更

TMGR_get_ti_from_utl_unixtime 関数

c2a-core/system/time_manager/time_manager.c

Lines 221 to 227 in 128b05a

	cycle_t TMGR_get_ti_from_utl_unixtime(const cycle_t utl_unixtime)
	{
	double unixtime = TMGR_get_unixtime_from_utl_unixtime(utl_unixtime);
	double ti = TMGR_get_precise_ti_from_unixtime(unixtime);
	return (cycle_t)c2a_round(ti);
	}

TMGR_get_unixtime_from_utl_unixtime 関数

c2a-core/system/time_manager/time_manager.c

Lines 189 to 192 in 128b05a

	double TMGR_get_unixtime_from_utl_unixtime(const cycle_t utl_unixtime)
	{
	return TMGR_get_utl_unixtime_epoch() + (double)utl_unixtime / OBCT_CYCLES_PER_SEC;
	}

pytest ツール(c2a-pytest-gaia) 側の default epoch 定義

https://github.com/arkedge/c2a-pytest-gaia/blob/f16277d517f4b58dbfba85bc10686518d5725494/c2a_pytest_gaia/wings_compat.py#L205-218

[hender14]

また、上記問題とは別に (cycle_t)c2a_round(ti) の処理で ti の値が int32_t までしか扱えなくなっている問題がある
これにより unix_time ⇒ ti 変換時に 0x7FFFFFFF / 606024*365 / 10 ≒ 6.8年 までしか ti の値を持てなくなっている。

そもそも C99 の round 関数と c2a_round 関数は引数の型が異なっていそうなので、此方の対応は別途検討する