第7章 メモリ・プール管理機能
なお,RI850V4では,静的に確保/初期化されたメモリ領域の一部を“固定長メモリ・プール”,または“可変長メモリ・プール”として解放することにより,固定長メモリ・ブロックの獲得/解放,可変長メモリ・ブロックの獲得/解放などといったメモリ領域を動的に操作する機能のほかに,固定長メモリ・プール詳細情報の参照,可変長メモリ・プール詳細情報の参照などといったメモリ領域の状態を参照する機能も提供しています。
RI850V4では,さまざまな実行環境に対応するために,メモリ・プール管理機能のうち,RI850V4が処理を実行するうえで必要となるハードウエア依存処理(オーバフロー後処理)をユーザ・オウン・コーディング部として切り出しています。
備考 RI850V4によるスタックのオーバフロー・チェックは,システム・コンフィギュレーション・ファイル作成時にスタック・チェックの有無stkchkで“TA_ON:オーバフロー・チェックを行う”を定義した場合に限り行われます。
オーバフロー後処理は,処理プログラムのスタックがオーバフローした際に呼び出されるオーバフロー処理の後処理用にユーザ・オウン・コーディング部として切り出された後処理専用ルーチンであり,スタックがオーバフローした際にRI850V4から呼び出されます。
- オーバフロー後処理の基本型
オーバフロー後処理を記述する場合,INT型の引き数を2つ持ったvoid型の関数(関数名:_kernel_stk_overflow)として記述します。
なお,引き数r6には“スタックのオーバフローが検出された時点のスタック・ポインタspの値”が,r7には“スタックのオーバフローが検出された時点のプログラム・カウンタpcの値”が設定されます。
以下に,オーバフロー後処理をアセンブリ言語で記述する場合の基本型を示します。
オーバフロー後処理を記述する場合,INT型の引き数を2つ持ったvoid型の関数(関数名:_kernel_stk_overflow)として記述します。
なお,引き数r6には“スタックのオーバフローが検出された時点のスタック・ポインタspの値”が,r7には“スタックのオーバフローが検出された時点のプログラム・カウンタpcの値”が設定されます。
以下に,オーバフロー後処理をアセンブリ言語で記述する場合の基本型を示します。
#include <kernel.h> /*標準ヘッダ・ファイルの定義*/ .text .align 0x2 .globl __kernel_stk_overflow __kernel_stk_overflow : ............ ............ .halt_loop : jbr .halt_loop |
- オーバフロー後処理内での処理
オーバフロー後処理は,RI850V4,および処理プログラムが処理を実行するうえで必要となるスタックがオーバフローした際の後処理を実行するためにユーザ・オウン・コーディング部として切り出された後処理専用ルーチンです。このため,オーバフロー後処理を記述する際には,以下に示す注意点があります。
オーバフロー後処理は,RI850V4,および処理プログラムが処理を実行するうえで必要となるスタックがオーバフローした際の後処理を実行するためにユーザ・オウン・コーディング部として切り出された後処理専用ルーチンです。このため,オーバフロー後処理を記述する際には,以下に示す注意点があります。
- 記述方法
C言語,またはアセンブリ言語で記述します。
C言語で記述するときは通常の関数と同様に記述することができます。
アセンブリ言語で記述するときは使用するコンパイラの呼び出し規約にのっとって作成してください。
C言語,またはアセンブリ言語で記述します。
C言語で記述するときは通常の関数と同様に記述することができます。
アセンブリ言語で記述するときは使用するコンパイラの呼び出し規約にのっとって作成してください。
- スタックの切り替え
RI850V4では,オーバフロー後処理に制御を移す際,スタックの切り替え処理は行われません。したがって,オーバフロー後処理用スタックを使用する際には,オーバフロー後処理の開始部分でスタックの設定処理(スタック・ポインタSPの設定)を記述する必要があります。
RI850V4では,オーバフロー後処理に制御を移す際,スタックの切り替え処理は行われません。したがって,オーバフロー後処理用スタックを使用する際には,オーバフロー後処理の開始部分でスタックの設定処理(スタック・ポインタSPの設定)を記述する必要があります。
- get_mpf
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し,その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし,本サービス・コールを発行した際,対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった(空き固定長メモリ・ブロックが存在しなかった)場合には,固定長メモリ・ブロックの獲得は行わず,自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち,RUNNING状態からWAITING状態(固定長メモリ・ブロック獲得待ち状態)へと遷移させます。
なお,固定長メモリ・ブロック獲得待ち状態の解除は,以下の場合に行われ,固定長メモリ・ブロック獲得待ち状態からREADY状態へと遷移します。
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し,その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし,本サービス・コールを発行した際,対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった(空き固定長メモリ・ブロックが存在しなかった)場合には,固定長メモリ・ブロックの獲得は行わず,自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち,RUNNING状態からWAITING状態(固定長メモリ・ブロック獲得待ち状態)へと遷移させます。
なお,固定長メモリ・ブロック獲得待ち状態の解除は,以下の場合に行われ,固定長メモリ・ブロック獲得待ち状態からREADY状態へと遷移します。
#include <kernel.h> /*標準ヘッダ・ファイルの定義*/ #include <kernel_id.h> /*システム情報ヘッダ・ファイルの定義*/ void task ( 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> /*システム情報ヘッダ・ファイルの定義*/ void task ( 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 ) { ............ /*ポーリング失敗処理*/ ............ } ............ ............ } |
備考2 本サービス・コールを発行した際,対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった(空き固定長メモリ・ブロックが存在しなかった)場合,パラメータp_blkで指定された領域の内容は不定となります。
- tget_mpf
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し,その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし,本サービス・コールを発行した際,対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった(空き固定長メモリ・ブロックが存在しなかった)場合には,固定長メモリ・ブロックの獲得は行わず,自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち,RUNNING状態からタイムアウト付きのWAITING状態(固定長メモリ・ブロック獲得待ち状態)へと遷移させます。
なお,固定長メモリ・ブロック獲得待ち状態の解除は,以下の場合に行われ,固定長メモリ・ブロック獲得待ち状態からREADY状態へと遷移します。
パラメータmpfidで指定された固定長メモリ・プールから固定長メモリ・ブロックを獲得し,その先頭アドレスをパラメータp_blkで指定された領域に格納します。
ただし,本サービス・コールを発行した際,対象固定長メモリ・プールから固定長メモリ・ブロックを獲得することができなかった(空き固定長メモリ・ブロックが存在しなかった)場合には,固定長メモリ・ブロックの獲得は行わず,自タスクを対象固定長メモリ・プールの待ちキューにキューイングしたのち,RUNNING状態からタイムアウト付きのWAITING状態(固定長メモリ・ブロック獲得待ち状態)へと遷移させます。
なお,固定長メモリ・ブロック獲得待ち状態の解除は,以下の場合に行われ,固定長メモリ・ブロック獲得待ち状態からREADY状態へと遷移します。
#include <kernel.h> /*標準ヘッダ・ファイルの定義*/ #include <kernel_id.h> /*システム情報ヘッダ・ファイルの定義*/ void task ( 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> /*システム情報ヘッダ・ファイルの定義*/ void task ( 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 ) { ............ /*強制終了処理*/ ............ } ............ ............ } |
備考2 固定長メモリ・ブロックを返却する際は,必ず獲得した固定長メモリ・プールに対して本サービス・コールを発行してください。異なる固定長メモリ・プールに対して本サービス・コールを発行してもエラーにはなりませんが,以後の動作は保証されません。
- ref_mpf,iref_mpf
パラメータmpfidで指定された固定長メモリ・プールの固定長メモリ・プール詳細情報(待ちタスクの有無,空き固定長メモリ・ブロックの総数など)をパラメータpk_rmpfで指定された領域に格納します。
以下に,本サービス・コールの記述例を示します。
パラメータmpfidで指定された固定長メモリ・プールの固定長メモリ・プール詳細情報(待ちタスクの有無,空き固定長メモリ・ブロックの総数など)をパラメータpk_rmpfで指定された領域に格納します。
以下に,本サービス・コールの記述例を示します。
#include <kernel.h> /*標準ヘッダ・ファイルの定義*/ #include <kernel_id.h> /*システム情報ヘッダ・ファイルの定義*/ void task ( VP_INT exinf ) { ID mpfid = 1; /*変数の宣言,初期化*/ T_RMPF pk_rmpf; /*データ構造体の宣言*/ ID wtskid; /*変数の宣言*/ UINT fblkcnt; /*変数の宣言*/ ATR mpfatr; /*変数の宣言*/ ............ ............ ref_mpf ( mpfid, &pk_rmpf ); /*固定長メモリ・プール詳細情報の参照*/ wtskid = pk_rmpf.wtskid; /*待ちタスクの有無の獲得*/ fblkcnt = pk_rmpf.fblkcnt; /*空き固定長メモリ・ブロックの総数の獲得*/ mpfatr = pk_rmpf.mpfatr; /*属性の獲得*/ ............ ............ } |