6.3 メッセージ・バッファ
マルチタスク処理では,あるタスクの処理結果を他タスクに通知するといったタスク間の通信機能(メッセージの受け渡し機能)が必要となります。そこで,RI600V4では,任意のサイズのメッセージをコピーして受け渡す機能として“メッセージ・バッファ”を提供しています。

以下に,メッセージ・バッファを利用した場合の処理の流れを示します。

図6−3  処理の流れ(メッセージ・バッファ)



6.3.1 メッセージ・バッファの生成

RI600V4では,メッセージ・バッファの静的な生成のみサポートしています。処理プログラムからサービス・コールを発行して動的に生成することはできません。

メッセージ・バッファの静的生成とは,システム・コンフィギュレーション・ファイルで静的API“message_buffer[]”を使用してミューテックスを定義することをいいます。

静的API“message_buffer[]”の詳細は,「19.13 メッセージ・バッファ情報(message_buffer[])」を参照してください。

6.3.2 メッセージの送信

メッセージの送信は,以下に示したサービス・コールを処理プログラムから発行することにより実現されます。

- snd_mbf(待つ)

- psnd_mbfipsnd_mbf(ポーリング)

- tsnd_mbf(タイムアウト付きで待つ)

- snd_mbf(待つ)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- 受信待ちキューにタスクがキューイングされている場合
msgで指定されたメッセージを受信待ちキュー先頭のタスクに渡します,これにより,該当タスクは受信待ちキューから外れ,WAITING状態(メッセージ受信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。


- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がある場合
msgで指定されたメッセージをメッセージ・バッファに格納します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。


減少サイズ=up4( msgsz )+VTSZ_MBFTBL

- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がない場合,または送信待ちキューにタスクがキューイングされている場合
自タスクを対象メッセージ・バッファの送信待ちキューにキューイングしたのち,RUNNING状態からWAITING状態(メッセージ送信待ち状態)へと遷移させます。
なお,メッセージ送信待ち状態の解除は,以下の場合に行われます。



 
メッセージ送信待ち状態の解除操作

戻り値

rcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

prcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

trcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

送信待ちキュー先頭のタスクが,以下のいずれかによって待ち状態を強制的に解除された。

- rel_waiの発行により,待ち状態を強制的に解除された。

- irel_waiの発行により,待ち状態を強制的に解除された。

- ter_tskの発行により,待ち状態を強制的に解除された。

- tsnd_mbfのパラメータtmoutで指定された待ち時間が経過した。

E_OK

rel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

irel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

vrst_mbfの発行により,対象メッセージ・バッファがリセットされた。

EV_RST



以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[] = {1,2,3};        /*変数の宣言,初期化*/
         UINT    msgsz = sizeof( msg );  /*変数の宣言,初期化*/
 
         ............
 
                                         /*メッセージの送信*/
         ercd = snd_mbf ( mbfid, (VP)msg, msgsz );
 
         if ( ercd == E_OK ) {
                 ............            /*正常終了処理*/
         } else if ( ercd == E_RLWAI ) {
                 ............            /*強制終了処理*/
         }
         ............
 }


備考1 メッセージを対象メッセージ・バッファに書き込む際の書き込み方法は,メッセージの送信要求を行った順に行われます。

備考2 自タスクを対象メッセージ・バッファの送信待ちキューにキューイングする際のキューイング方式は,FIFO順に行われます。

- psnd_mbfipsnd_mbf(ポーリング)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- 受信待ちキューにタスクがキューイングされている場合
msgで指定されたメッセージを受信待ちキュー先頭のタスクに渡します,これにより,該当タスクは受信待ちキューから外れ,WAITING状態(メッセージ受信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。


- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がある場合
msgで指定されたメッセージをメッセージ・バッファに格納します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。


減少サイズ=up4( msgsz )+VTSZ_MBFTBL

- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がない場合,または送信待ちキューにタスクがキューイングされている場合
戻り値としてE_TMOUTを返します。


以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[] = {1,2,3};        /*変数の宣言,初期化*/
         UINT    msgsz = sizeof( msg );  /*変数の宣言,初期化*/
 
         ............
 
                                         /*メッセージの送信*/
         ercd = psnd_mbf ( mbfid, (VP)msg, msgsz );
 
         if ( ercd == E_OK ) {
                 ............            /*ポーリング成功処理*/
         } else if ( ercd == E_TMOUT ) {
                 ............            /*ポーリング失敗処理*/
         }
         ............
 }


