7.3 可変長メモリ・プール
RI600V4では，処理プログラムから動的なメモリ操作要求が行われた際に利用するメモリ領域として“可変長メモリ・プール”を提供しています。
なお，可変長メモリ・プールに対する動的なメモリ操作は，任意サイズの可変長メモリ・ブロックを単位として行われます。
RI600V4では，可変長メモリ・プールの静的な生成のみサポートしています。処理プログラムからサービス・コールを発行して動的に生成することはできません。
可変長メモリ・プールの静的生成とは，システム・コンフィギュレーション・ファイルで静的API“variable_memorypool[]”を使用して可変長メモリ・プールを定義することをいいます。
表7−1 メモリ・ブロック・サイズのバリエーション
可変長メモリ・ブロックの獲得は，以下に示したサービス・コールを処理プログラムから発行することにより実現されます。
RI600V4では，可変長メモリ・ブロックを獲得する際，メモリ・クリア処理を行っていません。したがって，獲得された可変長メモリ・ブロックの内容は不定となります。
-
get_mpl（待つ）
パラメータ
mplidで指定された可変長メモリ・プールからパラメータ
blkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータ
p_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
|
|
|
rel_mplの発行により，対象可変長メモリ・プールに要求サイズを満足する可変長メモリ・ブロックが返却された。
|
|
送信待ちキュー先頭のタスクが，以下のいずれかによって待ち状態を強制的に解除された。
|
|
|
|
|
|
|
|
|
|
|
#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 ) {
............ /*強制終了処理*/
............
}
............
............
}
|
備考2 自タスクを対象可変長メモリ・プールの待ちキューにキューイングする際のキューイング方式は，FIFO順に行われます。
備考3 獲得したメモリ・ブロックの内容は不定です。
-
pget_mpl，
ipget_mpl（ポーリング）
パラメータ
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 ) {
............ /*ポーリング失敗処理*/
............
}
............
............
}
|
備考2 獲得したメモリ・ブロックの内容は不定です。
-
tget_mpl（タイムアウト付きで待つ）
パラメータ
mplidで指定された可変長メモリ・プールからパラメータ
blkszで指定されたサイズの可変長メモリ・ブロックを獲得し，その先頭アドレスをパラメータ
p_blkで指定された領域に格納します。
ただし，本サービス・コールを発行した際，対象可変長メモリ・プールから可変長メモリ・ブロックを獲得することができなかった（要求サイズ分の連続する空き領域が存在しなかった）場合には，可変長メモリ・ブロックの獲得は行わず，自タスクを対象可変長メモリ・プールの待ちキューにキューイングしたのち，RUNNING状態からタイムアウト付きのWAITING状態（可変長メモリ・ブロック獲得待ち状態）へと遷移させます。
なお，可変長メモリ・ブロック獲得待ち状態の解除は，以下の場合に行われます。
|
|
|
rel_mplの発行により，対象可変長メモリ・プールに要求サイズを満足する可変長メモリ・ブロックが返却された。
|
|
送信待ちキュー先頭のタスクが，以下のいずれかによって待ち状態を強制的に解除された。
|
|
|
|
|
|
|
|
|
|
|
パラメータ 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; /*変数の宣言*/
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 ) {
............ /*タイムアウト処理*/
............
}
............
............
}
|
備考2 自タスクを対象可変長メモリ・プールの待ちキューにキューイングする際のキューイング方式は，FIFO順に行われます。
備考3 獲得したメモリ・ブロックの内容は不定です。
可変長メモリ・ブロックの返却は，以下に示したサービス・コールを処理プログラムから発行することにより実現されます。
-
rel_mpl
パラメータ
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 ) {
............ /*強制終了処理*/
............
}
............
............
}
|
備考 RI600V4では，
blkに関して簡易的なエラー検出しか行っていません。
blkには，必ず正しい値を指定してください。
blkがエラー検出されない不正な値の場合，以後の動作は保証されません。
可変長メモリ・プール詳細情報の参照は，以下に示したサービス・コールを処理プログラムから発行することにより実現されます。
-
ref_mpl，
iref_mpl
パラメータ
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; /*獲得可能なメモリ・ブロックの最大サイズの獲得*/
............
............
}
|