9.2 固定長メモリ・プール
1 ) システム・コンフィギュレーション・ファイルによる生成
システム・コンフィギュレーション・ファイルで静的API“memorypool[]”を使用して固定長メモリ・プールを生成します。
静的API“memorypool[]”の詳細は，「20.17 固定長メモリ・プール情報（memorypool[]）」を参照してください。
システム・コンフィギュレーション・ファイルで静的API“memorypool[]”を使用して固定長メモリ・プールを生成します。
静的API“memorypool[]”の詳細は，「20.17 固定長メモリ・プール情報（memorypool[]）」を参照してください。
2 ) cre_mpfまたはacre_mpfサービスコールによる生成
cre_mpfは，パラメータpk_cmpfが指す領域に設定された固定長メモリ・プール生成情報にしたがって，パラメータmpfidで指定された固定長メモリ・プールIDの固定長メモリ・プールを生成します。
acre_mpfは，パラメータpk_cmpfが指す領域に設定された固定長メモリ・プール生成情報にしたがって固定長メモリ・プールを生成し，生成された固定長メモリ・プールIDを返します。
指定する固定長メモリ・プール生成情報は，以下の通りです。
cre_mpfは，パラメータpk_cmpfが指す領域に設定された固定長メモリ・プール生成情報にしたがって，パラメータmpfidで指定された固定長メモリ・プールIDの固定長メモリ・プールを生成します。
acre_mpfは，パラメータpk_cmpfが指す領域に設定された固定長メモリ・プール生成情報にしたがって固定長メモリ・プールを生成し，生成された固定長メモリ・プールIDを返します。
指定する固定長メモリ・プール生成情報は，以下の通りです。
- 獲得可能なメモリ・ブロック数（blkcnt），メモリ・ブロックのサイズ（バイト数）（blksz），固定長メモリ・プール領域の先頭アドレス（mpf）
mpfからTSZ_MPF(blkcnt, blksz)バイトを固定長メモリ・プール領域とします。TSZ_MPFマクロについては「18.3.3 固定長メモリ・プール関連」を参照してください。
固定長メモリ・プール領域は，メモリ・ブロックにアクセスするタスクがアクセス可能なメモリオブジェクト内としてください。
mpfからTSZ_MPF(blkcnt, blksz)バイトを固定長メモリ・プール領域とします。TSZ_MPFマクロについては「18.3.3 固定長メモリ・プール関連」を参照してください。
固定長メモリ・プール領域は，メモリ・ブロックにアクセスするタスクがアクセス可能なメモリオブジェクト内としてください。
- 固定長メモリ・プール管理領域の先頭アドレス（mpfmb）
mpfmbからTSZ_MPFMB(blkcnt, blksz)バイトを固定長メモリ・プール管理領域とします。TSZ_MPFMBマクロについては「18.3.3 固定長メモリ・プール関連」を参照してください。
固定長メモリ・プール管理領域は，メモリ・オブジェクト以外でかつユーザ・スタック以外の領域に作成してください。
mpfmbからTSZ_MPFMB(blkcnt, blksz)バイトを固定長メモリ・プール管理領域とします。TSZ_MPFMBマクロについては「18.3.3 固定長メモリ・プール関連」を参照してください。
固定長メモリ・プール管理領域は，メモリ・オブジェクト以外でかつユーザ・スタック以外の領域に作成してください。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #define BLKCNT 32 /*獲得可能なメモリ・ブロック数*/ #define BLKSZ 16 /*メモリ・ブロックのサイズ（バイト数）*/ #pragma section B BU_SH /*固定長メモリ・プール領域のセクション*/ static UW mpf_area[ TSZ_MPF( BLKCNT, BLKSZ)/sizeof(UW)];/* 固定長メモリ・プール領域*/ #pragma section B BRI_RAM /* 固定長メモリ・プール管理領域のセクション*/ static UW mpfmb_area[ TSZ_MPFMB( BLKCNT, BLKSZ)/sizeof(UW)]; /* 固定長メモリ・プール管理領域*/ #pragma section #pragma task Task1 /*備考参照*/ void Task1 ( VP_INT exinf ); /*備考参照*/ void Task1 ( VP_INT exinf ) { ID mpfid; /*変数の宣言*/ T_CMPF pk_cmpf = { /*変数の宣言，初期化*/ TA_TFIFO, /*固定長メモリ・プール属性（mpfatr）*/ BLKCNT, /*獲得可能なメモリ・ブロック数（blkcnt）*/ BLKSZ, /*メモリ・ブロックのサイズ（バイト数）（blksz）*/ (VP)mpf_area, /*固定長メモリ・プール領域の先頭アドレス（mpf）*/ (VP)mpfmb_area /*固定長メモリ・プール管理領域の先頭アドレス（mpfmb）*/ }; ............ ............ mpfid = acre_mpf ( &pk_cmpf ); /*固定長メモリ・プールの生成*/ ............ ............ } |
- del_mpf
パラメータmpfidで指定された固定長メモリ・プールを削除します。
対象固定長メモリ・プールでget_mpfまたはtget_mpfによって待っているタスクがある場合は，そのタスク待ち状態を解除し，get_mpfまたはtget_mpfの戻り値としてE_DLTを返します。
本サービス・コールは，信頼されたドメインに所属するタスクだけが呼び出せます。
以下に，本サービス・コールの記述例を示します。
パラメータmpfidで指定された固定長メモリ・プールを削除します。
対象固定長メモリ・プールでget_mpfまたはtget_mpfによって待っているタスクがある場合は，そのタスク待ち状態を解除し，get_mpfまたはtget_mpfの戻り値としてE_DLTを返します。
本サービス・コールは，信頼されたドメインに所属するタスクだけが呼び出せます。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考参照*/ void Task1 ( VP_INT exinf ); /*備考参照*/ void Task1 ( VP_INT exinf ) { ID mpfid = 8; /*変数の宣言，初期化*/ ............ ............ del_mpf( mpfid ); /*固定長メモリ・プールの削除*/ } |
- get_mpf（待つ）
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からWAITING状態（固定長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，固定長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からWAITING状態（固定長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，固定長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考4参照*/ void Task1 ( VP_INT exinf ); /*備考4参照*/ void Task1 ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mpfid = 1; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ ............ ............ /*固定長メモリ・ブロックの獲得*/ ercd = get_mpf ( mpfid, &p_blk ); if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ /*固定長メモリ・ブロックの返却*/ rel_mpf ( mpfid, p_blk ); } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } ............ ............ } |
- pget_mpf，ipget_mpf（ポーリング）
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，戻り値としてE_TMOUTを返します。
以下に，本サービス・コールの記述例を示します。
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，戻り値としてE_TMOUTを返します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考3参照*/ void Task1 ( VP_INT exinf ); /*備考3参照*/ void Task1 ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mpfid = 1; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ ............ ............ /*固定長メモリ・ブロックの獲得*/ ercd = pget_mpf ( mpfid, &p_blk ); if ( ercd == E_OK ) { ............ /*ポーリング成功処理*/ ............ /*固定長メモリ・ブロックの返却*/ rel_mpf ( mpfid, p_blk ); } else if ( ercd == E_TMOUT ) { ............ /*ポーリング失敗処理*/ ............ } ............ ............ } |
- tget_mpf（タイムアウト付きで待つ）
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からタイムアウト付きのWAITING状態（固定長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，固定長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった（空き固定長メモリ・ブロックが存在しなかった）場合には，固定長メモリ・ブロックの獲得は行わず，自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からタイムアウト付きのWAITING状態（固定長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，固定長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考5参照*/ void Task1 ( VP_INT exinf ); /*備考5参照*/ void Task1 ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mpfid = 1; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ TMO tmout = 3600; /*変数の宣言，初期化*/ ............ ............ /*固定長メモリ・ブロックの獲得*/ ercd = tget_mpf ( mpfid, &p_blk, tmout ); if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ /*固定長メモリ・ブロックの返却*/ rel_mpf ( mpfid, p_blk ); } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } else if ( ercd == E_TMOUT ) { ............ /*タイムアウト処理*/ ............ } ............ ............ } |
- rel_mpf，irel_mpf
パラメータmpfidで指定された固定長メモリ・プールにパラメータblkで指定された固定長メモリ・ブロックを返却します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールの待ちキューにタスクがキューイングされていた場合には，固定長メモリ・ブロックの返却は行わず，該当タスク（待ちキューの先頭タスク）に固定長メモリ・ブロックを渡します。これにより，該当タスクは，待ちキューから外れ，WAITING状態（固定長メモリ・ブロック獲得待ち状態）からREADY状態へ，またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
以下に，本サービス・コールの記述例を示します。
パラメータmpfidで指定された固定長メモリ・プールにパラメータblkで指定された固定長メモリ・ブロックを返却します。
ただし，本サービス・コールを発行した際，対象固定長メモリ・プールの待ちキューにタスクがキューイングされていた場合には，固定長メモリ・ブロックの返却は行わず，該当タスク（待ちキューの先頭タスク）に固定長メモリ・ブロックを渡します。これにより，該当タスクは，待ちキューから外れ，WAITING状態（固定長メモリ・ブロック獲得待ち状態）からREADY状態へ，またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考2参照*/ void Task1 ( VP_INT exinf ); /*備考2参照*/ void Task1 ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mpfid = 1; /*変数の宣言，初期化*/ VP blk; /*変数の宣言*/ ............ ............ ercd = get_mpf ( mpfid, &blk ); /*固定長メモリ・ブロックの獲得*/ if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ rel_mpf ( mpfid, blk ); /*固定長メモリ・ブロックの返却*/ } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } ............ ............ } |
- ref_mpf，iref_mpf
パラメータmpfidで指定された固定長メモリ・プールの固定長メモリ・プール詳細情報（待ちタスクの有無，空き固定長メモリ・ブロックの総数など）をパラメータpk_rmpfで指定された領域に格納します。
以下に，本サービス・コールの記述例を示します。
パラメータmpfidで指定された固定長メモリ・プールの固定長メモリ・プール詳細情報（待ちタスクの有無，空き固定長メモリ・ブロックの総数など）をパラメータpk_rmpfで指定された領域に格納します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600pxが出力するヘッダ・ファイルの定義*/ #pragma task Task1 /*備考2参照*/ void Task1 ( VP_INT exinf ); /*備考2参照*/ void Task1 ( VP_INT exinf ) { ID mpfid = 1; /*変数の宣言，初期化*/ T_RMPF pk_rmpf; /*データ構造体の宣言*/ ID wtskid; /*変数の宣言*/ UINT fblkcnt; /*変数の宣言*/ ............ ............ ref_mpf ( mpfid, &pk_rmpf ); /*固定長メモリ・プール詳細情報の参照*/ wtskid = pk_rmpf.wtskid; /*待ちタスクの有無の獲得*/ fblkcnt = pk_rmpf.fblkcnt; /*空き固定長メモリ・ブロックの総数の獲得*/ ............ ............ } |