7.3 可変長メモリ・プール
RI600V4の現在の実装では，実際に獲得されるメモリ・ブロックのサイズは，最大で12種類のバリエーションから選択されます。このバリエーションは，可変長メモリ・プール情報（variable_memorypool[]）の可変長メモリ・ブロック・サイズの上限（max_memsize）を元に，あらかじめ規定された24種類のサイズの中から選択されます。以下に，メモリ・ブロックサイズのバリエーションを示します。ただし，この振る舞いは将来変更される可能性があります。
- get_mpl（待つ）
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600が出力するヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mplid = 1; /*変数の宣言，初期化*/ UINT blksz = 256; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ ............ ............ /*可変長メモリ・ブロックの獲得*/ ercd = get_mpl ( mplid, blksz, &p_blk ); if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ /*可変長メモリ・ブロックの返却*/ rel_mpl ( mplid, p_blk ); } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } ............ ............ } |
備考4 獲得するメモリ・ブロックのアライメント数は1です。アライメント数を4とするには，可変長メモリ・プール情報（variable_memorypool[]）のメモリ・プール領域に付与するセクション名（mpl_section）に個別のセクション名を指定し，リンク時にそのセクションを4バイト境界アドレスに配置してください。
- pget_mpl，ipget_mpl（ポーリング）
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，戻り値としてE_TMOUTを返します。
以下に，本サービス・コールの記述例を示します。
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，戻り値としてE_TMOUTを返します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600が出力するヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mplid = 1; /*変数の宣言，初期化*/ UINT blksz = 256; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ ............ ............ /*可変長メモリ・ブロックの獲得*/ ercd = pget_mpl ( mplid, blksz, &p_blk ); if ( ercd == E_OK ) { ............ /*ポーリング成功処理*/ ............ /*可変長メモリ・ブロックの返却*/ rel_mpl ( mplid, p_blk ); } else if ( ercd == E_TMOUT ) { ............ /*ポーリング失敗処理*/ ............ } ............ ............ } |
備考3 獲得するメモリ・ブロックのアライメント数は1です。アライメント数を4とするには，可変長メモリ・プール情報（variable_memorypool[]）のメモリ・プール領域に付与するセクション名（mpl_section）に個別のセクション名を指定し，リンク時にそのセクションを4バイト境界アドレスに配置してください。
- tget_mpl（タイムアウト付きで待つ）
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からタイムアウト付きのWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
パラメータmplidで指定された可変長メモリ・プールからパラメータblkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からタイムアウト付きのWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600が出力するヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mplid = 1; /*変数の宣言，初期化*/ UINT blksz = 256; /*変数の宣言，初期化*/ VP p_blk; /*変数の宣言*/ TMO tmout = 3600; /*変数の宣言，初期化*/ ............ ............ /*可変長メモリ・ブロックの獲得*/ ercd = tget_mpl ( mplid, blksz, &p_blk, tmout ); if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ /*可変長メモリ・ブロックの返却*/ rel_mpl ( mplid, p_blk ); } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } else if ( ercd == E_TMOUT ) { ............ /*タイムアウト処理*/ ............ } ............ ............ } |
備考4 獲得するメモリ・ブロックのアライメント数は1です。アライメント数を4とするには，可変長メモリ・プール情報（variable_memorypool[]）のメモリ・プール領域に付与するセクション名（mpl_section）に個別のセクション名を指定し，リンク時にそのセクションを4バイト境界アドレスに配置してください。
- rel_mpl
パラメータmplidで指定された可変長メモリ・プールにパラメータblkで指定された可変長メモリ・ブロックを返却します。
可変長メモリ・ブロックを返却したあと，対象可変長メモリ・プールの待ちキューにキューイングされているタスクをキューの先頭から調べていき，待ちタスクが要求するサイズのメモリを割り当てられる場合はメモリを割り当てます。この動作を待ちキューにタスクがなくなるか，メモリが割り当てられなくなるまで繰り返します。これにより，メモリを獲得できたタスクは，待ちキューから外れ，WAITING状態（可変長メモリ・ブロック獲得待ち状態）からREADY状態へ，またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
以下に，本サービス・コールの記述例を示します。
パラメータmplidで指定された可変長メモリ・プールにパラメータblkで指定された可変長メモリ・ブロックを返却します。
可変長メモリ・ブロックを返却したあと，対象可変長メモリ・プールの待ちキューにキューイングされているタスクをキューの先頭から調べていき，待ちタスクが要求するサイズのメモリを割り当てられる場合はメモリを割り当てます。この動作を待ちキューにタスクがなくなるか，メモリが割り当てられなくなるまで繰り返します。これにより，メモリを獲得できたタスクは，待ちキューから外れ，WAITING状態（可変長メモリ・ブロック獲得待ち状態）からREADY状態へ，またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600が出力するヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ER ercd; /*変数の宣言*/ ID mplid = 1; /*変数の宣言，初期化*/ UINT blksz = 256; /*変数の宣言，初期化*/ VP blk; /*変数の宣言*/ ............ ............ /*可変長メモリ・ブロックの獲得*/ ercd = get_mpl ( mplid, blksz, &blk ); if ( ercd == E_OK ) { ............ /*正常終了処理*/ ............ rel_mpl ( mplid, blk ); /*可変長メモリ・ブロックの返却*/ } else if ( ercd == E_RLWAI ) { ............ /*強制終了処理*/ ............ } ............ ............ } |
- ref_mpl，iref_mpl
パラメータmplidで指定された可変長メモリ・プールの可変長メモリ・プール詳細情報（待ちタスクの有無，空き可変長メモリ・ブロックの合計サイズなど）をパラメータpk_rmplで指定された領域に格納します。
以下に，本サービス・コールの記述例を示します。
パラメータmplidで指定された可変長メモリ・プールの可変長メモリ・プール詳細情報（待ちタスクの有無，空き可変長メモリ・ブロックの合計サイズなど）をパラメータpk_rmplで指定された領域に格納します。
以下に，本サービス・コールの記述例を示します。
#include "kernel.h" /*標準ヘッダ・ファイルの定義*/ #include "kernel_id.h" /*cfg600が出力するヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ID mplid = 1; /*変数の宣言，初期化*/ T_RMPL pk_rmpl; /*データ構造体の宣言*/ ID wtskid; /*変数の宣言*/ SIZE fmplsz; /*変数の宣言*/ UINT fblksz; /*変数の宣言*/ ............ ............ ref_mpl ( mplid, &pk_rmpl ); /*可変定長メモリ・プール詳細情報の参照*/ wtskid = pk_rmpl.wtskid; /*待ちタスクの有無の獲得*/ fmplsz = pk_rmpl.fmplsz; /*空き領域の合計サイズの獲得*/ fblksz = pk_rmpl.fblksz; /*獲得可能なメモリ・ブロックの最大サイズの獲得*/ ............ ............ } |