備考 メッセージを対象メッセージ・バッファに書き込む際の書き込み方法は,メッセージの送信要求を行った順に行われます。

- tsnd_mbf(タイムアウト付きで待つ)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- 受信待ちキューにタスクがキューイングされている場合
msgで指定されたメッセージを受信待ちキュー先頭のタスクに渡します,これにより,該当タスクは受信待ちキューから外れ,WAITING状態(メッセージ受信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。


- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がある場合
msgで指定されたメッセージをメッセージ・バッファに格納します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。


減少サイズ=up4( msgsz )+VTSZ_MBFTBL

- 受信待ちキューおよび送信待ちキューにタスクがキューイングされておらず,メッセージ・バッファにメッセージを格納するための空き領域がない場合,または送信待ちキューにタスクがキューイングされている場合
自タスクを対象メッセージ・バッファの送信待ちキューにキューイングしたのち,RUNNING状態からタイムアウト付きのWAIITING状態(メッセージ送信待ち状態)へと遷移させます。
なお,メッセージ送信待ち状態の解除は,以下の場合に行われます。



 
メッセージ送信待ち状態の解除操作

戻り値

rcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

prcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

trcv_mbfの発行により,対象メッセージ・バッファに空き領域が確保された。

E_OK

送信待ちキュー先頭のタスクが,以下のいずれかによって待ち状態を強制的に解除された。

- rel_waiの発行により,待ち状態を強制的に解除された。

- irel_waiの発行により,待ち状態を強制的に解除された。

- ter_tskの発行により,待ち状態を強制的に解除された。

- tsnd_mbfのパラメータtmoutで指定された待ち時間が経過した。

E_OK

rel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

irel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

vrst_mbfの発行により,対象メッセージ・バッファがリセットされた。

EV_RST

パラメータtmoutで指定された待ち時間が経過した。

E_TMOUT



以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[] = {1,2,3};        /*変数の宣言,初期化*/
         UINT    msgsz = sizeof( msg );  /*変数の宣言,初期化*/
         TMO     tmout = 3600;           /*変数の宣言,初期化*/
 
         ............
 
                                         /*メッセージの送信*/
         ercd = tsnd_mbf ( mbfid, (VP)msg, msgsz, tmout );
 
         if ( ercd == E_OK ) {
                 ............            /*正常終了処理*/
         } else if ( ercd == E_RLWAI ) {
                 ............            /*強制終了処理*/
         } else if ( ercd == E_TMOUT ) {
                 ............            /*タイムアウト処理*/
         }
         ............
 }


備考1 メッセージを対象メッセージ・バッファに書き込む際の書き込み方法は,メッセージの送信要求を行った順に行われます。

備考2 自タスクを対象メッセージ・バッファの送信待ちキューにキューイングする際のキューイング方式は,FIFO順に行われます。

備考3 待ち時間tmoutTMO_FEVRが指定された際には“snd_mbfと同等の処理”を,TMO_POLが指定された際には“psnd_mbfと同等の処理”を実行します。

6.3.3 メッセージの受信

メッセージの受信は,以下に示したサービス・コールを処理プログラムから発行することにより実現されます。

- rcv_mbf(待つ)

- prcv_mbf(ポーリング)

- trcv_mbf(タイムアウト付きで待つ)

- rcv_mbf(待つ)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- メッセージ・バッファにメッセージが格納されている場合
メッセージ・バッファから最古のメッセージを取り出してmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ増加します。


増加サイズ=up4( 戻り値 )+VTSZ_MBFTBL

さらに以下を,送信待ちキューにタスクがなくなるか,メッセージを格納できなくなるまで繰り返します。

- 送信待ちキューにタスクがキューイングされており,キュー先頭のタスクが指定したメッセージのサイズだけの空き領域がある場合は,そのメッセージをメッセージ・バッファに格納します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。また,このとき対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。

