(toppers-users 3783) Re: SSPの DEF_EPRI とは何でしょうか。

[Naoki Saito]

こいさんさん

斉藤です．

> 　現行のSSPのCFGで以下の設定をすると、優先度反転が発生します。これは良いのでしょうか。
> 　TASK3が動作中にTASK4はTASK3より優先度が高いのに起動できません。

TASK3 の実行時優先度は4で，TASK4の起動時優先度は6ですので
TASK4 は TASK3 より優先度が低い(数値としては大きい)です．
したがってTASK4 が起動出来ないのは仕様に沿っているように思います．

> 　CFGで生成されたkernel_cfg.cは以下のようになり、TASK3とTASK4の優先度の反転が発生しています。
>
> const uint_t   _kernel_tinib_epriority[TNUM_TSKID] =
> {INT_PRIORITY(1),INT_PRIORITY(2),INT_PRIORITY(3),INT_PRIORITY(4),INT_PRIORITY(4),INT_PRIORITY(3)};

これは実行時優先度を格納する配列です．
プリエンプトが発生するかどうかは
実行中タスクの実行時優先度と起動要求タスクの起動時優先度とを
比較します．従いまして，TASK4 の実行時優先度はこの場合参照されません．

以上，よろしくお願いします．

2012年1月19日10:59 koizumi yoshiyuki <koizumiyoshiyuki ＠ gmail.com>:
>   　高田先生
>
> 　こいさんです。表現は色々有ると思いますが、私にはSSPは優先度を2つ持っているように見えています。
> 　2つの優先度は　_PRIORITY　＞_EXEPRIORITY　設定されてる必要が有るでしょう。これは解りにくいケースもあると思います。
>
> 　同じようなケースが（私にはある意味、同じように見えています）Cortex-M3の割り込み優先度に見られます。ここでは優先度を上位/下位の2つに分け、上位側で横取り割り込み優先度とし、下位側は等優先度内（制約タスク相当）の優先度としています。外からは優先度は一つしかないので優先度設定の混乱を避けることができていると思います。
>
> 　尚、
> 　現行のSSPのCFGで以下の設定をすると、優先度反転が発生します。これは良いのでしょうか。
> 　TASK3が動作中にTASK4はTASK3より優先度が高いのに起動できません。
>
> 　テストタスクを3つから4つに増やし優先度を以下のように設定する
>
> 　sample1.h
> #define INIT_PRIORITY   (1)
> #define MAIN_PRIORITY   (2)
> #define TASK1_PRIORITY   (3)
> #define TASK2_PRIORITY   (4)
> #define TASK3_PRIORITY   (5)
> #define TASK4_PRIORITY   (6)
> #define TASK3_EXEPRIORITY  (4)
> #define TASK4_EXEPRIORITY  (3)
>
> 　sample1.cfgを以下のように記述
> CRE_TSK(INIT_TASK , { TA_ACT , 0 , init_task , INIT_PRIORITY , STACK_SIZE ,
> NULL });
> CRE_TSK(MAIN_TASK , { TA_NULL , 0 , main_task , MAIN_PRIORITY , STACK_SIZE ,
> NULL });
> CRE_TSK(TASK1 , { TA_NULL , 1 , task , TASK1_PRIORITY , STACK_SIZE , NULL
> });
> CRE_TSK(TASK2 , { TA_NULL , 2 , task , TASK2_PRIORITY , STACK_SIZE , NULL
> });
> CRE_TSK(TASK3 , { TA_NULL , 3 , task , TASK3_PRIORITY , STACK_SIZE , NULL
> });
> CRE_TSK(TASK4 , { TA_NULL , 4 , task , TASK4_PRIORITY , STACK_SIZE , NULL
> });
> DEF_EPRI(TASK3 , { TASK3_EXEPRIORITY });
> DEF_EPRI(TASK4 , { TASK4_EXEPRIORITY });
> 　CFGで生成されたkernel_cfg.cは以下のようになり、TASK3とTASK4の優先度の反転が発生しています。
>
> const uint_t   _kernel_tinib_epriority[TNUM_TSKID] =
> {INT_PRIORITY(1),INT_PRIORITY(2),INT_PRIORITY(3),INT_PRIORITY(4),INT_PRIORITY(4),INT_PRIORITY(3)};
> 　以上