[Rtai] CONFIG_RTAI_MONITOR_EXECTIME

[王保胜]

hello,

I installed rtai-3.6.2 with CONFIG_RTAI_MONITOR_EXECTIME. I want to know if lxrt hard task can use this funtion.  If it can also monitor executing time, I think the result is not correct.

Because when lxrt hard task switches with rtai task, it goes to switch_rtai_tasks(rt_current, new_task, cpuid) and resets switch time using RST_EXEC_TIME(). Then lxrt hard task switches out and rtai task switches in. Next time when rtai task switches out, rtai sets switch time using SET_EXEC_TIME() and the lxrt hard task switches in. so lxrt hard task returns to rt_schedule() from switch_rtai_tasks(). Before lxrt_context_switch(), it sets switch time using SET_EXEC_TIME(). But the time isn't lxrt hard task executing time, it is the time from latest rtai task switch out time to now.

Is it right?
Thanks.