減少サイズ=up4(該当タスクが送信したメッセージ・サイズ)+VTSZ_MBFTBL

- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされている場合
送信待ちキュー先頭のタスクが指定したメッセージをmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
なお,この状況は,メッセージ・バッファのサイズが0の場合のみ生じます。



- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされていない場合
自タスクを対象メッセージ・バッファの受信待ちキューにキューイングしたのち,RUNNING状態からWAITING状態(メッセージ受信待ち状態)へと遷移させます。
なお,メッセージ受信待ち状態の解除は,以下の場合に行われます。



 
メッセージ受信待ち状態の解除操作

戻り値

snd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

psnd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

ipsnd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

tsnd_mbfの発行により,対象メッセージ・バッファバッファにメッセージが送信された。

E_OK

rel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

irel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI



以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[16];                /*変数の宣言(最大メッセージサイズ)*/
 
         ............
 
                                         /*メッセージの受信*/
         ercd = rcv_mbf ( mbfid, (VP)msg );
 
         if ( ercd == E_OK ) {
                 ............            /*正常終了処理*/
         } else if ( ercd == E_RLWAI ) {
                 ............            /*強制終了処理*/
         }
         ............
 }


備考1 最大メッセージ・サイズ(max_msgsz)は,コンフィギュレーション時に定義します。msgの指す領域は,必ず最大メッセージ・サイズ以上としてください。

備考2 自タスクを対象メッセージ・バッファの送信待ちキューにキューイングする際のキューイング方式は,FIFO順に行われます。

- prcv_mbf(ポーリング)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- メッセージ・バッファにメッセージが格納されている場合
メッセージ・バッファから最古のメッセージを取り出してmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ増加します。


増加サイズ=up4( 戻り値 )+VTSZ_MBFTBL

さらに以下を,送信待ちキューにタスクがなくなるか,メッセージを格納できなくなるまで繰り返します。

- 送信待ちキューにタスクがキューイングされており,キュー先頭のタスクが指定したメッセージのサイズだけの空き領域がある場合は,そのメッセージをメッセージ・バッファに格納します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。また,このとき対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。

減少サイズ=up4(該当タスクが送信したメッセージ・サイズ)+VTSZ_MBFTBL

- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされている場合
送信待ちキュー先頭のタスクが指定したメッセージをmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
なお,この状況は,メッセージ・バッファのサイズが0の場合のみ生じます。



- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされていない場合
戻り値としてE_TMOUTを返します。


以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[16];                /*変数の宣言(最大メッセージサイズ)*/
 
         ............
 
                                         /*メッセージの受信*/
         ercd = prcv_mbf ( mbfid, (VP)msg );
 
         if ( ercd == E_OK ) {
                 ............            /*ポーリング成功処理*/
         } else if ( ercd == E_TMOUT ) {
                 ............            /*ポーリング失敗処理*/
         }
         ............
 }


備考 最大メッセージ・サイズ(max_msgsz)は,コンフィギュレーション時に定義します。msgの指す領域は,必ず最大メッセージ・サイズ以上としてください。

- trcv_mbf(タイムアウト付きで待つ)
パラメータmbfidで指定されたメッセージ・バッファの状況に応じて,以下の処理を行います。


- メッセージ・バッファにメッセージが格納されている場合
メッセージ・バッファから最古のメッセージを取り出してmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。このとき,対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ増加します。


増加サイズ=up4( 戻り値 )+VTSZ_MBFTBL

さらに以下を,送信待ちキューにタスクがなくなるか,メッセージを格納できなくなるまで繰り返します。

- 送信待ちキューにタスクがキューイングされており,キュー先頭のタスクが指定したメッセージのサイズだけの空き領域がある場合は,そのメッセージをメッセージ・バッファに格納します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。また,このとき対象メッセージ・バッファの空き領域は以下の式で算出されるサイズだけ減少します。

減少サイズ=up4(該当タスクが送信したメッセージ・サイズ)+VTSZ_MBFTBL

- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされている場合
送信待ちキュー先頭のタスクが指定したメッセージをmsgで指定された領域に格納し,そのメッセージサイズを戻り値として返します。これにより,該当タスクは,送信待ちキューから外れ,WAITING状態(メッセージ送信待ち状態)からREADY状態へ,またはWAITING-SUSPENDED状態からSUSPENDED状態へと遷移します。
なお,この状況は,メッセージ・バッファのサイズが0の場合のみ生じます。



- メッセージ・バッファにメッセージが格納されておらず,送信待ちキューにタスクがキューイングされていない場合
自タスクを対象メッセージ・バッファの受信待ちキューにキューイングしたのち,RUNNING状態からタイムアウト付きのWAITING状態(メッセージ受信待ち状態)へと遷移させます。
なお,メッセージ受信待ち状態の解除は,以下の場合に行われます。



 
メッセージ受信待ち状態の解除操作

戻り値

snd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

psnd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

ipsnd_mbfの発行により,対象メッセージ・バッファにメッセージが送信された。

E_OK

tsnd_mbfの発行により,対象メッセージ・バッファバッファにメッセージが送信された。

E_OK

rel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

irel_waiの発行により,待ち状態を強制的に解除された。

E_RLWAI

パラメータtmoutで指定された待ち時間が経過した。

E_TMOUT



以下に,本サービス・コールの記述例を示します。

 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ER      ercd;                   /*変数の宣言*/
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         B       msg[16];                /*変数の宣言(最大メッセージサイズ)*/
         TMO     tmout = 3600;           /*変数の宣言,初期化*/
 
         ............
 
                                         /*メッセージの受信(タイムアウト付き)*/
         ercd = trcv_mbf ( mbfid, (VP)msg, tmout );
 
         if ( ercd == E_OK ) {
                 ............            /*正常終了処理*/
         } else if ( ercd == E_RLWAI ) {
                 ............            /*強制終了処理*/
         } else if ( ercd == E_TMOUT ) {
                 ............            /*タイムアウト処理*/
         }
         ............
 }


備考1 最大メッセージ・サイズ(max_msgsz)は,コンフィギュレーション時に定義します。msgの指す領域は,必ず最大メッセージ・サイズ以上としてください。

備考2 自タスクを対象メッセージ・バッファの送信待ちキューにキューイングする際のキューイング方式は,FIFO順に行われます。

備考3 待ち時間tmoutTMO_FEVRが指定された際には“rcv_mbfと同等の処理”を,TMO_POLが指定された際には“prcv_mbfと同等の処理”を実行します。

6.3.4 メッセージ・バッファ詳細情報の参照

メッセージ・バッファ詳細情報の参照は,以下に示したサービス・コールを処理プログラムから発行することにより実現されます。

- ref_mbfiref_mbf
パラメータmbfidで指定されたメッセージ・バッファの詳細情報(待ちタスクの有無,空き領域のサイズなど)をパラメータpk_rmbfで指定された領域に格納します。
以下に,本サービス・コールの記述例を示します。


 #include        "kernel.h"              /*標準ヘッダ・ファイルの定義*/
 #include        "kernel_id.h"           /*cfg600が出力するヘッダ・ファイルの定義*/
 
 void task ( VP_INT exinf )
 {
         ID      mbfid = 1;              /*変数の宣言,初期化*/
         T_RMBF  pk_rmbf;                /*データ構造体の宣言*/
         ID      stskid;                 /*変数の宣言*/
         ID      rtskid;                 /*変数の宣言*/
         UINT    smsgcnt;                /*変数の宣言*/
         SIZE    fmbfsz;                 /*変数の宣言*/
 
         ............
         ............
 
         ref_mbf ( mbfid, &pk_rmbf );    /*メッセージ・バッファ詳細情報の参照*/
 
         stskid = pk_rmbf.stskid;        /*メッセージ送信待ちタスクの有無の獲得*/
         rtskid = pk_rmbf.rtskid;        /*メッセージ受信待ちタスクの有無の獲得*/
         smsgcnt = pk_rmbf.smsgcnt;      /*未受信メッセージ総数の獲得*/
         fmbfsz = pk_rmbf.fmbfsz;        /*空き領域のサイズ */
 
         ............
         ............
 }


備考 メッセージ・バッファ詳細情報T_RMBFについての詳細は,「【 メッセージ・バッファ詳細情報T_RMBFの構造 】」を参照してください。